Uses of Class
de.cau.cs.kieler.sj.EmbeddedSJProgram

Packages that use EmbeddedSJProgram
de.cau.cs.kieler.klots.sj.embedded KLOTS embedded SJ add-on classes. 
de.cau.cs.kieler.sj A package for synchronous programming in java. 
de.cau.cs.kieler.sj.examples Examples for the usage and syntax of SJ. 
 

Uses of EmbeddedSJProgram in de.cau.cs.kieler.klots.sj.embedded
 

Methods in de.cau.cs.kieler.klots.sj.embedded with parameters of type EmbeddedSJProgram
static void EmbeddedSJProgramStarter.start(EmbeddedSJProgram<?> program)
           
static void EmbeddedSJProgramStarter.start(EmbeddedSJProgram<?> program, EmbeddedRemoteConsole console)
           
static void EmbeddedSJProgramStarter.start(EmbeddedSJProgram<?> program, String programName)
           
static void EmbeddedSJProgramStarter.start(EmbeddedSJProgram<?> program, String programName, EmbeddedRemoteConsole console)
           
static Signal EmbeddedSJProgramStarter.string2Signal(String str, EmbeddedSJProgram<?> program)
           
 

Uses of EmbeddedSJProgram in de.cau.cs.kieler.sj
 

Subclasses of EmbeddedSJProgram in de.cau.cs.kieler.sj
 class SJProgram<StateLabel extends Enum<?>>
           
 

Fields in de.cau.cs.kieler.sj declared as EmbeddedSJProgram
protected  EmbeddedSJProgram<?> Signal.program
          The program that belongs to the signal.
 

Methods in de.cau.cs.kieler.sj with parameters of type EmbeddedSJProgram
static Signal SignalConverter.string2Signal(EmbeddedSJProgram<?> program, String signalName)
          Converts a given string representation of a signal to a signal object.
 

Constructors in de.cau.cs.kieler.sj with parameters of type EmbeddedSJProgram
Signal(String signalName, boolean state, EmbeddedSJProgram<?> myProgram, Boolean[] myLastSignalAssignments)
          Creates a new signal.
 

Uses of EmbeddedSJProgram in de.cau.cs.kieler.sj.examples
 

Subclasses of EmbeddedSJProgram in de.cau.cs.kieler.sj.examples
 class ABRO
          The program ABRO.
 class Count2Suspend
          Program to demonstrate the behavior of suspend and how this works in SJ.
 class EmbeddedABRO
          The program ABRO.
 class FilteredSR
          Example to illustrate the pre command and signals in SJ.
 class GRCbal3
          This program illustrates the usage of priorities to handle signal dependencies among concurrent threads.
 class PrimeFactor
          This example illustrates the use of valued signals and the proper handling of reincarnation/schizophrenia in SJ.
 class ProducerConsumer
          Producer-Consumer-Observer Example for SJ.
 class Shifter3
          Example to illustrate the behavior of valued signals and pre.
 class SurfDepth
          Program to demonstrate the behavior and functionality of SJ.