Java P Beispiele

Beispiel #1

Datei: AutoGenerationByConstructorTest.java Projekt: vkorenev/junit-quickcheck

 @Theory
 public void shouldHold(@ForAll @From(Ctor.class) P p) {
   assertNotNull(p.z());
   assertNotNull(p.f());
   assertNotNull(p.b());
 }

Beispiel #2

Datei: AutoGenerationByConstructorTest.java Projekt: vkorenev/junit-quickcheck

 @Theory
 public void shouldHold(@ForAll @From(Ctor.class) P p) {
   assertTrue(p.box().marked());
   assertTrue(p.box().contents().marked());
   assertEquals(2, p.box().contents().i());
 }