X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FSSJava%2FSSJAVA.java;h=19f74024d9b59e8fc4ab57f6d0bf33b3e56c172b;hp=ebb3e41ac0e3c4884b3f7f6baee69dad13607fe0;hb=d45bb251bdc1196d7848094fa2ccd566b39e021c;hpb=94e02fa4a6deddcbf1065197dcc9b6a4c3fc1db7

diff --git a/Robust/src/ClassLibrary/SSJava/SSJAVA.java b/Robust/src/ClassLibrary/SSJava/SSJAVA.java
index ebb3e41a..19f74024 100644
--- 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;
+    }
+  }
+
 }