edu.wis.jtlv.lib
Class AlgRunnerThread

java.lang.Object
  java.lang.Thread
      edu.wis.jtlv.lib.AlgRunnerThread

All Implemented Interfaces:

java.lang.Runnable

public class AlgRunnerThread
extends java.lang.Thread

A runner thread to execute any kind of algorithm, which implemented the AlgI scheme.

Author:

yaniv sa'ar

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

AlgRunnerThread(AlgI algorithm)
A constructor for an algorithm runner.

Method Summary

AlgExceptionI	getDoException() Getter for the main run phase exception.
AlgResultI	getDoResult() Getter for the main run phase results.
AlgExceptionI	getPostException() Getter for the post-run phase exception.
AlgResultI	getPostResult() Getter for the post-run phase results.
AlgExceptionI	getPreException() Getter for the pre-run phase exception.
AlgResultI	getPreResult() Getter for the pre-run phase results.
void	run() NOTE that when not using the sequential mode, the user should take care of BDD synchronization issue - see the following link for more details JTLVThread
void	runSequential() Execute in sequential mode. NOTE that when not using the sequential mode, the user should take care of BDD synchronization issue - see the following link for more details JTLVThread

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AlgRunnerThread

public AlgRunnerThread(AlgI algorithm)

A constructor for an algorithm runner.

Parameters:

algorithm - The algorithm which this runner will perform.

Method Detail

run

public void run()

NOTE that when not using the sequential mode, the user should take care of BDD synchronization issue - see the following link for more details JTLVThread

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

See Also:

Thread.run(), runSequential()

runSequential

public void runSequential()

Execute in sequential mode.
NOTE that when not using the sequential mode, the user should take care of BDD synchronization issue - see the following link for more details JTLVThread

getPreResult

public AlgResultI getPreResult()

Getter for the pre-run phase results.

Returns:

The pre-run phase results.

getDoResult

public AlgResultI getDoResult()

Getter for the main run phase results.

Returns:

The main run phase results.

getPostResult

public AlgResultI getPostResult()

Getter for the post-run phase results.

Returns:

The post-run phase results.

getPreException

public AlgExceptionI getPreException()

Getter for the pre-run phase exception.

Returns:

The pre-run phase exception.

getDoException

public AlgExceptionI getDoException()

Getter for the main run phase exception.

Returns:

The main run phase exception.

getPostException

public AlgExceptionI getPostException()

Getter for the post-run phase exception.

Returns:

The post-run phase exception.