public void test1() throws Throwable {
java.lang.Integer var0 = new java.lang.Integer(0);
java.lang.Integer var1 = new java.lang.Integer(100);
java.lang.Integer var2 = new java.lang.Integer(1);
java.lang.Integer var3 = new java.lang.Integer(1);
java.lang.Integer var4 = new java.lang.Integer(100);
java.lang.Integer var5 = new java.lang.Integer((-1));
java.lang.Integer var6 = new java.lang.Integer((-1));
com.domainlanguage.time.TimePoint var7 =
com.domainlanguage.time.TimePoint.atGMT(
(int) var0, (int) var1, (int) var2, (int) var3, (int) var4, (int) var5, (int) var6);
com.domainlanguage.time.TimeInterval var8 = com.domainlanguage.time.TimeInterval.everFrom(var7);
// Checks the contract: var8.equals(var8)
assertTrue("Contract failed: var8.equals(var8)", var8.equals(var8));
}
public void test2() throws Throwable {
java.lang.Integer var0 = new java.lang.Integer(100);
com.domainlanguage.time.Duration var1 = com.domainlanguage.time.Duration.days((int) var0);
java.lang.Integer var2 = new java.lang.Integer(100);
com.domainlanguage.time.Duration var3 = com.domainlanguage.time.Duration.years((int) var2);
java.lang.Integer var4 = new java.lang.Integer(0);
java.lang.Integer var5 = new java.lang.Integer(100);
java.lang.Integer var6 = new java.lang.Integer(1);
java.lang.Integer var7 = new java.lang.Integer(1);
java.lang.Integer var8 = new java.lang.Integer(100);
java.lang.Integer var9 = new java.lang.Integer((-1));
java.lang.Integer var10 = new java.lang.Integer((-1));
com.domainlanguage.time.TimePoint var11 =
com.domainlanguage.time.TimePoint.atGMT(
(int) var4, (int) var5, (int) var6, (int) var7, (int) var8, (int) var9, (int) var10);
com.domainlanguage.time.TimeInterval var12 = var3.startingFrom(var11);
java.lang.Integer var13 = new java.lang.Integer(0);
java.lang.Integer var14 = new java.lang.Integer(100);
java.lang.Integer var15 = new java.lang.Integer(1);
java.lang.Integer var16 = new java.lang.Integer(1);
java.lang.Integer var17 = new java.lang.Integer(100);
java.lang.Integer var18 = new java.lang.Integer((-1));
java.lang.Integer var19 = new java.lang.Integer((-1));
com.domainlanguage.time.TimePoint var20 =
com.domainlanguage.time.TimePoint.atGMT(
(int) var13,
(int) var14,
(int) var15,
(int) var16,
(int) var17,
(int) var18,
(int) var19);
java.lang.Integer var21 = new java.lang.Integer(100);
com.domainlanguage.time.Duration var22 = com.domainlanguage.time.Duration.years((int) var21);
java.lang.Integer var23 = new java.lang.Integer(0);
java.lang.Integer var24 = new java.lang.Integer(100);
java.lang.Integer var25 = new java.lang.Integer(1);
java.lang.Integer var26 = new java.lang.Integer(1);
java.lang.Integer var27 = new java.lang.Integer(100);
java.lang.Integer var28 = new java.lang.Integer((-1));
java.lang.Integer var29 = new java.lang.Integer((-1));
com.domainlanguage.time.TimePoint var30 =
com.domainlanguage.time.TimePoint.atGMT(
(int) var23,
(int) var24,
(int) var25,
(int) var26,
(int) var27,
(int) var28,
(int) var29);
com.domainlanguage.time.TimeInterval var31 = var22.startingFrom(var30);
java.lang.Integer var32 = new java.lang.Integer(100);
com.domainlanguage.time.Duration var33 = com.domainlanguage.time.Duration.years((int) var32);
java.lang.Integer var34 = new java.lang.Integer(0);
java.lang.Integer var35 = new java.lang.Integer(100);
java.lang.Integer var36 = new java.lang.Integer(1);
java.lang.Integer var37 = new java.lang.Integer(1);
java.lang.Integer var38 = new java.lang.Integer(100);
java.lang.Integer var39 = new java.lang.Integer((-1));
java.lang.Integer var40 = new java.lang.Integer((-1));
com.domainlanguage.time.TimePoint var41 =
com.domainlanguage.time.TimePoint.atGMT(
(int) var34,
(int) var35,
(int) var36,
(int) var37,
(int) var38,
(int) var39,
(int) var40);
com.domainlanguage.time.TimeInterval var42 = var33.startingFrom(var41);
com.domainlanguage.time.TimePoint var43 = var42.start();
boolean var44 = var30.isAfter(var42);
java.lang.Integer var45 = new java.lang.Integer(0);
java.lang.Integer var46 = new java.lang.Integer(100);
java.lang.Integer var47 = new java.lang.Integer(1);
java.lang.Integer var48 = new java.lang.Integer(1);
java.lang.Integer var49 = new java.lang.Integer(100);
java.lang.Integer var50 = new java.lang.Integer((-1));
java.lang.Integer var51 = new java.lang.Integer((-1));
com.domainlanguage.time.TimePoint var52 =
com.domainlanguage.time.TimePoint.atGMT(
(int) var45,
(int) var46,
(int) var47,
(int) var48,
(int) var49,
(int) var50,
(int) var51);
java.lang.Double var53 = new java.lang.Double(0.0d);
com.domainlanguage.money.Money var54 = com.domainlanguage.money.Money.euros((double) var53);
java.lang.Short var55 = new java.lang.Short((short) (-1));
boolean var56 = var54.equals((java.lang.Object) var55);
com.domainlanguage.time.TimeInterval var57 =
new com.domainlanguage.time.TimeInterval(var20, var44, var52, var56);
com.domainlanguage.time.TimeInterval var58 =
com.domainlanguage.time.TimeInterval.over(var11, var52);
java.lang.Byte var59 = new java.lang.Byte((byte) 100);
boolean var60 = var52.equals((java.lang.Object) var59);
java.lang.Integer var61 = new java.lang.Integer(0);
java.lang.Integer var62 = new java.lang.Integer(100);
java.lang.Integer var63 = new java.lang.Integer(1);
java.lang.Integer var64 = new java.lang.Integer(1);
java.lang.Integer var65 = new java.lang.Integer(100);
java.lang.Integer var66 = new java.lang.Integer((-1));
java.lang.Integer var67 = new java.lang.Integer((-1));
com.domainlanguage.time.TimePoint var68 =
com.domainlanguage.time.TimePoint.atGMT(
(int) var61,
(int) var62,
(int) var63,
(int) var64,
(int) var65,
(int) var66,
(int) var67);
com.domainlanguage.time.Duration var69 = com.domainlanguage.time.Duration.days((int) var61);
com.domainlanguage.time.TimePoint var70 = var52.plus(var69);
com.domainlanguage.time.Duration var71 = var1.minus(var69);
// Checks the contract: equals-hashcode on var1 and var71
assertTrue(
"Contract failed: equals-hashcode on var1 and var71",
var1.equals(var71) ? var1.hashCode() == var71.hashCode() : true);
// Checks the contract: equals-hashcode on var71 and var1
assertTrue(
"Contract failed: equals-hashcode on var71 and var1",
var71.equals(var1) ? var71.hashCode() == var1.hashCode() : true);
}