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

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

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

poison(int) - Method in class org.jcsp.lang.SharedChannelOutputImpl

poison(int) - Method in class org.jcsp.lang.SharedChannelOutputIntImpl

Poisonable - Interface in org.jcsp.lang

PoisonException - Class in org.jcsp.lang

PoisonException(int) - Constructor for class org.jcsp.lang.PoisonException

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

Deprecated. Use poison directly instead

PoisonFilterException(String) - Constructor for class org.jcsp.util.filter.PoisonFilterException

Deprecated.

poll(long) - Method in class org.jcsp.lang.AltingBarrier

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

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