|
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 | ||||||||