jcsp.awt
Class GraphicsCommand.DrawPolyline
java.lang.Object
|
+--jcsp.lang.TaggedProtocol
|
+--jcsp.awt.GraphicsCommand
|
+--jcsp.awt.GraphicsCommand.DrawPolyline
- Enclosing class:
- GraphicsCommand
- public static final class GraphicsCommand.DrawPolyline
- extends GraphicsCommand
This is the (immutable) command object for
java.awt.Graphics.drawPolyline
.
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.DrawPolyline
public GraphicsCommand.DrawPolyline(int[] xPoints,
int[] yPoints,
int nPoints)
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.