X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FEyeTracking%2FPoint.java;h=edc3f61f179b15ad2c7d7f0ac9b3f6f11404d251;hp=2feea59df14dafd5d76d3265ad3486ec8ed03652;hb=1b1cd580d16bc4f8b514ce9ff8b88f2b7072c0d7;hpb=4cf04d9fa926d0fed7c6ffc64aaee45d88f5ad15

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/Point.java b/Robust/src/Benchmarks/SSJava/EyeTracking/Point.java
index 2feea59d..edc3f61f 100644
--- 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 int x;
-  public int y;
+  @LOC("POS") public int x;
+  @LOC("POS") public int y;
 
   public Point(int x, int y) {
     this.x = x;