bug fixes + annotations

[IRC.git] / Robust / src / Benchmarks / SSJava / EyeTracking / Point.java

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/Point.java b/Robust/src/Benchmarks/SSJava/EyeTracking/Point.java
index 2feea59df14dafd5d76d3265ad3486ec8ed03652..edc3f61f179b15ad2c7d7f0ac9b3f6f11404d251 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTracking/Point.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTracking/Point.java
@@ -1,7 +1,9 @@
+@LATTICE("POS")
+@METHODDEFAULT("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT")

 public class Point {
 
 public class Point {
 

-  public int x;
-  public int y;
+  @LOC("POS") public int x;
+  @LOC("POS") public int y;

 
   public Point(int x, int y) {
     this.x = x;
 
   public Point(int x, int y) {
     this.x = x;