public class AltingChannelInputWrapper extends AltingChannelInput
AltingChannelInput
Modifier | Constructor and Description |
---|---|
protected |
AltingChannelInputWrapper()
Deprecated.
This constructor does not wrap a channel.
|
|
AltingChannelInputWrapper(AltingChannelInput channel)
Deprecated.
Creates a new AltingChannelInputWrapper which wraps the specified
channel.
|
Modifier and Type | Method and Description |
---|---|
void |
endRead()
Deprecated.
Ends an extended rendezvous
|
protected AltingChannelInput |
getChannel()
Deprecated.
Get the real channel.
|
boolean |
pending()
Deprecated.
Returns whether there is data pending on this channel.
|
void |
poison(int strength)
Deprecated.
This injects poison into the channel.
|
Object |
read()
Deprecated.
Read an Object from the channel.
|
protected void |
setChannel(AltingChannelInput chan)
Deprecated.
Sets the real channel to be used.
|
Object |
startRead()
Deprecated.
Begins an extended rendezvous
|
public AltingChannelInputWrapper(AltingChannelInput channel)
protected AltingChannelInputWrapper()
setChannel(AltingChannelInput)
.protected AltingChannelInput getChannel()
protected void setChannel(AltingChannelInput chan)
chan
- the real channel to be used.public Object read()
public Object startRead()
ChannelInput.startRead
public void endRead()
ChannelInput.endRead
public boolean pending()
Note: if there is, it won't go away until you read it. But if there isn't, there may be some by the time you check the result of this method.
pending
in class AltingChannelInput
public void poison(int strength)
Poisonable
strength
- the strength of the poison (must be >= 0).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.