org.jcsp.util
Class BufferSizeError
java.lang.Object
java.lang.Throwable
java.lang.Error
org.jcsp.util.BufferSizeError
- All Implemented Interfaces:
- Serializable
public class BufferSizeError
- extends Error
This is thrown if an attempt is made to create some variety of buffered channel
with a zero or negative sized buffer.
Description
Buffered channels must have (usually non-zero) positive sized buffers.
The following constructions will all throw this Error
:
One2OneChannel c = Channel.one2one (new Buffer (-42)); // must be >= 0
One2OneChannel c = Channel.one2one (new OverFlowingBuffer (-42)); // must be > 0
One2OneChannel c = Channel.one2one (new OverWriteOldestBuffer (-42)); // must be > 0
One2OneChannel c = Channel.one2one (new OverWritingBuffer (-42)); // must be > 0
One2OneChannel c = Channel.one2one (new InfiniteBuffer (-42)); // must be > 0
Zero-buffered non-overwriting channels are, of course, the default channel semantics.
The following constructions are all legal and equivalent:
One2OneChannel c = Channel.one2one ();
One2OneChannel c = Channel.one2one (new ZeroBuffer ()); // less efficient
One2OneChannel c = Channel.one2one (new Buffer (0)); // less efficient
No action should be taken to catch BufferSizeError.
Application code generating it is in error and needs correcting.
- Author:
- P.H. Welch
- See Also:
- Serialized Form
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
BufferSizeError
public BufferSizeError(String s)
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.