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 Detail

      • SetPaintMode

        public SetPaintMode()