Package org.jcsp.net2.mobile
Class MobileChannelInput
- java.lang.Object
-
- org.jcsp.net2.mobile.MobileChannelInput
-
- All Implemented Interfaces:
Serializable
,ChannelInput
,Poisonable
,NetChannelInput
,Networked
public final class MobileChannelInput extends Object implements NetChannelInput, Serializable
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description MobileChannelInput()
MobileChannelInput(NetworkMessageFilter.FilterTx encoder, NetworkMessageFilter.FilterRx decoder)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
destroy()
Destroys the Networked constructvoid
endRead()
End an extended rendezvous.NetLocation
getLocation()
Gets the networked location of the Networked constructvoid
poison(int strength)
This injects poison into the channel.Object
read()
Read an Object from the channel.void
setDecoder(NetworkMessageFilter.FilterRx decoder)
Sets the underlying decoder for the channelObject
startRead()
Begin an extended rendezvous read from the channel.
-
-
-
Constructor Detail
-
MobileChannelInput
public MobileChannelInput()
-
MobileChannelInput
public MobileChannelInput(NetworkMessageFilter.FilterTx encoder, NetworkMessageFilter.FilterRx decoder)
-
-
Method Detail
-
endRead
public void endRead()
Description copied from interface:ChannelInput
End an extended rendezvous. It must be invoked once (and only once) following a
.startRead
- Specified by:
endRead
in interfaceChannelInput
-
read
public Object read()
Description copied from interface:ChannelInput
Read an Object from the channel.- Specified by:
read
in interfaceChannelInput
- Returns:
- the object read from the channel
-
startRead
public Object startRead()
Description copied from interface:ChannelInput
Begin an extended rendezvous read from the channel. An extended rendezvous is not completed until the reader has completed its extended action. This method starts an extended rendezvous. When a writer to this channel writes, this method returns what was sent immediately. The extended rendezvous continues with reader actions until the reader invokes
. Only then will the writer be released (from itsendRead
method). The writer is unaware of the extended nature of the communication.write
The reader process must call
at some point after this function, otherwise the writer will not be freed and deadlock will probably follow.endRead
The reader process may perform any actions between calling
andstartRead
, including communications on other channels. Further communications on this channel, of course, should not be made.endRead
An extended rendezvous may be started after the channel's Guard has been selected by an
Alternative
(i.e.
instead ofstartRead
).read
- Specified by:
startRead
in interfaceChannelInput
- Returns:
- The object read from the channel
-
poison
public void poison(int strength)
Description copied from interface:Poisonable
This injects poison into the channel. If the channel was not explicitly constructed to be poisonable or if the strength of poison is not greater than the channel immunity level, the poison will have no effect.- Specified by:
poison
in interfacePoisonable
- Parameters:
strength
- the strength of the poison (must be >= 0).
-
destroy
public void destroy()
Description copied from interface:Networked
Destroys the Networked construct
-
getLocation
public NetLocation getLocation()
Description copied from interface:Networked
Gets the networked location of the Networked construct- Specified by:
getLocation
in interfaceNetworked
- Returns:
- The location of the construct
-
setDecoder
public void setDecoder(NetworkMessageFilter.FilterRx decoder)
Description copied from interface:NetChannelInput
Sets the underlying decoder for the channel- Specified by:
setDecoder
in interfaceNetChannelInput
- Parameters:
decoder
- The new decoder to use.
-
-