org.jcsp.lang

Class Any2AnyIntImpl

java.lang.Object

org.jcsp.lang.Any2AnyIntImpl

All Implemented Interfaces:

Any2AnyChannelInt, ChannelInternalsInt

Direct Known Subclasses:

Any2AnyChannelIntImpl, BufferedAny2AnyChannelIntImpl, PoisonableAny2AnyChannelIntImpl, PoisonableBufferedAny2AnyChannelInt

class Any2AnyIntImpl
extends java.lang.Object
implements Any2AnyChannelInt, ChannelInternalsInt

Field Summary

Fields

Modifier and Type	Field and Description
private ChannelInternalsInt	channel
private Mutex	readMutex The mutex on which readers must synchronize
private java.lang.Object	writeMonitor

Constructor Summary

Constructors

Constructor and Description
Any2AnyIntImpl(ChannelInternalsInt _channel)

Method Summary

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

writeMonitor

private final java.lang.Object writeMonitor

Constructor Detail

Any2AnyIntImpl

Any2AnyIntImpl(ChannelInternalsInt _channel)

Method Detail

in

public SharedChannelInputInt in()

Description copied from interface: Any2AnyChannelInt

Returns the input channel end.

Specified by:

in in interface Any2AnyChannelInt

out

public SharedChannelOutputInt out()

Description copied from interface: Any2AnyChannelInt

Returns the output channel end.

Specified by:

out in interface Any2AnyChannelInt

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