org.jcsp.awt

Class GraphicsCommand.DrawRect

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsCommand

org.jcsp.awt.GraphicsCommand.DrawRect

Enclosing class:

GraphicsCommand

public static final class GraphicsCommand.DrawRect
extends GraphicsCommand

This is the (immutable) command object for java.awt.Graphics.drawRect.

Nested Class Summary

Nested classes/interfaces inherited from class org.jcsp.awt.GraphicsCommand

GraphicsCommand.ClearRect, GraphicsCommand.ClipRect, GraphicsCommand.CopyArea, GraphicsCommand.Draw3DRect, GraphicsCommand.DrawArc, GraphicsCommand.DrawBytes, GraphicsCommand.DrawChars, GraphicsCommand.DrawImage, GraphicsCommand.DrawLine, GraphicsCommand.DrawOval, GraphicsCommand.DrawPolygon, GraphicsCommand.DrawPolyline, GraphicsCommand.DrawRect, GraphicsCommand.DrawRoundRect, GraphicsCommand.DrawString, GraphicsCommand.Fill3DRect, GraphicsCommand.FillArc, GraphicsCommand.FillOval, GraphicsCommand.FillPolygon, GraphicsCommand.FillRect, GraphicsCommand.FillRoundRect, GraphicsCommand.General, GraphicsCommand.Graphic, GraphicsCommand.SetClip, GraphicsCommand.SetColor, GraphicsCommand.SetFont, GraphicsCommand.SetXORMode, GraphicsCommand.Translate

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	height
(package private) int	width
(package private) int	x
(package private) int	y

Fields inherited from class org.jcsp.awt.GraphicsCommand

CLEAR_RECT, CLIP_RECT, COPY_AREA, DRAW_3D_RECT, DRAW_ARC, DRAW_BYTES, DRAW_CHARS, DRAW_IMAGE, DRAW_LINE, DRAW_OVAL, DRAW_POLYGON, DRAW_POLYLINE, DRAW_RECT, DRAW_ROUND_RECT, DRAW_STRING, FILL_3D_RECT, FILL_ARC, FILL_OVAL, FILL_POLYGON, FILL_RECT, FILL_ROUND_RECT, GENERAL, NULL, NULL_TAG, SET_CLIP, SET_COLOR, SET_FONT, SET_PAINT_MODE, SET_PAINT_MODE_TAG, SET_XOR_MODE, TRANSLATE

Fields inherited from class org.jcsp.lang.TaggedProtocol

tag

Constructor Summary

Constructors

Constructor and Description
DrawRect(int x, int y, int width, int height)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

x

final int x

y

final int y

width

final int width

height

final int height

Constructor Detail

DrawRect

public DrawRect(int x,
                int y,
                int width,
                int height)