Serialized Form

  • Package org.jcsp.awt

  • Package org.jcsp.lang

    • Error org.jcsp.lang.AlternativeError

      class AlternativeError extends Error implements Serializable
    • Error 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.
    • Error 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.
    • Error 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.
    • Error org.jcsp.lang.ProcessInterruptedException

      class ProcessInterruptedException extends Error 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 < buffer.length)
    • Error 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 < 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 < 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 < 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.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 < buffer.length)
    • Error 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 < 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 < 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 < 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 < 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