dafny.Tuple20 Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of DafnyRuntime Show documentation
Show all versions of DafnyRuntime Show documentation
Runtime for Dafny programs compiled to Java
The newest version!
package dafny;
@SuppressWarnings({"unchecked", "deprecation"})
public class Tuple20 {
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;
private T16 _16;
private T17 _17;
private T18 _18;
private T19 _19;
public Tuple20(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, T16 _16, T17 _17, T18 _18, T19 _19) {
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;
this._16 = _16;
this._17 = _17;
this._18 = _18;
this._19 = _19;
}
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, dafny.TypeDescriptor _td_T16, dafny.TypeDescriptor _td_T17, dafny.TypeDescriptor _td_T18, dafny.TypeDescriptor _td_T19) {
return (dafny.TypeDescriptor>) (dafny.TypeDescriptor) dafny.TypeDescriptor.referenceWithInitializer(Tuple20.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(), _td_T16.defaultValue(), _td_T17.defaultValue(), _td_T18.defaultValue(), _td_T19.defaultValue()));
}
public static Tuple20 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, T16 _default_T16, T17 _default_T17, T18 _default_T18, T19 _default_T19) {
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, _default_T16, _default_T17, _default_T18, _default_T19);
}
public static Tuple20 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, T16 _16, T17 _17, T18 _18, T19 _19) {
return new Tuple20(_0, _1, _2, _3, _4, _5, _6, _7, _8, _9, _10, _11, _12, _13, _14, _15, _16, _17, _18, _19);
}
@Override
public boolean equals(Object obj) {
if (this == obj) return true;
if (obj == null) return false;
if (getClass() != obj.getClass()) return false;
Tuple20 o = (Tuple20) 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) && java.util.Objects.equals(this._16, o._16) && java.util.Objects.equals(this._17, o._17) && java.util.Objects.equals(this._18, o._18) && java.util.Objects.equals(this._19, o._19);
}
@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(", ");
sb.append(_16 == null ? "null" : _16.toString());
sb.append(", ");
sb.append(_17 == null ? "null" : _17.toString());
sb.append(", ");
sb.append(_18 == null ? "null" : _18.toString());
sb.append(", ");
sb.append(_19 == null ? "null" : _19.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);
hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._16);
hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._17);
hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._18);
hash = ((hash << 5) + hash) + java.util.Objects.hashCode(this._19);
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; }
public T16 dtor__16() { return this._16; }
public T17 dtor__17() { return this._17; }
public T18 dtor__18() { return this._18; }
public T19 dtor__19() { return this._19; }
}