Package org.jcsp.awt

Class GraphicsCommand.SetClip

Enclosing class:
GraphicsCommand

public static final class GraphicsCommand.SetClip extends GraphicsCommand
This is the (immutable) command object for java.awt.Graphics.setClip.
  • Constructor Details

    • SetClip

      public SetClip(int x, int y, int width, int height)
    • SetClip

      public SetClip(Shape s)