|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsj.EmbeddedSJProgram<StateLabel>
sj.SJProgram<sj.tests.exceptions.CausalityExceptionTest.StateLabel>
sj.tests.exceptions.CausalityExceptionTest.TestProgram
public class CausalityExceptionTest.TestProgram
The inner test class.
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 |
---|
public sj.Signal a
Constructor Detail |
---|
public CausalityExceptionTest.TestProgram()
Method Detail |
---|
public void tick()
tick
in class sj.EmbeddedSJProgram<sj.tests.exceptions.CausalityExceptionTest.StateLabel>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |