Class GraphicsCommand.DrawPolyline

java.lang.Object

org.jcsp.lang.TaggedProtocol

org.jcsp.awt.GraphicsCommand

org.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.

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

Modifier and Type	Field	Description
(package private) final int	nPoints
(package private) final int[]	xPoints
(package private) final int[]	yPoints

Fields inherited from class GraphicsCommand

CLEAR_RECT, CLIP_RECT, COPY_AREA, DRAW_3D_RECT, DRAW_ARC, DRAW_BYTES, DRAW_CHARS, DRAW_IMAGE, DRAW_LINE, DRAW_OVAL, DRAW_POLYGON, DRAW_POLYLINE, DRAW_RECT, DRAW_ROUND_RECT, DRAW_STRING, FILL_3D_RECT, FILL_ARC, FILL_OVAL, FILL_POLYGON, FILL_RECT, FILL_ROUND_RECT, GENERAL, NULL, NULL_TAG, SET_CLIP, SET_COLOR, SET_FONT, SET_PAINT_MODE, SET_PAINT_MODE_TAG, SET_XOR_MODE, TRANSLATE

Fields inherited from class TaggedProtocol

tag

Constructor Summary

Constructors

Constructor	Description
DrawPolyline(int[] xPoints, int[] yPoints, int nPoints)

Method Summary

Methods inherited from class Object

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

Field Details

xPoints

final int[] xPoints

yPoints

final int[] yPoints

nPoints

final int nPoints

Constructor Details

DrawPolyline

public DrawPolyline(int[] xPoints,
 int[] yPoints,
 int nPoints)