Compiled from "Line.java"
public final value class Line extends Line$ref {
  public final Point p1;

  public final Point p2;

  public Point p1();
    Code:
       0: aload_0
       1: getfield      #9                  // Field p1:QPoint;
       4: areturn

  public Point p2();
    Code:
       0: aload_0
       1: getfield      #13                 // Field p2:QPoint;
       4: areturn

  public static Line makeLine(int, int, int, int);
    Code:
       0: iload_0
       1: iload_1
       2: iload_2
       3: iload_3
       4: invokestatic  #20                 // Method "<init>":(IIII)QLine;
       7: areturn

  public static Line makeLine(Point, Point);
    Code:
       0: aload_0
       1: aload_1
       2: invokestatic  #16                 // Method "<init>":(QPoint;QPoint;)QLine;
       5: areturn

  static Line Line();
    Code:
       0: defaultvalue  #1                  // class Line
       3: astore_0
       4: iconst_0
       5: iconst_0
       6: invokestatic  #3                  // Method Point.makePoint:(II)QPoint;
       9: aload_0
      10: swap
      11: withfield     #9                  // Field p1:QPoint;
      14: astore_0
      15: iconst_0
      16: iconst_0
      17: invokestatic  #3                  // Method Point.makePoint:(II)QPoint;
      20: aload_0
      21: swap
      22: withfield     #13                 // Field p2:QPoint;
      25: astore_0
      26: aload_0
      27: areturn

  static Line Line(int, int, int, int);
    Code:
       0: iload_0
       1: iload_1
       2: invokestatic  #3                  // Method Point.makePoint:(II)QPoint;
       5: iload_2
       6: iload_3
       7: invokestatic  #3                  // Method Point.makePoint:(II)QPoint;
      10: invokestatic  #16                 // Method "<init>":(QPoint;QPoint;)QLine;
      13: astore        4
      15: aload         4
      17: areturn

  static Line Line(Point, Point);
    Code:
       0: defaultvalue  #1                  // class Line
       3: astore_2
       4: aload_0
       5: aload_2
       6: swap
       7: withfield     #9                  // Field p1:QPoint;
      10: astore_2
      11: aload_1
      12: aload_2
      13: swap
      14: withfield     #13                 // Field p2:QPoint;
      17: astore_2
      18: aload_2
      19: areturn
}