Package org.jcsp.lang
Class CrewServer
- java.lang.Object
-
- org.jcsp.lang.CrewServer
-
-
Field Summary
Fields Modifier and Type Field Description private AltingChannelInputInt
poison
static int
READER
private AltingChannelInputInt
readerRelease
private AltingChannelInputInt
request
static int
WRITER
private AltingChannelInputInt
writerControl
-
Constructor Summary
Constructors Constructor Description CrewServer(AltingChannelInputInt request, AltingChannelInputInt writerControl, AltingChannelInputInt readerRelease, AltingChannelInputInt poison)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
run()
This defines the actions of the process.
-
-
-
Field Detail
-
READER
public static final int READER
- See Also:
- Constant Field Values
-
WRITER
public static final int WRITER
- See Also:
- Constant Field Values
-
request
private final AltingChannelInputInt request
-
writerControl
private final AltingChannelInputInt writerControl
-
readerRelease
private final AltingChannelInputInt readerRelease
-
poison
private final AltingChannelInputInt poison
-
-
Constructor Detail
-
CrewServer
public CrewServer(AltingChannelInputInt request, AltingChannelInputInt writerControl, AltingChannelInputInt readerRelease, AltingChannelInputInt poison)
-
-