CSP for Java
(JCSP) 1.0-rc4
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 jcsp.plugNplay.Generate.
Generates an infinite (constant) sequence of Integers.
Generate(ChannelOutput, int) - Constructor for class jcsp.plugNplay.Generate
Construct a new Generate process with the output channel out.
GenerateInt - class jcsp.plugNplay.ints.GenerateInt.
Generates an infinite (constant) sequence of ints.
GenerateInt(ChannelOutputInt, int) - Constructor for class jcsp.plugNplay.ints.GenerateInt
Construct a new GenerateInt process with the output channel out.
GET_BACKGROUND - Static variable in class jcsp.awt.GraphicsProtocol
This is an enquiry object to find the background colour of the active graphics component.
GET_COMPONENT - Static variable in class jcsp.awt.GraphicsProtocol
This is an enquiry object to obtain the active graphics component.
GET_DIMENSION - Static variable in class jcsp.awt.GraphicsProtocol
This is an enquiry object to find the size of the active graphics component.
get() - Method in class jcsp.util.ZeroBuffer
Returns the Object from the ZeroBuffer.
get() - Method in class jcsp.util.Buffer
Returns the oldest Object from the Buffer and removes it.
get() - Method in class jcsp.util.OverFlowingBuffer
Returns the oldest Object from the OverFlowingBuffer and removes it.
get() - Method in class jcsp.util.InfiniteBuffer
Returns the oldest Object from the InfiniteBuffer and removes it.
get() - Method in class jcsp.util.OverWriteOldestBuffer
Returns the oldest Object from the OverWriteOldestBuffer and removes it.
get() - Method in interface jcsp.util.ChannelDataStore
Returns an Object from the ChannelDataStore.
get() - Method in class jcsp.util.OverWritingBuffer
Returns the oldest Object from the OverWritingBuffer and removes it.
get() - Method in class jcsp.util.ints.OverFlowingBufferInt
Returns the oldest int from the OverFlowingBufferInt and removes it.
get() - Method in interface jcsp.util.ints.ChannelDataStoreInt
Returns an int from the ChannelDataStoreInt.
get() - Method in class jcsp.util.ints.OverWritingBufferInt
Returns the oldest int from the OverWritingBufferInt and removes it.
get() - Method in class jcsp.util.ints.ZeroBufferInt
Returns the int from the ZeroBufferInt.
get() - Method in class jcsp.util.ints.InfiniteBufferInt
Returns the oldest int from the InfiniteBufferInt and removes it.
get() - Method in class jcsp.util.ints.BufferInt
Returns the oldest int from the BufferInt and removes it.
get() - Method in class jcsp.util.ints.OverWriteOldestBufferInt
Returns the oldest int from the OverWriteOldestBufferInt and removes it.
get() - Method in class jcsp.awt.DisplayList
Returns a copy of the array of GraphicsCommands currently held.
get() - Method in interface jcsp.awt.Display
Returns a copy of the array of GraphicsCommands currently held.
getActiveFrame() - Method in class 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 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 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.
getAppletBoolean(String, boolean) - Method in class 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 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 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 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 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 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 jcsp.awt.ActiveApplet
This looks for the named parameter in the HTML applet source code and attempts to parse it into a short.
getMinimumSize() - Method in class jcsp.awt.ActiveCanvas
This method is used by system classes -- it is not really for public consumption!
getNumberProcesses() - Method in class jcsp.lang.Parallel
 
getPreferredSize() - Method in class jcsp.awt.ActiveCanvas
This method is used by system classes -- it is not really for public consumption!
getPriority() - Static method in class jcsp.lang.PriParallel
This returns the current priority of this process.
getShared() - Method in class jcsp.lang.Crew
This returns the shared resource associated with this lock by its constructor.
getState() - Method in class jcsp.util.ZeroBuffer
Returns the current state of the ZeroBuffer.
getState() - Method in class jcsp.util.Buffer
Returns the current state of the Buffer.
getState() - Method in class jcsp.util.OverFlowingBuffer
Returns the current state of the OverFlowingBuffer.
getState() - Method in class jcsp.util.InfiniteBuffer
Returns the current state of the InfiniteBuffer.
getState() - Method in class jcsp.util.OverWriteOldestBuffer
Returns the current state of the OverWriteOldestBuffer.
getState() - Method in interface jcsp.util.ChannelDataStore
Returns the current state of the ChannelDataStore.
getState() - Method in class jcsp.util.OverWritingBuffer
Returns the current state of the OverWritingBuffer.
getState() - Method in class jcsp.util.ints.OverFlowingBufferInt
Returns the current state of the OverFlowingBufferInt.
getState() - Method in interface jcsp.util.ints.ChannelDataStoreInt
Returns the current state of the ChannelDataStoreInt.
getState() - Method in class jcsp.util.ints.OverWritingBufferInt
Returns the current state of the OverWritingBufferInt.
getState() - Method in class jcsp.util.ints.ZeroBufferInt
Returns the current state of the ZeroBufferInt.
getState() - Method in class jcsp.util.ints.InfiniteBufferInt
Returns the current state of the InfiniteBufferInt.
getState() - Method in class jcsp.util.ints.BufferInt
Returns the current state of the BufferInt.
getState() - Method in class jcsp.util.ints.OverWriteOldestBufferInt
Returns the current state of the OverWriteOldestBufferInt.
GraphicsCommand - class jcsp.awt.GraphicsCommand.
This is the tagged protocol interpreted by objects (such as DisplayList) that implement the Display interface.
GraphicsCommand.ClearRect - class jcsp.awt.GraphicsCommand.ClearRect.
This is the (immutable) command object for java.awt.Graphics.clearRect.
GraphicsCommand.ClearRect(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.ClearRect
 
GraphicsCommand.ClipRect - class jcsp.awt.GraphicsCommand.ClipRect.
This is the (immutable) command object for java.awt.Graphics.clipRect.
GraphicsCommand.ClipRect(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.ClipRect
 
GraphicsCommand.CopyArea - class jcsp.awt.GraphicsCommand.CopyArea.
This is the (immutable) command object for java.awt.Graphics.copyArea.
GraphicsCommand.CopyArea(int, int, int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.CopyArea
 
GraphicsCommand.Draw3DRect - class jcsp.awt.GraphicsCommand.Draw3DRect.
This is the (immutable) command object for java.awt.Graphics.draw3DRect.
GraphicsCommand.Draw3DRect(int, int, int, int, boolean) - Constructor for class jcsp.awt.GraphicsCommand.Draw3DRect
 
GraphicsCommand.DrawArc - class jcsp.awt.GraphicsCommand.DrawArc.
This is the (immutable) command object for java.awt.Graphics.drawArc.
GraphicsCommand.DrawArc(int, int, int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawArc
 
GraphicsCommand.DrawBytes - class jcsp.awt.GraphicsCommand.DrawBytes.
This is the (immutable) command object for java.awt.Graphics.drawBytes.
GraphicsCommand.DrawBytes(byte[], int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawBytes
 
GraphicsCommand.DrawChars - class jcsp.awt.GraphicsCommand.DrawChars.
This is the (immutable) command object for java.awt.Graphics.drawChars.
GraphicsCommand.DrawChars(char[], int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawChars
 
GraphicsCommand.DrawImage - class jcsp.awt.GraphicsCommand.DrawImage.
This is the (immutable) command object for java.awt.Graphics.drawImage.
GraphicsCommand.DrawImage(Image, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, Color) - Constructor for class jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int, Color) - Constructor for class jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int, int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawImage(Image, int, int, int, int, int, int, int, int, Color) - Constructor for class jcsp.awt.GraphicsCommand.DrawImage
 
GraphicsCommand.DrawLine - class jcsp.awt.GraphicsCommand.DrawLine.
This is the (immutable) command object for java.awt.Graphics.drawLine.
GraphicsCommand.DrawLine(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawLine
 
GraphicsCommand.DrawOval - class jcsp.awt.GraphicsCommand.DrawOval.
This is the (immutable) command object for java.awt.Graphics.drawOval.
GraphicsCommand.DrawOval(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawOval
 
GraphicsCommand.DrawPolygon - class jcsp.awt.GraphicsCommand.DrawPolygon.
This is the (immutable) command object for java.awt.Graphics.drawPolygon.
GraphicsCommand.DrawPolygon(int[], int[], int) - Constructor for class jcsp.awt.GraphicsCommand.DrawPolygon
 
GraphicsCommand.DrawPolygon(Polygon) - Constructor for class jcsp.awt.GraphicsCommand.DrawPolygon
 
GraphicsCommand.DrawPolyline - class jcsp.awt.GraphicsCommand.DrawPolyline.
This is the (immutable) command object for java.awt.Graphics.drawPolyline.
GraphicsCommand.DrawPolyline(int[], int[], int) - Constructor for class jcsp.awt.GraphicsCommand.DrawPolyline
 
GraphicsCommand.DrawRect - class jcsp.awt.GraphicsCommand.DrawRect.
This is the (immutable) command object for java.awt.Graphics.drawRect.
GraphicsCommand.DrawRect(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawRect
 
GraphicsCommand.DrawRoundRect - class jcsp.awt.GraphicsCommand.DrawRoundRect.
This is the (immutable) command object for java.awt.Graphics.drawRoundRect.
GraphicsCommand.DrawRoundRect(int, int, int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawRoundRect
 
GraphicsCommand.DrawString - class jcsp.awt.GraphicsCommand.DrawString.
This is the (immutable) command object for java.awt.Graphics.drawString.
GraphicsCommand.DrawString(String, int, int) - Constructor for class jcsp.awt.GraphicsCommand.DrawString
 
GraphicsCommand.Fill3DRect - class jcsp.awt.GraphicsCommand.Fill3DRect.
This is the (immutable) command object for java.awt.Graphics.translate.
GraphicsCommand.Fill3DRect(int, int, int, int, boolean) - Constructor for class jcsp.awt.GraphicsCommand.Fill3DRect
 
GraphicsCommand.FillArc - class jcsp.awt.GraphicsCommand.FillArc.
This is the (immutable) command object for java.awt.Graphics.fillArc.
GraphicsCommand.FillArc(int, int, int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.FillArc
 
GraphicsCommand.FillOval - class jcsp.awt.GraphicsCommand.FillOval.
This is the (immutable) command object for java.awt.Graphics.fillOval.
GraphicsCommand.FillOval(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.FillOval
 
GraphicsCommand.FillPolygon - class jcsp.awt.GraphicsCommand.FillPolygon.
This is the (immutable) command object for java.awt.Graphics.fillPolygon.
GraphicsCommand.FillPolygon(int[], int[], int) - Constructor for class jcsp.awt.GraphicsCommand.FillPolygon
 
GraphicsCommand.FillPolygon(Polygon) - Constructor for class jcsp.awt.GraphicsCommand.FillPolygon
 
GraphicsCommand.FillRect - class jcsp.awt.GraphicsCommand.FillRect.
This is the (immutable) command object for java.awt.Graphics.fillRect.
GraphicsCommand.FillRect(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.FillRect
 
GraphicsCommand.FillRoundRect - class jcsp.awt.GraphicsCommand.FillRoundRect.
This is the (immutable) command object for java.awt.Graphics.fillRoundRect.
GraphicsCommand.FillRoundRect(int, int, int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.FillRoundRect
 
GraphicsCommand.General - class jcsp.awt.GraphicsCommand.General.
This is the command object holding a GraphicsCommand.Graphic object implementing an arbitrary set of graphics operations.
GraphicsCommand.General(GraphicsCommand.Graphic) - Constructor for class jcsp.awt.GraphicsCommand.General
 
GraphicsCommand.Graphic - interface jcsp.awt.GraphicsCommand.Graphic.
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 jcsp.awt.GraphicsCommand.SetClip.
This is the (immutable) command object for java.awt.Graphics.setClip.
GraphicsCommand.SetClip(int, int, int, int) - Constructor for class jcsp.awt.GraphicsCommand.SetClip
 
GraphicsCommand.SetClip(Shape) - Constructor for class jcsp.awt.GraphicsCommand.SetClip
 
GraphicsCommand.SetColor - class jcsp.awt.GraphicsCommand.SetColor.
This is the (immutable) command object for java.awt.Graphics.setColor.
GraphicsCommand.SetColor(Color) - Constructor for class jcsp.awt.GraphicsCommand.SetColor
 
GraphicsCommand.SetFont - class jcsp.awt.GraphicsCommand.SetFont.
This is the (immutable) command object for java.awt.Graphics.setFont.
GraphicsCommand.SetFont(Font) - Constructor for class jcsp.awt.GraphicsCommand.SetFont
 
GraphicsCommand.SetXORMode - class jcsp.awt.GraphicsCommand.SetXORMode.
This is the (immutable) command object for java.awt.Graphics.setXORMode.
GraphicsCommand.SetXORMode(Color) - Constructor for class jcsp.awt.GraphicsCommand.SetXORMode
 
GraphicsCommand.Translate - class jcsp.awt.GraphicsCommand.Translate.
This is the (immutable) command object for java.awt.Graphics.translate.
GraphicsCommand.Translate(int, int) - Constructor for class jcsp.awt.GraphicsCommand.Translate
 
GraphicsProtocol - class jcsp.awt.GraphicsProtocol.
This is the tagged protocol for use over the toGraphics configuration channel of an active graphics component.
GraphicsProtocol.Configure - interface jcsp.awt.GraphicsProtocol.Configure.
This is the interface for general configuration of the graphics component.
GraphicsProtocol.General - class jcsp.awt.GraphicsProtocol.General.
This is a general configuration class for the graphics component.
GraphicsProtocol.General(GraphicsProtocol.Configure) - Constructor for class jcsp.awt.GraphicsProtocol.General
 
GraphicsProtocol.MakeMISImage - class jcsp.awt.GraphicsProtocol.MakeMISImage.
This is a configuration class to associate a java.awt.image.MemoryImageSource with the graphics component.
GraphicsProtocol.MakeMISImage(MemoryImageSource) - Constructor for class jcsp.awt.GraphicsProtocol.MakeMISImage
 
GraphicsProtocol.SetBackground - class jcsp.awt.GraphicsProtocol.SetBackground.
This is a configuration class for setting the background java.awt.Color of the active graphics component.
GraphicsProtocol.SetBackground(Color) - Constructor for class jcsp.awt.GraphicsProtocol.SetBackground
 
GraphicsProtocol.SetPaintable - class jcsp.awt.GraphicsProtocol.SetPaintable.
This is a configuration class to register a jcsp.awt.Paintable object with the graphics component.
GraphicsProtocol.SetPaintable(Paintable) - Constructor for class jcsp.awt.GraphicsProtocol.SetPaintable
 
Guard - class jcsp.lang.Guard.
This is the super-class for all Alternative events selectable by a process.
Guard() - Constructor for class jcsp.lang.Guard
 

CSP for Java
(JCSP) 1.0-rc4
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@ukc.ac.uk
Version 1.0-rc4 of the JCSP API Specification (Copyright 1997-2000 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.