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.

getEarlyTimeout() - Static method in class jcsp.lang.SpuriousLog

This returns the allowed early timeout (in msecs).

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.

getSpuriousWakeUpCounts() - Static method in class jcsp.lang.SpuriousLog

Returns the counts of spurious wakeups so far.

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