|
||||||||||
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.SurfDepth.StateLabel>
de.cau.cs.kieler.sj.examples.SurfDepth
public class SurfDepth
Program to demonstrate the behavior and functionality of SJ. This program based on SurfDepth-sc.c from the SC examples. For more informations see the SC homepage.
Field Summary | |
---|---|
Signal |
a0
The signals used by the Program. |
Signal |
a1
The signals used by the Program. |
Signal |
b0
The signals used by the Program. |
Signal |
b1
The signals used by the Program. |
Signal |
c1
The signals used by the Program. |
Signal |
u0
The signals used by the Program. |
Signal |
u1
The signals used by the Program. |
Signal |
v0
The signals used by the Program. |
Signal |
v1
The signals used by the Program. |
Signal |
w1
The signals used by the Program. |
Fields inherited from class de.cau.cs.kieler.sj.EmbeddedSJProgram |
---|
INITIAL_TICK |
Constructor Summary | |
---|---|
SurfDepth()
Starts a new instance of the program SurfDepth. |
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 a0
public Signal u0
public Signal b0
public Signal v0
public Signal a1
public Signal b1
public Signal c1
public Signal u1
public Signal v1
public Signal w1
Constructor Detail |
---|
public SurfDepth()
Method Detail |
---|
public void tick()
EmbeddedSJProgram
EmbeddedSJProgram.doTick(Signal...)
tick
in class EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.SurfDepth.StateLabel>
EmbeddedSJProgram.doTick(Signal...)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |