Package org.jcsp.awt

Class GraphicsCommand.FillRoundRect

  • Enclosing class:
    GraphicsCommand

    public static final class GraphicsCommand.FillRoundRect
    extends GraphicsCommand
    This is the (immutable) command object for java.awt.Graphics.fillRoundRect.
    • Constructor Detail

      • FillRoundRect

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