# Index

A B C D E F G H I J L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

## S

schedule(Alternative) - Method in class org.jcsp.lang.Guard
  Schedules the process performing the given Alternative to run again.
select() - Method in class org.jcsp.lang.Alternative
  Returns the index of one of the ready guards.
select() - Method in class org.jcsp.lang.InlineAlternative
  Creates an Alternative (if needed) and delegates the call to it.
select(boolean[]) - Method in class org.jcsp.lang.Alternative
  Returns the index of one of the ready guards whose `preCondition` index is true.
selected - Variable in class org.jcsp.lang.Any2AnyCallChannel
  This may be set during the standard calling sequence to record which method was invoked by a client.
selected - Variable in class org.jcsp.lang.Any2OneCallChannel
  This may be set during the standard calling sequence to record which method was invoked by a client.
selected - Variable in class org.jcsp.lang.One2AnyCallChannel
  This may be set during the standard calling sequence to record which method was invoked by a client.
selected - Variable in class org.jcsp.lang.One2OneCallChannel
  This may be set during the standard calling sequence to record which method was invoked by a client.
Sequence - Class in org.jcsp.lang
  This constructor taks an array of `CSProcess`es and returns a `CSProcess` that is the sequential composition of its process arguments.
Sequence() - Constructor for class org.jcsp.lang.Sequence
  Construct a new `Sequence` object initially without any processes.
Sequence(CSProcess[]) - Constructor for class org.jcsp.lang.Sequence
  Construct a new `Sequence` object with the processes specified.
Sequence versus Parallel - Search tag in class org.jcsp.lang.Sequence
  Section
Sequential Implementation - Search tag in class org.jcsp.lang.Sequence
  Section
server - Variable in class org.jcsp.lang.Any2AnyCallChannel
  This holds a reference to a server process so that a client may make the call.
server - Variable in class org.jcsp.lang.Any2OneCallChannel
  This holds a reference to a server process so that a client may make the call.
server - Variable in class org.jcsp.lang.One2AnyCallChannel
  This holds a reference to a server process so that a client may make the call.
server - Variable in class org.jcsp.lang.One2OneCallChannel
  This holds a reference to a server process so that a client may make the call.
server() - Method in interface org.jcsp.lang.Any2AnyConnection
  Returns a reference to the server end of the connection for use by the server processes.
server() - Method in interface org.jcsp.lang.Any2OneConnection
  Returns the server end of the connection.
server() - Method in interface org.jcsp.lang.One2AnyConnection
  Returns the server part of the connection.
server() - Method in interface org.jcsp.lang.One2OneConnection
  Returns the server end of the connection.
SERVER_STATE_CLOSED - Static variable in class org.jcsp.lang.AltingConnectionServerImpl
  Server state.
SERVER_STATE_OPEN - Static variable in class org.jcsp.lang.AltingConnectionServerImpl
  Server state.
SERVER_STATE_RECEIVED - Static variable in class org.jcsp.lang.AltingConnectionServerImpl
  Server state.
set(long) - Method in class org.jcsp.lang.CSTimer
  Deprecated.
  Use `CSTimer.setAlarm(long)` - this name caused confusion with the idea of setting the current time (a concept that is not supported).
set(GraphicsCommand) - Method in interface org.jcsp.awt.Display
  Sets the `GraphicsCommand` to be interpreted.
set(GraphicsCommand) - Method in class org.jcsp.awt.DisplayList
  Sets the `GraphicsCommand` to be executed.
set(GraphicsCommand[]) - Method in interface org.jcsp.awt.Display
  Sets the array of `GraphicsCommand`s to be interpreted.
set(GraphicsCommand[]) - Method in class org.jcsp.awt.DisplayList
  Sets the array of `GraphicsCommand`s to be executed.
SET_PAINT_MODE - Static variable in class org.jcsp.awt.GraphicsCommand
  This is the (immutable) command object for ``java.awt.Graphics.setPaintMode``.
setAlarm(long) - Method in class org.jcsp.lang.CSTimer
  Sets the absolute timeout value that will trigger an `Alternative` select operation (when this `CSTimer` is one of the guards with which that `Alternative` was constructed).
setAltingChannel(AltingChannelInput) - Method in class org.jcsp.lang.AltingConnectionClient
  `ConnectionServer` implementations are likely to be implemented over channels.
setAltingChannel(AltingChannelInput) - Method in class org.jcsp.lang.AltingConnectionServer
  `ConnectionServer` implementations are likely to be implemented over channels.
SetBackground(Color) - Constructor for class org.jcsp.awt.GraphicsProtocol.SetBackground
setChannel(AltingChannelInput) - Method in class org.jcsp.lang.AltingChannelInputWrapper
  Deprecated.
  Sets the real channel to be used.
SetClip(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.SetClip
SetClip(Shape) - Constructor for class org.jcsp.awt.GraphicsCommand.SetClip
SetColor(Color) - Constructor for class org.jcsp.awt.GraphicsCommand.SetColor
setConfigureChannel(AltingChannelInput) - Method in class org.jcsp.awt.ActiveTextEnterArea
  Sets the configuration channel for this `ActiveTextEnterArea`.
setConfigureChannel(AltingChannelInput) - Method in class org.jcsp.awt.ActiveTextEnterField
  Sets the configuration channel for this `ActiveTextEnterField`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveApplet
  Sets the configuration channel for this `ActiveApplet`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveButton
  Sets the configuration channel for this `ActiveButton`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveCheckbox
  Sets the configuration channel for this `ActiveCheckbox`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveCheckboxMenuItem
  Sets the configuration channel for this `ActiveCheckboxMenuItem`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveChoice
  Sets the configuration channel for this `ActiveChoice`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveClosingFrame
  Sets the configuration channel for this `ActiveButton`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveComponent
  Sets the configuration channel for this `ActiveComponent`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveContainer
  Sets the configuration channel for this `ActiveContainer`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveDialog
  Sets the configuration channel for this `ActiveDialog`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveFileDialog
  Sets the configuration channel for this `ActiveFileDialog`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveFrame
  Sets the configuration channel for this `ActiveFrame`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveLabel
  Sets the configuration channel for this `ActiveLabel`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveList
  Sets the configuration channel for this `ActiveList`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveMenu
  Sets the configuration channel for this `ActiveMenu`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveMenuItem
  Sets the configuration channel for this `ActiveMenuItem`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActivePanel
  Sets the configuration channel for this `ActivePanel`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveScrollbar
  Sets the configuration channel for this `ActiveScrollbar`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveScrollPane
  Sets the configuration channel for this `ActiveScrollPane`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveTextArea
  Sets the configuration channel for this `ActiveTextArea`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveTextField
  Sets the configuration channel for this `ActiveTextField`.
setConfigureChannel(ChannelInput) - Method in class org.jcsp.awt.ActiveWindow
  Sets the configuration channel for this `ActiveWindow`.
setDestroyChannels(ChannelOutputInt, AltingChannelInputInt) - Method in class org.jcsp.awt.ActiveApplet
  This sets `destroy`/`destroyAck` channels to allow a user-defined destroy response.
setDestroyChannels(ChannelOutputInt, AltingChannelInputInt, int) - Method in class org.jcsp.awt.ActiveApplet
  This sets `destroy`/`destroyAck` channels to allow a user-defined destroy response.
setDisableTime(long) - Method in class org.jcsp.awt.ActiveTextEnterArea
  This is used to set the time during which the text area is disabled after an ESCAPE has been entered.
setDisableTime(long) - Method in class org.jcsp.awt.ActiveTextEnterField
  This is used to set the time during which the text field is disabled after an ENTER or ESCAPE has been entered.
setEarlyTimeout(long) - Static method in class org.jcsp.lang.SpuriousLog
  This sets the allowed early timeout (in msecs).
SetFont(Font) - Constructor for class org.jcsp.awt.GraphicsCommand.SetFont
setGraphicsChannels(ChannelInput, ChannelOutput) - Method in class org.jcsp.awt.ActiveCanvas
  Set the `toGraphics`/`fromGraphics` channels for configuring and/or examining this component.
setMinRefreshInterval(long) - Method in class org.jcsp.awt.DisplayList
  Sets the `repaint` interval invoked by the ``set``, ``extend`` and ``change`` commands.
setPaintable(Paintable) - Method in class org.jcsp.awt.ActiveCanvas
  Set the ``Paintable`` object that will be used by the `paint` and `update` methods of this canvas.
SetPaintable(Paintable) - Constructor for class org.jcsp.awt.GraphicsProtocol.SetPaintable
setPreconditionByIndex(int, boolean) - Method in class org.jcsp.lang.InlineAlternative
  Alters the precondition on a guard.
setPreconditions(boolean[]) - Method in class org.jcsp.lang.InlineAlternative
  Establishes a precondition array that will be used by default in calls to select().
setPriority(int) - Static method in class org.jcsp.lang.PriParallel
  This changes the priority of this process.
setPriority(int) - Method in class org.jcsp.lang.ProcessManager
  Public mutator for setting the `ProcessManager` object's process' priority.
setProcess(CSProcess) - Method in class org.jcsp.awt.ActiveApplet
  This must be called during the `init()` method for this `ActiveApplet`.
setReportButtonIndex(boolean) - Method in class org.jcsp.awt.ActiveButtonControl
  Defines whether the index of the pushed button causing a state transition should be included in the report.
setReportButtonLabel(boolean) - Method in class org.jcsp.awt.ActiveButtonControl
  Defines whether the label on the pushed button causing a state transition should be included in the report.
setSize(int, int) - Method in class org.jcsp.awt.ActiveCanvas
  Request that the canvas takes the size given by the parameters.
setStopStartChannel(ChannelOutputInt) - Method in class org.jcsp.awt.ActiveApplet
  This sets a `stopStart` channel to allow a user-defined stop/start response.
setUncaughtErrorDisplay(boolean) - Static method in class org.jcsp.lang.Parallel
  Enables or disables the display or Errors uncaught by a CSProcess running within a Parallel or under a ProcessManager object.
setUncaughtExceptionDisplay(boolean) - Static method in class org.jcsp.lang.Parallel
  Enables or disables the display of Exceptions uncaught by a CSProcess running within a Parallel or under a ProcessManager object.
SetXORMode(Color) - Constructor for class org.jcsp.awt.GraphicsCommand.SetXORMode
SharedAltingConnectionClient - Class in org.jcsp.lang
  Implements a client end of a Connection which can have multiple client processes.
SharedAltingConnectionClient(AltingChannelInput, ChannelInput, ChannelOutput, ChannelOutput, SharedChannelOutput, ChannelOutput, ConnectionWithSharedAltingClient) - Constructor for class org.jcsp.lang.SharedAltingConnectionClient
SharedChannelInput - Interface in org.jcsp.lang
  This is the same as `ChannelInput` except that it is guaranteed safe to pass on to more than one internal process for parallel reading.
SharedChannelInputInt - Interface in org.jcsp.lang
  This is the same as `ChannelInputInt` except that it is guaranteed safe to pass on to more than one internal process for parallel reading.
SharedChannelOutput - Interface in org.jcsp.lang
  This is the same as `ChannelOutput` except that it is guaranteed safe to pass on to more than one internal process for parallel writing.
SharedChannelOutputInt - Interface in org.jcsp.lang
  This is the same as `ChannelOutputInt` except that it is guaranteed safe to pass on to more than one internal process for parallel writing.
SharedConnectionClient - Interface in org.jcsp.lang
  Defines an interface for a client end of a connection that can be shared by multiple clients.
SharedConnectionServer - Interface in org.jcsp.lang
  Defines an interface for a server end of a connection that can be shared by multiple concurrent processes.
SharedConnectionServerImpl - Class in org.jcsp.lang
  This class does not need to be used by standard JCSP users.
SharedConnectionServerImpl(AltingChannelInput, AltingChannelInput, ChannelInput, SharedChannelOutput, ConnectionWithSharedAltingServer) - Constructor for class org.jcsp.lang.SharedConnectionServerImpl
Sign - Class in org.jcsp.plugNplay
  Converts each input `Object` to a `String`, prefixing it with a user-defined `sign`.
Sign(String, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Sign
  Construct a new Sign process with the input Channel in and the output Channel out.
SignInt - Class in org.jcsp.plugNplay.ints
  Converts each input `int` to a `String`, prefixing it with a user-defined `sign`.
SignInt(String, ChannelInputInt, ChannelOutput) - Constructor for class org.jcsp.plugNplay.ints.SignInt
  Construct a new Sign process with the input Channel in and the output Channel out.
Skip - Class in org.jcsp.lang
  This is a process that immediately terminates and a `Guard` that is always ready.
Skip() - Constructor for class org.jcsp.lang.Skip
sleep(long) - Method in class org.jcsp.lang.CSTimer
  Puts the process to sleep for a specified time (milliseconds).
Spawning a CSProcess - Search tag in class org.jcsp.lang.ProcessManager
  Section
SpuriousLog - Class in org.jcsp.lang
  This holds the log of spurious wakeups and early timeouts.
Squares - Class in org.jcsp.plugNplay
  Generates the `Integer` stream `1*1, 2*2, 3*3, etc` by a somewhat unusual route.
Squares(ChannelOutput) - Constructor for class org.jcsp.plugNplay.Squares
  Construct a new Squares process with the output Channel out.
SquaresInt - Class in org.jcsp.plugNplay.ints
  Generates the integer stream `1*1, 2*2, 3*3, etc` by a somewhat unusual route.
SquaresInt(ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.SquaresInt
  Construct a new SquaresInt process with the output Channel out.
StandardChannelFactory - Class in org.jcsp.lang
  This class acts as a Factory for creating channels.
StandardChannelFactory() - Constructor for class org.jcsp.lang.StandardChannelFactory
  Constructs a new factory.
StandardChannelIntFactory - Class in org.jcsp.lang
  This class acts as a Factory for creating channels.
StandardChannelIntFactory() - Constructor for class org.jcsp.lang.StandardChannelIntFactory
  Constructs a new factory.
StandardConnectionFactory - Class in org.jcsp.lang
  Implements a factory for creating connections.
StandardConnectionFactory() - Constructor for class org.jcsp.lang.StandardConnectionFactory
start() - Method in class org.jcsp.awt.ActiveApplet
  Called by the browser when the `ActiveApplet` is first started and each time its web page is revisited.
start() - Method in class org.jcsp.lang.ProcessManager
  Start the managed process (but keep running ourselves).
start() - Static method in class org.jcsp.lang.SpuriousLog
  Start logging of spurious wakeups.
start(int) - Method in class org.jcsp.lang.ProcessManager
  Start the managed process at a specified priority (but keep running ourselves).
START - Static variable in class org.jcsp.awt.ActiveApplet
  This value is sent down a ``stopStart`` channel on second and subsequent browser invocations of `start` - see the user-defined stop/start response.
startGet() - Method in class org.jcsp.util.Buffer
  Returns the oldest object from the buffer but does not remove it.
startGet() - Method in interface org.jcsp.util.ChannelDataStore
  Begins an extended read on the buffer, returning the data for the extended read.
startGet() - Method in class org.jcsp.util.InfiniteBuffer
  Returns the oldest object from the buffer but does not remove it.
startGet() - Method in class org.jcsp.util.ints.BufferInt
  Returns the oldest integer from the buffer but does not remove it.
startGet() - Method in interface org.jcsp.util.ints.ChannelDataStoreInt
  Begins an extended read on the buffer, returning the data for the extended read Pre-condition: `getState` must not currently return `EMPTY`.
startGet() - Method in class org.jcsp.util.ints.InfiniteBufferInt
  Returns the oldest integer from the buffer but does not remove it.
startGet() - Method in class org.jcsp.util.ints.OverFlowingBufferInt
  Returns the oldest integer from the buffer but does not remove it.
startGet() - Method in class org.jcsp.util.ints.OverWriteOldestBufferInt
  Begins an extended rendezvous by the reader.
startGet() - Method in class org.jcsp.util.ints.OverWritingBufferInt
  Begins an extended rendezvous by the reader.
startGet() - Method in class org.jcsp.util.ints.ZeroBufferInt
  Begins an extended rendezvous - simply returns the next integer in the buffer.
startGet() - Method in class org.jcsp.util.OverFlowingBuffer
  Returns the oldest object from the buffer but does not remove it.
startGet() - Method in class org.jcsp.util.OverWriteOldestBuffer
  Begins an extended rendezvous by the reader.
startGet() - Method in class org.jcsp.util.OverWritingBuffer
  This begins an extended rendezvous by the reader.
startGet() - Method in class org.jcsp.util.ZeroBuffer
  Begins an extended rendezvous - simply returns the next object in the buffer.
startRead() - Method in class org.jcsp.lang.AltingChannelInputWrapper
  Deprecated.
  Begins an extended rendezvous
startRead() - Method in interface org.jcsp.lang.ChannelInput
  Begin an extended rendezvous read from the channel.
startRead() - Method in interface org.jcsp.lang.ChannelInputInt
  Begin an extended rendezvous read from the channel.
startRead() - Method in class org.jcsp.lang.ChannelInputWrapper
  Deprecated.
  Begins an extended rendezvous
startRead() - Method in class org.jcsp.lang.Crew
  This must be invoked before any read operations on the associated shared resource.
startWrite() - Method in class org.jcsp.lang.Crew
  This must be invoked before any write operations on the associated shared resource.
stop() - Method in class org.jcsp.awt.ActiveApplet
  Called by the browser when the web page containing this `ActiveApplet` is replaced by another page or just before this `ActiveApplet` is to be destroyed.
stop() - Method in class org.jcsp.lang.ProcessManager
  Deprecated.
Stop - Class in org.jcsp.lang
  This is a process that starts, engages in no events, performs no computation but refuses to terminate.
Stop() - Constructor for class org.jcsp.lang.Stop
STOP - Static variable in class org.jcsp.awt.ActiveApplet
  This value is sent down a ``stopStart`` channel when the browser invokes a `stop` - see the user-defined stop/start response.
Stopping, Interrupting, Race-Hazards and Poison - Search tag in class org.jcsp.lang.ProcessManager
  Section
StopRun - Static variable in class org.jcsp.lang.SpuriousLog
  This indexes the counts of spurious wakeups (`SpuriousLog.report()`), indicating the class and operation that suffered.
Substitute - Class in org.jcsp.plugNplay
  Substitutes a user-configured Object for each Object in the stream flowing through.
Substitute(ChannelInput, ChannelOutput, Object) - Constructor for class org.jcsp.plugNplay.Substitute
  Construct a new Substitute process.
SubstituteInt - Class in org.jcsp.plugNplay.ints
  Substitutes a user-configured constant for each integer in the stream flowing through.
SubstituteInt(ChannelInputInt, ChannelOutputInt, int) - Constructor for class org.jcsp.plugNplay.ints.SubstituteInt
  Construct a new SubstituteInt process.
Successor - Class in org.jcsp.plugNplay
  Adds one to each `Integer` in the stream flowing through.
Successor(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Successor
  Construct a new Successor process with the input Channel in and the output Channel out.
SuccessorInt - Class in org.jcsp.plugNplay.ints
  Adds one to each integer in the stream flowing through.
SuccessorInt(ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.SuccessorInt
  Construct a new SuccessorInt process with the input Channel in and the output Channel out.
Sun's Java Plug-in - Search tag in class org.jcsp.awt.ActiveApplet
  Section
sync() - Method in class org.jcsp.lang.AltingBarrier
  This is a simple way to perform a committed synchonisation on an `AltingBarrier` without having to set up an `Alternative`.
sync() - Method in class org.jcsp.lang.Barrier
  Synchronise the invoking process on this barrier.

A B C D E F G H I J L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form