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

   1 @LATTICE("POS")
   2 @METHODDEFAULT("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT")
   3 public class Point {
   4
   5   @LOC("POS") public int x;
   6   @LOC("POS") public int y;
   7
   8   public Point(int x, int y) {
   9     this.x = x;
  10     this.y = y;
  11   }
  12
  13   public Point() {
  14   }
  15
  16   public String toString(){
  17     return "("+x+","+y+")";
  18   }
  19
  20   public int getX(){
  21     return x;
  22   }
  23
  24   public int getY(){
  25     return y;
  26   }
  27
  28 }