dafny.Array5 Maven / Gradle / Ivy
package dafny;
public final class Array5 {
public final Object[][][][] elmts;
private final dafny.TypeDescriptor elmtType;
public final int dim0;
public final int dim1;
public final int dim2;
public final int dim3;
public final int dim4;
public Array5(dafny.TypeDescriptor elmtType, int dim0, int dim1, int dim2, int dim3, int dim4, Object[][][][] elmts) {
assert elmts.getClass().isArray();
this.elmtType = elmtType;
this.dim0 = dim0;
this.dim1 = dim1;
this.dim2 = dim2;
this.dim3 = dim3;
this.dim4 = dim4;
this.elmts = elmts;
}
public T get(int i0, int i1, int i2, int i3, int i4) {
return elmtType.getArrayElement(elmts[i0][i1][i2][i3], i4);
}
public void set(int i0, int i1, int i2, int i3, int i4, T value) {
elmtType.setArrayElement(elmts[i0][i1][i2][i3], i4, value);
}
public void fill(T z) {
for(int i0 = 0; i0 < dim0; i0++) {
for(int i1 = 0; i1 < dim1; i1++) {
for(int i2 = 0; i2 < dim2; i2++) {
for(int i3 = 0; i3 < dim3; i3++) {
elmtType.fillArray(elmts[i0][i1][i2][i3], z);
}
}
}
}
}
public Array5 fillThenReturn(T z) {
fill(z);
return this;
}
@SuppressWarnings({"unchecked", "deprecation"})
private static final dafny.TypeDescriptor> TYPE = (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Array5.class);
@SuppressWarnings({"unchecked", "deprecation"})
public static dafny.TypeDescriptor> _typeDescriptor() {
return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) TYPE;
}
}