Package org.jcsp.awt

Class GraphicsCommand.DrawString

Enclosing class:
GraphicsCommand

public static final class GraphicsCommand.DrawString extends GraphicsCommand
This is the (immutable) command object for java.awt.Graphics.drawString.
  • Constructor Details

    • DrawString

      public DrawString(String string, int x, int y)