Package | Description |
---|---|
org.jcsp.awt |
This provides CSP extensions for all AWT
Component components:
GUI events and widget configurations map to channel communications. |
Modifier and Type | Class and Description |
---|---|
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 . |
Modifier and Type | Field and 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 for
java.awt.Graphics.setPaintMode . |
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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 |
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.
|
Copyright © 1996–2022. All rights reserved.