Package | Description |
---|---|
org.jcsp.lang |
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
|
Modifier and Type | Class and Description |
---|---|
(package private) class |
ConnectionClientMessage<T> |
(package private) class |
ConnectionClientOpenMessage<T> |
(package private) class |
ConnectionServerMessage<T> |
Modifier and Type | Field and Description |
---|---|
private AltingChannelInput<ConnectionMessage<T>> |
AltingConnectionServer.altingChannel
The channel used to ALT over.
|
private ChannelInput<ConnectionMessage<T>> |
AltingConnectionServerImpl.currentInputChannel |
private AltingChannelInput<ConnectionMessage<T>> |
AltingConnectionClientImpl.fromServer |
private AltingChannelInput<ConnectionMessage<T>> |
AltingConnectionServerImpl.furtherRequestIn |
private AltingChannelInput<ConnectionMessage<T>> |
AltingConnectionServerImpl.openIn |
(package private) ChannelOutput<ConnectionMessage<T>> |
ConnectionClientOpenMessage.replyChannel |
private ChannelOutput<ConnectionMessage<T>> |
AltingConnectionServerImpl.toClient |
Modifier and Type | Method and Description |
---|---|
protected AltingChannelInput<ConnectionMessage<T>> |
AltingConnectionServer.getAltingChannel()
Returns the channel used to implement the Guard.
|
Modifier and Type | Method and Description |
---|---|
protected void |
AltingConnectionServer.setAltingChannel(AltingChannelInput<ConnectionMessage<T>> chan)
ConnectionServer implementations are likely to be
implemented over channels. |
Constructor and Description |
---|
AltingConnectionServer(AltingChannelInput<ConnectionMessage<T>> altingChannel)
Constructor.
|
AltingConnectionServerImpl(AltingChannelInput<ConnectionMessage<T>> openIn,
AltingChannelInput<ConnectionMessage<T>> furtherRequestIn)
Constructs a new server instance.
|
AltingConnectionServerImpl(AltingChannelInput<ConnectionMessage<T>> openIn,
AltingChannelInput<ConnectionMessage<T>> furtherRequestIn)
Constructs a new server instance.
|