Uses of Class
org.jcsp.lang.ConnectionMessage
-
Packages that use ConnectionMessage Package Description org.jcsp.lang 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.lang Modifier and Type Class Description (package private) classConnectionClientMessage<T>(package private) classConnectionClientOpenMessage<T>(package private) classConnectionServerMessage<T>Fields in org.jcsp.lang with type parameters of type ConnectionMessage Modifier and Type Field Description private AltingChannelInput<ConnectionMessage<T>>AltingConnectionServer. altingChannelThe channel used to ALT over.private ChannelInput<ConnectionMessage<T>>AltingConnectionServerImpl. currentInputChannelprivate AltingChannelInput<ConnectionMessage<T>>AltingConnectionClientImpl. fromServerprivate AltingChannelInput<ConnectionMessage<T>>AltingConnectionServerImpl. furtherRequestInprivate AltingChannelInput<ConnectionMessage<T>>AltingConnectionServerImpl. openIn(package private) ChannelOutput<ConnectionMessage<T>>ConnectionClientOpenMessage. replyChannelprivate ChannelOutput<ConnectionMessage<T>>AltingConnectionServerImpl. toClientMethods in org.jcsp.lang that return types with arguments of type ConnectionMessage Modifier and Type Method Description protected AltingChannelInput<ConnectionMessage<T>>AltingConnectionServer. getAltingChannel()Returns the channel used to implement the Guard.Method parameters in org.jcsp.lang with type arguments of type ConnectionMessage Modifier and Type Method Description protected voidAltingConnectionServer. setAltingChannel(AltingChannelInput<ConnectionMessage<T>> chan)ConnectionServerimplementations are likely to be implemented over channels.Constructor parameters in org.jcsp.lang with type arguments of type ConnectionMessage Constructor Description AltingConnectionServer(AltingChannelInput<ConnectionMessage<T>> altingChannel)Constructor.AltingConnectionServerImpl(AltingChannelInput<ConnectionMessage<T>> openIn, AltingChannelInput<ConnectionMessage<T>> furtherRequestIn)Constructs a new server instance.
-