Class GraphicsCommand.DrawRoundRect

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsCommand

org.jcsp.awt.GraphicsCommand.DrawRoundRect

Enclosing class:

GraphicsCommand

public static final class GraphicsCommand.DrawRoundRect
extends GraphicsCommand

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

Author:

P.H. Welch

Nested Class Summary

Nested classes/interfaces inherited from class 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 inherited from class GraphicsCommand

NULL, SET_PAINT_MODE

Fields inherited from class TaggedProtocol

tag

Constructor Summary

Constructors

Constructor	Description
DrawRoundRect(int x, int y, int width, int height, int arcWidth, int arcHeight)

Method Summary

Methods inherited from class Object

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

Constructor Details

DrawRoundRect

public DrawRoundRect(int x,
 int y,
 int width,
 int height,
 int arcWidth,
 int arcHeight)