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

S

select() - Method in class jcsp.lang.Alternative

Returns the index of one of the ready guards.

select(boolean[]) - Method in class jcsp.lang.Alternative

Returns the index of one of the ready guards whose preCondition index is true.

selected - Variable in class 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 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 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 jcsp.lang.One2OneCallChannel

This may be set during the standard calling sequence to record which method was invoked by a client.

Sequence - class jcsp.lang.Sequence.

This constructor taks an array of CSProcesses and returns a CSProcess that is the sequential composition of its process arguments.

Sequence() - Constructor for class jcsp.lang.Sequence

Construct a new Sequence object initially without any processes.

Sequence(CSProcess[]) - Constructor for class jcsp.lang.Sequence

Construct a new Sequence object with the processes specified.

Sequential - class jcsp.lang.Sequential.

Deprecated. Use Sequence.

Sequential() - Constructor for class jcsp.lang.Sequential

Deprecated. Construct a new Sequential object initially without any processes.

Sequential(CSProcess[]) - Constructor for class jcsp.lang.Sequential

Deprecated. Construct a new Sequential object with the processes specified.

server - Variable in class jcsp.lang.Any2AnyCallChannel

This holds a reference to a server process so that a client may make the call.

server - Variable in class jcsp.lang.One2AnyCallChannel

This holds a reference to a server process so that a client may make the call.

server - Variable in class jcsp.lang.Any2OneCallChannel

This holds a reference to a server process so that a client may make the call.

server - Variable in class jcsp.lang.One2OneCallChannel

This holds a reference to a server process so that a client may make the call.

SET_PAINT_MODE - Static variable in class jcsp.awt.GraphicsCommand

This is the (immutable) command object for java.awt.Graphics.setPaintMode.

set(GraphicsCommand) - Method in class jcsp.awt.DisplayList

Sets the GraphicsCommand to be executed.

set(GraphicsCommand) - Method in interface jcsp.awt.Display

Sets the GraphicsCommand to be interpreted.

set(GraphicsCommand[]) - Method in class jcsp.awt.DisplayList

Sets the array of GraphicsCommands to be executed.

set(GraphicsCommand[]) - Method in interface jcsp.awt.Display

Sets the array of GraphicsCommands to be interpreted.

set(long) - Method in class 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).

setAlarm(long) - Method in class 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).

setConfigureChannel(AltingChannelInput) - Method in class jcsp.awt.ActiveTextEnterField

Sets the configuration channel for this ActiveTextEnterField.

setConfigureChannel(AltingChannelInput) - Method in class jcsp.awt.ActiveTextEnterArea

Sets the configuration channel for this ActiveTextEnterArea.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveLabel

Sets the configuration channel for this ActiveLabel.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveContainer

Sets the configuration channel for this ActiveContainer.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveMenu

Sets the configuration channel for this ActiveMenu.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveComponent

Sets the configuration channel for this ActiveComponent.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveClosingFrame

Sets the configuration channel for this ActiveButton.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveWindow

Sets the configuration channel for this ActiveWindow.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveTextField

Sets the configuration channel for this ActiveTextField.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveCheckboxMenuItem

Sets the configuration channel for this ActiveCheckboxMenuItem.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveFrame

Sets the configuration channel for this ActiveFrame.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveCheckbox

Sets the configuration channel for this ActiveCheckbox.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveList

Sets the configuration channel for this ActiveList.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveFileDialog

Sets the configuration channel for this ActiveFileDialog.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveMenuItem

Sets the configuration channel for this ActiveMenuItem.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveButton

Sets the configuration channel for this ActiveButton.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveScrollPane

Sets the configuration channel for this ActiveScrollPane.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveChoice

Sets the configuration channel for this ActiveChoice.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveDialog

Sets the configuration channel for this ActiveDialog.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActivePanel

Sets the configuration channel for this ActivePanel.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveScrollbar

Sets the configuration channel for this ActiveScrollbar.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveTextArea

Sets the configuration channel for this ActiveTextArea.

setConfigureChannel(ChannelInput) - Method in class jcsp.awt.ActiveApplet

Sets the configuration channel for this ActiveApplet.

setDestroyChannels(ChannelOutputInt, AltingChannelInputInt) - Method in class jcsp.awt.ActiveApplet

This sets destroy/destroyAck channels to allow a user-defined destroy response.

setDestroyChannels(ChannelOutputInt, AltingChannelInputInt, int) - Method in class jcsp.awt.ActiveApplet

This sets destroy/destroyAck channels to allow a user-defined destroy response.

setDisableTime(long) - Method in class 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.

setDisableTime(long) - Method in class jcsp.awt.ActiveTextEnterArea

This is used to set the time during which the text area is disabled after an ESCAPE has been entered.

setEarlyTimeout(long) - Static method in class jcsp.lang.SpuriousLog

This sets the allowed early timeout (in msecs).

setGraphicsChannels(ChannelInput, ChannelOutput) - Method in class jcsp.awt.ActiveCanvas

Set the toGraphics/fromGraphics channels for configuring and/or examining this component.

setMinRefreshInterval(long) - Method in class jcsp.awt.DisplayList

Sets the repaint interval invoked by the set, extend and change commands.

setPaintable(Paintable) - Method in class jcsp.awt.ActiveCanvas

Set the Paintable object that will be used by the paint and update methods of this canvas.

setPriority(int) - Static method in class jcsp.lang.PriParallel

This changes the priority of this process.

setProcess(CSProcess) - Method in class jcsp.awt.ActiveApplet

This must be called during the init() method for this ActiveApplet.

setReportButtonIndex(boolean) - Method in class 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 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 jcsp.awt.ActiveCanvas

Request that the canvas takes the size given by the parameters.

setStopStartChannel(ChannelOutputInt) - Method in class jcsp.awt.ActiveApplet

This sets a stopStart channel to allow a user-defined stop/start response.

Sign - class jcsp.plugNplay.Sign.

Converts each input Object to a String, prefixing it with a user-defined sign.

Sign(String, ChannelInput, ChannelOutput) - Constructor for class jcsp.plugNplay.Sign

Construct a new Sign process with the input Channel in and the output Channel out.

SignInt - class jcsp.plugNplay.ints.SignInt.

Converts each input int to a String, prefixing it with a user-defined sign.

SignInt(String, ChannelInputInt, ChannelOutput) - Constructor for class jcsp.plugNplay.ints.SignInt

Construct a new Sign process with the input Channel in and the output Channel out.

Skip - class jcsp.lang.Skip.

This is a process that immediately terminates and a Guard that is always ready.

Skip() - Constructor for class jcsp.lang.Skip

Skipper - class jcsp.lang.Skipper.

Deprecated. Use Skip.

Skipper() - Constructor for class jcsp.lang.Skipper

Deprecated.

sleep(long) - Method in class jcsp.lang.CSTimer

Puts the process to sleep for a specified time (milliseconds).

SpuriousLog - class jcsp.lang.SpuriousLog.

This holds the log of spurious wakeups and early timeouts.

Squares - class jcsp.plugNplay.Squares.

Generates the Integer stream 1*1, 2*2, 3*3, ... by a somewhat unusual route.

Squares(ChannelOutput) - Constructor for class jcsp.plugNplay.Squares

Construct a new Squares process with the output Channel out.

SquaresInt - class jcsp.plugNplay.ints.SquaresInt.

Generates the integer stream 1*1, 2*2, 3*3, ... by a somewhat unusual route.

SquaresInt(ChannelOutputInt) - Constructor for class jcsp.plugNplay.ints.SquaresInt

Construct a new SquaresInt process with the output Channel out.

START - Static variable in class 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 jcsp.lang.ProcessNetwork

Deprecated. Start the network (but keep running ourselves).

start() - Method in class jcsp.lang.ProcessManager

Start the managed process (but keep running ourselves).

start() - Static method in class jcsp.lang.SpuriousLog

Start logging of spurious wakeups.

start() - Method in class jcsp.awt.ActiveApplet

Called by the browser when the ActiveApplet is first started and each time its web page is revisited.

startRead() - Method in class jcsp.lang.Crew

This must be invoked before any read operations on the associated shared resource.

startWrite() - Method in class jcsp.lang.Crew

This must be invoked before any write operations on the associated shared resource.

Stop - class jcsp.lang.Stop.

This is a process that starts, engages in no events, performs no computation but refuses to terminate.

STOP - Static variable in class 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 jcsp.lang.ProcessNetwork

Deprecated. Stop (permanently) the network.

stop() - Method in class jcsp.lang.ProcessManager

Stop (permanently) the managed process.

stop() - Method in class 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() - Constructor for class jcsp.lang.Stop

stopOK() - Method in class jcsp.lang.ProcessManager

Returns whether ProcessManager.suspend(), ProcessManager.resume() and ProcessManager.stop() are supported.

StopRun - Static variable in class jcsp.lang.SpuriousLog

This indexes the counts of spurious wakeups (SpuriousLog.report()), indicating the class and operation that suffered.

Substitute - class jcsp.plugNplay.Substitute.

Substitutes a user-configured Object for each Object in the stream flowing through.

Substitute(ChannelInput, ChannelOutput, Object) - Constructor for class jcsp.plugNplay.Substitute

Construct a new Substitute process.

SubstituteInt - class jcsp.plugNplay.ints.SubstituteInt.

Substitutes a user-configured constant for each integer in the stream flowing through.

SubstituteInt(ChannelInputInt, ChannelOutputInt, int) - Constructor for class jcsp.plugNplay.ints.SubstituteInt

Construct a new SubstituteInt process.

Successor - class jcsp.plugNplay.Successor.

Adds one to each Integer in the stream flowing through.

Successor(ChannelInput, ChannelOutput) - Constructor for class jcsp.plugNplay.Successor

Construct a new Successor process with the input Channel in and the output Channel out.

SuccessorInt - class jcsp.plugNplay.ints.SuccessorInt.

Adds one to each integer in the stream flowing through.

SuccessorInt(ChannelInputInt, ChannelOutputInt) - Constructor for class jcsp.plugNplay.ints.SuccessorInt

Construct a new SuccessorInt process with the input Channel in and the output Channel out.

suspend() - Method in class jcsp.lang.ProcessNetwork

Deprecated. Suspend the network.

suspend() - Method in class jcsp.lang.ProcessManager

Suspend the managed process.

sync() - Method in class jcsp.lang.Barrier

Synchronise the invoking process on this barrier.

sync() - Method in class jcsp.lang.AltingBarrier

This is a simple way to perform a committed synchonisation on an AltingBarrier without having to set up an Alternative.