Package org.jcsp.lang
Class One2AnyIntImpl
- java.lang.Object
-
- org.jcsp.lang.One2AnyIntImpl
-
- All Implemented Interfaces:
ChannelInternalsInt
,One2AnyChannelInt
- Direct Known Subclasses:
BufferedOne2AnyChannelIntImpl
,One2AnyChannelIntImpl
,PoisonableBufferedOne2AnyChannelInt
,PoisonableOne2AnyChannelIntImpl
class One2AnyIntImpl extends java.lang.Object implements One2AnyChannelInt, ChannelInternalsInt
-
-
Field Summary
Fields Modifier and Type Field Description private ChannelInternalsInt
channel
private Mutex
readMutex
The mutex on which readers must synchronize
-
Constructor Summary
Constructors Constructor Description One2AnyIntImpl(ChannelInternalsInt _channel)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
endRead()
SharedChannelInputInt
in()
Returns the input end of the channel.ChannelOutputInt
out()
Returns the output end of the channel.int
read()
boolean
readerDisable()
boolean
readerEnable(Alternative alt)
boolean
readerPending()
void
readerPoison(int strength)
int
startRead()
void
write(int n)
void
writerPoison(int strength)
-
-
-
Field Detail
-
channel
private ChannelInternalsInt channel
-
readMutex
private final Mutex readMutex
The mutex on which readers must synchronize
-
-
Constructor Detail
-
One2AnyIntImpl
One2AnyIntImpl(ChannelInternalsInt _channel)
-
-
Method Detail
-
in
public SharedChannelInputInt in()
Description copied from interface:One2AnyChannelInt
Returns the input end of the channel.- Specified by:
in
in interfaceOne2AnyChannelInt
-
out
public ChannelOutputInt out()
Description copied from interface:One2AnyChannelInt
Returns the output end of the channel.- Specified by:
out
in interfaceOne2AnyChannelInt
-
endRead
public void endRead()
- Specified by:
endRead
in interfaceChannelInternalsInt
-
read
public int read()
- Specified by:
read
in interfaceChannelInternalsInt
-
readerDisable
public boolean readerDisable()
- Specified by:
readerDisable
in interfaceChannelInternalsInt
-
readerEnable
public boolean readerEnable(Alternative alt)
- Specified by:
readerEnable
in interfaceChannelInternalsInt
-
readerPending
public boolean readerPending()
- Specified by:
readerPending
in interfaceChannelInternalsInt
-
readerPoison
public void readerPoison(int strength)
- Specified by:
readerPoison
in interfaceChannelInternalsInt
-
startRead
public int startRead()
- Specified by:
startRead
in interfaceChannelInternalsInt
-
write
public void write(int n)
- Specified by:
write
in interfaceChannelInternalsInt
-
writerPoison
public void writerPoison(int strength)
- Specified by:
writerPoison
in interfaceChannelInternalsInt
-
-