|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |