|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AltingChannelInputInt | |
---|---|
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. |
Uses of AltingChannelInputInt in org.jcsp.awt |
---|
Methods in org.jcsp.awt with parameters of type AltingChannelInputInt | |
---|---|
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. |
Uses of AltingChannelInputInt in org.jcsp.lang |
---|
Methods in org.jcsp.lang that return AltingChannelInputInt | |
---|---|
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 |
One2OneChannelInt.in()
Returns the input end of the channel. |
AltingChannelInputInt |
Any2OneChannelInt.in()
Returns the input end of the channel. |
AltingChannelInputInt |
One2OneChannelSymmetricInt.in()
Returns the input channel end. |
Uses of AltingChannelInputInt in org.jcsp.plugNplay.ints |
---|
Constructors in org.jcsp.plugNplay.ints with parameters of type AltingChannelInputInt | |
---|---|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |