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 sj.SJProgram<sj.tests.exceptions.CausalityExceptionTest.StateLabel>

The inner test class.

Rating red

Field Summary
 sj.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()
           
 
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 sj.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()
Specified by:
tick in class sj.EmbeddedSJProgram<sj.tests.exceptions.CausalityExceptionTest.StateLabel>