|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jcsp.lang.Guard
org.jcsp.lang.AltingConnectionServer
org.jcsp.lang.AltingConnectionServerImpl
public class AltingConnectionServerImpl
This class does not need to be used by standard JCSP users. It is exposed so that the connection mechanism can be extended for custom connections.
Field Summary | |
---|---|
protected static int |
SERVER_STATE_CLOSED
Server state. |
protected static int |
SERVER_STATE_OPEN
Server state. |
protected static int |
SERVER_STATE_RECEIVED
Server state. |
Fields inherited from interface org.jcsp.lang.ConnectionServer |
---|
FACTORY |
Constructor Summary | |
---|---|
protected |
AltingConnectionServerImpl(AltingChannelInput openIn,
AltingChannelInput furtherRequestIn)
Constructs a new server instance. |
Method Summary | |
---|---|
protected int |
getServerState()
|
void |
reply(Object data)
Sends some data back to the client after a request has been received but keeps the connection open. |
void |
reply(Object data,
boolean close)
Sends some data back to the client after a request has been received. |
void |
replyAndClose(Object data)
Sends some data back to the client and closes the connection. |
Object |
request()
Receives some data from a client once a connection has been established. |
Methods inherited from class org.jcsp.lang.AltingConnectionServer |
---|
getAltingChannel, pending, setAltingChannel |
Methods inherited from class org.jcsp.lang.Guard |
---|
schedule |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static final int SERVER_STATE_CLOSED
protected static final int SERVER_STATE_OPEN
protected static final int SERVER_STATE_RECEIVED
Constructor Detail |
---|
protected AltingConnectionServerImpl(AltingChannelInput openIn, AltingChannelInput furtherRequestIn)
Method Detail |
---|
public Object request() throws IllegalStateException
request(Object)
but by establishing
a connection.
Object
sent by the client.
IllegalStateException
public void reply(Object data) throws IllegalStateException
recieve()
to receive a further request.
data
- the data to send to the client.
IllegalStateException
public void reply(Object data, boolean close) throws IllegalStateException
true
.
data
- the data to send to the client.close
- boolean
indicating whether or not the
connection should be closed.
IllegalStateException
public void replyAndClose(Object data) throws IllegalStateException
accept()
in order to allow another
connection to this server to be established.
If this method did not take any data to send back to the client,
and the server was meant to call reply(Object)
followed
by a close()
, then there would be a race hazard at the
client as it would not know whether the connection had
remained open or not.
data
- the data to send back to client.
IllegalStateException
protected int getServerState()
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |