bug fixes + annotations

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

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/Image.java b/Robust/src/Benchmarks/SSJava/EyeTracking/Image.java
index 5e83b46177f61ea8ffb01262207c826bda1bed6c..e7c2e825f880987ba362d8c954130c34f0578f86 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTracking/Image.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTracking/Image.java
@@ -1,7 +1,12 @@
+@LATTICE("IMG")
+@METHODDEFAULT("OUT<THIS,THIS<IN,THISLOC=THIS,RETURNLOC=OUT")
 public class Image {
 
+  @LOC("IMG")
   int width;
+  @LOC("IMG")
   int height;
+  @LOC("IMG")
   int pixel[][];
 
   public Image(int width, int height) {