Package | Description |
---|---|
org.jcsp.awt |
This provides CSP extensions for all AWT
Component components:
GUI events and widget configurations map to channel communications. |
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.plugNplay.ints |
This provides an assortment of plug-and-play CSP components to wire together
(with int-carrying wires) and reuse.
|
Modifier and Type | Field and Description |
---|---|
private AltingChannelInputInt |
ActiveApplet.destroyAck
If this channel is set, the default destroy behaviour changes -
see the user-defined destroy response.
|
Modifier and Type | Method and Description |
---|---|
void |
ActiveApplet.setDestroyChannels(ChannelOutputInt destroy,
AltingChannelInputInt destroyAck)
This sets destroy/destroyAck channels to allow
a user-defined destroy response.
|
void |
ActiveApplet.setDestroyChannels(ChannelOutputInt destroy,
AltingChannelInputInt destroyAck,
int timeoutAck)
This sets destroy/destroyAck channels to allow
a user-defined destroy response.
|
Modifier and Type | Class and Description |
---|---|
(package private) class |
AltingChannelInputIntImpl |
(package private) class |
AltingChannelInputIntSymmetricImpl |
Modifier and Type | Field and Description |
---|---|
private AltingChannelInputInt |
CrewServer.poison |
private AltingChannelInputInt |
CrewServer.readerRelease |
private AltingChannelInputInt |
CrewServer.request |
private AltingChannelInputInt |
CrewServer.writerControl |
Modifier and Type | Method and Description |
---|---|
static AltingChannelInputInt[] |
ChannelInt.getInputArray(Any2OneChannelInt[] c)
Deprecated.
Constructs and returns an array of input channel ends, each of which can be used as guards
in an
Alternative . |
static AltingChannelInputInt[] |
Channel.getInputArray(Any2OneChannelInt[] c)
This extracts the input-ends from the given channel array.
|
static AltingChannelInputInt[] |
ChannelInt.getInputArray(One2OneChannelInt[] c)
Deprecated.
Constructs and returns an array of input channel ends, each of which can be used as guards
in an
Alternative . |
static AltingChannelInputInt[] |
Channel.getInputArray(One2OneChannelInt[] c)
This extracts the input-ends from the given channel array.
|
AltingChannelInputInt |
Any2OneChannelInt.in()
Returns the input end of the channel.
|
AltingChannelInputInt |
One2OneChannelSymmetricInt.in()
Returns the input channel end.
|
AltingChannelInputInt |
Any2OneIntImpl.in() |
AltingChannelInputInt |
BasicOne2OneChannelSymmetricInt.in() |
AltingChannelInputInt |
One2OneChannelIntImpl.in()
Returns the
AltingChannelInputInt object to use for this
channel. |
AltingChannelInputInt |
BufferedOne2OneChannelIntImpl.in()
Returns the
AltingChannelInputInt object to use for this
channel. |
AltingChannelInputInt |
PoisonableOne2OneChannelIntImpl.in()
Returns the
AltingChannelInput to use for this channel. |
AltingChannelInputInt |
One2OneChannelInt.in()
Returns the input end of the channel.
|
AltingChannelInputInt |
PoisonableBufferedOne2OneChannelInt.in()
Returns the
AltingChannelInput to use for this channel. |
Constructor and Description |
---|
CrewServer(AltingChannelInputInt request,
AltingChannelInputInt writerControl,
AltingChannelInputInt readerRelease,
AltingChannelInputInt poison) |
Modifier and Type | Field and Description |
---|---|
private AltingChannelInputInt |
DynamicDeltaInt.in |
private AltingChannelInputInt[] |
PlexInt.in
The first input Channel
|
private AltingChannelInputInt |
RegulateInt.in |
private AltingChannelInputInt[] |
MultiplexInt.in
The input channels
|
private AltingChannelInputInt |
Plex2Int.in0
The first input Channel
|
private AltingChannelInputInt |
Plex2Int.in1
The second input Channel
|
Constructor and Description |
---|
DynamicDeltaInt(AltingChannelInputInt in,
AltingChannelInput config)
Construct a new DynamicDeltaInt process with the input channel in and
the configuration channel configure.
|
DynamicDeltaInt(AltingChannelInputInt in,
AltingChannelInput config,
ChannelOutputInt[] out)
Construct a new DynamicDeltaInt process with the input channel in,
the configuration channel configure and the initial output
channels out.
|
MultiplexInt(AltingChannelInputInt[] in,
ChannelOutputInt out)
Construct a new MultiplexInt process with the input Channel in and the output
Channels out.
|
Plex2Int(AltingChannelInputInt in0,
AltingChannelInputInt in1,
ChannelOutputInt out)
Construct a new Plex2Int process with the input channels
in0 and in1 and the output channel out.
|
PlexInt(AltingChannelInputInt[] in,
ChannelOutputInt out)
Construct a new PlexInt process with input channels
in and output channel out.
|
RegulateInt(AltingChannelInputInt in,
AltingChannelInput reset,
ChannelOutputInt out,
long initialInterval)
Construct the process.
|