Package org.jcsp.awt
Class GraphicsCommand.DrawRoundRect
java.lang.Object
org.jcsp.lang.TaggedProtocol
org.jcsp.awt.GraphicsCommand
org.jcsp.awt.GraphicsCommand.DrawRoundRect
- Enclosing class:
- GraphicsCommand
This is the (immutable) command object for
java.awt.Graphics.drawRoundRect
.-
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 inherited from class org.jcsp.awt.GraphicsCommand
NULL, SET_PAINT_MODE
Fields inherited from class org.jcsp.lang.TaggedProtocol
tag
-
Constructor Summary
ConstructorsConstructorDescriptionDrawRoundRect
(int x, int y, int width, int height, int arcWidth, int arcHeight) -
Method Summary
-
Constructor Details
-
DrawRoundRect
public DrawRoundRect(int x, int y, int width, int height, int arcWidth, int arcHeight)
-