Package fj.test

Examples of fj.test.Property

53
54
55
56
57
58
59
60
61
62
63
        assertTrue(t._1() == t._1() && t._2() == t._2());
    }

    @Test
    public void test3() {
        final Property p = property(arbInteger, arbInteger, arbInteger, (a, b, c) -> {
            P3<Integer, Integer, Integer> t = P.p(a, b, c).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3());
        });
        summary.println(p.check());
    }
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
        summary.println(p.check());
    }

    @Test
    public void test4() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d) -> {
            P4<Integer, Integer, Integer, Integer> t = P.p(a, b, c, d).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4());
        });
        summary.println(p.check());
    }
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
        summary.println(p.check());
    }

    @Test
    public void test5() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e) -> {
            P5<Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5());
        });
        summary.println(p.check());
    }
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
        summary.println(p.check());
    }

    @Test
    public void test6() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f) -> {
            P6<Integer, Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e, f).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5() && t._6() == t._6());
        });
        summary.println(p.check());
    }
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
        summary.println(p.check());
    }

    @Test
    public void test7() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f, g) -> {
            P7<Integer, Integer, Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e, f, g).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5() && t._6() == t._6() && t._7() == t._7());
        });
        summary.println(p.check());
    }
View Full Code Here
22
23
24
25
26
27
28
29
30
31
*/
public class TestNull {

  @Test
  public void testShowNullParameters() {
    Property p = property(arbitrary(Gen.<Integer>value(null)), (Integer i) -> {
        return prop(i != null);
    });
    CheckResult.summary.println(p.check());
  }
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
        summary.println(p.check());
    }

    @Test
    public void test8() {
        final Property p = property(arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, arbInteger, (a, b, c, d, e, f, g, h) -> {
            P8<Integer, Integer, Integer, Integer, Integer, Integer, Integer, Integer> t = P.p(a, b, c, d, e, f, g, h).memo();
            return prop(t._1() == t._1() && t._2() == t._2() && t._3() == t._3() && t._4() == t._4() && t._5() == t._5() && t._6() == t._6() && t._7() == t._7() && t._8() == t._8());
        });
        summary.println(p.check());
    }
View Full Code Here
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
  public void testExceptionsThrownFromGeneratorsArePropagated() {
    Gen<Integer> failingGen = Gen.<Integer>value(0).map((i) -> {
      throw new RuntimeException("test failure");
    });

    Property p = property(arbitrary(failingGen), (Integer i) -> {
      return prop(i == 0);
    });

    CheckResult res = p.check(
      1, /*minSuccessful*/
      0, /*maxDiscarded*/
      0, /*minSize*/
      1 /*maxSize*/
    );
 
View Full Code Here
TOP

Related Classes of fj.test.Property

  • fj.data.test.TestCheck
  • fj.data.test.TestNull
  • fj.demo.test.AdditionCommutes
  • fj.demo.test.AdditionCommutesParallel
  • fj.demo.test.EqualsHashCode
  • fj.demo.test.IntegerOverflow
  • fj.demo.test.JavaLinkedList
  • fj.demo.test.OptionMonadFunctorLaw
  • fj.demo.test.StringBuilderReverse
  • fj.demo.test.Triangulation
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.