de.cau.cs.kieler.sj.examples
Class EmbeddedABRO

java.lang.Object
  extended by de.cau.cs.kieler.sj.EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.EmbeddedABRO.StateLabel>
      extended by de.cau.cs.kieler.sj.examples.EmbeddedABRO

public class EmbeddedABRO
extends EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.EmbeddedABRO.StateLabel>

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.

See Also:
ABRO
Rating red

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

a

public Signal a
The signals used by the Program. Because the class SJProgram is in a different package than this program, all signals must be public.


b

public Signal b
The signals used by the Program. Because the class SJProgram is in a different package than this program, all signals must be public.


r

public Signal r
The signals used by the Program. Because the class SJProgram is in a different package than this program, all signals must be public.


o

public Signal o
The signals used by the Program. Because the class SJProgram is in a different package than this program, all signals must be public.

Constructor Detail

EmbeddedABRO

public EmbeddedABRO()
Starts a new instance of the program EmbeddedABRO.

Method Detail

tick

public void tick()
Description copied from class: EmbeddedSJProgram
Function that should be implemented with a SJ-Program. It should contain the behaver of the program. Every time the method is called it should do exactly one tick an then terminate. Use this method only to override it if you want to execute a tick use EmbeddedSJProgram.doTick(Signal...)

Specified by:
tick in class EmbeddedSJProgram<de.cau.cs.kieler.sj.examples.EmbeddedABRO.StateLabel>
See Also:
EmbeddedSJProgram.doTick(Signal...)