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 |
Modifier and Type | Field and 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.
|
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.
|
void |
ActiveApplet.setStopStartChannel(ChannelOutputInt stopStart)
This sets a stopStart channel to allow
a user-defined stop/start response.
|
Constructor and 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.
|
Modifier and Type | Interface and 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. |
Modifier and Type | Class and 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 |
Modifier and Type | Field and Description |
---|---|
private ChannelOutputInt |
AltingChannelOutputIntSymmetricImpl.out |
Modifier and Type | Method and Description |
---|---|
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[] |
Channel.getOutputArray(One2AnyChannelInt[] c)
This extracts the output-ends from the given channel array.
|
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.
|
static ChannelOutputInt[] |
Channel.getOutputArray(One2OneChannelInt[] c)
This extracts the output-ends from the given channel array.
|
ChannelOutputInt |
One2AnyChannelInt.out()
Returns the output end of the channel.
|
ChannelOutputInt |
One2OneChannelIntImpl.out()
Returns the
ChannelOutputInt object to use for this
channel. |
ChannelOutputInt |
BufferedOne2OneChannelIntImpl.out()
Returns the
ChannelOutputInt object to use for this
channel. |
ChannelOutputInt |
PoisonableOne2OneChannelIntImpl.out()
Returns the
ChannelOutput object to use for this channel. |
ChannelOutputInt |
One2OneChannelInt.out()
Returns the output end of the channel.
|
ChannelOutputInt |
PoisonableBufferedOne2OneChannelInt.out()
Returns the
ChannelOutput object to use for this channel. |
ChannelOutputInt |
One2AnyIntImpl.out() |
Constructor and Description |
---|
AltingChannelOutputIntSymmetricImpl(AltingBarrier ab,
ChannelOutputInt out) |
Constructor and 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.
|
Modifier and Type | Field and Description |
---|---|
private ChannelOutputInt |
XorInt.out
The output Channel
|
private ChannelOutputInt |
NorInt.out
The output Channel
|
private ChannelOutputInt |
GenerateInt.out
The output Channel
|
private ChannelOutputInt[] |
DemultiplexInt.out
The output Channels
|
private ChannelOutputInt |
ProcessWriteInt.out
The channel to which to write
|
private ChannelOutputInt |
SuccessorInt.out
The output Channel
|
private ChannelOutputInt[] |
DeparaplexInt.out
The output Channels
|
private ChannelOutputInt |
Merge2Int.out
The output Channel
|
private ChannelOutputInt |
PlexInt.out
The output Channel
|
private ChannelOutputInt |
RegulateInt.out |
private ChannelOutputInt |
SquaresInt.out
The output Channel
|
private ChannelOutputInt |
FixedDelayInt.out
The output Channel
|
private ChannelOutputInt |
MultInt.out
The output Channel
|
private ChannelOutputInt |
PrefixInt.out
The output Channel
|
private ChannelOutputInt |
AndInt.out
The output Channel
|
private ChannelOutputInt |
IntegrateInt.out
The output Channel
|
private ChannelOutputInt |
IdentityInt.out
The output Channel
|
private ChannelOutputInt |
Plex2Int.out
The output Channel
|
private ChannelOutputInt |
TailInt.out
The output Channel
|
private ChannelOutputInt |
OrInt.out
The output Channel
|
private ChannelOutputInt |
FibonacciInt.out
The output Channel
|
private ChannelOutputInt |
PlusInt.out
The output Channel
|
private ChannelOutputInt |
NandInt.out
The output Channel
|
private ChannelOutputInt |
TimesInt.out
The output Channel
|
private ChannelOutputInt |
MergeInt.out
The output channel
|
private ChannelOutputInt |
RegularInt.out |
private ChannelOutputInt |
MultiplexInt.out
The output channel
|
private ChannelOutputInt[] |
DeltaInt.out
The output Channels
|
private ChannelOutputInt |
PairsInt.out
The output Channel
|
private ChannelOutputInt |
NumbersInt.out
The output Channel
|
private ChannelOutputInt |
SubstituteInt.out
The output Channel
|
private ChannelOutputInt |
Delta2Int.out0
The first output Channel
|
private ChannelOutputInt |
Delta2Int.out1
The second output Channel
|
Modifier and Type | Method and 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.
|
Constructor and 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.
|
Modifier and Type | Field and Description |
---|---|
private ChannelOutputInt |
WriterProcessInt.out |
Modifier and Type | Method and Description |
---|---|
void |
TestExtendedRendezvous.helper_testFIFOChannelOneWriterInt(ChannelInputInt in,
ChannelOutputInt out) |
void |
TestExtendedRendezvous.helper_testIntChannelOneWriter(ChannelInputInt in,
ChannelOutputInt out) |
Constructor and Description |
---|
WriterProcessInt(ChannelOutputInt out,
int[] values,
AltingBarrier event) |
WriterProcessInt(ChannelOutputInt out,
int[] values,
AltingBarrier[][] events) |