Uses of Interface
org.jcsp.lang.ChannelOutputInt

Packages that use ChannelOutputInt

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	This provides an assortment of plug-and-play CSP components to wire together (with Object-carrying wires) and reuse.
org.jcsp.plugNplay.ints	This provides an assortment of plug-and-play CSP components to wire together (with int-carrying wires) and reuse.
org.jcsp.test

Uses of ChannelOutputInt in org.jcsp.awt

Fields in org.jcsp.awt declared as ChannelOutputInt

Modifier and Type	Field	Description
private ChannelOutputInt	ActiveApplet.destroy	If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.
private ChannelOutputInt	AdjustmentEventHandler.event	The Channel AdjustmentEvent notifications are sent down.
private ChannelOutputInt	ActiveApplet.stopStart	If this channel is set, the default stop/start behaviour changes - see the user-defined stop/start response.

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

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.
void	ActiveApplet.setStopStartChannel(ChannelOutputInt stopStart)	This sets a stopStart channel to allow a user-defined stop/start response.

Constructors in org.jcsp.awt with parameters of type ChannelOutputInt

Constructor	Description
ActiveScrollbar(ChannelInput configure, ChannelOutputInt event)	Constructs a vertical ActiveScrollbar with configuration and event channels.
ActiveScrollbar(ChannelInput configure, ChannelOutputInt event, int orientation)	Constructs a ActiveScrollbar with configuration and event channels and the specified orientation.
ActiveScrollbar(ChannelInput configure, ChannelOutputInt event, int orientation, int value, int visible, int minimum, int maximum)	Constructs a ActiveScrollbar with configuration and event channels and all its options.
AdjustmentEventHandler(ChannelOutputInt event)	Constructs a new AdjustmentEventHandler with the specified event Channel.

Uses of ChannelOutputInt in org.jcsp.lang

Subinterfaces of ChannelOutputInt in org.jcsp.lang

Modifier and Type	Interface	Description
interface	SharedChannelOutputInt	This is the same as ChannelOutputInt except that it is guaranteed safe to pass on to more than one internal process for parallel writing.

Classes in org.jcsp.lang that implement ChannelOutputInt

Modifier and Type	Class	Description
class	AltingChannelOutputInt	This extends Guard and ChannelOutputInt to enable a process to choose between many integer output (and other) events.
(package private) class	AltingChannelOutputIntSymmetricImpl
class	BlackHoleChannelInt	This implements ChannelOutputInt with black hole semantics.
(package private) class	ChannelOutputIntImpl
(package private) class	SharedChannelOutputIntImpl

Fields in org.jcsp.lang declared as ChannelOutputInt

Modifier and Type	Field	Description
private ChannelOutputInt	AltingChannelOutputIntSymmetricImpl.out

Methods in org.jcsp.lang that return ChannelOutputInt

Modifier and Type	Method	Description
static ChannelOutputInt[]	Channel.getOutputArray(One2AnyChannelInt[] c)	This extracts the output-ends from the given channel array.
static ChannelOutputInt[]	Channel.getOutputArray(One2OneChannelInt[] c)	This extracts the output-ends from the given channel array.
static ChannelOutputInt[]	ChannelInt.getOutputArray(One2AnyChannelInt[] c)	Deprecated. Constructs and returns an array of output channel ends, each of which can only be used by a single writer.
static ChannelOutputInt[]	ChannelInt.getOutputArray(One2OneChannelInt[] c)	Deprecated. Constructs and returns an array of output channel ends, each of which can only be used by a single writer.
ChannelOutputInt	BufferedOne2OneChannelIntImpl.out()	Returns the ChannelOutputInt object to use for this channel.
ChannelOutputInt	One2AnyChannelInt.out()	Returns the output end of the channel.
ChannelOutputInt	One2AnyIntImpl.out()
ChannelOutputInt	One2OneChannelInt.out()	Returns the output end of the channel.
ChannelOutputInt	One2OneChannelIntImpl.out()	Returns the ChannelOutputInt object to use for this channel.
ChannelOutputInt	PoisonableBufferedOne2OneChannelInt.out()	Returns the ChannelOutput object to use for this channel.
ChannelOutputInt	PoisonableOne2OneChannelIntImpl.out()	Returns the ChannelOutput object to use for this channel.

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

