Uses of Class
org.jcsp.awt.GraphicsCommand
Packages that use GraphicsCommand
Package
Description
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.awtModifier and TypeClassDescriptionstatic final class
This is the (immutable) command object forjava.awt.Graphics.clearRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.clipRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.copyArea
.static final class
This is the (immutable) command object forjava.awt.Graphics.draw3DRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawArc
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawBytes
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawChars
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawImage
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawLine
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawOval
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawPolygon
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawPolyline
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawRoundRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.drawString
.static final class
This is the (immutable) command object forjava.awt.Graphics.translate
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillArc
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillOval
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillPolygon
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillRect
.static final class
This is the (immutable) command object forjava.awt.Graphics.fillRoundRect
.static final class
This is the command object holding aGraphicsCommand.Graphic
object implementing an arbitrary set of graphics operations.private static final class
static final class
This is the (immutable) command object forjava.awt.Graphics.setClip
.static final class
This is the (immutable) command object forjava.awt.Graphics.setColor
.static final class
This is the (immutable) command object forjava.awt.Graphics.setFont
.private static final class
This is the (immutable) command object forjava.awt.Graphics.setPaintMode
.static final class
This is the (immutable) command object forjava.awt.Graphics.setXORMode
.static final class
This is the (immutable) command object forjava.awt.Graphics.translate
.Fields in org.jcsp.awt declared as GraphicsCommandModifier and TypeFieldDescriptionprivate 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 forjava.awt.Graphics.setPaintMode
.Methods in org.jcsp.awt that return GraphicsCommandModifier and TypeMethodDescriptionDisplay.get()
Returns a copy of the array of GraphicsCommands currently held.DisplayList.get()
Returns a copy of the array of GraphicsCommands currently held.Methods in org.jcsp.awt with parameters of type GraphicsCommandModifier and TypeMethodDescriptionboolean
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.