|
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.OverFlowingBuffer
This is used to create a buffered object channel that always accepts input, discarding its last entered data if full.
create
methods of One2OneChannel
etc.
The getState method returns EMPTY or NONEMPTYFULL, but never FULL.
ZeroBuffer
,
Buffer
,
OverWriteOldestBuffer
,
OverWritingBuffer
,
InfiniteBuffer
,
One2OneChannel
,
Any2OneChannel
,
One2AnyChannel
,
Any2AnyChannel
, Serialized FormFields inherited from interface jcsp.util.ChannelDataStore |
EMPTY, FULL, NONEMPTYFULL |
Constructor Summary | |
OverFlowingBuffer(int size)
Construct a new OverFlowingBuffer with the specified size. |
Method Summary | |
Object |
clone()
Returns a new (and EMPTY) OverFlowingBuffer with the same creation parameters as this one. |
Object |
get()
Returns the oldest Object from the OverFlowingBuffer and removes it. |
int |
getState()
Returns the current state of the OverFlowingBuffer. |
void |
put(Object value)
Puts a new Object into the OverFlowingBuffer. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public OverFlowingBuffer(int size)
size
- the number of Objects the OverFlowingBuffer can store.BufferSizeError
- if size is zero or negative. Note: no action
should be taken to try/catch this exception
- application code generating it is in error and needs correcting.Method Detail |
public Object get()
Pre-condition: getState must not currently return EMPTY.
get
in interface ChannelDataStore
public void put(Object value)
If OverFlowingBuffer is full, the item is discarded.
put
in interface ChannelDataStore
value
- the Object to put into the OverFlowingBufferpublic int getState()
getState
in interface ChannelDataStore
public Object clone()
Note: Only the size and structure of the OverFlowingBuffer 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 |