# Serialized Form

## Package org.jcsp.awt

### Class org.jcsp.awt.ActiveApplet

class ActiveApplet extends Applet implements Serializable

#### Serialized Fields

##### ACKNOWLEDGE

    int ACKNOWLEDGE

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### destroy

    ChannelOutputInt destroy

If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.

##### destroyAck

    AltingChannelInputInt destroyAck

If this channel is set, the default destroy behaviour changes - see the user-defined destroy response.

##### destroyAlt

    Alternative destroyAlt

##### manager

    ProcessManager manager

The ProcessManager used to control the execution of this Applet.

##### process

    CSProcess process

The `process` defining the behaviour of this Applet.

##### started

    boolean started

TRUE iff the applet is currently active.

##### stopStart

    ChannelOutputInt stopStart

If this channel is set, the default stop/start behaviour changes - see the user-defined stop/start response.

##### tim

    CSTimer tim

##### TIMEOUT

    int TIMEOUT

##### timeoutAck

    int timeoutAck

This is the time (in milliseconds) that the browser will wait for the applet process to acknowledge (on `destroyAck`) a `DESTROY` message (sent down `destroy`). If negative, no timeout will be set.

The default value is 10000 (i.e. 10 seconds).

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveButton

class ActiveButton extends Button implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Exception Class org.jcsp.awt.ActiveButtonControl.BadArguments

class BadArguments extends Exception implements Serializable

### Exception Class org.jcsp.awt.ActiveButtonState.BadArguments

class BadArguments extends Exception implements Serializable

### Class org.jcsp.awt.ActiveCanvas

class ActiveCanvas extends Canvas implements Serializable

#### Serialized Fields

##### fromGraphics

    ChannelOutput fromGraphics

##### paintable

    Paintable paintable

##### requestedHeight

    int requestedHeight

##### requestedWidth

    int requestedWidth

##### toGraphics

    ChannelInput toGraphics

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveCheckbox

class ActiveCheckbox extends Checkbox implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveCheckboxMenuItem

class ActiveCheckboxMenuItem extends CheckboxMenuItem implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveChoice

class ActiveChoice extends Choice implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveComponent

class ActiveComponent extends Component implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveContainer

class ActiveContainer extends Container implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveDialog

class ActiveDialog extends Dialog implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveFileDialog

class ActiveFileDialog extends FileDialog implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### event

    ChannelOutput event

The channel to which the selected directory and file names are sent.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveFrame

class ActiveFrame extends Frame implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveLabel

class ActiveLabel extends Label implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveList

class ActiveList extends List implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveMenu

class ActiveMenu extends Menu implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveMenuItem

class ActiveMenuItem extends MenuItem implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActivePanel

class ActivePanel extends Panel implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveScrollbar

class ActiveScrollbar extends Scrollbar implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveScrollPane

class ActiveScrollPane extends ScrollPane implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveTextArea

class ActiveTextArea extends TextArea implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveTextField

class ActiveTextField extends TextField implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

### Class org.jcsp.awt.ActiveWindow

class ActiveWindow extends Window implements Serializable

#### Serialized Fields

##### configure

    ChannelInput configure

The channel from which configuration messages arrive.

##### vec

    Vector vec

The Vector construct containing the handlers.

## Package org.jcsp.lang

### Exception Class org.jcsp.lang.AlternativeError

class AlternativeError extends Error implements Serializable

### Exception Class org.jcsp.lang.AltingBarrierError

class AltingBarrierError extends Error implements Serializable

### Class org.jcsp.lang.Any2AnyCallChannel

class Any2AnyCallChannel extends Object implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.Any2OneChannelImpl c

This is used to synchronise the calling and accepting process.

##### d

    org.jcsp.lang.One2OneChannelImpl d

This is used to synchronise the calling and accepting process.

##### selected

    int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the ``join`` and ``fork`` elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of ``accept``.

