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 and Description
private ChannelInternalsInt	channel
private Mutex	readMutex The mutex on which readers must synchronize

Constructor Summary

Constructors

Constructor and Description
One2AnyIntImpl(ChannelInternalsInt _channel)

Method Summary

Modifier and Type	Method and 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

out

public ChannelOutputInt out()

Description copied from interface: One2AnyChannelInt

Returns the output end of the channel.

Specified by:

out in interface One2AnyChannelInt

endRead

public void endRead()

Specified by:

endRead in interface ChannelInternalsInt

read

public int read()

Specified by:

read in interface ChannelInternalsInt

readerDisable

public boolean readerDisable()

Specified by:

readerDisable in interface ChannelInternalsInt

readerEnable

public boolean readerEnable(Alternative alt)

Specified by:

readerEnable in interface ChannelInternalsInt

readerPending

public boolean readerPending()

Specified by:

readerPending in interface ChannelInternalsInt

readerPoison

public void readerPoison(int strength)

Specified by:

readerPoison in interface ChannelInternalsInt

startRead

public int startRead()

Specified by:

startRead in interface ChannelInternalsInt

write

public void write(int n)

Specified by:

write in interface ChannelInternalsInt

writerPoison

public void writerPoison(int strength)

Specified by:

writerPoison in interface ChannelInternalsInt