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

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

public class SurfDepth
extends SJProgram<de.cau.cs.kieler.sj.examples.SurfDepth.StateLabel>

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.

Rating red

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

a0

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


u0

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


b0

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


v0

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


a1

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


b1

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


c1

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


u1

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


v1

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


w1

public Signal w1
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

SurfDepth

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

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.SurfDepth.StateLabel>
See Also:
EmbeddedSJProgram.doTick(Signal...)