Uses of Class
org.jcsp.awt.GraphicsCommand

Packages that use GraphicsCommand

Package	Description
org.jcsp.awt	This provides CSP extensions for all AWT Component components: GUI events and widget configurations map to channel communications.

Uses of GraphicsCommand in org.jcsp.awt

Subclasses of GraphicsCommand in org.jcsp.awt

Modifier and Type	Class	Description
static final class	GraphicsCommand.ClearRect	This is the (immutable) command object for java.awt.Graphics.clearRect.
static final class	GraphicsCommand.ClipRect	This is the (immutable) command object for java.awt.Graphics.clipRect.
static final class	GraphicsCommand.CopyArea	This is the (immutable) command object for java.awt.Graphics.copyArea.
static final class	GraphicsCommand.Draw3DRect	This is the (immutable) command object for java.awt.Graphics.draw3DRect.
static final class	GraphicsCommand.DrawArc	This is the (immutable) command object for java.awt.Graphics.drawArc.
static final class	GraphicsCommand.DrawBytes	This is the (immutable) command object for java.awt.Graphics.drawBytes.
static final class	GraphicsCommand.DrawChars	This is the (immutable) command object for java.awt.Graphics.drawChars.
static final class	GraphicsCommand.DrawImage	This is the (immutable) command object for java.awt.Graphics.drawImage.
static final class	GraphicsCommand.DrawLine	This is the (immutable) command object for java.awt.Graphics.drawLine.
static final class	GraphicsCommand.DrawOval	This is the (immutable) command object for java.awt.Graphics.drawOval.
static final class	GraphicsCommand.DrawPolygon	This is the (immutable) command object for java.awt.Graphics.drawPolygon.
static final class	GraphicsCommand.DrawPolyline	This is the (immutable) command object for java.awt.Graphics.drawPolyline.
static final class	GraphicsCommand.DrawRect	This is the (immutable) command object for java.awt.Graphics.drawRect.
static final class	GraphicsCommand.DrawRoundRect	This is the (immutable) command object for java.awt.Graphics.drawRoundRect.
static final class	GraphicsCommand.DrawString	This is the (immutable) command object for java.awt.Graphics.drawString.
static final class	GraphicsCommand.Fill3DRect	This is the (immutable) command object for java.awt.Graphics.translate.
static final class	GraphicsCommand.FillArc	This is the (immutable) command object for java.awt.Graphics.fillArc.
static final class	GraphicsCommand.FillOval	This is the (immutable) command object for java.awt.Graphics.fillOval.
static final class	GraphicsCommand.FillPolygon	This is the (immutable) command object for java.awt.Graphics.fillPolygon.
static final class	GraphicsCommand.FillRect	This is the (immutable) command object for java.awt.Graphics.fillRect.
static final class	GraphicsCommand.FillRoundRect	This is the (immutable) command object for java.awt.Graphics.fillRoundRect.
static final class	GraphicsCommand.General	This is the command object holding a GraphicsCommand.Graphic object implementing an arbitrary set of graphics operations.
private static final class	GraphicsCommand.Null
static final class	GraphicsCommand.SetClip	This is the (immutable) command object for java.awt.Graphics.setClip.
static final class	GraphicsCommand.SetColor	This is the (immutable) command object for java.awt.Graphics.setColor.
static final class	GraphicsCommand.SetFont	This is the (immutable) command object for java.awt.Graphics.setFont.
private static final class	GraphicsCommand.SetPaintMode	This is the (immutable) command object for java.awt.Graphics.setPaintMode.
static final class	GraphicsCommand.SetXORMode	This is the (immutable) command object for java.awt.Graphics.setXORMode.
static final class	GraphicsCommand.Translate	This is the (immutable) command object for java.awt.Graphics.translate.

Fields in org.jcsp.awt declared as GraphicsCommand

Modifier and Type	Field	Description
private GraphicsCommand[]	DisplayList.command
static final GraphicsCommand	GraphicsCommand.NULL	This is the null command whose interpretation is a no-op.
static final GraphicsCommand	GraphicsCommand.SET_PAINT_MODE	This is the (immutable) command object for java.awt.Graphics.setPaintMode.

Methods in org.jcsp.awt that return GraphicsCommand

Modifier and Type	Method	Description
GraphicsCommand[]	Display.get()	Returns a copy of the array of GraphicsCommands currently held.
GraphicsCommand[]	DisplayList.get()	Returns a copy of the array of GraphicsCommands currently held.

Methods in org.jcsp.awt with parameters of type GraphicsCommand

Modifier and Type	Method	Description
boolean	Display.change(GraphicsCommand[] c, int i)	Changes the array of GraphicsCommands to be interpreted by replacing elements i onwards with the new ones.
boolean	Display.change(GraphicsCommand c, int i)	Changes the array of GraphicsCommands to be executed by replacing element i with the new one.
boolean	DisplayList.change(GraphicsCommand[] c, int i)	Changes the array of GraphicsCommands to be executed by replacing elements i onwards with the new ones.
boolean	DisplayList.change(GraphicsCommand c, int i)	Changes the array of GraphicsCommands to be executed by replacing element i with the new one.
int	Display.extend(GraphicsCommand c)	Extends the array of GraphicsCommands to be executed by one command.
int	Display.extend(GraphicsCommand[] c)	Extends the array of GraphicsCommands to be interpreted.
int	DisplayList.extend(GraphicsCommand c)	Extends the array of GraphicsCommands to be executed by one command.
int	DisplayList.extend(GraphicsCommand[] c)	Extends the array of GraphicsCommands to be executed.
void	Display.set(GraphicsCommand c)	Sets the GraphicsCommand to be interpreted.
void	Display.set(GraphicsCommand[] c)	Sets the array of GraphicsCommands to be interpreted.
void	DisplayList.set(GraphicsCommand c)	Sets the GraphicsCommand to be executed.
void	DisplayList.set(GraphicsCommand[] c)	Sets the array of GraphicsCommands to be executed.