- paint(Graphics) - Method in class org.jcsp.awt.ActiveCanvas
-
This method is used by the JVM event thread -- it is not really for public
consumption.
- paint(Graphics) - Method in class org.jcsp.awt.DisplayList
-
This is the call-back delegated here by the registered Component.
- paint(Graphics) - Method in interface org.jcsp.awt.Paintable
-
This is the call-back delegated here by the registered Component.
- Paintable - Interface in org.jcsp.awt
-
Active components may delegate their paint and update
methods to objects implementing this interface.
- Pairs - Class in org.jcsp.plugNplay
-
Generates sums of successive pairs of input Integers.
- Pairs(ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Pairs
-
Construct a new Pairs process with the input Channel in and the
output Channel out.
- PairsInt - Class in org.jcsp.plugNplay.ints
-
Generates sums of successive pairs of input values.
- PairsInt(ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PairsInt
-
Construct a new PairsInt process with the input Channel in and the
output Channel out.
- Parallel - Class in org.jcsp.lang
-
This process constructor taks an array of CSProcesses
and returns a CSProcess that is the parallel composition of
its process arguments.
- Parallel() - Constructor for class org.jcsp.lang.Parallel
-
Construct a new Parallel object initially without any processes.
- Parallel(CSProcess[]) - Constructor for class org.jcsp.lang.Parallel
-
Construct a new Parallel object with the processes specified.
- Parallel(CSProcess[][]) - Constructor for class org.jcsp.lang.Parallel
-
Construct a new Parallel object with the processes specified.
- Paraplex - Class in org.jcsp.plugNplay
-
Parallel multiplexes its input Object stream array on to one output stream.
- Paraplex(ChannelInput[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.Paraplex
-
Construct a new Paraplex process with the input Channel in and the output
Channels out.
- ParaplexInt - Class in org.jcsp.plugNplay.ints
-
Parallel multiplexes its input integer stream array on to one output stream.
- ParaplexInt(ChannelInputInt[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.ints.ParaplexInt
-
Construct a new ParaplexInt process with the input Channel in and the output
Channels out.
- pending() - Method in class org.jcsp.lang.AltingChannelInput
-
Returns whether there is data pending on this channel.
- pending() - Method in class org.jcsp.lang.AltingChannelInputInt
-
Returns whether there is data pending on this channel.
- pending() - Method in class org.jcsp.lang.AltingChannelInputWrapper
-
Deprecated.
Returns whether there is data pending on this channel.
- pending() - Method in class org.jcsp.lang.AltingChannelOutput
-
Returns whether the receiver is committed to read from this channel.
- pending() - Method in class org.jcsp.lang.AltingChannelOutputInt
-
Returns whether the receiver is committed to read from this channel.
- pending() - Method in class org.jcsp.lang.AltingConnectionClient
-
Returns whether there is an open() pending on this connection.
- pending() - Method in class org.jcsp.lang.AltingConnectionServer
-
Returns whether there is an open() pending on this connection.
- Plex - Class in org.jcsp.plugNplay
-
Fair multiplexes its input Object stream array into one output stream.
- Plex(AltingChannelInput[], ChannelOutput) - Constructor for class org.jcsp.plugNplay.Plex
-
Construct a new Plex process with input channels
in and output channel out.
- Plex2 - Class in org.jcsp.plugNplay
-
Fair multiplexes two Object streams into one.
- Plex2(AltingChannelInput, AltingChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Plex2
-
Construct a new Plex2 process with the input channels
in0 and in1 and the output channel out.
- Plex2Int - Class in org.jcsp.plugNplay.ints
-
Fair multiplexes two integer streams into one.
- Plex2Int(AltingChannelInputInt, AltingChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.Plex2Int
-
Construct a new Plex2Int process with the input channels
in0 and in1 and the output channel out.
- PlexInt - Class in org.jcsp.plugNplay.ints
-
Fair multiplexes its input integer stream array into one output stream.
- PlexInt(AltingChannelInputInt[], ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PlexInt
-
Construct a new PlexInt process with input channels
in and output channel out.
- Plus - Class in org.jcsp.plugNplay
-
Sums two Integer streams to one stream.
- Plus(ChannelInput, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Plus
-
Construct a new Plus process with the input Channels in1 and in2 and the
output Channel out.
- PlusInt - Class in org.jcsp.plugNplay.ints
-
Sums two integer streams to one stream.
- PlusInt(ChannelInputInt, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PlusInt
-
Construct a new PlusInt process with the input Channels in0 and in1 and the
output Channel out.
- poison(int) - Method in class org.jcsp.lang.AltingChannelInputWrapper
-
Deprecated.
- poison(int) - Method in class org.jcsp.lang.BlackHoleChannel
-
- poison(int) - Method in class org.jcsp.lang.BlackHoleChannelInt
-
- poison(int) - Method in class org.jcsp.lang.ChannelInputWrapper
-
Deprecated.
- poison(int) - Method in class org.jcsp.lang.ChannelOutputWrapper
-
Deprecated.
- poison(int) - Method in interface org.jcsp.lang.Poisonable
-
This injects poison into the channel.
- Poisonable - Interface in org.jcsp.lang
-
All channel-ends implement this inteface.
- PoisonException - Class in org.jcsp.lang
-
This exception is thrown when a process tries to use a channel that
has been poisoned.
- PoisonException(int) - Constructor for class org.jcsp.lang.PoisonException
-
JCSP users should not have to construct these.
- PoisonFilter - Class in org.jcsp.util.filter
-
This filter will throw a PoisonException
when filter(Object)
is called.
- PoisonFilter() - Constructor for class org.jcsp.util.filter.PoisonFilter
-
Constructs a new filter with the default message.
- PoisonFilter(String) - Constructor for class org.jcsp.util.filter.PoisonFilter
-
Constructs a new filter with a specific message.
- PoisonFilterException - Class in org.jcsp.util.filter
-
- PoisonFilterException(String) - Constructor for class org.jcsp.util.filter.PoisonFilterException
-
Deprecated.
- poll(long) - Method in class org.jcsp.lang.AltingBarrier
-
- Prefix - Class in org.jcsp.plugNplay
-
Prefixes a user-supplied object to the Object stream
flowing through.
- Prefix(Object, ChannelInput, ChannelOutput) - Constructor for class org.jcsp.plugNplay.Prefix
-
Construct a new Prefix process with the input Channel in and the
output Channel out.
- PrefixInt - Class in org.jcsp.plugNplay.ints
-
Prefixes a user-supplied integer to the int stream
flowing through.
- PrefixInt(int, ChannelInputInt, ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.PrefixInt
-
Construct a new PrefixInt process with the input Channel in and the
output Channel out.
- Printer - Class in org.jcsp.plugNplay
-
Prints each Object from its input channel to a PrintStream.
- Printer(ChannelInput) - Constructor for class org.jcsp.plugNplay.Printer
-
Construct a new Printer with System.out as
its PrintStream and empty prefix and postfix strings.
- Printer(ChannelInput, String, String) - Constructor for class org.jcsp.plugNplay.Printer
-
Construct a new Printer with System.out as
its PrintStream.
- Printer(ChannelInput, PrintStream) - Constructor for class org.jcsp.plugNplay.Printer
-
Construct a new Printer with empty prefix and postfix strings.
- Printer(ChannelInput, PrintStream, String, String) - Constructor for class org.jcsp.plugNplay.Printer
-
Construct a new Printer.
- PrinterInt - Class in org.jcsp.plugNplay.ints
-
Prints each int from its input channel to a PrintStream.
- PrinterInt(ChannelInputInt) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
-
Construct a new PrinterInt with System.out as
its PrintStream and empty prefix and postfix strings.
- PrinterInt(ChannelInputInt, String, String) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
-
Construct a new PrinterInt with System.out as
its PrintStream.
- PrinterInt(ChannelInputInt, PrintStream) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
-
Construct a new PrinterInt with empty prefix and postfix strings.
- PrinterInt(ChannelInputInt, PrintStream, String, String) - Constructor for class org.jcsp.plugNplay.ints.PrinterInt
-
Construct a new PrinterInt.
- PRIORITY_MAX - Static variable in class org.jcsp.lang.ProcessManager
-
The maximum priority value for running a process.
- PRIORITY_MIN - Static variable in class org.jcsp.lang.ProcessManager
-
The minimum priority value for running a process.
- PRIORITY_NORM - Static variable in class org.jcsp.lang.ProcessManager
-
The normal priority value for running a process.
- PriParallel - Class in org.jcsp.lang
-
This is an extension of the
Parallel
class that prioritises
the processes given to its control.
- PriParallel() - Constructor for class org.jcsp.lang.PriParallel
-
Construct a new PriParallel object initially without any processes.
- PriParallel(CSProcess[]) - Constructor for class org.jcsp.lang.PriParallel
-
Construct a new PriParallel object with the processes specified.
- priSelect() - Method in class org.jcsp.lang.Alternative
-
Returns the index of one of the ready guards.
- priSelect(boolean[]) - Method in class org.jcsp.lang.Alternative
-
Returns the index of one of the ready guards whose preCondition
index is true.
- priSelect() - Method in class org.jcsp.lang.InlineAlternative
-
Creates an Alternative (if needed) and delegates the call to it.
- ProcessInterruptedException - Error in org.jcsp.lang
-
This is thrown if a process is interrupted whilst blocked during synchronisation
- processes should never be interrupted.
- ProcessInterruptedException(String) - Constructor for error org.jcsp.lang.ProcessInterruptedException
-
- ProcessManager - Class in org.jcsp.lang
-
This enables a
CSProcess
to be spawned
concurrently with the process doing the spawning.
- ProcessManager(CSProcess) - Constructor for class org.jcsp.lang.ProcessManager
-
- ProcessRead - Class in org.jcsp.plugNplay
-
Reads one Object from its input channel.
- ProcessRead(ChannelInput) - Constructor for class org.jcsp.plugNplay.ProcessRead
-
Construct a new ProcessRead.
- ProcessReadInt - Class in org.jcsp.plugNplay.ints
-
Reads one int from its input channel.
- ProcessReadInt(ChannelInputInt) - Constructor for class org.jcsp.plugNplay.ints.ProcessReadInt
-
Construct a new ProcessReadInt.
- ProcessWrite - Class in org.jcsp.plugNplay
-
Writes one Object to its output channel.
- ProcessWrite(ChannelOutput) - Constructor for class org.jcsp.plugNplay.ProcessWrite
-
Construct a new ProcessWrite.
- ProcessWriteInt - Class in org.jcsp.plugNplay.ints
-
Writes one int to its output channel.
- ProcessWriteInt(ChannelOutputInt) - Constructor for class org.jcsp.plugNplay.ints.ProcessWriteInt
-
Construct a new ProcessWriteInt.
- put(Object) - Method in class org.jcsp.util.Buffer
-
Puts a new Object into the Buffer.
- put(Object) - Method in interface org.jcsp.util.ChannelDataStore
-
Puts a new Object into the ChannelDataStore.
- put(Object) - Method in class org.jcsp.util.InfiniteBuffer
-
Puts a new Object into the InfiniteBuffer.
- put(int) - Method in class org.jcsp.util.ints.BufferInt
-
Puts a new int into the BufferInt.
- put(int) - Method in interface org.jcsp.util.ints.ChannelDataStoreInt
-
Puts a new int into the ChannelDataStoreInt.
- put(int) - Method in class org.jcsp.util.ints.InfiniteBufferInt
-
Puts a new int into the InfiniteBufferInt.
- put(int) - Method in class org.jcsp.util.ints.OverFlowingBufferInt
-
Puts a new int into the OverFlowingBufferInt.
- put(int) - Method in class org.jcsp.util.ints.OverWriteOldestBufferInt
-
Puts a new int into the OverWriteOldestBufferInt.
- put(int) - Method in class org.jcsp.util.ints.OverWritingBufferInt
-
Puts a new int into the OverWritingBufferInt.
- put(int) - Method in class org.jcsp.util.ints.ZeroBufferInt
-
Puts a new int into the ZeroBufferInt.
- put(Object) - Method in class org.jcsp.util.OverFlowingBuffer
-
Puts a new Object into the OverFlowingBuffer.
- put(Object) - Method in class org.jcsp.util.OverWriteOldestBuffer
-
Puts a new Object into the OverWriteOldestBuffer.
- put(Object) - Method in class org.jcsp.util.OverWritingBuffer
-
Puts a new Object into the OverWritingBuffer.
- put(Object) - Method in class org.jcsp.util.ZeroBuffer
-
Puts a new Object into the ZeroBuffer.