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.
    • Field Detail

      • string

        final java.lang.String string
      • x

        final int x
      • y

        final int y
    • Constructor Detail

      • DrawString

        public DrawString​(java.lang.String string,
                          int x,
                          int y)