- 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(boolean[]) - Method in class org.jcsp.lang.Alternative
-
Returns the index of one of the ready guards whose preCondition
index is true.
- select() - Method in class org.jcsp.lang.InlineAlternative
-
Creates an Alternative (if needed) and delegates the call to it.
- 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 CSProcesses
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.
- 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() - Method in interface org.jcsp.lang.Any2AnyConnection
-
Returns a reference to the server end of the connection for use by the server processes.
- 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() - Method in interface org.jcsp.lang.Any2OneConnection
-
Returns the server end of the connection.
- 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() - Method in interface org.jcsp.lang.One2AnyConnection
-
Returns the server part of the connection.
- 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.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(GraphicsCommand[]) - Method in interface org.jcsp.awt.Display
-
Sets the array of GraphicsCommands to be interpreted.
- 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 array of GraphicsCommands to be executed.
- set(GraphicsCommand) - Method in class org.jcsp.awt.DisplayList
-
Sets the GraphicsCommand to be executed.
- 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_PAINT_MODE - Static variable in class org.jcsp.awt.GraphicsCommand
-
- 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.
- setChannel(AltingChannelInput) - Method in class org.jcsp.lang.AltingChannelInputWrapper
-
Deprecated.
Sets the real channel to be used.
- 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(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.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
-
- setDestroyChannels(ChannelOutputInt, AltingChannelInputInt, int) - Method in class org.jcsp.awt.ActiveApplet
-
- 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).
- 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
-
- setPaintable(Paintable) - Method in class org.jcsp.awt.ActiveCanvas
-
- 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
-
- 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.
- 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).
- 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 - Static variable in class org.jcsp.awt.ActiveApplet
-
- 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(int) - Method in class org.jcsp.lang.ProcessManager
-
Start the managed process at a specified priority
(but keep running ourselves).
- start() - Static method in class org.jcsp.lang.SpuriousLog
-
Start logging of spurious wakeups.
- 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 - Static variable in class org.jcsp.awt.ActiveApplet
-
- 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
-
- 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.
- sync() - Method in class org.jcsp.lang.AltingBarrier
-
- sync() - Method in class org.jcsp.lang.Barrier
-
Synchronise the invoking process on this barrier.