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) classFields in org.jcsp.lang with type parameters of type ConnectionMessageModifier and TypeFieldDescriptionprivate 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 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 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 ConnectionMessageModifierConstructorDescriptionprotectedAltingConnectionServer(AltingChannelInput<ConnectionMessage<T>> altingChannel) Constructor.protectedAltingConnectionServerImpl(AltingChannelInput<ConnectionMessage<T>> openIn, AltingChannelInput<ConnectionMessage<T>> furtherRequestIn) Constructs a new server instance.