Class CrewServer

java.lang.Object

org.jcsp.lang.CrewServer

All Implemented Interfaces:

CSProcess

class CrewServer
extends Object
implements CSProcess

Field Summary

Fields

Modifier and Type	Field	Description
private final AltingChannelInputInt	poison	TODO change this to use poisoning of the above channels, once poison is added
static final int	READER
private final AltingChannelInputInt	readerRelease
private final AltingChannelInputInt	request
static final int	WRITER
private final AltingChannelInputInt	writerControl

Constructor Summary

Constructors

Constructor	Description
CrewServer(AltingChannelInputInt request, AltingChannelInputInt writerControl, AltingChannelInputInt readerRelease, AltingChannelInputInt poison)

Method Summary

Modifier and Type	Method	Description
void	run()	This defines the actions of the process.

Methods inherited from class Object

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

Field Details

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

TODO change this to use poisoning of the above channels, once poison is added

Constructor Details

CrewServer

public CrewServer(AltingChannelInputInt request,
 AltingChannelInputInt writerControl,
 AltingChannelInputInt readerRelease,
 AltingChannelInputInt poison)

Method Details

run

public void run()

Description copied from interface: CSProcess

This defines the actions of the process.

Specified by:

run in interface CSProcess