|
CSP for Java (JCSP) 1.0-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--jcsp.util.ZeroBuffer
This is used to create a zero-buffered object channel that never loses data.
create
methods of One2OneChannel
etc.
The getState method will return FULL if there is an output waiting on the channel and EMPTY if there is not.
Buffer
,
OverWriteOldestBuffer
,
OverWritingBuffer
,
OverFlowingBuffer
,
InfiniteBuffer
,
One2OneChannel
,
Any2OneChannel
,
One2AnyChannel
,
Any2AnyChannel
, Serialized FormFields inherited from interface jcsp.util.ChannelDataStore |
EMPTY, FULL, NONEMPTYFULL |
Constructor Summary | |
ZeroBuffer()
|
Method Summary | |
Object |
clone()
Returns a new (and EMPTY) ZeroBuffer with the same creation parameters as this one. |
Object |
get()
Returns the Object from the ZeroBuffer. |
int |
getState()
Returns the current state of the ZeroBuffer. |
void |
put(Object value)
Puts a new Object into the ZeroBuffer. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public ZeroBuffer()
Method Detail |
public Object get()
Pre-condition: getState must not currently return EMPTY.
get
in interface ChannelDataStore
public void put(Object value)
Pre-condition: getState must not currently return FULL.
put
in interface ChannelDataStore
value
- the Object to put into the ZeroBufferpublic int getState()
getState
in interface ChannelDataStore
public Object clone()
Note: Only the size and structure of the ZeroBuffer is cloned, not any stored data.
clone
in interface ChannelDataStore
clone
in class Object
|
CSP for Java (JCSP) 1.0-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |