Uses of Class
org.jcsp.awt.GraphicsCommand
-
Packages that use GraphicsCommand Package Description org.jcsp.awt This provides CSP extensions for all AWTComponent
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 class
GraphicsCommand.ClearRect
This is the (immutable) command object forjava.awt.Graphics.clearRect
.static class
GraphicsCommand.ClipRect
This is the (immutable) command object forjava.awt.Graphics.clipRect
.static class
GraphicsCommand.CopyArea
This is the (immutable) command object forjava.awt.Graphics.copyArea
.static class
GraphicsCommand.Draw3DRect
This is the (immutable) command object forjava.awt.Graphics.draw3DRect
.static class
GraphicsCommand.DrawArc
This is the (immutable) command object forjava.awt.Graphics.drawArc
.static class
GraphicsCommand.DrawBytes
This is the (immutable) command object forjava.awt.Graphics.drawBytes
.static class
GraphicsCommand.DrawChars
This is the (immutable) command object forjava.awt.Graphics.drawChars
.static class
GraphicsCommand.DrawImage
This is the (immutable) command object forjava.awt.Graphics.drawImage
.static class
GraphicsCommand.DrawLine
This is the (immutable) command object forjava.awt.Graphics.drawLine
.static class
GraphicsCommand.DrawOval
This is the (immutable) command object forjava.awt.Graphics.drawOval
.static class
GraphicsCommand.DrawPolygon
This is the (immutable) command object forjava.awt.Graphics.drawPolygon
.static class
GraphicsCommand.DrawPolyline
This is the (immutable) command object forjava.awt.Graphics.drawPolyline
.static class
GraphicsCommand.DrawRect
This is the (immutable) command object forjava.awt.Graphics.drawRect
.static class
GraphicsCommand.DrawRoundRect
This is the (immutable) command object forjava.awt.Graphics.drawRoundRect
.static class
GraphicsCommand.DrawString
This is the (immutable) command object forjava.awt.Graphics.drawString
.static class
GraphicsCommand.Fill3DRect
This is the (immutable) command object forjava.awt.Graphics.translate
.static class
GraphicsCommand.FillArc
This is the (immutable) command object forjava.awt.Graphics.fillArc
.static class
GraphicsCommand.FillOval
This is the (immutable) command object forjava.awt.Graphics.fillOval
.static class
GraphicsCommand.FillPolygon
This is the (immutable) command object forjava.awt.Graphics.fillPolygon
.static class
GraphicsCommand.FillRect
This is the (immutable) command object forjava.awt.Graphics.fillRect
.static class
GraphicsCommand.FillRoundRect
This is the (immutable) command object forjava.awt.Graphics.fillRoundRect
.static class
GraphicsCommand.General
This is the command object holding aGraphicsCommand.Graphic
object implementing an arbitrary set of graphics operations.static class
GraphicsCommand.SetClip
This is the (immutable) command object forjava.awt.Graphics.setClip
.static class
GraphicsCommand.SetColor
This is the (immutable) command object forjava.awt.Graphics.setColor
.static class
GraphicsCommand.SetFont
This is the (immutable) command object forjava.awt.Graphics.setFont
.static class
GraphicsCommand.SetXORMode
This is the (immutable) command object forjava.awt.Graphics.setXORMode
.static class
GraphicsCommand.Translate
This is the (immutable) command object forjava.awt.Graphics.translate
.Fields in org.jcsp.awt declared as GraphicsCommand Modifier and Type Field Description 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 forjava.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.
-