Package org.jcsp.awt

Class GraphicsCommand.FillRect

  • Enclosing class:
    GraphicsCommand

    public static final class GraphicsCommand.FillRect
    extends GraphicsCommand
    This is the (immutable) command object for java.awt.Graphics.fillRect.
    • Constructor Detail

      • FillRect

        public FillRect​(int x,
                        int y,
                        int width,
                        int height)