org.jcsp.lang
public class ChannelInputWrapper extends Object implements ChannelInput
Constructor and Description |
---|
ChannelInputWrapper(ChannelInput in)
Deprecated.
Constructs a new wrapper around the given channel end.
|
Modifier and Type | Method and Description |
---|---|
void |
endRead()
Deprecated.
Ends an extended rendezvous
|
void |
poison(int strength)
Deprecated.
This injects poison into the channel.
|
Object |
read()
Deprecated.
Reads a value from the channel.
|
Object |
startRead()
Deprecated.
Begins an extended rendezvous
|
public ChannelInputWrapper(ChannelInput in)
in
- the existing channel end.public Object read()
read
in interface ChannelInput
ChannelInput
public Object startRead()
startRead
in interface ChannelInput
ChannelInput.startRead
public void endRead()
endRead
in interface ChannelInput
ChannelInput.endRead
public void poison(int strength)
Poisonable
poison
in interface 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.