A B C D E F G H I J M N O P R S T U V W X Z

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(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

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.

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

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).

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.

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.

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

This value is sent down a stopStart channel on second and subsequent browser invocations of start - see the user-defined stop/start response.

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

This value is sent down a stopStart channel when the browser invokes a stop - see the user-defined stop/start response.

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

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.