jcsp.awt
Class GraphicsCommand.FillRect

java.lang.Object
  |
  +--jcsp.lang.TaggedProtocol
        |
        +--jcsp.awt.GraphicsCommand
              |
              +--jcsp.awt.GraphicsCommand.FillRect

Enclosing class:

GraphicsCommand

public static final class GraphicsCommand.FillRect

extends GraphicsCommand

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

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.FillRect(int x, int y, int width, int height)

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphicsCommand.FillRect

public GraphicsCommand.FillRect(int x,
                                int y,
                                int width,
                                int height)