3 // Definitely written analysis assumes that the first parameter may have write
4 // effects through the below methods
6 static void arrayinit(float array[], float value) {
7 for (int i = 0; i < array.length; i++) {
12 static void arrayinit(int array[], int value) {
13 for (int i = 0; i < array.length; i++) {
18 static void arrayinit(float array[][][], int size_1, int size_2, int size_3, float value) {
20 for (int idx1 = 0; idx1 < size_1; idx1++) {
21 if (array[idx1].length != size_2) {
22 throw new Error("Array initilizatiion failed to assign to all of elements.");
24 for (int idx2 = 0; idx2 < size_2; idx2++) {
25 if (array[idx1][idx2].length != size_2) {
26 throw new Error("Array initilizatiion failed to assign to all of elements.");
28 for (int idx3 = 0; idx3 < size_3; idx3++) {
29 array[idx1][idx2][idx3] = value;
35 static void arrayinit(float array[][], int size_1, int size_2, float value) {
37 for (int idx1 = 0; idx1 < size_1; idx1++) {
38 if (array[idx1].length != size_2) {
39 throw new Error("Array initilizatiion failed to assign to all of elements.");
41 for (int idx2 = 0; idx2 < size_2; idx2++) {
42 array[idx1][idx2] = value;