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 | 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 | Method and Description |
---|---|
static AltingChannelInputInt[] |
Channel.getInputArray(Any2OneChannelInt[] c)
This extracts the input-ends from the given channel array.
|
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(One2OneChannelInt[] 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 . |
AltingChannelInputInt |
Any2OneChannelInt.in()
Returns the input end of the channel.
|
AltingChannelInputInt |
One2OneChannelInt.in()
Returns the input end of the channel.
|
AltingChannelInputInt |
One2OneChannelSymmetricInt.in()
Returns the input channel end.
|
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.
|
Copyright © 1996–2018. All rights reserved.