Package org.jcsp.awt

Class GraphicsCommand.SetColor

  • Enclosing class:
    GraphicsCommand

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

      • SetColor

        public SetColor​(java.awt.Color c)