Uses of Class
org.jcsp.awt.GraphicsCommand

Packages that use GraphicsCommand

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

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

Fields in org.jcsp.awt declared as GraphicsCommand

static GraphicsCommand	GraphicsCommand.NULL This is the null command whose interpretation is a no-op.
static GraphicsCommand	GraphicsCommand.SET_PAINT_MODE This is the (immutable) command object for java.awt.Graphics.setPaintMode.

Methods in org.jcsp.awt that return GraphicsCommand

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

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	DisplayList.change(GraphicsCommand[] c, int i) Changes the array of GraphicsCommands to be executed 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 element i with the new one.
int	Display.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 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.
void	Display.set(GraphicsCommand c) Sets the GraphicsCommand to be interpreted.
void	DisplayList.set(GraphicsCommand c) Sets the GraphicsCommand to be executed.
void	Display.set(GraphicsCommand[] c) Sets the array of GraphicsCommands to be interpreted.
void	DisplayList.set(GraphicsCommand[] c) Sets the array of GraphicsCommands to be executed.