Constructor	Description
AltingChannelOutputIntSymmetricImpl(AltingBarrier ab, ChannelOutputInt out)

Uses of ChannelOutputInt in org.jcsp.plugNplay

Constructors in org.jcsp.plugNplay with parameters of type ChannelOutputInt

Constructor	Description
FramedScrollbar(java.lang.String title, int pixDown, int pixAcross, ChannelInput configure, ChannelOutputInt event, boolean horizontal, int value, int visible, int minimum, int maximum)	Construct a framed scrollbar process.

Uses of ChannelOutputInt in org.jcsp.plugNplay.ints

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

Modifier and Type	Field	Description
private ChannelOutputInt	AndInt.out	The output Channel
private ChannelOutputInt[]	DeltaInt.out	The output Channels
private ChannelOutputInt[]	DemultiplexInt.out	The output Channels
private ChannelOutputInt[]	DeparaplexInt.out	The output Channels
private ChannelOutputInt	FibonacciInt.out	The output Channel
private ChannelOutputInt	FixedDelayInt.out	The output Channel
private ChannelOutputInt	GenerateInt.out	The output Channel
private ChannelOutputInt	IdentityInt.out	The output Channel
private ChannelOutputInt	IntegrateInt.out	The output Channel
private ChannelOutputInt	Merge2Int.out	The output Channel
private ChannelOutputInt	MergeInt.out	The output channel
private ChannelOutputInt	MultInt.out	The output Channel
private ChannelOutputInt	MultiplexInt.out	The output channel
private ChannelOutputInt	NandInt.out	The output Channel
private ChannelOutputInt	NorInt.out	The output Channel
private ChannelOutputInt	NumbersInt.out	The output Channel
private ChannelOutputInt	OrInt.out	The output Channel
private ChannelOutputInt	PairsInt.out	The output Channel
private ChannelOutputInt	Plex2Int.out	The output Channel
private ChannelOutputInt	PlexInt.out	The output Channel
private ChannelOutputInt	PlusInt.out	The output Channel
private ChannelOutputInt	PrefixInt.out	The output Channel
private ChannelOutputInt	ProcessWriteInt.out	The channel to which to write
private ChannelOutputInt	RegularInt.out
private ChannelOutputInt	RegulateInt.out
private ChannelOutputInt	SquaresInt.out	The output Channel
private ChannelOutputInt	SubstituteInt.out	The output Channel
private ChannelOutputInt	SuccessorInt.out	The output Channel
private ChannelOutputInt	TailInt.out	The output Channel
private ChannelOutputInt	TimesInt.out	The output Channel
private ChannelOutputInt	XorInt.out	The output Channel
private ChannelOutputInt	Delta2Int.out0	The first output Channel
private ChannelOutputInt	Delta2Int.out1	The second output Channel

Methods in org.jcsp.plugNplay.ints with parameters of type ChannelOutputInt

Modifier and Type	Method	Description
private void	DynamicDeltaInt.addOutputChannel(ChannelOutputInt c)	Adds a Channel to the list of output Channels.
private void	DynamicDeltaInt.removeOutputChannel(ChannelOutputInt c)	Removes a Channel from the list of output Channels.

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