##### server

    CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the ``join`` and ``fork`` elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

### Class org.jcsp.lang.Any2OneCallChannel

class Any2OneCallChannel extends AltingChannelAccept implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.Any2OneChannelImpl c

This is used to synchronise the calling and accepting process.

##### d

    org.jcsp.lang.One2OneChannelImpl d

This is used to synchronise the calling and accepting process.

##### selected

    int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the ``join`` and ``fork`` elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of ``accept``.

##### server

    CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the ``join`` and ``fork`` elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

### Class org.jcsp.lang.Barrier

class Barrier extends Object implements Serializable

#### Serialized Fields

##### barrierLock

    Object barrierLock

The monitor lock used for synchronisation.

##### countDown

    int countDown

The number of processes currently enrolled on this barrier and who have not yet synchronised in this cycle.

##### evenOddCycle

    boolean evenOddCycle

The even/odd flag used to detect spurious wakeups.

##### nEnrolled

    int nEnrolled

The number of processes currently enrolled on this barrier.

### Exception Class org.jcsp.lang.BarrierError

class BarrierError extends Error implements Serializable

### Class org.jcsp.lang.Bucket

class Bucket extends Object implements Serializable

#### Serialized Fields

##### bucketCycle

    int bucketCycle

Barrier uses an even/odd flag because the barrier cannot sync without every process Bucket can happily keep working while old processes are waiting around, so a flag is not enough Instead, a count must be used. Theoretically this is unsafe, but the likelihood of the bucket completing 4 *billion* cycles before the process wakes up is somewhat slim.

##### bucketLock

    Object bucketLock

The monitor lock used for synchronization

##### nHolding

    int nHolding

The number of processes currently enrolled on this bucket.

### Exception Class org.jcsp.lang.ChannelDataRejectedException

class ChannelDataRejectedException extends RuntimeException implements Serializable

### Exception Class org.jcsp.lang.JCSP_InternalError

class JCSP_InternalError extends Error implements Serializable

### Class org.jcsp.lang.One2AnyCallChannel

class One2AnyCallChannel extends Object implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.One2OneChannelImpl c

This is used to synchronise the calling and accepting process.

##### selected

    int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the ``join`` and ``fork`` elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of ``accept``.

##### server

    CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the ``join`` and ``fork`` elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

### Class org.jcsp.lang.One2OneCallChannel

class One2OneCallChannel extends AltingChannelAccept implements Serializable

#### Serialized Fields

##### c

    org.jcsp.lang.One2OneChannelImpl c

This is used to synchronise the calling and accepting process.

##### selected

    int selected

This may be set during the standard calling sequence to record which method was invoked by a client. It is only safe to do this between the ``join`` and ``fork`` elements of that sequence. Either all the CALL channel methods should do this or none - in the latter case, its default value remains as zero. Its value is returned to a server as the result the server's invocation of ``accept``.

##### server

    CSProcess server

This holds a reference to a server process so that a client may make the call. The reference is only valid between the ``join`` and ``fork`` elements of the standard calling sequence. As shown in that sequence, it will need casting up to the relevant interface supported by the specific CALL channel derived from this class.

### Exception Class org.jcsp.lang.PoisonException

class PoisonException extends ChannelDataRejectedException implements Serializable

#### Serialized Fields

##### strength

    int strength

### Exception Class org.jcsp.lang.ProcessInterruptedException

class ProcessInterruptedException extends Error implements Serializable

## Package org.jcsp.net

### Class org.jcsp.net.AbstractID

class AbstractID extends Object implements Serializable

### Class org.jcsp.net.ApplicationID

class ApplicationID extends AbstractID implements Serializable

#### Serialized Fields

##### appID

    int appID

##### nodeID

    NodeID nodeID

### Class org.jcsp.net.DomainID

class DomainID extends AbstractID implements Serializable

#### Serialized Fields

##### name

    String name

