|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.sj.EmbeddedSJProgram<StateLabel>
de.cau.cs.kieler.sj.SJProgram<de.cau.cs.kieler.sj.examples.Count2Suspend.StateLabel>
de.cau.cs.kieler.sj.examples.Count2Suspend
public class Count2Suspend
Program to demonstrate the behavior of suspend and how this works in SJ. This program based on CountToSuspend-sc.c from the SC examples. For more informations see the SC homepage.
Field Summary | |
---|---|
Signal |
b0
The signals used by the Program. |
Signal |
b1
The signals used by the Program. |
Signal |
c
The signals used by the Program. |
Signal |
c0
The signals used by the Program. |
Signal |
inhib
The signals used by the Program. |
Signal |
reset
The signals used by the Program. |
Signal |
t
The signals used by the Program. |
Fields inherited from class de.cau.cs.kieler.sj.EmbeddedSJProgram |
---|
INITIAL_TICK |
Constructor Summary | |
---|---|
Count2Suspend()
Starts a new instance of the program Count2Suspend. |
Method Summary | |
---|---|
void |
tick()
Function that should be implemented with a SJ-Program. |
Methods inherited from class de.cau.cs.kieler.sj.SJProgram |
---|
initSignals |
Methods inherited from class de.cau.cs.kieler.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 Signal t
public Signal inhib
public Signal reset
public Signal b0
public Signal b1
public Signal c
public Signal c0
Constructor Detail |
---|
public Count2Suspend()
Method Detail |
---|
public void tick()
EmbeddedSJProgram
EmbeddedSJProgram.doTick(Signal...)
tick
in class EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.Count2Suspend.StateLabel>
EmbeddedSJProgram.doTick(Signal...)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |