Package org.jcsp.lang
Class AltingConnectionServer<T>
java.lang.Object
org.jcsp.lang.Guard
org.jcsp.lang.AltingConnectionServer<T>
- All Implemented Interfaces:
ConnectionServer<T>
- Direct Known Subclasses:
AltingConnectionServerImpl
,NetAltingConnectionServer
An interface to connection. This is used by servers which wish to
ALT
over a connection. Note that you cannot have
more than one server serving an AltingConnectionServer.- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate AltingChannelInput
<ConnectionMessage<T>> The channel used to ALT over.Fields inherited from interface org.jcsp.lang.ConnectionServer
FACTORY
-
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
AltingConnectionServer
(AltingChannelInput<ConnectionMessage<T>> altingChannel) Constructor. -
Method Summary
Modifier and TypeMethodDescription(package private) boolean
disable()
Disables the guard for selection.(package private) boolean
enable
(Alternative alt) Returns true if the event is ready.protected AltingChannelInput
<ConnectionMessage<T>> Returns the channel used to implement the Guard.boolean
pending()
Returns whether there is an open() pending on this connection.protected void
ConnectionServer
implementations are likely to be implemented over channels.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.ConnectionServer
reply, reply, replyAndClose, request
-
Field Details
-
altingChannel
The channel used to ALT over.
-
-
Constructor Details
-
AltingConnectionServer
Constructor. Note that this is only intended for use by JCSP, and should not be called by user processes. Users should use one of the subclasses.- Parameters:
altingChannel
- The channel used to implement the Guard
-
-
Method Details
-
getAltingChannel
Returns the channel used to implement the Guard. Note that this method is only intended for use by JCSP, and should not be called by user processes. Concrete subclasses should override this method to return null, to ensure that the alting channel is kept private.- Returns:
- The channel passed to the constructor.
-
setAltingChannel
ConnectionServer
implementations are likely to be implemented over channels. Multiple channels from the client to server may be used; one could be used for the initial connection while another one could be used for data requests. This method allows sub-classes to specify which channel should be the next one to be alted over.- Parameters:
chan
- the channel to be ALTed over.
-
enable
Returns true if the event is ready. Otherwise, this enables the guard for selection and returns false.Note: this method should only be called by the Alternative class
-
disable
boolean disable()Disables the guard for selection. Returns true if the event was ready.Note: this method should only be called by the Alternative class
-
pending
public boolean pending()Returns whether there is an open() pending on this connection.Note: if there is, it won't go away until you accept it. But if there isn't, there may be one by the time you check the result of this method.
- Returns:
- true only if open() will complete without blocking.
-