CSP for Java
(JCSP) 1.1-rc3
A B C D E F G H I J M N O P R S T U V W X Z

G

Generate - Class in org.jcsp.plugNplay
Generates an infinite (constant) sequence of Integers.
Generate(ChannelOutput, int) - Constructor for class org.jcsp.plugNplay.Generate
Construct a new Generate process with the output channel out.
GenerateInt - Class in org.jcsp.plugNplay.ints
Generates an infinite (constant) sequence of ints.
GenerateInt(ChannelOutputInt, int) - Constructor for class org.jcsp.plugNplay.ints.GenerateInt
Construct a new GenerateInt process with the output channel out.
get() - Method in interface org.jcsp.awt.Display
Returns a copy of the array of GraphicsCommands currently held.
get() - Method in class org.jcsp.awt.DisplayList
Returns a copy of the array of GraphicsCommands currently held.
get() - Method in class org.jcsp.util.Buffer
Returns the oldest Object from the Buffer and removes it.
get() - Method in interface org.jcsp.util.ChannelDataStore
Returns an Object from the ChannelDataStore.
get() - Method in class org.jcsp.util.InfiniteBuffer
Returns the oldest Object from the InfiniteBuffer and removes it.
get() - Method in class org.jcsp.util.ints.BufferInt
Returns the oldest int from the BufferInt and removes it.
get() - Method in interface org.jcsp.util.ints.ChannelDataStoreInt
Returns an int from the ChannelDataStoreInt.
get() - Method in class org.jcsp.util.ints.InfiniteBufferInt
Returns the oldest int from the InfiniteBufferInt and removes it.
get() - Method in class org.jcsp.util.ints.OverFlowingBufferInt
Returns the oldest int from the OverFlowingBufferInt and removes it.
get() - Method in class org.jcsp.util.ints.OverWriteOldestBufferInt
Returns the oldest int from the OverWriteOldestBufferInt and removes it.
get() - Method in class org.jcsp.util.ints.OverWritingBufferInt
Returns the oldest int from the OverWritingBufferInt and removes it.
get() - Method in class org.jcsp.util.ints.ZeroBufferInt
Returns the int from the ZeroBufferInt.
get() - Method in class org.jcsp.util.OverFlowingBuffer
Returns the oldest Object from the OverFlowingBuffer and removes it.
get() - Method in class org.jcsp.util.OverWriteOldestBuffer
Returns the oldest Object from the OverWriteOldestBuffer and removes it.
get() - Method in class org.jcsp.util.OverWritingBuffer
Returns the oldest Object from the OverWritingBuffer and removes it.
get() - Method in class org.jcsp.util.ZeroBuffer
Returns the Object from the ZeroBuffer.
GET_BACKGROUND - Static variable in class org.jcsp.awt.GraphicsProtocol
This is an enquiry object to find the background colour of the active graphics component.
GET_COMPONENT - Static variable in class org.jcsp.awt.GraphicsProtocol
This is an enquiry object to obtain the active graphics component.
GET_DIMENSION - Static variable in class org.jcsp.awt.GraphicsProtocol
This is an enquiry object to find the size of the active graphics component.
getActiveFrame() - Method in class org.jcsp.awt.ActiveClosingFrame
This is used to get the ActiveFrame within this component so that it can be configured or have components added (using Frame or ActiveFrame methods).
getActiveTextArea() - Method in class org.jcsp.awt.ActiveTextEnterArea
This is used to get the ActiveTextArea within this component so that it can be configured (using TextArea or ActiveTextArea methods) or added to some container.
getActiveTextField() - Method in class org.jcsp.awt.ActiveTextEnterField
This is used to get the ActiveTextField within this component so that it can be configured (using TextField or ActiveTextField methods) or added to some container.
getAlarm() - Method in class org.jcsp.lang.CSTimer
Returns the alarm value that has been set by the previous call to CSTimer.setAlarm(long).
getAltingChannel() - Method in class org.jcsp.lang.AltingConnectionClient
Returns the channel used to implement the Guard.
getAltingChannel() - Method in class org.jcsp.lang.AltingConnectionServer
Returns the channel used to implement the Guard.
getAppletBoolean(String, boolean) - Method in class org.jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into a boolean.
getAppletByte(String, byte, byte, byte) - Method in class org.jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into a byte.
getAppletDouble(String, double, double, double) - Method in class org.jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into a double.
getAppletFloat(String, float, float, float) - Method in class org.jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into a float.
getAppletInt(String, int, int, int) - Method in class org.jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into an int.
getAppletLong(String, long, long, long) - Method in class org.jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into a long.
getAppletShort(String, short, short, short) - Method in class org.jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into a short.
getChannel() - Method in class org.jcsp.lang.AltingChannelInputWrapper
Get the real channel.
getClientArray(One2AnyConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of client connection ends suitable for use as guards in an Alternative construct.
getClientArray(One2OneConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of client connection ends suitable for use as guards in an Alternative construct.
getClientArray(Any2AnyConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of client connection ends suitable for use by multiple concurrent processes.
getClientArray(Any2OneConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of client connection ends suitable for use by multiple concurrent processes.
getDefaultInstance() - Static method in class org.jcsp.lang.StandardChannelFactory
Returns a default instance of a channel factory.
getEarlyTimeout() - Static method in class org.jcsp.lang.SpuriousLog
This returns the allowed early timeout (in msecs).
getGuardByIndex(int) - Method in class org.jcsp.lang.InlineAlternative
Returns the guard object at a given index.
getInputArray(Any2AnyChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of input channel ends, each of which can be shared by multiple concurrent readers.
getInputArray(Any2OneChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
getInputArray(One2AnyChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of input channel ends, each of which can be shared by multiple concurrent readers.
getInputArray(One2OneChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
getInputArray(Any2AnyChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of input channel ends, each of which can be shared by multiple concurrent readers.
getInputArray(Any2OneChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
getInputArray(One2AnyChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of input channel ends, each of which can be shared by multiple concurrent readers.
getInputArray(One2OneChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of input channel ends, each of which can be used as guards in an Alternative.
getMinimumSize() - Method in class org.jcsp.awt.ActiveCanvas
This method is used by system classes -- it is not really for public consumption!
getNumberProcesses() - Method in class org.jcsp.lang.Parallel
 
getOutputArray(Any2AnyChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of output channel ends, each of which can be shared by multiple concurrent writers.
getOutputArray(Any2OneChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of output channel ends, each of which can be shared by multiple concurrent writers.
getOutputArray(One2AnyChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of output channel ends, each of which can only be used by a single writer.
getOutputArray(One2OneChannel[]) - Static method in class org.jcsp.lang.Channel
Constructs and returns an array of output channel ends, each of which can only be used by a single writer.
getOutputArray(Any2AnyChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of output channel ends, each of which can be shared by multiple concurrent writers.
getOutputArray(Any2OneChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of output channel ends, each of which can be shared by multiple concurrent writers.
getOutputArray(One2AnyChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of output channel ends, each of which can only be used by a single writer.
getOutputArray(One2OneChannelInt[]) - Static method in class org.jcsp.lang.ChannelInt
Deprecated. Constructs and returns an array of output channel ends, each of which can only be used by a single writer.
getPreferredSize() - Method in class org.jcsp.awt.ActiveCanvas
This method is used by system classes -- it is not really for public consumption!
getPriority() - Static method in class org.jcsp.lang.PriParallel
This returns the current priority of this process.
getPriority() - Method in class org.jcsp.lang.ProcessManager
Public accessor for obtaining the ProcessManager object's process' priority.
getReadFilter(int) - Method in class org.jcsp.util.filter.FilteredAltingChannelInput
 
getReadFilter(int) - Method in class org.jcsp.util.filter.FilteredSharedChannelInputWrapper
 
getReadFilter(int) - Method in interface org.jcsp.util.filter.ReadFiltered
Returns the read filter installed at the given index.
getReadFilterCount() - Method in class org.jcsp.util.filter.FilteredAltingChannelInput
 
getReadFilterCount() - Method in class org.jcsp.util.filter.FilteredSharedChannelInputWrapper
 
getReadFilterCount() - Method in interface org.jcsp.util.filter.ReadFiltered
Returns the number of read filters currently installed.
getSelected() - Method in class org.jcsp.lang.InlineAlternative
Returns the index of the guard obtained by a call to select() or if this guard became ready within its parent ALT.
getSelectedGuard() - Method in class org.jcsp.lang.InlineAlternative
Returns the actual guard object corresponding to the selected guard.
getServerArray(Any2OneConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of server connection ends suitable for use as guards in an Alternative construct.
getServerArray(One2OneConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of server connection ends suitable for use as guards in an Alternative construct.
getServerArray(Any2AnyConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of server connection ends suitable for use by multiple concurrent processes.
getServerArray(One2AnyConnection[]) - Static method in class org.jcsp.lang.Connection
Returns an array of server connection ends suitable for use by multiple concurrent processes.
getServerState() - Method in class org.jcsp.lang.AltingConnectionServerImpl
 
getShared() - Method in class org.jcsp.lang.Crew
This returns the shared resource associated with this lock by its constructor.
getSpuriousWakeUpCounts() - Static method in class org.jcsp.lang.SpuriousLog
Returns the counts of spurious wakeups so far.
getState() - Method in class org.jcsp.util.Buffer
Returns the current state of the Buffer.
getState() - Method in interface org.jcsp.util.ChannelDataStore
Returns the current state of the ChannelDataStore.
getState() - Method in class org.jcsp.util.InfiniteBuffer
Returns the current state of the InfiniteBuffer.
getState() - Method in class org.jcsp.util.ints.BufferInt
Returns the current state of the BufferInt.
getState() - Method in interface org.jcsp.util.ints.ChannelDataStoreInt
Returns the current state of the ChannelDataStoreInt.
getState() - Method in class org.jcsp.util.ints.InfiniteBufferInt
Returns the current state of the InfiniteBufferInt.
getState() - Method in class org.jcsp.util.ints.OverFlowingBufferInt
Returns the current state of the OverFlowingBufferInt.
getState() - Method in class org.jcsp.util.ints.OverWriteOldestBufferInt
Returns the current state of the OverWriteOldestBufferInt.
getState() - Method in class org.jcsp.util.ints.OverWritingBufferInt
Returns the current state of the OverWritingBufferInt.
getState() - Method in class org.jcsp.util.ints.ZeroBufferInt
Returns the current state of the ZeroBufferInt.
getState() - Method in class org.jcsp.util.OverFlowingBuffer
Returns the current state of the OverFlowingBuffer.
getState() - Method in class org.jcsp.util.OverWriteOldestBuffer
Returns the current state of the OverWriteOldestBuffer.
getState() - Method in class org.jcsp.util.OverWritingBuffer
Returns the current state of the OverWritingBuffer.
getState() - Method in class org.jcsp.util.ZeroBuffer
Returns the current state of the ZeroBuffer.
getStrength() - Method in class org.jcsp.lang.PoisonException
 
getWriteFilter(int) - Method in class org.jcsp.util.filter.FilteredSharedChannelOutputWrapper
 
getWriteFilter(int) - Method in interface org.jcsp.util.filter.WriteFiltered
Returns the write filter installed at the given index.
getWriteFilterCount() - Method in class org.jcsp.util.filter.FilteredSharedChannelOutputWrapper
 
getWriteFilterCount() - Method in interface org.jcsp.util.filter.WriteFiltered
Returns the number of write filters currently installed.
GraphicsCommand - Class in org.jcsp.awt
This is the tagged protocol interpreted by objects (such as DisplayList) that implement the Display interface.
GraphicsCommand.ClearRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.clearRect.
GraphicsCommand.ClearRect(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.ClearRect
 
GraphicsCommand.ClipRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.clipRect.
GraphicsCommand.ClipRect(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.ClipRect
 
GraphicsCommand.CopyArea - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.copyArea.
GraphicsCommand.CopyArea(int, int, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.CopyArea
 
GraphicsCommand.Draw3DRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.draw3DRect.
GraphicsCommand.Draw3DRect(int, int, int, int, boolean) - Constructor for class org.jcsp.awt.GraphicsCommand.Draw3DRect
 
GraphicsCommand.DrawArc - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawArc.
GraphicsCommand.DrawArc(int, int, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawArc
 
GraphicsCommand.DrawBytes - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawBytes.
GraphicsCommand.DrawBytes(byte[], int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawBytes
 
GraphicsCommand.DrawChars - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawChars.
GraphicsCommand.DrawChars(char[], int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawChars
 
GraphicsCommand.DrawImage - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawImage.
GraphicsCommand.DrawImage(Image, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, Color) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int, Color) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int, int, int, int, int, Color) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawLine - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawLine.
GraphicsCommand.DrawLine(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawLine
 
GraphicsCommand.DrawOval - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawOval.
GraphicsCommand.DrawOval(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawOval
 
GraphicsCommand.DrawPolygon - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawPolygon.
GraphicsCommand.DrawPolygon(int[], int[], int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawPolygon
 
GraphicsCommand.DrawPolygon(Polygon) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawPolygon
 
GraphicsCommand.DrawPolyline - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawPolyline.
GraphicsCommand.DrawPolyline(int[], int[], int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawPolyline
 
GraphicsCommand.DrawRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawRect.
GraphicsCommand.DrawRect(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawRect
 
GraphicsCommand.DrawRoundRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawRoundRect.
GraphicsCommand.DrawRoundRect(int, int, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawRoundRect
 
GraphicsCommand.DrawString - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.drawString.
GraphicsCommand.DrawString(String, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.DrawString
 
GraphicsCommand.Fill3DRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.translate.
GraphicsCommand.Fill3DRect(int, int, int, int, boolean) - Constructor for class org.jcsp.awt.GraphicsCommand.Fill3DRect
 
GraphicsCommand.FillArc - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.fillArc.
GraphicsCommand.FillArc(int, int, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.FillArc
 
GraphicsCommand.FillOval - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.fillOval.
GraphicsCommand.FillOval(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.FillOval
 
GraphicsCommand.FillPolygon - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.fillPolygon.
GraphicsCommand.FillPolygon(int[], int[], int) - Constructor for class org.jcsp.awt.GraphicsCommand.FillPolygon
 
GraphicsCommand.FillPolygon(Polygon) - Constructor for class org.jcsp.awt.GraphicsCommand.FillPolygon
 
GraphicsCommand.FillRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.fillRect.
GraphicsCommand.FillRect(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.FillRect
 
GraphicsCommand.FillRoundRect - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.fillRoundRect.
GraphicsCommand.FillRoundRect(int, int, int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.FillRoundRect
 
GraphicsCommand.General - Class in org.jcsp.awt
This is the command object holding a GraphicsCommand.Graphic object implementing an arbitrary set of graphics operations.
GraphicsCommand.General(GraphicsCommand.Graphic) - Constructor for class org.jcsp.awt.GraphicsCommand.General
 
GraphicsCommand.Graphic - Interface in org.jcsp.awt
This is the interface allowing any set of Graphics operations to be wrapped up in an object and sent down a Display channel to an Active graphics component.
GraphicsCommand.SetClip - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.setClip.
GraphicsCommand.SetClip(int, int, int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.SetClip
 
GraphicsCommand.SetClip(Shape) - Constructor for class org.jcsp.awt.GraphicsCommand.SetClip
 
GraphicsCommand.SetColor - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.setColor.
GraphicsCommand.SetColor(Color) - Constructor for class org.jcsp.awt.GraphicsCommand.SetColor
 
GraphicsCommand.SetFont - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.setFont.
GraphicsCommand.SetFont(Font) - Constructor for class org.jcsp.awt.GraphicsCommand.SetFont
 
GraphicsCommand.SetXORMode - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.setXORMode.
GraphicsCommand.SetXORMode(Color) - Constructor for class org.jcsp.awt.GraphicsCommand.SetXORMode
 
GraphicsCommand.Translate - Class in org.jcsp.awt
This is the (immutable) command object for java.awt.Graphics.translate.
GraphicsCommand.Translate(int, int) - Constructor for class org.jcsp.awt.GraphicsCommand.Translate
 
GraphicsProtocol - Class in org.jcsp.awt
This is the tagged protocol for use over the toGraphics configuration channel of an active graphics component.
GraphicsProtocol.Configure - Interface in org.jcsp.awt
This is the interface for general configuration of the graphics component.
GraphicsProtocol.General - Class in org.jcsp.awt
This is a general configuration class for the graphics component.
GraphicsProtocol.General(GraphicsProtocol.Configure) - Constructor for class org.jcsp.awt.GraphicsProtocol.General
 
GraphicsProtocol.MakeMISImage - Class in org.jcsp.awt
This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component.
GraphicsProtocol.MakeMISImage(MemoryImageSource) - Constructor for class org.jcsp.awt.GraphicsProtocol.MakeMISImage
 
GraphicsProtocol.SetBackground - Class in org.jcsp.awt
This is a configuration class for setting the background java.awt.Color of the active graphics component.
GraphicsProtocol.SetBackground(Color) - Constructor for class org.jcsp.awt.GraphicsProtocol.SetBackground
 
GraphicsProtocol.SetPaintable - Class in org.jcsp.awt
This is a configuration class to register a org.jcsp.awt.Paintable object with the graphics component.
GraphicsProtocol.SetPaintable(Paintable) - Constructor for class org.jcsp.awt.GraphicsProtocol.SetPaintable
 
Guard - Class in org.jcsp.lang
This is the super-class for all Alternative events selectable by a process.
Guard() - Constructor for class org.jcsp.lang.Guard
 

CSP for Java
(JCSP) 1.1-rc3
A B C D E F G H I J 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-rc3 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.