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

P

paint(Graphics) - Method in class jcsp.awt.ActiveCanvas

This method is used by the JVM event thread -- it is not really for public consumption.

paint(Graphics) - Method in class jcsp.awt.DisplayList

This is the call-back delegated here by the registered Component.

paint(Graphics) - Method in interface jcsp.awt.Paintable

This is the call-back delegated here by the registered Component.

Paintable - interface jcsp.awt.Paintable.

Active components may delegate their paint and update methods to objects implementing this interface.

Pairs - class jcsp.plugNplay.Pairs.

Generates sums of successive pairs of input Integers.

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

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

PairsInt - class jcsp.plugNplay.ints.PairsInt.

Generates sums of successive pairs of input values.

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

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

Parallel - class jcsp.lang.Parallel.

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

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

Construct a new Parallel object initially without any processes.

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

Construct a new Parallel object with the processes specified.

Paraplex - class jcsp.plugNplay.Paraplex.

Parallel multiplexes its input Object stream array on to one output stream.

Paraplex(ChannelInput[], ChannelOutput) - Constructor for class jcsp.plugNplay.Paraplex

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

ParaplexInt - class jcsp.plugNplay.ints.ParaplexInt.

Parallel multiplexes its input integer stream array on to one output stream.

ParaplexInt(ChannelInputInt[], ChannelOutput) - Constructor for class jcsp.plugNplay.ints.ParaplexInt

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

pending() - Method in class jcsp.lang.AltingChannelInputInt

Returns whether there is data pending on this channel.

pending() - Method in class jcsp.lang.Any2OneChannelInt

Returns whether there is data pending on this channel.

pending() - Method in class jcsp.lang.AltingChannelInput

Returns whether there is data pending on this channel.

pending() - Method in class jcsp.lang.One2OneChannel

Returns whether there is data pending on this channel.

pending() - Method in class jcsp.lang.One2OneChannelInt

Returns whether there is data pending on this channel.

pending() - Method in class jcsp.lang.Any2OneChannel

Returns whether there is data pending on this channel.

Plex - class jcsp.plugNplay.Plex.

Fair multiplexes its input Object stream array into one output stream.

Plex(AltingChannelInput[], ChannelOutput) - Constructor for class jcsp.plugNplay.Plex

Construct a new Plex process with input channels in and output channel out.

Plex2 - class jcsp.plugNplay.Plex2.

Fair multiplexes two Object streams into one.

Plex2(AltingChannelInput, AltingChannelInput, ChannelOutput) - Constructor for class jcsp.plugNplay.Plex2

Construct a new Plex2 process with the input channels in0 and in1 and the output channel out.

Plex2Int - class jcsp.plugNplay.ints.Plex2Int.

Fair multiplexes two integer streams into one.

Plex2Int(AltingChannelInputInt, AltingChannelInputInt, ChannelOutputInt) - Constructor for class jcsp.plugNplay.ints.Plex2Int

Construct a new Plex2Int process with the input channels in0 and in1 and the output channel out.

PlexInt - class jcsp.plugNplay.ints.PlexInt.

Fair multiplexes its input integer stream array into one output stream.

PlexInt(AltingChannelInputInt[], ChannelOutputInt) - Constructor for class jcsp.plugNplay.ints.PlexInt

Construct a new PlexInt process with input channels in and output channel out.

Plus - class jcsp.plugNplay.Plus.

Sums two Integer streams to one stream.

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

Construct a new Plus process with the input Channels in1 and in2 and the output Channel out.

PlusInt - class jcsp.plugNplay.ints.PlusInt.

Sums two integer streams to one stream.

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

Construct a new PlusInt process with the input Channels in0 and in1 and the output Channel out.

Prefix - class jcsp.plugNplay.Prefix.

Prefixes a user-supplied object to the Object stream flowing through.

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

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

PrefixInt - class jcsp.plugNplay.ints.PrefixInt.

Prefixes a user-supplied integer to the int stream flowing through.

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

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

Printer - class jcsp.plugNplay.Printer.

Prints each int from its input channel to a PrintStream.

Printer(ChannelInput) - Constructor for class jcsp.plugNplay.Printer

Construct a new Printer with System.out as its PrintStream and empty prefix and postfix strings.

Printer(ChannelInput, PrintStream) - Constructor for class jcsp.plugNplay.Printer

Construct a new Printer with empty prefix and postfix strings.

