Class BufferIntSizeError

java.lang.Object
java.lang.Throwable
java.lang.Error
org.jcsp.util.ints.BufferIntSizeError
All Implemented Interfaces:
Serializable

public class BufferIntSizeError 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:
   One2OneChannelInt c = Channel.one2oneInt (new BufferInt (-42));                 // must be >= 0
   One2OneChannelInt c = Channel.one2oneInt (new OverFlowingBufferInt (-42));      // must be > 0
   One2OneChannelInt c = Channel.one2oneInt (new OverWriteOldestBufferInt (-42));  // must be > 0
   One2OneChannelInt c = Channel.one2oneInt (new OverWritingBufferInt (-42));      // must be > 0
   One2OneChannelInt c = Channel.one2oneInt (new InfiniteBufferInt (-42));         // must be > 0
 
Zero-buffered non-overwriting channels are, of course, the default channel semantics. The following constructions are all legal and equivalent:
   One2OneChannelInt c = Channel.one2oneInt ();
   One2OneChannelInt c = Channel.one2oneInt (new ZeroBufferInt ());      // less efficient
   One2OneChannelInt c = Channel.one2oneInt (new BufferInt (0));         // less efficient
 
No action should be taken to catch BufferSizeError. Application code generating it is in error and needs correcting.
See Also:
  • Constructor Details

    • BufferIntSizeError

      public BufferIntSizeError(String s)
      Constructs a new BufferIntSizeError with the specified detail message.
      Parameters:
      s - the detail message.