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

   1 @LATTICE("POS")
   2 @METHODDEFAULT("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT")
   3 public class Rectangle2D {
   4
   5   @LOC("POS") double x;
   6   @LOC("POS") double y;
   7   @LOC("POS") double width;
   8   @LOC("POS") 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 }