Package org.jcsp.lang
Class CrewServer
java.lang.Object
org.jcsp.lang.CrewServer
- All Implemented Interfaces:
CSProcess
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final AltingChannelInputInt
static final int
private final AltingChannelInputInt
private final AltingChannelInputInt
static final int
private final AltingChannelInputInt
-
Constructor Summary
ConstructorsConstructorDescriptionCrewServer
(AltingChannelInputInt request, AltingChannelInputInt writerControl, AltingChannelInputInt readerRelease, AltingChannelInputInt poison) -
Method Summary
-
Field Details
-
READER
public static final int READER- See Also:
-
WRITER
public static final int WRITER- See Also:
-
request
-
writerControl
-
readerRelease
-
poison
-
-
Constructor Details
-
CrewServer
public CrewServer(AltingChannelInputInt request, AltingChannelInputInt writerControl, AltingChannelInputInt readerRelease, AltingChannelInputInt poison)
-
-
Method Details