|
||||||||||
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.Shifter3.StateLabel>
de.cau.cs.kieler.sj.examples.Shifter3
public class Shifter3
Example to illustrate the behavior of valued signals and pre
.
It is based on the SC example Shifter3-sc.c
.
Field Summary | |
---|---|
ValuedSignal |
i
The signals used by the Program. |
ValuedSignal |
o
The signals used by the Program. |
ValuedSignal |
s0
The signals used by the Program. |
ValuedSignal |
s1
The signals used by the Program. |
Fields inherited from class de.cau.cs.kieler.sj.EmbeddedSJProgram |
---|
INITIAL_TICK |
Constructor Summary | |
---|---|
Shifter3()
Starts a new instance of the program Shifter3. |
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 ValuedSignal i
public ValuedSignal o
public ValuedSignal s0
public ValuedSignal s1
Constructor Detail |
---|
public Shifter3()
Method Detail |
---|
public void tick()
EmbeddedSJProgram
EmbeddedSJProgram.doTick(Signal...)
tick
in class EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.Shifter3.StateLabel>
EmbeddedSJProgram.doTick(Signal...)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |