Package org.jcsp.awt

Class GraphicsCommand.ClearRect

  • Enclosing class:
    GraphicsCommand

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

      • ClearRect

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