abro
Class EmbeddedABRO

java.lang.Object
  extended by sj.EmbeddedSJProgram<abro.EmbeddedABRO.StateLabel>
      extended by abro.EmbeddedABRO

public class EmbeddedABRO
extends sj.EmbeddedSJProgram<abro.EmbeddedABRO.StateLabel>

The program ABRO. ABRO is the "hello world" of synchronous languages. This version of ABRO in Synchronous Java (SJ) can be run on Lego Mindstorms NXT systems. This implementation is based on the Synchronous C (SC) version of ABRO. For informations about SC see the SC homepage .

See Also:
ABRO
Rating red

Field Summary
 sj.Signal a
          The signals used by the program.
 sj.Signal b
          The signals used by the program.
 sj.Signal o
          The signals used by the program.
 sj.Signal r
          The signals used by the program.
 
Fields inherited from class sj.EmbeddedSJProgram
INITIAL_TICK
 
Constructor Summary
EmbeddedABRO()
          Initializes a new instance of EmbeddedABRO.
 
Method Summary
static void main(String[] args)
          Starts the program.
 void tick()
          The heart method of the EmbeddedABRO program.
 
Methods inherited from class 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 sj.Signal a
The signals used by the program. Because the class EmbeddedSJProgram is in a different package than this program, all signals must be public.


b

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


r

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


o

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

Constructor Detail

EmbeddedABRO

public EmbeddedABRO()
Initializes a new instance of EmbeddedABRO.

Method Detail

main

public static void main(String[] args)
Starts the program.


tick

public void tick()
The heart method of the EmbeddedABRO program. tick() is executed each macrostep until program termination.

Specified by:
tick in class sj.EmbeddedSJProgram<abro.EmbeddedABRO.StateLabel>