org.jcsp.awt
Class GraphicsCommand.FillPolygon

java.lang.Object
  org.jcsp.lang.TaggedProtocol
      org.jcsp.awt.GraphicsCommand
          org.jcsp.awt.GraphicsCommand.FillPolygon

Enclosing class:

GraphicsCommand

public static final class GraphicsCommand.FillPolygon
extends GraphicsCommand

This is the (immutable) command object for java.awt.Graphics.fillPolygon.

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

GraphicsCommand.FillPolygon(int[] xPoints, int[] yPoints, int nPoints)

GraphicsCommand.FillPolygon(java.awt.Polygon p)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphicsCommand.FillPolygon

public GraphicsCommand.FillPolygon(int[] xPoints,
                                   int[] yPoints,
                                   int nPoints)

GraphicsCommand.FillPolygon

public GraphicsCommand.FillPolygon(java.awt.Polygon p)