1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
package org.jcsp.net2;
import org.jcsp.lang.AltingChannelInput;
import org.jcsp.lang.AltingChannelInputWrapper;
/**
* A NetChannelInput that may be used as a guard. This class describes the abstract interface of such a channel. To
* create an instance of this class, use the standard NetChannel factory, or the CNS. For information on the usage of
* this object, see AltingChannelInput
*
* @see AltingChannelInput
* @see org.jcsp.lang.ChannelInput
* @see NetChannelInput
* @see NetChannel
* @author Quickstone Technologies
*/
public abstract class NetAltingChannelInput
extends AltingChannelInputWrapper
implements NetChannelInput
{
/**
* Creates a new NetAltingChannelInput, with the given channel as the guard
*
* @param in
* The channel that is used within the alternative
*/
protected NetAltingChannelInput(AltingChannelInput in)
{
super(in);
}
}
|