CSP for Java
(JCSP) 1.1-rc4
A B C D E F G H I J L 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 ParaplexInt process from the array of input channels to the output channel.
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 from the array of input channels to the output channel.
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.
performedPingTest() - Method in class org.jcsp.net.Link
A public accessor for enquiring as to whether this Link object has performed a ping test.
permitUserAccess(UserID) - Method in interface org.jcsp.net.security.SecurityAuthority
Adds a user ID to the set of users considered by this authority to create valid responses to challenges.
permitUserAccess(UserID) - Method in class org.jcsp.net.security.SimpleSecurityAuthority
Adds a user to the set of permitted users.
ping() - Method in class org.jcsp.net.Link
Performs a ping on the link.
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.
Plugin - Class in org.jcsp.net.settings
Used internally within the JCSP network infrastructure to represent a plug-in.
Plugin(String, Class) - Constructor for class org.jcsp.net.settings.Plugin
 
Plugins - Class in org.jcsp.net.settings
Used internally within the JCSP network infrastructure to represent a set of plug-ins.
Plugins() - Constructor for class org.jcsp.net.settings.Plugins
 
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 - Exception in org.jcsp.lang
This exception is thrown when a process tries to use a channel that has been poisoned.
PoisonException(int) - Constructor for exception 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 - Exception in org.jcsp.util.filter
Deprecated. Use poison directly instead
PoisonFilterException(String) - Constructor for exception 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.
prepareToMove() - Method in interface org.jcsp.net.dynamic.InputReconnectionManager
Prepares the channel for a transfer between nodes.
prepareToMove() - Method in interface org.jcsp.net.dynamic.MigratableChannelInput
Prepares the channel end for movement to another node.
prepareToMove() - Method in interface org.jcsp.net.dynamic.MigratableChannelOutput
Prepares the channel end for movement to another node.
prepareToMove() - Method in interface org.jcsp.net.dynamic.OutputReconnectionManager
Prepares the channel end for transfer to another node.
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.
printStackTrace() - Method in exception org.jcsp.net.remote.RemoteSpawnException
Prints the stack trace of the actual exception.
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.
Profile - Class in org.jcsp.net
This class is used to hold profiles of Nodes and Links.
Protocol - Class in org.jcsp.net.settings
Used internally within the JCSP network infrastructure to represent a single protocol.
Protocol(String, String, Class, int) - Constructor for class org.jcsp.net.settings.Protocol
 
ProtocolID - Class in org.jcsp.net
Abstract class that identifies a protocol.
ProtocolID() - Constructor for class org.jcsp.net.ProtocolID
 
ProtocolManager - Class in org.jcsp.net
The ProtocolManager class is a singleton class.
Protocols - Class in org.jcsp.net.settings
Used internally within the JCSP network infrastructure to represent a set of protocols.
Protocols() - Constructor for class org.jcsp.net.settings.Protocols
 
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.

CSP for Java
(JCSP) 1.1-rc4
A B C D E F G H I J L M N O P R S T U V W X Z
Submit a bug or feature to jcsp-team@kent.ac.uk
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.