|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.jcsp.lang.TaggedProtocol org.jcsp.awt.GraphicsCommand
public abstract class GraphicsCommand
This is the tagged protocol interpreted by objects
(such as DisplayList
) that implement the Display
interface.
TaggedProtocol
interpreted by
objects (such as DisplayList
) that implement the Display
interface.
It is a collection of static graphics command classes
and a couple of immutable graphics command objects.
The constructors for each command class set the parameters for the command.
The immutable objects are commands that take no parameters.
A Display object provides a secure interface between an active user
process and an active graphics component (such as ActiveCanvas
).
It enables all methods of java.awt.graphics
to be executed on the active graphics component.
User processes send an array of GraphicsCommands
by invoking set
,
extend
or change
on the Display.
The meaning of each command is defined by the corresponding method
in java.awt.graphics. For example, the GraphicsCommand.DrawImage
constructors correspond to the java.awt.graphics.drawImage methods.
Display
,
DisplayList
,
ActiveCanvas
,
TaggedProtocol
Nested Class Summary | |
---|---|
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 interface |
GraphicsCommand.Graphic
This is the interface allowing any set of Graphics
operations to be wrapped up in an object and sent down a Display
channel to an Active graphics component. |
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 . |
Field Summary | |
---|---|
static GraphicsCommand |
NULL
This is the null command whose interpretation is a no-op. |
static GraphicsCommand |
SET_PAINT_MODE
This is the (immutable) command object for java.awt.Graphics.setPaintMode . |
Fields inherited from class org.jcsp.lang.TaggedProtocol |
---|
tag |
Method Summary |
---|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final GraphicsCommand NULL
public static final GraphicsCommand SET_PAINT_MODE
java.awt.Graphics.setPaintMode
.
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |