|
||||||||||
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.GRCbal3.StateLabel>
de.cau.cs.kieler.sj.examples.GRCbal3
public class GRCbal3
This program illustrates the usage of priorities to handle signal dependencies among concurrent threads. It's based on grcbal3-sc.c from the SC examples. For more informations see the SC homepage. grc := graph code bal := bytecode assembly language
Field Summary | |
---|---|
Signal |
a
The signals used by the Program. |
Signal |
b
The signals used by the Program. |
Signal |
c
The signals used by the Program. |
Signal |
d
The signals used by the Program. |
Signal |
e
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 | |
---|---|
GRCbal3()
Starts a new instance of the program GRCbal3. |
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 a
public Signal b
public Signal c
public Signal d
public Signal e
public Signal t
Constructor Detail |
---|
public GRCbal3()
Method Detail |
---|
public void tick()
EmbeddedSJProgram
EmbeddedSJProgram.doTick(Signal...)
tick
in class EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.GRCbal3.StateLabel>
EmbeddedSJProgram.doTick(Signal...)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |