dafny.Array4 Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of DafnyRuntime Show documentation

Runtime for Dafny programs compiled to Java

The newest version!

package dafny;

public final class Array4 {
  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 Array4(dafny.TypeDescriptor elmtType, int dim0, int dim1, int dim2, int dim3, Object[][][] elmts) {
    assert elmts.getClass().isArray();
    this.elmtType = elmtType;
    this.dim0 = dim0;
    this.dim1 = dim1;
    this.dim2 = dim2;
    this.dim3 = dim3;
    this.elmts = elmts;
  }
  public T get(int i0, int i1, int i2, int i3) {
    return elmtType.getArrayElement(elmts[i0][i1][i2], i3);
  }
  public void set(int i0, int i1, int i2, int i3, T value) {
    elmtType.setArrayElement(elmts[i0][i1][i2], i3, 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++) {
          elmtType.fillArray(elmts[i0][i1][i2], z);
        }
      }
    }
  }
  public Array4 fillThenReturn(T z) {
    fill(z);
    return this;
  }
  @SuppressWarnings({"unchecked", "deprecation"})
  private static final dafny.TypeDescriptor> TYPE = (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.reference(Array4.class);
  @SuppressWarnings({"unchecked", "deprecation"})
  public static  dafny.TypeDescriptor> _typeDescriptor() {
    return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) TYPE;
  }
}