|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use One2OneConnection | |
---|---|
org.jcsp.lang | This provides classes and interfaces corresponding to the fundamental primitives of CSP. |
Uses of One2OneConnection in org.jcsp.lang |
---|
Methods in org.jcsp.lang that return One2OneConnection | ||
---|---|---|
static One2OneConnection |
Connection.createOne2One()
|
|
|
ConnectionFactory.createOne2One()
Constructs and returns an implementation of One2OneConnection . |
|
|
StandardConnectionFactory.createOne2One()
|
|
static One2OneConnection[] |
Connection.createOne2One(int n)
|
|
|
ConnectionArrayFactory.createOne2One(int n)
Constructs and returns an array of instances of an implementation of One2OneConnection . |
|
|
StandardConnectionFactory.createOne2One(int n)
|
Methods in org.jcsp.lang with parameters of type One2OneConnection | |
---|---|
static AltingConnectionClient[] |
Connection.getClientArray(One2OneConnection[] c)
Returns an array of client connection ends suitable for use as guards in an Alternative
construct. |
static AltingConnectionServer[] |
Connection.getServerArray(One2OneConnection[] c)
Returns an array of server connection ends suitable for use as guards in an Alternative
construct. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |