|
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.InfiniteBuffer
This is used to create a buffered object channel that always accepts and never loses any input.
create
methods of One2OneChannel
etc.
The getState method returns EMPTY or NONEMPTYFULL, but never FULL.
An initial size for the buffer can be specified during construction.
ZeroBuffer
,
Buffer
,
OverWriteOldestBuffer
,
OverWritingBuffer
,
OverFlowingBuffer
,
One2OneChannel
,
Any2OneChannel
,
One2AnyChannel
,
Any2AnyChannel
, Serialized FormFields inherited from interface jcsp.util.ChannelDataStore |
EMPTY, FULL, NONEMPTYFULL |
Constructor Summary | |
InfiniteBuffer()
Construct a new InfiniteBuffer with the default size (of 8). |
|
InfiniteBuffer(int initialSize)
Construct a new InfiniteBuffer with the specified initial size. |
Method Summary | |
Object |
clone()
Returns a new (and EMPTY) InfiniteBuffer with the same creation parameters as this one. |
Object |
get()
Returns the oldest Object from the InfiniteBuffer and removes it. |
int |
getState()
Returns the current state of the InfiniteBuffer. |
void |
put(Object value)
Puts a new Object into the InfiniteBuffer. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public InfiniteBuffer()
public InfiniteBuffer(int initialSize)
initialSize
- the number of Objects
the InfiniteBuffer can initially 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)
Implementation note: if InfiniteBuffer is full, a new internal buffer with double the capacity is constructed and the old data copied across.
put
in interface ChannelDataStore
value
- the Object to put into the InfiniteBufferpublic int getState()
getState
in interface ChannelDataStore
public Object clone()
Note: Only the initial size and structure of the InfiniteBuffer 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 |