Uses of Class
org.jcsp.lang.ConnectionMessage
Packages that use ConnectionMessage
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
-
Uses of ConnectionMessage in org.jcsp.lang
Subclasses of ConnectionMessage in org.jcsp.langModifier and TypeClassDescription(package private) class
(package private) class
(package private) class
Fields in org.jcsp.lang with type parameters of type ConnectionMessageModifier and TypeFieldDescriptionprivate 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
Methods in org.jcsp.lang that return types with arguments of type ConnectionMessageModifier and TypeMethodDescriptionprotected AltingChannelInput<ConnectionMessage<T>>
AltingConnectionServer.getAltingChannel()
Returns the channel used to implement the Guard.Method parameters in org.jcsp.lang with type arguments of type ConnectionMessageModifier and TypeMethodDescriptionprotected void
AltingConnectionServer.setAltingChannel
(AltingChannelInput<ConnectionMessage<T>> chan) ConnectionServer
implementations are likely to be implemented over channels.Constructor parameters in org.jcsp.lang with type arguments of type ConnectionMessageModifierConstructorDescriptionprotected
AltingConnectionServer
(AltingChannelInput<ConnectionMessage<T>> altingChannel) Constructor.protected
AltingConnectionServerImpl
(AltingChannelInput<ConnectionMessage<T>> openIn, AltingChannelInput<ConnectionMessage<T>> furtherRequestIn) Constructs a new server instance.