Java P.boxの例

コード例 #1

ファイル: AutoGenerationByConstructorTest.java プロジェクト: 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());
 }