jcsp.awt
Class GraphicsCommand.DrawOval
java.lang.Object
|
+--jcsp.lang.TaggedProtocol
|
+--jcsp.awt.GraphicsCommand
|
+--jcsp.awt.GraphicsCommand.DrawOval
- Enclosing class:
- GraphicsCommand
- public static final class GraphicsCommand.DrawOval
- extends GraphicsCommand
This is the (immutable) command object for
java.awt.Graphics.drawOval
.
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 |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
GraphicsCommand.DrawOval
public GraphicsCommand.DrawOval(int x,
int y,
int width,
int height)
Submit a bug or feature to jcsp-team@ukc.ac.uk
Version 1.0-rc2 of the JCSP API Specification (Copyright 1997-1999 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.