org.jcsp.lang

Class PoisonableBufferedAny2OneChannelInt

java.lang.Object

org.jcsp.lang.Any2OneIntImpl

org.jcsp.lang.PoisonableBufferedAny2OneChannelInt

All Implemented Interfaces:

Any2OneChannelInt, ChannelInternalsInt

class PoisonableBufferedAny2OneChannelInt
extends Any2OneIntImpl

Constructor Summary

Constructors

Constructor and Description
PoisonableBufferedAny2OneChannelInt(ChannelDataStoreInt _data, int _immunity)

Method Summary

Methods inherited from class org.jcsp.lang.Any2OneIntImpl

endRead, in, out, read, readerDisable, readerEnable, readerPending, readerPoison, startRead, write, writerPoison

Methods inherited from class java.lang.Object

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

Constructor Detail

PoisonableBufferedAny2OneChannelInt

PoisonableBufferedAny2OneChannelInt(ChannelDataStoreInt _data,
                                    int _immunity)