Package org.jcsp.awt

Class GraphicsCommand.CopyArea

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsCommand

org.jcsp.awt.GraphicsCommand.CopyArea

Enclosing class:

GraphicsCommand

public static final class GraphicsCommand.CopyArea
extends GraphicsCommand

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

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	Description
(package private) final int	dx
(package private) final int	dy
(package private) final int	height
(package private) final int	width
(package private) final int	x
(package private) final 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	Description
CopyArea(int x, int y, int width, int height, int dx, int dy)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

x

final int x

y

final int y

width

final int width

height

final int height

dx

final int dx

dy

final int dy

Constructor Details

CopyArea

public CopyArea(int x,
 int y,
 int width,
 int height,
 int dx,
 int dy)