Printer(ChannelInput, PrintStream, String, String) - Constructor for class jcsp.plugNplay.Printer

Construct a new Printer.

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

Construct a new Printer with System.out as its PrintStream.

PrinterInt - class jcsp.plugNplay.ints.PrinterInt.

Prints each int from its input channel to a PrintStream.

PrinterInt(ChannelInputInt) - Constructor for class jcsp.plugNplay.ints.PrinterInt

Construct a new PrinterInt with System.out as its PrintStream and empty prefix and postfix strings.

PrinterInt(ChannelInputInt, PrintStream) - Constructor for class jcsp.plugNplay.ints.PrinterInt

Construct a new PrinterInt with empty prefix and postfix strings.

PrinterInt(ChannelInputInt, PrintStream, String, String) - Constructor for class jcsp.plugNplay.ints.PrinterInt

Construct a new PrinterInt.

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

Construct a new PrinterInt with System.out as its PrintStream.

PriParallel - class jcsp.lang.PriParallel.

This is an extension of the Parallel class that prioritises the processes given to its control.

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

Construct a new PriParallel object initially without any processes.

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

Construct a new PriParallel object with the processes specified.

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

Returns the index of one of the ready guards.

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

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

ProcessInterruptedError - error jcsp.lang.ProcessInterruptedError.

This is thrown if a process is interrupted whilst blocked during synchronisation - processes should never be interrupted.

ProcessInterruptedError(String) - Constructor for class jcsp.lang.ProcessInterruptedError

ProcessManager - class jcsp.lang.ProcessManager.

This enables a CSProcess to be spawned concurrently with the process doing the spawning.

ProcessManager(CSProcess) - Constructor for class jcsp.lang.ProcessManager

ProcessNetwork - class jcsp.lang.ProcessNetwork.

Deprecated. Use ProcessManager.

ProcessNetwork(CSProcess) - Constructor for class jcsp.lang.ProcessNetwork

Deprecated.

ProcessRead - class jcsp.plugNplay.ProcessRead.

Reads one Object from its input channel.

ProcessRead(ChannelInput) - Constructor for class jcsp.plugNplay.ProcessRead

Construct a new ProcessRead.

ProcessReadInt - class jcsp.plugNplay.ints.ProcessReadInt.

Reads one int from its input channel.

ProcessReadInt(ChannelInputInt) - Constructor for class jcsp.plugNplay.ints.ProcessReadInt

Construct a new ProcessReadInt.

ProcessWrite - class jcsp.plugNplay.ProcessWrite.

Writes one Object to its output channel.

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

Construct a new ProcessWrite.

ProcessWriteInt - class jcsp.plugNplay.ints.ProcessWriteInt.

Writes one int to its output channel.

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

Construct a new ProcessWriteInt.

put(int) - Method in class jcsp.util.ints.OverFlowingBufferInt

Puts a new int into the OverFlowingBufferInt.

put(int) - Method in interface jcsp.util.ints.ChannelDataStoreInt

Puts a new int into the ChannelDataStoreInt.

put(int) - Method in class jcsp.util.ints.OverWritingBufferInt

Puts a new int into the OverWritingBufferInt.

put(int) - Method in class jcsp.util.ints.ZeroBufferInt

Puts a new int into the ZeroBufferInt.

put(int) - Method in class jcsp.util.ints.InfiniteBufferInt

Puts a new int into the InfiniteBufferInt.

put(int) - Method in class jcsp.util.ints.BufferInt

Puts a new int into the BufferInt.

put(int) - Method in class jcsp.util.ints.OverWriteOldestBufferInt

Puts a new int into the OverWriteOldestBufferInt.

put(Object) - Method in class jcsp.util.ZeroBuffer

Puts a new Object into the ZeroBuffer.

put(Object) - Method in class jcsp.util.Buffer

Puts a new Object into the Buffer.

put(Object) - Method in class jcsp.util.OverFlowingBuffer

Puts a new Object into the OverFlowingBuffer.

put(Object) - Method in class jcsp.util.InfiniteBuffer

Puts a new Object into the InfiniteBuffer.

put(Object) - Method in class jcsp.util.OverWriteOldestBuffer

Puts a new Object into the OverWriteOldestBuffer.

put(Object) - Method in interface jcsp.util.ChannelDataStore

Puts a new Object into the ChannelDataStore.

put(Object) - Method in class jcsp.util.OverWritingBuffer

Puts a new Object into the OverWritingBuffer.