fixed another problem of the flow-down check. If an assignment statement has OP+EQ...

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

diff --git a/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java b/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java
index 53e26e23435ff914586f7d4b932848263eac4279..ec19504c828db073bc1948cb1e750b8c85bd5ad5 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java
+++ b/Robust/src/Benchmarks/SSJava/EyeTracking/Classifier.java
@@ -74,10 +74,11 @@ public class Classifier {
    * @param translationY
    * @return true if this region was classified as face, else false
    */
-  @LATTICE("OUT<V,V<C,C<THIS,THIS<IN,C*,V*,THISLOC=THIS,RETURNLOC=OUT")
+  @LATTICE("OUT<V,V<C,C<THIS,THIS<IN,C*,V*,OUT*,THISLOC=THIS,RETURNLOC=OUT")
+  @PCLOC("THIS,Classifier.C")
   public boolean classifyFace(@LOC("THIS,Classifier.C") IntegralImageData image,
-      @LOC("IN") float scaleFactor, @LOC("IN") int translationX, @LOC("IN") int translationY,
-      @LOC("IN") float borderline) {
+      @LOC("THIS,Classifier.C") float scaleFactor, @LOC("THIS,Classifier.C") int translationX,
+      @LOC("THIS,Classifier.C") int translationY, @LOC("THIS,Classifier.C") float borderline) {
 
     @LOC("THIS,Classifier.V") long values[] = new long[scanAreas.length];
 
@@ -163,7 +164,7 @@ public class Classifier {
   public String toString() {
 
     @LOC("OUT") String str = "";
-    for (@LOC("THIS,Classifier.C") int i = 0; i < scanAreas.length; i++) {
+    for (@LOC("C") int i = 0; i < scanAreas.length; i++) {
       str += scanAreas[i].toString() + "\n";
     }