dafny.Tuple16 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;

@SuppressWarnings({"unchecked", "deprecation"})
public class Tuple16 {
  private T0 _0;
  private T1 _1;
  private T2 _2;
  private T3 _3;
  private T4 _4;
  private T5 _5;
  private T6 _6;
  private T7 _7;
  private T8 _8;
  private T9 _9;
  private T10 _10;
  private T11 _11;
  private T12 _12;
  private T13 _13;
  private T14 _14;
  private T15 _15;

  public Tuple16(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7, T8 _8, T9 _9, T10 _10, T11 _11, T12 _12, T13 _13, T14 _14, T15 _15) {
    this._0 = _0;
    this._1 = _1;
    this._2 = _2;
    this._3 = _3;
    this._4 = _4;
    this._5 = _5;
    this._6 = _6;
    this._7 = _7;
    this._8 = _8;
    this._9 = _9;
    this._10 = _10;
    this._11 = _11;
    this._12 = _12;
    this._13 = _13;
    this._14 = _14;
    this._15 = _15;
  }

  public static  dafny.TypeDescriptor> _typeDescriptor(dafny.TypeDescriptor _td_T0, dafny.TypeDescriptor _td_T1, dafny.TypeDescriptor _td_T2, dafny.TypeDescriptor _td_T3, dafny.TypeDescriptor _td_T4, dafny.TypeDescriptor _td_T5, dafny.TypeDescriptor _td_T6, dafny.TypeDescriptor _td_T7, dafny.TypeDescriptor _td_T8, dafny.TypeDescriptor _td_T9, dafny.TypeDescriptor _td_T10, dafny.TypeDescriptor _td_T11, dafny.TypeDescriptor _td_T12, dafny.TypeDescriptor _td_T13, dafny.TypeDescriptor _td_T14, dafny.TypeDescriptor _td_T15) {
    return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.referenceWithInitializer(Tuple16.class, () -> Default(_td_T0.defaultValue(), _td_T1.defaultValue(), _td_T2.defaultValue(), _td_T3.defaultValue(), _td_T4.defaultValue(), _td_T5.defaultValue(), _td_T6.defaultValue(), _td_T7.defaultValue(), _td_T8.defaultValue(), _td_T9.defaultValue(), _td_T10.defaultValue(), _td_T11.defaultValue(), _td_T12.defaultValue(), _td_T13.defaultValue(), _td_T14.defaultValue(), _td_T15.defaultValue()));
  }

  public static  Tuple16 Default(T0 _default_T0, T1 _default_T1, T2 _default_T2, T3 _default_T3, T4 _default_T4, T5 _default_T5, T6 _default_T6, T7 _default_T7, T8 _default_T8, T9 _default_T9, T10 _default_T10, T11 _default_T11, T12 _default_T12, T13 _default_T13, T14 _default_T14, T15 _default_T15) {
    return create(_default_T0, _default_T1, _default_T2, _default_T3, _default_T4, _default_T5, _default_T6, _default_T7, _default_T8, _default_T9, _default_T10, _default_T11, _default_T12, _default_T13, _default_T14, _default_T15);
  }

  public static  Tuple16 create(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7, T8 _8, T9 _9, T10 _10, T11 _11, T12 _12, T13 _13, T14 _14, T15 _15) {
    return new Tuple16(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15);
  }

  @Override
  public boolean equals(Object obj) {
    if (this == obj) return true;
    if (obj == null) return false;
    if (getClass() != obj.getClass()) return false;
    Tuple16 o = (Tuple16) obj;
    return java.util.Objects.equals(this._0, o._0) && java.util.Objects.equals(this._1, o._1) && java.util.Objects.equals(this._2, o._2) && java.util.Objects.equals(this._3, o._3) && java.util.Objects.equals(this._4, o._4) && java.util.Objects.equals(this._5, o._5) && java.util.Objects.equals(this._6, o._6) && java.util.Objects.equals(this._7, o._7) && java.util.Objects.equals(this._8, o._8) && java.util.Objects.equals(this._9, o._9) && java.util.Objects.equals(this._10, o._10) && java.util.Objects.equals(this._11, o._11) && java.util.Objects.equals(this._12, o._12) && java.util.Objects.equals(this._13, o._13) && java.util.Objects.equals(this._14, o._14) && java.util.Objects.equals(this._15, o._15);
  }

  @Override
  public String toString() {
    StringBuilder sb = new StringBuilder();
    sb.append("(");
    sb.append(_0 == null ? "null" : _0.toString());
    sb.append(", ");
    sb.append(_1 == null ? "null" : _1.toString());
    sb.append(", ");
    sb.append(_2 == null ? "null" : _2.toString());
    sb.append(", ");
    sb.append(_3 == null ? "null" : _3.toString());
    sb.append(", ");
    sb.append(_4 == null ? "null" : _4.toString());
    sb.append(", ");
    sb.append(_5 == null ? "null" : _5.toString());
    sb.append(", ");
    sb.append(_6 == null ? "null" : _6.toString());
    sb.append(", ");
    sb.append(_7 == null ? "null" : _7.toString());
    sb.append(", ");
    sb.append(_8 == null ? "null" : _8.toString());
    sb.append(", ");
    sb.append(_9 == null ? "null" : _9.toString());
    sb.append(", ");
    sb.append(_10 == null ? "null" : _10.toString());
    sb.append(", ");
    sb.append(_11 == null ? "null" : _11.toString());
    sb.append(", ");
    sb.append(_12 == null ? "null" : _12.toString());
    sb.append(", ");
    sb.append(_13 == null ? "null" : _13.toString());
    sb.append(", ");
    sb.append(_14 == null ? "null" : _14.toString());
    sb.append(", ");
    sb.append(_15 == null ? "null" : _15.toString());
    sb.append(")");
    return sb.toString();
  }

  @Override
  public int hashCode() {
    // GetHashCode method (Uses the djb2 algorithm)
    // https://stackoverflow.com/questions/1579721/why-are-5381-and-33-so-important-in-the-djb2-algorithm
    long hash = 5381;
    hash = ((hash << 5) + hash) + 0;
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._0);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._1);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._2);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._3);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._4);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._5);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._6);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._7);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._8);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._9);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._10);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._11);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._12);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._13);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._14);
    hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._15);
    return (int)hash;
  }

  public T0 dtor__0() { return this._0; }

  public T1 dtor__1() { return this._1; }

  public T2 dtor__2() { return this._2; }

  public T3 dtor__3() { return this._3; }

  public T4 dtor__4() { return this._4; }

  public T5 dtor__5() { return this._5; }

  public T6 dtor__6() { return this._6; }

  public T7 dtor__7() { return this._7; }

  public T8 dtor__8() { return this._8; }

  public T9 dtor__9() { return this._9; }

  public T10 dtor__10() { return this._10; }

  public T11 dtor__11() { return this._11; }

  public T12 dtor__12() { return this._12; }

  public T13 dtor__13() { return this._13; }

  public T14 dtor__14() { return this._14; }

  public T15 dtor__15() { return this._15; }
}