Package org.jcsp.awt

Class GraphicsCommand.DrawLine

Enclosing class:
GraphicsCommand

public static final class GraphicsCommand.DrawLine extends GraphicsCommand
This is the (immutable) command object for java.awt.Graphics.drawLine.
  • Constructor Details

    • DrawLine

      public DrawLine(int x1, int y1, int x2, int y2)