|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jcsp.lang.Guard
org.jcsp.lang.AltingChannelInput
org.jcsp.lang.AltingChannelInputWrapper
org.jcsp.net.NetAltingChannelInput
org.jcsp.net.dynamic.MigratableAltingChannelInput
public abstract class MigratableAltingChannelInput
A migratable input channel end that can be used as a guard within an Alternative
.
Constructor Summary | |
---|---|
protected |
MigratableAltingChannelInput()
Constructs a new MigratableAltingChannelInput . |
protected |
MigratableAltingChannelInput(NetAltingChannelInput channel)
Constructs a new MigratableAltingChannelInput for the underlying channel. |
Method Summary |
---|
Methods inherited from class org.jcsp.lang.AltingChannelInputWrapper |
---|
endRead, getChannel, pending, poison, read, setChannel, startRead |
Methods inherited from class org.jcsp.lang.Guard |
---|
schedule |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.jcsp.net.dynamic.MigratableChannelInput |
---|
prepareToMove |
Methods inherited from interface org.jcsp.net.NetChannelInput |
---|
destroyReader, getFactoryClass |
Methods inherited from interface org.jcsp.net.Networked |
---|
getChannelLocation |
Methods inherited from interface org.jcsp.lang.ChannelInput |
---|
endRead, read, startRead |
Methods inherited from interface org.jcsp.lang.Poisonable |
---|
poison |
Methods inherited from interface org.jcsp.util.filter.ReadFiltered |
---|
addReadFilter, addReadFilter, getReadFilter, getReadFilterCount, removeReadFilter, removeReadFilter |
Constructor Detail |
---|
protected MigratableAltingChannelInput(NetAltingChannelInput channel)
MigratableAltingChannelInput
for the underlying channel.
channel
- the underlying channel.protected MigratableAltingChannelInput()
MigratableAltingChannelInput
.
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |