最新的Vavr 文档中宣传了属性检查功能以及以下使用示例:
Arbitrary<Integer> ints = Arbitrary.integer();
// square(int) >= 0: OK, passed 1000 tests.
Property.def("square(int) >= 0")
.forAll(ints)
.suchThat(i -> i * i >= 0)
.check()
.assertIsSatisfied();
但是,根据库的javadoc,Arbitrary
生成器和Property
类型都不存在。
我错过了什么,如果有的话?文档是最新的吗?