Uses of Class
org.jcsp.lang.Alternative

Packages that use Alternative

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.net	This is main package for JCSP.NET.

Uses of Alternative in org.jcsp.awt

Fields in org.jcsp.awt declared as Alternative

Modifier and Type	Field	Description
private Alternative	ActiveApplet.destroyAlt

Uses of Alternative in org.jcsp.lang

Fields in org.jcsp.lang declared as Alternative

Modifier and Type	Field	Description
private Alternative	AltingBarrier.alt	The process offering this barrier (protected by the base monitor).
private Alternative	BufferedOne2OneChannel.alt
private Alternative	BufferedOne2OneChannelIntImpl.alt	The Alternative class that controls the selection
private Alternative	InlineAlternative.alt	If used as a top level ALT, the work will be delegated to this
private Alternative	One2OneChannelImpl.alt	The Alternative class that controls the selection
private Alternative	One2OneChannelIntImpl.alt	The Alternative class that controls the selection
private Alternative	PoisonableBufferedOne2OneChannel.alt
private Alternative	PoisonableBufferedOne2OneChannelInt.alt
private Alternative	PoisonableOne2OneChannelImpl.alt	The Alternative class that controls the selection
private Alternative	PoisonableOne2OneChannelIntImpl.alt	The Alternative class that controls the selection
private Alternative	AltingBarrier.pollAlt	Used to support the invalid reference sync method.
private Alternative	AltingBarrier.singleAlt	Used to support the sync method.

Methods in org.jcsp.lang with parameters of type Alternative

Modifier and Type	Method	Description
(package private) boolean	AltingBarrier.enable(Alternative a)
(package private) boolean	AltingChannelInputImpl.enable(Alternative alt)
(package private) boolean	AltingChannelInputIntImpl.enable(Alternative alt)
(package private) boolean	AltingChannelInputIntSymmetricImpl.enable(Alternative alt)
(package private) boolean	AltingChannelInputSymmetricImpl.enable(Alternative alt)
(package private) boolean	AltingChannelInputWrapper.enable(Alternative alt)	Deprecated. Returns true if the event is ready.
(package private) boolean	AltingChannelOutputIntSymmetricImpl.enable(Alternative alt)
(package private) boolean	AltingChannelOutputSymmetricImpl.enable(Alternative alt)
(package private) boolean	AltingConnectionClient.enable(Alternative alt)	Returns true if the event is ready.
(package private) boolean	AltingConnectionServer.enable(Alternative alt)	Returns true if the event is ready.
(package private) boolean	Any2OneCallChannel.enable(Alternative alt)	This is one of the Guard methods needed by the Alternative class.
(package private) boolean	CSTimer.enable(Alternative alt)	Enables this guard.
(package private) abstract boolean	Guard.enable(Alternative alt)	Returns true if the event is ready.
(package private) boolean	InlineAlternative.enable(Alternative alt)	Enable this ALT as a guard within its parent ALT.
(package private) boolean	One2OneCallChannel.enable(Alternative alt)	This is one of the Guard methods needed by the Alternative class.
(package private) boolean	RejectableAltingChannelInputImpl.enable(Alternative alt)
(package private) boolean	Skip.enable(Alternative alt)	Enables this guard.
(package private) boolean	Stop.enable(Alternative alt)	Enables this guard.
boolean	Any2AnyImpl.readerEnable(Alternative alt)
boolean	Any2AnyIntImpl.readerEnable(Alternative alt)
boolean	Any2OneImpl.readerEnable(Alternative alt)
boolean	Any2OneIntImpl.readerEnable(Alternative alt)
boolean	BufferedOne2OneChannel.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
boolean	BufferedOne2OneChannelIntImpl.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
boolean	ChannelInternals.readerEnable(Alternative alt)
boolean	ChannelInternalsInt.readerEnable(Alternative alt)
boolean	One2AnyImpl.readerEnable(Alternative alt)
boolean	One2AnyIntImpl.readerEnable(Alternative alt)
boolean	One2OneChannelImpl.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
boolean	One2OneChannelIntImpl.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
boolean	PoisonableBufferedOne2OneChannel.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
boolean	PoisonableBufferedOne2OneChannelInt.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
boolean	PoisonableOne2OneChannelImpl.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
boolean	PoisonableOne2OneChannelIntImpl.readerEnable(Alternative alt)	turns on Alternative selection for the channel.
protected void	Guard.schedule(Alternative alt)	Schedules the process performing the given Alternative to run again.

Uses of Alternative in org.jcsp.net

Fields in org.jcsp.net declared as Alternative

Modifier and Type	Field	Description
private Alternative	NetChannelInputProcess.alt