##### nullDom

    boolean nullDom

### Exception Class org.jcsp.net.DuplicateChannelLabelException

class DuplicateChannelLabelException extends RuntimeException implements Serializable

### Class org.jcsp.net.GlobalID

class GlobalID extends AbstractID implements Serializable

### Exception Class org.jcsp.net.LinkLostException

class LinkLostException extends RuntimeException implements Serializable

#### Serialized Fields

##### source

    Object source

The object which threw this exception.

### Exception Class org.jcsp.net.LinkManager.LinkEstablishmentException

class LinkEstablishmentException extends RuntimeException implements Serializable

#### Serialized Fields

##### lh

    org.jcsp.net.LinkManager.LinksToNodeHolder lh

##### profile

    Profile profile

### Class org.jcsp.net.Message.BounceMessage

class BounceMessage extends org.jcsp.net.Message implements Serializable

### Class org.jcsp.net.Message.PingMessage

class PingMessage extends org.jcsp.net.Message implements Serializable

### Class org.jcsp.net.Message.PingReplyMessage

class PingReplyMessage extends org.jcsp.net.Message implements Serializable

### Exception Class org.jcsp.net.NetChannelError

class NetChannelError extends Error implements Serializable

### Class org.jcsp.net.NetChannelLocation

class NetChannelLocation extends Object implements Serializable

#### Serialized Fields

##### channelAddress

    NodeAddressID channelAddress

The `NodeAddressID` on which the channel's Node is listening. This should be `null` if `channelNode` is not `null`.

##### channelLabel

    String channelLabel

The label, if any, assigned to a channel's VCN.

##### channelNode

    NodeID channelNode

The `NodeID` of the channel's Node. This should be `null` if `channelAddress` is not `null`.

##### vcn

    long vcn

The VCN of a channel, if known.

### Class org.jcsp.net.NodeAddressID

class NodeAddressID extends Object implements Serializable

### Class org.jcsp.net.NodeID

class NodeID extends AbstractID implements Serializable

#### Serialization Methods

##### readObject

private void readObject(ObjectInputStream in) throws IOException, ClassNotFoundException

Throws:
  `IOException`
  `ClassNotFoundException`

##### writeObject

private void writeObject(ObjectOutputStream out) throws IOException

Throws:
  `IOException`

#### Serialized Fields

##### addressIDs

    NodeAddressID[] addressIDs

This is a set of addresses of LinkServers that the Node, represented by this NodeID, is running.

##### domainID

    DomainID domainID

The Domain of which the Node represented by this NodeID is a member.

##### name

    String name

A name assigned to this Node.

##### nodeUI

    NodeUI nodeUI

A unique identifier for this node.

##### unrecognisedAddressIDs

    HashSet unrecognisedAddressIDs

This is the set of addresses of LinkServers that the Node, represented by this NodeID, is running but this JVM does not recognise. The serialized forms of the addresses are stored here so that

### Exception Class org.jcsp.net.NodeInitFailedException

class NodeInitFailedException extends Exception implements Serializable

### Class org.jcsp.net.NodeUI

class NodeUI extends Object implements Serializable

### Class org.jcsp.net.NodeUIImpl

class NodeUIImpl extends NodeUI implements Serializable

#### Serialized Fields

##### hashCode

    int hashCode

##### mem

    long mem

##### time

    long time

### Class org.jcsp.net.ProtocolID

class ProtocolID extends Object implements Serializable

#### Serialized Fields

##### position

    int position

The position in the order of preference of protocols.

### Exception Class org.jcsp.net.ReaderIndexException

class ReaderIndexException extends RuntimeException implements Serializable

### Exception Class org.jcsp.net.ServiceInstallationException

class ServiceInstallationException extends RuntimeException implements Serializable

### Class org.jcsp.net.XMLNodeFactory

class XMLNodeFactory extends Object implements Serializable

#### Serialized Fields

##### config

    JCSPConfig config

