|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use EmbeddedSJProgram | |
---|---|
sj | A package for synchronous programming in java. |
sj.examples | Examples for the usage and syntax of SJ. |
sj.tests.exceptions | JUnit test cases to control the behavior of the SJ implementation. |
Uses of EmbeddedSJProgram in sj |
---|
Subclasses of EmbeddedSJProgram in sj | |
---|---|
class |
SJProgram<StateLabel extends Enum<?>>
|
Fields in sj declared as EmbeddedSJProgram | |
---|---|
protected EmbeddedSJProgram<?> |
Signal.program
The program that belongs to the signal. |
Methods in 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 sj with parameters of type EmbeddedSJProgram | |
---|---|
Signal(String signalName,
boolean state,
EmbeddedSJProgram<?> myProgram,
Boolean[] myLastSignalAssignments)
Creates a new signal. |
Uses of EmbeddedSJProgram in sj.examples |
---|
Subclasses of EmbeddedSJProgram in 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. |
Uses of EmbeddedSJProgram in sj.tests.exceptions |
---|
Subclasses of EmbeddedSJProgram in sj.tests.exceptions | |
---|---|
class |
CausalityExceptionTest.TestProgram
The inner test class. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |