Package org.jcsp.awt

Class GraphicsCommand.DrawRoundRect

  • Enclosing class:
    GraphicsCommand

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

      • x

        final int x
      • y

        final int y
      • width

        final int width
      • height

        final int height
      • arcWidth

        final int arcWidth
      • arcHeight

        final int arcHeight
    • Constructor Detail

      • DrawRoundRect

        public DrawRoundRect​(int x,
                             int y,
                             int width,
                             int height,
                             int arcWidth,
                             int arcHeight)