Constructor	Description
AndInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new AndInt process with the input Channels in0 and in1 and the output Channel out.
Delta2Int(ChannelInputInt in, ChannelOutputInt out0, ChannelOutputInt out1)	Construct a new Delta2Int process with the input Channel in and the output Channels out0 and out1.
DeltaInt(ChannelInputInt in, ChannelOutputInt[] out)	Construct a new DeltaInt process with the input Channel in and the output Channels out.
DemultiplexInt(ChannelInputInt in, ChannelOutputInt[] out)	Construct a new DemultiplexInt process with the input Channel in and the output Channels out.
DeparaplexInt(ChannelInput in, ChannelOutputInt[] out)	Construct a new DeparaplexInt process with the input Channel in and the output Channels out.
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.
FibonacciInt(ChannelOutputInt out)	Construct a new FibonacciInt process with the output Channel out.
FixedDelayInt(long delayTime, ChannelInputInt in, ChannelOutputInt out)	Construct a new FixedDelayInt process with the input Channel in and the output Channel out.
GenerateInt(ChannelOutputInt out, int n)	Construct a new GenerateInt process with the output channel out.
IdentityInt(ChannelInputInt in, ChannelOutputInt out)	Construct a new IdentityInt process with the input Channel in and the output Channel out.
IntegrateInt(ChannelInputInt in, ChannelOutputInt out)	Construct a new IntegrateInt process with the input Channel in and the output Channel out.
Merge2Int(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new Merge2Int process with the input channels in0 and in1 and the output channel out.
MergeInt(ChannelInputInt[] in, ChannelOutputInt out)	Construct a new Merge2Int process with the input channels inand the output channel out.
MultInt(int n, ChannelInputInt in, ChannelOutputInt out)	Construct a new MultInt process with the input Channel in and the output Channel out.
MultiplexInt(AltingChannelInputInt[] in, ChannelOutputInt out)	Construct a new MultiplexInt process with the input Channel in and the output Channels out.
NandInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new NandInt process with the input Channels in0 and in1 and the output Channel out.
NorInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new NorInt process with the input Channels in0 and in1 and the output Channel out.
NumbersInt(ChannelOutputInt out)	Construct a new NumbersInt process with the output Channel out.
OrInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new OrInt process with the input Channels in0 and in1 and the output Channel out.
PairsInt(ChannelInputInt in, ChannelOutputInt out)	Construct a new PairsInt process with the input Channel in and the output Channel 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.
PlusInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new PlusInt process with the input Channels in0 and in1 and the output Channel out.
PrefixInt(int n, ChannelInputInt in, ChannelOutputInt out)	Construct a new PrefixInt process with the input Channel in and the output Channel out.
ProcessWriteInt(ChannelOutputInt out)	Construct a new ProcessWriteInt.
RegularInt(ChannelOutputInt out, int n, long interval)	Construct the process.
RegulateInt(AltingChannelInputInt in, AltingChannelInput reset, ChannelOutputInt out, long initialInterval)	Construct the process.
SquaresInt(ChannelOutputInt out)	Construct a new SquaresInt process with the output Channel out.
SubstituteInt(ChannelInputInt in, ChannelOutputInt out, int n)	Construct a new SubstituteInt process.
SuccessorInt(ChannelInputInt in, ChannelOutputInt out)	Construct a new SuccessorInt process with the input Channel in and the output Channel out.
TailInt(ChannelInputInt in, ChannelOutputInt out)	Construct a new TailInt process with the input Channel in and the output Channel out.
TimesInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new TimesInt process with the input Channels in0 and in1 and the output Channel out.
XorInt(ChannelInputInt in0, ChannelInputInt in1, ChannelOutputInt out)	Construct a new XorInt process with the input Channels in0 and in1 and the output Channel out.

Uses of ChannelOutputInt in org.jcsp.test

Fields in org.jcsp.test declared as ChannelOutputInt

Modifier and Type	Field	Description
private ChannelOutputInt	WriterProcessInt.out

Constructors in org.jcsp.test with parameters of type ChannelOutputInt

Constructor	Description
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier event)
WriterProcessInt(ChannelOutputInt out, int[] values, AltingBarrier[][] events)