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 Details

    • FillRoundRect

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