|
||||||||||
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.FilteredSR.StateLabel>
de.cau.cs.kieler.sj.examples.FilteredSR
public class FilteredSR
Example to illustrate the pre
command and signals in SJ. This program based on
FilteredSR-sc.c from the SC examples. For more informations see the SC homepage.
Field Summary | |
---|---|
Signal |
off
The signals used by the Program. |
Signal |
on
The signals used by the Program. |
Signal |
r
The signals used by the Program. |
Signal |
s
The signals used by the Program. |
Fields inherited from class de.cau.cs.kieler.sj.EmbeddedSJProgram |
---|
INITIAL_TICK |
Constructor Summary | |
---|---|
FilteredSR()
Starts a new instance of the program FilteredSR. |
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 s
public Signal r
public Signal on
public Signal off
Constructor Detail |
---|
public FilteredSR()
Method Detail |
---|
public void tick()
EmbeddedSJProgram
EmbeddedSJProgram.doTick(Signal...)
tick
in class EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.FilteredSR.StateLabel>
EmbeddedSJProgram.doTick(Signal...)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |