Package org.jcsp.awt

Class GraphicsCommand.DrawChars

  • Enclosing class:
    GraphicsCommand

    public static final class GraphicsCommand.DrawChars
    extends GraphicsCommand
    This is the (immutable) command object for java.awt.Graphics.drawChars.
    • Field Detail

      • data

        final char[] data
      • offset

        final int offset
      • length

        final int length
      • x

        final int x
      • y

        final int y
    • Constructor Detail

      • DrawChars

        public DrawChars​(char[] data,
                         int offset,
                         int length,
                         int x,
                         int y)