org.jcsp.lang

Class RejectableChannelOutputImpl

java.lang.Object

org.jcsp.lang.ChannelOutputImpl

org.jcsp.lang.RejectableChannelOutputImpl

All Implemented Interfaces:

ChannelOutput, Poisonable, RejectableChannelOutput

class RejectableChannelOutputImpl
extends ChannelOutputImpl
implements RejectableChannelOutput

Constructor Summary

Constructors

Constructor and Description
RejectableChannelOutputImpl(ChannelInternals _channel, int _immunity)

Method Summary

Methods inherited from class org.jcsp.lang.ChannelOutputImpl

poison, write

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.jcsp.lang.RejectableChannelOutput

write

Methods inherited from interface org.jcsp.lang.Poisonable

poison

Constructor Detail

RejectableChannelOutputImpl

public RejectableChannelOutputImpl(ChannelInternals _channel,
                                   int _immunity)