org.jcsp.lang

Class Any2OneIntImpl

java.lang.Object

org.jcsp.lang.Any2OneIntImpl

All Implemented Interfaces:

Any2OneChannelInt, ChannelInternalsInt

Direct Known Subclasses:

Any2OneChannelIntImpl, BufferedAny2OneChannelIntImpl, PoisonableAny2OneChannelIntImpl, PoisonableBufferedAny2OneChannelInt

class Any2OneIntImpl
extends java.lang.Object
implements ChannelInternalsInt, Any2OneChannelInt

Field Summary

Fields

Modifier and Type	Field and Description
private ChannelInternalsInt	channel
private java.lang.Object	writeMonitor

Constructor Summary

Constructors

Constructor and Description
Any2OneIntImpl(ChannelInternalsInt _channel)

Method Summary

Modifier and Type	Method and Description
void	endRead()
AltingChannelInputInt	in() Returns the input end of the channel.
SharedChannelOutputInt	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

writeMonitor

private final java.lang.Object writeMonitor

Constructor Detail

Any2OneIntImpl

Any2OneIntImpl(ChannelInternalsInt _channel)

Method Detail

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

in

public AltingChannelInputInt in()

Description copied from interface: Any2OneChannelInt

Returns the input end of the channel.

Specified by:

in in interface Any2OneChannelInt

out

public SharedChannelOutputInt out()

Description copied from interface: Any2OneChannelInt

Returns the output end of the channel.

Specified by:

out in interface Any2OneChannelInt