|
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.ints.BufferInt
This is used to create a buffered integer channel that never loses data.
create
methods of One2OneChannelInt
etc.
The getState method returns EMPTY, NONEMPTYFULL or FULL according to the state of the buffer.
ZeroBufferInt
,
OverWriteOldestBufferInt
,
OverWritingBufferInt
,
OverFlowingBufferInt
,
InfiniteBufferInt
,
One2OneChannelInt
,
Any2OneChannelInt
,
One2AnyChannelInt
,
Any2AnyChannelInt
, Serialized FormFields inherited from interface jcsp.util.ints.ChannelDataStoreInt |
EMPTY, FULL, NONEMPTYFULL |
Constructor Summary | |
BufferInt(int size)
Construct a new BufferInt with the specified size. |
Method Summary | |
Object |
clone()
Returns a new (and EMPTY) BufferInt with the same creation parameters as this one. |
int |
get()
Returns the oldest int from the BufferInt and removes it. |
int |
getState()
Returns the current state of the BufferInt. |
void |
put(int value)
Puts a new int into the BufferInt. |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public BufferInt(int size)
size
- the number of ints the BufferInt can store.BufferIntSizeError
- if size is 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 int get()
Pre-condition: getState must not currently return EMPTY.
get
in interface ChannelDataStoreInt
public void put(int value)
Pre-condition: getState must not currently return FULL.
put
in interface ChannelDataStoreInt
value
- the int to put into the BufferIntpublic int getState()
getState
in interface ChannelDataStoreInt
public Object clone()
Note: Only the size and structure of the BufferInt is cloned, not any stored data.
clone
in interface ChannelDataStoreInt
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 |