## Package org.jcsp.net.cns

### Exception Class org.jcsp.net.cns.ChannelNameException

class ChannelNameException extends IllegalArgumentException implements Serializable

### Class org.jcsp.net.cns.ChannelNameKey

class ChannelNameKey extends Object implements Serializable

#### Serialized Fields

##### hashCode

    int hashCode

##### key

    long key

##### val

    long val

### Class org.jcsp.net.cns.CNSNetChannelLocation

class CNSNetChannelLocation extends NetChannelLocation implements Serializable

#### Serialized Fields

##### accessLevel

    NameAccessLevel accessLevel

##### cnsServiceName

    String cnsServiceName

##### name

    String name

### Class org.jcsp.net.cns.NameAccessLevel

class NameAccessLevel extends Object implements Serializable

#### Serialized Fields

##### abstractID

    AbstractID abstractID

### Exception Class org.jcsp.net.cns.NameAccessLevelException

class NameAccessLevelException extends IllegalArgumentException implements Serializable

### Exception Class org.jcsp.net.cns.WrongFactoryException

class WrongFactoryException extends RuntimeException implements Serializable

## Package org.jcsp.net.dynamic

### Exception Class org.jcsp.net.dynamic.ChannelEndContructionException

class ChannelEndContructionException extends RuntimeException implements Serializable

### Exception Class org.jcsp.net.dynamic.ChannelEndNotMoveableException

class ChannelEndNotMoveableException extends RuntimeException implements Serializable

### Class org.jcsp.net.dynamic.MigratableAltingChannelInput

class MigratableAltingChannelInput extends NetAltingChannelInput implements Serializable

## Package org.jcsp.net.remote

### Exception Class org.jcsp.net.remote.RemoteProcessFailedException

class RemoteProcessFailedException extends RuntimeException implements Serializable

#### Serialized Fields

##### errorCode

    int errorCode

The error code returned by the process.

##### process

    CSProcess process

The offending process.

### Exception Class org.jcsp.net.remote.RemoteSpawnException

class RemoteSpawnException extends RuntimeException implements Serializable

#### Serialized Fields

##### cause

    Throwable cause

The actual exception.

## Package org.jcsp.net.security

### Exception Class org.jcsp.net.security.AccessDeniedException

class AccessDeniedException extends Exception implements Serializable

#### Serialized Fields

##### auth

    SecurityAuthority auth

The security authority raising the exception.

##### reason

    String reason

The reason the exception was raised.

### Class org.jcsp.net.security.SimpleSecurityAuthority

class SimpleSecurityAuthority extends Object implements Serializable

#### Serialized Fields

##### allowedUsers

    Vector allowedUsers

Set of permitted users.

##### currentUser

    UserToken currentUser

The token of the current user.

##### serviceRunning

    boolean serviceRunning

Flag indicating if the service is running or not.

##### userObject

    SecurityAuthority userObject

The user control object that avoids giving out the full administrative interface.

## Package org.jcsp.net.settings

### Exception Class org.jcsp.net.settings.ConfigReader.XMLValidationException

class XMLValidationException extends RuntimeException implements Serializable

## Package org.jcsp.net.tcpip

### Class org.jcsp.net.tcpip.TCPIPAddressID

class TCPIPAddressID extends NodeAddressID implements Serializable

#### Serialized Fields

##### host

    InetAddress host

##### isUnique

    boolean isUnique

##### port

    int port

##### protocolID

    ProtocolID protocolID

##### stringForm

    String stringForm

### Class org.jcsp.net.tcpip.TCPIPNodeFactory

class TCPIPNodeFactory extends Object implements Serializable

#### Serialized Fields

##### cnsServer

    NodeAddressID cnsServer

Address of the CNS server.

##### localPort

    int localPort

Port number to use for the local link server. By default will be system assigned. Call setLocalPort prior to calling Node.init () to set a specific value.

##### security

    SecurityService security

Optional security service to install.

### Class org.jcsp.net.tcpip.TCPIPProtocolID

class TCPIPProtocolID extends ProtocolID implements Serializable

## Package org.jcsp.util

### Class org.jcsp.util.Buffer

class Buffer extends Object implements Serializable

#### Serialized Fields

##### buffer

    Object[] buffer

The storage for the buffered Objects

##### counter

    int counter

The number of Objects stored in the Buffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Exception Class org.jcsp.util.BufferSizeError

class BufferSizeError extends Error implements Serializable

### Class org.jcsp.util.InfiniteBuffer

class InfiniteBuffer extends Object implements Serializable

#### Serialized Fields

##### buffer

    Object[] buffer

The storage for the buffered Objects

##### counter

    int counter

The number of Objects stored in the InfiniteBuffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### initialSize

    int initialSize

The initial size of the buffer

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.OverFlowingBuffer

class OverFlowingBuffer extends Object implements Serializable

#### Serialized Fields

##### buffer

    Object[] buffer

The storage for the buffered Objects

##### counter

    int counter

The number of Objects stored in the Buffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.OverWriteOldestBuffer

class OverWriteOldestBuffer extends Object implements Serializable

#### Serialized Fields

##### buffer

    Object[] buffer

The storage for the buffered Objects

##### counter

    int counter

The number of Objects stored in the Buffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.OverWritingBuffer

class OverWritingBuffer extends Object implements Serializable

#### Serialized Fields

##### buffer

    Object[] buffer

The storage for the buffered Objects

##### counter

    int counter

The number of Objects stored in the Buffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter < buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.ZeroBuffer

class ZeroBuffer extends Object implements Serializable

#### Serialized Fields

##### state

    int state

The current state

##### value

    Object value

The Object

## Package org.jcsp.util.filter

### Exception Class org.jcsp.util.filter.PoisonFilterException

class PoisonFilterException extends PoisonException implements Serializable

## Package org.jcsp.util.ints

### Class org.jcsp.util.ints.BufferInt

class BufferInt extends Object implements Serializable

#### Serialized Fields

##### buffer

    int[] buffer

The storage for the buffered ints

##### counter

    int counter

The number of ints stored in the BufferInt

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Exception Class org.jcsp.util.ints.BufferIntSizeError

class BufferIntSizeError extends Error implements Serializable

### Class org.jcsp.util.ints.InfiniteBufferInt

class InfiniteBufferInt extends Object implements Serializable

#### Serialized Fields

##### buffer

    int[] buffer

The storage for the buffered ints

##### counter

    int counter

The number of ints stored in the InfiniteBufferInt

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### initialSize

    int initialSize

The initial size of the buffer

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.ints.OverFlowingBufferInt

class OverFlowingBufferInt extends Object implements Serializable

#### Serialized Fields

##### buffer

    int[] buffer

The storage for the buffered ints

##### counter

    int counter

The number of ints stored in the Buffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

### Class org.jcsp.util.ints.OverWriteOldestBufferInt

class OverWriteOldestBufferInt extends Object implements Serializable

#### Serialized Fields

##### buffer

    int[] buffer

The storage for the buffered ints

##### counter

    int counter

The number of ints stored in the Buffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.ints.OverWritingBufferInt

class OverWritingBufferInt extends Object implements Serializable

#### Serialized Fields

##### buffer

    int[] buffer

The storage for the buffered ints

##### counter

    int counter

The number of ints stored in the Buffer

##### firstIndex

    int firstIndex

The index of the oldest element (when counter > 0)

##### lastIndex

    int lastIndex

The index of the next free element (when counter invalid input: '<' buffer.length)

##### valueWrittenWhileFull

    boolean valueWrittenWhileFull

### Class org.jcsp.util.ints.ZeroBufferInt

class ZeroBufferInt extends Object implements Serializable

#### Serialized Fields

##### state

    int state

The current state

##### value

    int value

The int