Package org.jcsp.awt

Class GraphicsCommand.SetPaintMode

Enclosing class:
GraphicsCommand

private static final class GraphicsCommand.SetPaintMode extends GraphicsCommand
This is the (immutable) command object for java.awt.Graphics.setPaintMode.
  • Constructor Details

    • SetPaintMode

      public SetPaintMode()