Uses of Class
org.jcsp.lang.AltingChannelInputInt

Packages that use AltingChannelInputInt

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.

Uses of AltingChannelInputInt in org.jcsp.awt

Fields in org.jcsp.awt declared as AltingChannelInputInt

Modifier and Type	Field	Description
private AltingChannelInputInt	ActiveApplet.destroyAck	If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.

Methods in org.jcsp.awt with parameters of type AltingChannelInputInt

Modifier and Type	Method	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.

Uses of AltingChannelInputInt in org.jcsp.lang

Subclasses of AltingChannelInputInt in org.jcsp.lang

Modifier and Type	Class	Description
(package private) class	AltingChannelInputIntImpl
(package private) class	AltingChannelInputIntSymmetricImpl

Fields in org.jcsp.lang declared as AltingChannelInputInt

Modifier and Type	Field	Description
private final AltingChannelInputInt	CrewServer.poison
private final AltingChannelInputInt	CrewServer.readerRelease
private final AltingChannelInputInt	CrewServer.request
private final AltingChannelInputInt	CrewServer.writerControl

Methods in org.jcsp.lang that return AltingChannelInputInt

Modifier and Type	Method	Description
static AltingChannelInputInt[]	Channel.getInputArray(Any2OneChannelInt[] c)	This extracts the input-ends from the given channel array.
static AltingChannelInputInt[]	Channel.getInputArray(One2OneChannelInt[] 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[]	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	Any2OneIntImpl.in()
AltingChannelInputInt	BasicOne2OneChannelSymmetricInt.in()
AltingChannelInputInt	BufferedOne2OneChannelIntImpl.in()	Returns the AltingChannelInputInt object to use for this channel.
AltingChannelInputInt	One2OneChannelInt.in()	Returns the input end of the channel.
AltingChannelInputInt	One2OneChannelIntImpl.in()	Returns the AltingChannelInputInt object to use for this channel.
AltingChannelInputInt	One2OneChannelSymmetricInt.in()	Returns the input channel end.
AltingChannelInputInt	PoisonableBufferedOne2OneChannelInt.in()	Returns the AltingChannelInput to use for this channel.
AltingChannelInputInt	PoisonableOne2OneChannelIntImpl.in()	Returns the AltingChannelInput to use for this channel.

Constructors in org.jcsp.lang with parameters of type AltingChannelInputInt

Modifier	Constructor	Description
	CrewServer(AltingChannelInputInt request, AltingChannelInputInt writerControl, AltingChannelInputInt readerRelease, AltingChannelInputInt poison)

Uses of AltingChannelInputInt in org.jcsp.plugNplay.ints

Fields in org.jcsp.plugNplay.ints declared as AltingChannelInputInt

Modifier and Type	Field	Description
private AltingChannelInputInt	DynamicDeltaInt.in
private final AltingChannelInputInt[]	MultiplexInt.in	The input channels
private final AltingChannelInputInt[]	PlexInt.in	The first input Channel
private final AltingChannelInputInt	RegulateInt.in
private final AltingChannelInputInt	Plex2Int.in0	The first input Channel
private final AltingChannelInputInt	Plex2Int.in1	The second input Channel

Constructors in org.jcsp.plugNplay.ints with parameters of type AltingChannelInputInt

Modifier	Constructor	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.