sj.tests.exceptions
Class CausalityExceptionTest.TestProgram

java.lang.Object
  extended by sj.EmbeddedSJProgram<StateLabel>
      extended by sj.SJProgram<sj.tests.exceptions.CausalityExceptionTest.StateLabel>
          extended by sj.tests.exceptions.CausalityExceptionTest.TestProgram
Enclosing class:
CausalityExceptionTest

public class CausalityExceptionTest.TestProgram
extends SJProgram<sj.tests.exceptions.CausalityExceptionTest.StateLabel>

The inner test class.

Rating red

Field Summary
 Signal a
          The signal used by the test program.
 
Fields inherited from class sj.EmbeddedSJProgram
INITIAL_TICK
 
Constructor Summary
CausalityExceptionTest.TestProgram()
          Starts a new instance of the test program.
 
Method Summary
 void tick()
          Function that should be implemented with a SJ-Program.
 
Methods inherited from class sj.SJProgram
initSignals
 
Methods inherited from class sj.EmbeddedSJProgram
abort, activateCausalityCheck, addSignals, awaitDoneCB, doTick, fork, forkEB, getLogger, getName, getSignals, getTickNr, gotoB, haltCB, isCausalityCheckActive, isInInitialTick, isTerminated, isThreadRunning, isTickDone, joinDoneCB, pauseB, prioB, removeSignals, setLogger, state, suspend, termB, toString, transB
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

a

public Signal a
The signal used by the test program.

Constructor Detail

CausalityExceptionTest.TestProgram

public CausalityExceptionTest.TestProgram()
Starts a new instance of the test program.

Method Detail

tick

public void tick()
Description copied from class: EmbeddedSJProgram
Function that should be implemented with a SJ-Program. It should contain the behaver of the program. Every time the method is called it should do exactly one tick an then terminate. Use this method only to override it if you want to execute a tick use EmbeddedSJProgram.doTick(Signal...)

Specified by:
tick in class EmbeddedSJProgram<sj.tests.exceptions.CausalityExceptionTest.StateLabel>
See Also:
EmbeddedSJProgram.doTick(Signal...)