Esempi in Java per P

Esempio n. 1

File: AutoGenerationByConstructorTest.java Progetto: vkorenev/junit-quickcheck

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

Esempio n. 2

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