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 Details

    • SetColor

      public SetColor(Color c)