|
CSP for Java (JCSP) 1.1-rc2 |
||||||||
| 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.AltingConnectionClient
org.jcsp.lang.AltingConnectionClientImpl
org.jcsp.lang.SharedAltingConnectionClient
public class SharedAltingConnectionClient
Implements a client end of a Connection which can have multiple client processes.
This object cannot itself be shared between concurrent processes
but duplicate objects can be generated that can be used by
multiple concurrent processes. This can be achieved using
the method.
duplicate()
The reply from the server can be ALTed over.
| Constructor Summary | |
|---|---|
protected |
SharedAltingConnectionClient(AltingChannelInput fromServer,
ChannelInput synchIn,
ChannelOutput openToServer,
ChannelOutput reqToServer,
SharedChannelOutput synchOut,
ChannelOutput backToClient,
org.jcsp.lang.ConnectionWithSharedAltingClient parent)
|
| Method Summary | |
|---|---|
protected void |
claim()
This claims a lock on the client. |
SharedConnectionClient |
duplicate()
Returns a SharedConnectionClient object that is
a duplicate of the object on which this method is called. |
protected void |
release()
This releases a lock on the client. |
| Methods inherited from class org.jcsp.lang.AltingConnectionClientImpl |
|---|
isOpen, reply, request |
| Methods inherited from class org.jcsp.lang.AltingConnectionClient |
|---|
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 |
| Methods inherited from interface org.jcsp.lang.ConnectionClient |
|---|
isOpen, reply, request |
| Constructor Detail |
|---|
protected SharedAltingConnectionClient(AltingChannelInput fromServer,
ChannelInput synchIn,
ChannelOutput openToServer,
ChannelOutput reqToServer,
SharedChannelOutput synchOut,
ChannelOutput backToClient,
org.jcsp.lang.ConnectionWithSharedAltingClient parent)
| Method Detail |
|---|
protected final void claim()
AltingConnectionClientImpl
claim in class AltingConnectionClientImplprotected final void release()
AltingConnectionClientImpl
release in class AltingConnectionClientImplpublic SharedConnectionClient duplicate()
Returns a SharedConnectionClient object that is
a duplicate of the object on which this method is called.
This allows a process using a SharedAltingConnectionClient
object to pass references to the connection client to multiple
processes.
The object returned can be cast into a
SharedConnectionClient object.
duplicate in interface SharedConnectionClientSharedAltingConnectionClient object.
|
CSP for Java (JCSP) 1.1-rc2 |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||