|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.sj.EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.EmbeddedABRO.StateLabel>
de.cau.cs.kieler.sj.examples.EmbeddedABRO
public class EmbeddedABRO
The program ABRO. ABRO is the "hello world" of synchronous languages. This is the version of ABRO in SJ that can be used on embedded systems. This implementation based on the SC version of ABRO. For informations about SC see the SC homepage.
ABRO
Field Summary | |
---|---|
Signal |
a
The signals used by the Program. |
Signal |
b
The signals used by the Program. |
Signal |
o
The signals used by the Program. |
Signal |
r
The signals used by the Program. |
Fields inherited from class de.cau.cs.kieler.sj.EmbeddedSJProgram |
---|
INITIAL_TICK |
Constructor Summary | |
---|---|
EmbeddedABRO()
Starts a new instance of the program EmbeddedABRO. |
Method Summary | |
---|---|
void |
tick()
Function that should be implemented with a SJ-Program. |
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 a
public Signal b
public Signal r
public Signal o
Constructor Detail |
---|
public EmbeddedABRO()
Method Detail |
---|
public void tick()
EmbeddedSJProgram
EmbeddedSJProgram.doTick(Signal...)
tick
in class EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.EmbeddedABRO.StateLabel>
EmbeddedSJProgram.doTick(Signal...)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |