Uses of Class
org.jcsp.lang.AltingConnectionServer
Packages that use AltingConnectionServer
Package
Description
This provides classes and interfaces corresponding to the fundamental
primitives of CSP.
-
Uses of AltingConnectionServer in org.jcsp.lang
Subclasses of AltingConnectionServer in org.jcsp.langModifier and TypeClassDescriptionclassThis class does not need to be used by standard JCSP users.Methods in org.jcsp.lang that return AltingConnectionServerModifier and TypeMethodDescriptionstatic AltingConnectionServer[]Connection.getServerArray(Any2OneConnection[] c) Returns an array of server connection ends suitable for use as guards in anAlternativeconstruct.static AltingConnectionServer[]Connection.getServerArray(One2OneConnection[] c) Returns an array of server connection ends suitable for use as guards in anAlternativeconstruct.Any2OneConnection.server()Returns the server end of the connection.One2OneConnection.server()Returns the server end of the connection. -
Uses of AltingConnectionServer in org.jcsp.net2
Subclasses of AltingConnectionServer in org.jcsp.net2