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.
|
org.jcsp.net.dynamic |
Supports dynamic operations over the JCSP.NET infrastructure.
|
org.jcsp.net2 | |
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.util.filter |
This defines filtering channels that can apply transformations to objects
as they are read and/or written.
|
Modifier and Type | Method and Description |
---|---|
void |
ActiveTextEnterField.setConfigureChannel(AltingChannelInput configure)
Sets the configuration channel for this ActiveTextEnterField.
|
void |
ActiveTextEnterArea.setConfigureChannel(AltingChannelInput configure)
Sets the configuration channel for this ActiveTextEnterArea.
|
Constructor and Description |
---|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments.
|
ActiveButtonControl(AltingChannelInput[] event,
ChannelOutput[] configure,
ChannelOutput report,
java.lang.String[][] label,
ActiveButtonState[] state,
int startState,
boolean verbose)
Constructs a new ActiveButtonControl, performing consistency
checks on its supplied arguments, with a verbose reporting option.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event)
Constructs a new ActiveTextEnterArea with configuration and event channels and scrollbars,
but with no initial text or size.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveTextEnterArea with configuration and event channels
and scrollbars and initial text, but with no initial size.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s,
int rows,
int columns)
Constructs a new ActiveTextEnterArea with configuration and event channels
and scrollbars and initial text and size.
|
ActiveTextEnterArea(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s,
int rows,
int columns,
int scrollbars)
Constructs a new ActiveTextEnterArea with configuration and event channels
and user-defined scrollbars and initial text and size.
|
ActiveTextEnterField(AltingChannelInput configure,
ChannelOutput event)
Constructs a new ActiveTextEnterField with configuration and event channels,
but no initial text.
|
ActiveTextEnterField(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s)
Constructs a new ActiveTextEnterField with configuration and event channels,
initial text and default width.
|
ActiveTextEnterField(AltingChannelInput configure,
ChannelOutput event,
java.lang.String s,
int columns)
Constructs a new ActiveTextEnterField with configuration and event channels,
initial text and width.
|
Modifier and Type | Class and Description |
---|---|
class |
AltingChannelInputWrapper<T>
Deprecated.
There is no longer any need to use this class, after the 1.1 class reorganisation.
Note that usually you do not need the absolute guarantee that this class
provides - you can usually just cast the channel to an AltingChannelInput,
which prevents you from accidentally writing to the channel. This
class mainly exists for use by some of the org.jcsp.net classes, where the
absolute guarantee that you cannot write to it is important.
|
class |
RejectableAltingChannelInput
Deprecated.
This channel is superceded by the poison mechanisms, please see
PoisonException |
Modifier and Type | Method and Description |
---|---|
protected AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> |
AltingConnectionServer.getAltingChannel()
Returns the channel used to implement the Guard.
|
protected AltingChannelInput<T> |
AltingConnectionClient.getAltingChannel()
Returns the channel used to implement the Guard.
|
protected AltingChannelInput |
AltingChannelInputWrapper.getChannel()
Deprecated.
Get the real channel.
|
static <T> AltingChannelInput<T>[] |
Channel.getInputArray(Any2OneChannel<T>[] c)
This extracts the input-ends from the given channel array.
|
static <T> AltingChannelInput<T>[] |
Channel.getInputArray(One2OneChannel<T>[] c)
This extracts the input-ends from the given channel array.
|
AltingChannelInput<T> |
One2OneChannelSymmetric.in()
Returns the input channel end.
|
AltingChannelInput<T> |
Any2OneChannel.in()
Returns the input end of the channel.
|
AltingChannelInput<T> |
One2OneChannel.in()
Returns the input channel end.
|
Modifier and Type | Method and Description |
---|---|
protected void |
AltingConnectionServer.setAltingChannel(AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> chan)
ConnectionServer implementations are likely to be
implemented over channels. |
protected void |
AltingConnectionClient.setAltingChannel(AltingChannelInput<T> chan)
ConnectionServer implementations are likely to be
implemented over channels. |
protected void |
AltingChannelInputWrapper.setChannel(AltingChannelInput<T> chan)
Deprecated.
Sets the real channel to be used.
|
Constructor and Description |
---|
AltingChannelInputWrapper(AltingChannelInput<T> channel)
Deprecated.
Creates a new AltingChannelInputWrapper which wraps the specified
channel.
|
AltingConnectionClient(AltingChannelInput<T> altingChannel)
Constructor.
|
AltingConnectionClientImpl(AltingChannelInput fromServer,
ChannelOutput openToServer,
ChannelOutput reqToServer,
ChannelOutput backToClient)
Constructs a new instance.
|
AltingConnectionServer(AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> altingChannel)
Constructor.
|
AltingConnectionServerImpl(AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> openIn,
AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> furtherRequestIn)
Constructs a new server instance.
|
AltingConnectionServerImpl(AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> openIn,
AltingChannelInput<org.jcsp.lang.ConnectionMessage<T>> furtherRequestIn)
Constructs a new server instance.
|
SharedAltingConnectionClient(AltingChannelInput fromServer,
ChannelInput synchIn,
ChannelOutput openToServer,
ChannelOutput reqToServer,
SharedChannelOutput synchOut,
ChannelOutput backToClient,
org.jcsp.lang.ConnectionWithSharedAltingClient parent) |
SharedConnectionServerImpl(AltingChannelInput openIn,
AltingChannelInput requestIn,
ChannelInput synchIn,
SharedChannelOutput synchOut,
org.jcsp.lang.ConnectionWithSharedAltingServer parent) |
SharedConnectionServerImpl(AltingChannelInput openIn,
AltingChannelInput requestIn,
ChannelInput synchIn,
SharedChannelOutput synchOut,
org.jcsp.lang.ConnectionWithSharedAltingServer parent) |
Modifier and Type | Method and Description |
---|---|
AltingChannelInput |
Node.getLinkLostEventChannel()
This method allows users to obtain notification of link failure.
|
Constructor and Description |
---|
NetAltingChannelInput(AltingChannelInput channel)
Constructs a channel end and takes the actual channel to use
to deliver the data.
|
Modifier and Type | Class and Description |
---|---|
class |
MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an
Alternative . |
Modifier and Type | Class and Description |
---|---|
class |
NetAltingChannelInput<T>
A NetChannelInput that may be used as a guard.
|
Modifier and Type | Method and Description |
---|---|
AltingChannelInput |
Node.getLinkLostEventChannel() |
Constructor and Description |
---|
NetAltingChannelInput(AltingChannelInput<T> in)
Creates a new NetAltingChannelInput, with the given channel as the guard
|
Constructor and Description |
---|
DynamicDelta(AltingChannelInput in,
AltingChannelInput config)
Construct a new DynamicDelta process with the input channel in and
the configuration channel configure.
|
DynamicDelta(AltingChannelInput in,
AltingChannelInput config)
Construct a new DynamicDelta process with the input channel in and
the configuration channel configure.
|
DynamicDelta(AltingChannelInput in,
AltingChannelInput config,
ChannelOutput[] out)
Construct a new DynamicDelta process with the input channel in,
the configuration channel configure and the initial output
channels out.
|
DynamicDelta(AltingChannelInput in,
AltingChannelInput config,
ChannelOutput[] out)
Construct a new DynamicDelta process with the input channel in,
the configuration channel configure and the initial output
channels out.
|
Multiplex(AltingChannelInput[] in,
ChannelOutput out)
Construct a new Multiplex process with the input Channel in and the output
Channels out.
|
Plex(AltingChannelInput[] in,
ChannelOutput out)
Construct a new Plex process with input channels
in and output channel out.
|
Plex2(AltingChannelInput in0,
AltingChannelInput in1,
ChannelOutput out)
Construct a new Plex2 process with the input channels
in0 and in1 and the output channel out.
|
Plex2(AltingChannelInput in0,
AltingChannelInput in1,
ChannelOutput out)
Construct a new Plex2 process with the input channels
in0 and in1 and the output channel out.
|
Regulate(AltingChannelInput in,
AltingChannelInput reset,
ChannelOutput out,
long initialInterval)
Construct the process.
|
Regulate(AltingChannelInput in,
AltingChannelInput reset,
ChannelOutput out,
long initialInterval)
Construct the process.
|
Constructor and 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.
|
RegulateInt(AltingChannelInputInt in,
AltingChannelInput reset,
ChannelOutputInt out,
long initialInterval)
Construct the process.
|
Modifier and Type | Class and Description |
---|---|
class |
FilteredAltingChannelInput
Implements an
AltingChannelInput channel end that also supports read filters. |
Modifier and Type | Method and Description |
---|---|
static FilteredAltingChannelInput |
FilteredChannelEnd.createFiltered(AltingChannelInput in)
Creates a new filtered input channel end around an existing input channel end.
|
FilteredAltingChannelInput |
FilteredChannelEndFactory.createFiltered(AltingChannelInput in)
Creates a new filtered channel input end around an existing channel end.
|
Copyright © 1996–2024. All rights reserved.