Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
org.jcsp.net2 | |
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 |
---|---|
static <T> SharedChannelOutput<T>[] |
Channel.getOutputArray(Any2AnyChannel<T>[] c)
This extracts the output-ends from the given channel array.
|
static <T> SharedChannelOutput<T>[] |
Channel.getOutputArray(Any2OneChannel<T>[] c)
This extracts the output-ends from the given channel array.
|
SharedChannelOutput<T> |
Any2AnyChannel.out()
Returns the output end of the channel.
|
SharedChannelOutput<T> |
Any2OneChannel.out()
Returns the output end of the channel.
|
Constructor and Description |
---|
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) |
Modifier and Type | Interface and Description |
---|---|
interface |
NetSharedChannelOutput<T>
Defines a networked ChannelOutput that is safe to be used by multiple concurrent processes.
|
Modifier and Type | Interface and Description |
---|---|
interface |
FilteredSharedChannelOutput
Interface for an output channel end that supports filtering operations and can be shared by multiple
concurrent processes.
|
Modifier and Type | Class and Description |
---|---|
class |
FilteredSharedChannelOutputWrapper
This is wrapper for a
SharedChannelOutput that adds
write filtering. |
Modifier and Type | Method and Description |
---|---|
static FilteredSharedChannelOutput |
FilteredChannelEnd.createFiltered(SharedChannelOutput out)
Creates a new filtered output channel end around an existing output channel end that can be
shared by multiple processes.
|
FilteredSharedChannelOutput |
FilteredChannelEndFactory.createFiltered(SharedChannelOutput out)
Creates a new filtered channel output end around an existing channel end.
|
Constructor and Description |
---|
FilteredSharedChannelOutputWrapper(SharedChannelOutput out)
Constructs a new wrapper for the given channel output end.
|
Copyright © 1996–2017. All rights reserved.