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 Detail

      • SetClip

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

        public SetClip​(java.awt.Shape s)