|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |