CSP for Java
(JCSP) 1.0-rc4

jcsp.awt
Class GraphicsCommand.DrawRoundRect

java.lang.Object
  |
  +--jcsp.lang.TaggedProtocol
        |
        +--jcsp.awt.GraphicsCommand
              |
              +--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.


Inner classes inherited from class 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
 
Fields inherited from class jcsp.awt.GraphicsCommand
NULL, SET_PAINT_MODE
 
Fields inherited from class jcsp.lang.TaggedProtocol
tag
 
Constructor Summary
GraphicsCommand.DrawRoundRect(int x, int y, int width, int height, int arcWidth, int arcHeight)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GraphicsCommand.DrawRoundRect

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

CSP for Java
(JCSP) 1.0-rc4

Submit a bug or feature to jcsp-team@ukc.ac.uk
Version 1.0-rc4 of the JCSP API Specification (Copyright 1997-2000 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.