Robust/src/Benchmarks/SSJava/EyeTrackingInfer/Rectangle2D.java

   1
   2
   3 public class Rectangle2D {
   4
   5    double x;
   6    double y;
   7    double width;
   8    double height;
   9
  10   public Rectangle2D(double x, double y, double w, double h) {
  11     this.x = x;
  12     this.y = y;
  13     this.width = w;
  14     this.height = h;
  15   }
  16
  17   public double getX() {
  18     return x;
  19   }
  20
  21   public double getY() {
  22     return y;
  23   }
  24
  25   public double getWidth() {
  26     return width;
  27   }
  28
  29   public double getHeight() {
  30     return height;
  31   }
  32
  33   public String toString() {
  34     return "(" + x + "," + y + "," + width + "," + height + ")";
  35   }
  36 }