changes: now Inference engine works fine with the EyeTracking benchmark.

[IRC.git] / Robust / src / ClassLibrary / SSJava / SSJAVA.java

diff --git a/Robust/src/ClassLibrary/SSJava/SSJAVA.java b/Robust/src/ClassLibrary/SSJava/SSJAVA.java
index ebb3e41ac0e3c4884b3f7f6baee69dad13607fe0..19f74024d9b59e8fc4ab57f6d0bf33b3e56c172b 100644 (file)
--- a/Robust/src/ClassLibrary/SSJava/SSJAVA.java
+++ b/Robust/src/ClassLibrary/SSJava/SSJAVA.java
@@ -1,3 +1,5 @@
+import Benchmarks.SSJava.EyeTracking.LOC;
+
 public class SSJAVA {
 
   // Definitely written analysis assumes that the first parameter may have write
@@ -31,7 +33,7 @@ public class SSJAVA {
       }
     }
   }
-  
+
   static void arrayinit(float array[][], int size_1, int size_2, float value) {
 
     for (int idx1 = 0; idx1 < size_1; idx1++) {
@@ -43,7 +45,6 @@ public class SSJAVA {
       }
     }
   }
-  
 
   static void arraycopy(float array[][], float src[][], int size_1, int size_2) {
 
@@ -57,4 +58,27 @@ public class SSJAVA {
     }
   }
 
+  static void append(Object array[], Object item) {
+    for (int i = 1; i < array.length; i++) {
+      array[i - 1] = array[i];
+      array[i] = null;
+    }
+    array[array.length - 1] = item;
+  }
+  
+  static void append(int array[], int item) {
+    for (int i = 1; i < array.length; i++) {
+      array[i - 1] = array[i];
+      array[i] = 0;
+    }
+    array[array.length - 1] = item;
+  }
+
+
+  static void arrayinit(Object array[]) {
+    for (int i = 1; i < array.length; i++) {
+      array[i] = null;
+    }
+  }
+
 }