Index

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.

Parallel Implementation - Section in class org.jcsp.lang.Sequence

 

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

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.

Polling - Section in class org.jcsp.lang.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 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, 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.

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

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

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

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

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

Priorities - Section in class org.jcsp.lang.AltingBarrier

 

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() - Method in class org.jcsp.lang.InlineAlternative

Creates an Alternative (if needed) and delegates the call to it.

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

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

Process Diagram - Section in class org.jcsp.awt.ActiveButton

 

Process Diagram - Section in class org.jcsp.awt.ActiveButtonControl

 

Process Diagram - Section in class org.jcsp.awt.ActiveCanvas

 

Process Diagram - Section in class org.jcsp.awt.ActiveCheckbox

 

Process Diagram - Section in class org.jcsp.awt.ActiveCheckboxMenuItem

 

Process Diagram - Section in class org.jcsp.awt.ActiveChoice

 

Process Diagram - Section in class org.jcsp.awt.ActiveClosingFrame

 

Process Diagram - Section in class org.jcsp.awt.ActiveComponent

 

Process Diagram - Section in class org.jcsp.awt.ActiveContainer

 

Process Diagram - Section in class org.jcsp.awt.ActiveDialog

 

Process Diagram - Section in class org.jcsp.awt.ActiveFileDialog

 

Process Diagram - Section in class org.jcsp.awt.ActiveFrame

 

Process Diagram - Section in class org.jcsp.awt.ActiveLabel

 

Process Diagram - Section in class org.jcsp.awt.ActiveList

 

Process Diagram - Section in class org.jcsp.awt.ActiveMenu

 

Process Diagram - Section in class org.jcsp.awt.ActiveMenuItem

 

Process Diagram - Section in class org.jcsp.awt.ActivePanel

 

Process Diagram - Section in class org.jcsp.awt.ActiveScrollPane

 

Process Diagram - Section in class org.jcsp.awt.ActiveScrollbar

 

Process Diagram - Section in class org.jcsp.awt.ActiveTextArea

 

Process Diagram - Section in class org.jcsp.awt.ActiveTextEnterArea

 

Process Diagram - Section in class org.jcsp.awt.ActiveTextEnterField

 

Process Diagram - Section in class org.jcsp.awt.ActiveTextField

 

Process Diagram - Section in class org.jcsp.awt.ActiveWindow

 

Process Diagram - Section in class org.jcsp.plugNplay.And

 

Process Diagram - Section in class org.jcsp.plugNplay.BlackHole

 

Process Diagram - Section in class org.jcsp.plugNplay.Delta

 

Process Diagram - Section in class org.jcsp.plugNplay.Delta2

 

Process Diagram - Section in class org.jcsp.plugNplay.Demultiplex

 

Process Diagram - Section in class org.jcsp.plugNplay.Deparaplex

 

Process Diagram - Section in class org.jcsp.plugNplay.DynamicDelta

 

Process Diagram - Section in class org.jcsp.plugNplay.FixedDelay

 

Process Diagram - Section in class org.jcsp.plugNplay.FramedButton

 

Process Diagram - Section in class org.jcsp.plugNplay.FramedButtonArray

 

Process Diagram - Section in class org.jcsp.plugNplay.FramedButtonGrid

 

Process Diagram - Section in class org.jcsp.plugNplay.FramedScrollbar

 

Process Diagram - Section in class org.jcsp.plugNplay.Generate

 

Process Diagram - Section in class org.jcsp.plugNplay.Identity

 

Process Diagram - Section in class org.jcsp.plugNplay.Integrate

 

Process Diagram - Section in class org.jcsp.plugNplay.Merge

 

Process Diagram - Section in class org.jcsp.plugNplay.Merge2

 

Process Diagram - Section in class org.jcsp.plugNplay.Mult

 

Process Diagram - Section in class org.jcsp.plugNplay.Multiplex

 

Process Diagram - Section in class org.jcsp.plugNplay.Nand

 

Process Diagram - Section in class org.jcsp.plugNplay.Nor

 

Process Diagram - Section in class org.jcsp.plugNplay.Numbers

 

Process Diagram - Section in class org.jcsp.plugNplay.Or

 

Process Diagram - Section in class org.jcsp.plugNplay.Pairs

 

Process Diagram - Section in class org.jcsp.plugNplay.Paraplex

 

Process Diagram - Section in class org.jcsp.plugNplay.Plex

 

Process Diagram - Section in class org.jcsp.plugNplay.Plex2

 

Process Diagram - Section in class org.jcsp.plugNplay.Plus

 

Process Diagram - Section in class org.jcsp.plugNplay.Prefix

 

Process Diagram - Section in class org.jcsp.plugNplay.Printer

 

Process Diagram - Section in class org.jcsp.plugNplay.ProcessRead

 

Process Diagram - Section in class org.jcsp.plugNplay.ProcessWrite

 

Process Diagram - Section in class org.jcsp.plugNplay.Regular

 

Process Diagram - Section in class org.jcsp.plugNplay.Regulate

 

Process Diagram - Section in class org.jcsp.plugNplay.Sign

 

Process Diagram - Section in class org.jcsp.plugNplay.Squares

 

Process Diagram - Section in class org.jcsp.plugNplay.Substitute

 

Process Diagram - Section in class org.jcsp.plugNplay.Successor

 

Process Diagram - Section in class org.jcsp.plugNplay.Tail

 

Process Diagram - Section in class org.jcsp.plugNplay.Times

 

Process Diagram - Section in class org.jcsp.plugNplay.Xor

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.AndInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.BlackHoleInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.Delta2Int

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.DeltaInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.DemultiplexInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.DeparaplexInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.DynamicDeltaInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.FixedDelayInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.GenerateInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.IdentityInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.IntegrateInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.Merge2Int

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.MergeInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.MultInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.MultiplexInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.NandInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.NorInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.NumbersInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.OrInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.PairsInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.ParaplexInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.Plex2Int

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.PlexInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.PlusInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.PrefixInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.PrinterInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.ProcessReadInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.ProcessWriteInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.RegularInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.RegulateInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.SignInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.SquaresInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.SubstituteInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.SuccessorInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.TailInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.TimesInt

 

Process Diagram - Section in class org.jcsp.plugNplay.ints.XorInt

 

ProcessInterruptedException - Exception Class 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 exception class 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

 

Process Oriented Design - Section in interface org.jcsp.lang.CSProcess

 

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.

Protocol Definition - Section in class org.jcsp.lang.TaggedProtocol

 

Protocol Use - Section in class org.jcsp.lang.TaggedProtocol

 

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