public interface NamedMigratableChannelEndFactory
| Modifier and Type | Method and Description |
|---|---|
MigratableAltingChannelInput |
createNet2One(java.lang.String name)
Creates a named migratable networked channel input end that can be used as a guard in an
Alternative. |
MigratableAltingChannelInput |
createNet2One(java.lang.String name,
NameAccessLevel nameAccessLevel)
Creates a named migratable networked channel input end that can be used as a guard in an
Alternative. |
MigratableChannelOutput |
createOne2Net(java.lang.String name)
Creates a networked migratable channel output end connected to the input end created with the given name.
|
MigratableChannelOutput |
createOne2Net(java.lang.String name,
NameAccessLevel accessLevel)
Creates a networked migratable channel output end connected to the input end created with the given name.
|
MigratableAltingChannelInput createNet2One(java.lang.String name)
Alternative.name - the name to use.MigratableAltingChannelInput createNet2One(java.lang.String name, NameAccessLevel nameAccessLevel)
Alternative.name - the name to use.nameAccessLevel - the namespace to declare the name within.MigratableChannelOutput createOne2Net(java.lang.String name)
name - the name the input end was created with.MigratableChannelOutput createOne2Net(java.lang.String name, NameAccessLevel accessLevel)
name - the name the input end was created with.Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.