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

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