Ejemplos de P en Java

Ejemplo n.º 1

Archivo: AutoGenerationByConstructorTest.java Proyecto: vkorenev/junit-quickcheck

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

Ejemplo n.º 2

Archivo: AutoGenerationByConstructorTest.java Proyecto: 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());
 }