1) changes on the definitely written analysis: it only takes care about locations...

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

diff --git a/Robust/src/ClassLibrary/SSJava/SSJAVA.java b/Robust/src/ClassLibrary/SSJava/SSJAVA.java
new file mode 100644 (file)
index 0000000..fbe5dad
--- /dev/null
+++ b/Robust/src/ClassLibrary/SSJava/SSJAVA.java
@@ -0,0 +1,47 @@
+public class SSJAVA {
+
+  // Definitely written analysis assumes that the first parameter may have write
+  // effects through the below methods
+
+  static void arrayinit(float array[], float value) {
+    for (int i = 0; i < array.length; i++) {
+      array[i] = value;
+    }
+  }
+
+  static void arrayinit(int array[], int value) {
+    for (int i = 0; i < array.length; i++) {
+      array[i] = value;
+    }
+  }
+
+  static void arrayinit(float array[][][], int size_1, int size_2, int size_3, float value) {
+
+    for (int idx1 = 0; idx1 < size_1; idx1++) {
+      if (array[idx1].length != size_2) {
+        throw new Error("Array initilizatiion failed to assign to all of elements.");
+      }
+      for (int idx2 = 0; idx2 < size_2; idx2++) {
+        if (array[idx1][idx2].length != size_2) {
+          throw new Error("Array initilizatiion failed to assign to all of elements.");
+        }
+        for (int idx3 = 0; idx3 < size_3; idx3++) {
+          array[idx1][idx2][idx3] = value;
+        }
+      }
+    }
+  }
+
+  static void arrayinit(float array[][], int size_1, int size_2, float value) {
+
+    for (int idx1 = 0; idx1 < size_1; idx1++) {
+      if (array[idx1].length != size_2) {
+        throw new Error("Array initilizatiion failed to assign to all of elements.");
+      }
+      for (int idx2 = 0; idx2 < size_2; idx2++) {
+        array[idx1][idx2] = value;
+      }
+    }
+  }
+
+}