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 Details

    • 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 Details

    • DrawRoundRect

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