Package io.vavr.test
A property check framework built around Property which integrates well with unit test frameworks like junit.
-
Interface Summary Interface Description Arbitrary<T> Represents an arbitrary object of type T.Checkable Interface for checkable properties, allowing composition via Checkable.and(Checkable) and Checkable.or(Checkable).CheckResult Represents the result of a property check which isSatisfied
, if all tests satisfied the given propertyFalsified
, if a counter-example could be discovered that falsified the given propertyErroneous
, if an exception occurred executing the property check Please note that aSatisfied
property check may beExhausted
, if the property is an implication and no sample could be found that satisfied the pre-condition.Gen<T> Generators are the building blocks for providing arbitrary objects.GenModule -
Class Summary Class Description CheckResult.Erroneous Represents an erroneous property check.CheckResult.Falsified Represents a falsified property check.CheckResult.Satisfied Represents a satisfied property check.Property A property builder which provides a fluent API to build checkable properties.Property.Condition Internally used to model conditions composed of pre- and post-condition.Property.ForAll1<T1> Represents a logical for all quantor.Property.ForAll2<T1,T2> Represents a logical for all quantor.Property.ForAll3<T1,T2,T3> Represents a logical for all quantor.Property.ForAll4<T1,T2,T3,T4> Represents a logical for all quantor.Property.ForAll5<T1,T2,T3,T4,T5> Represents a logical for all quantor.Property.ForAll6<T1,T2,T3,T4,T5,T6> Represents a logical for all quantor.Property.ForAll7<T1,T2,T3,T4,T5,T6,T7> Represents a logical for all quantor.Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8> Represents a logical for all quantor.Property.Property1<T1> Represents a 1-ary checkable property.Property.Property2<T1,T2> Represents a 2-ary checkable property.Property.Property3<T1,T2,T3> Represents a 3-ary checkable property.Property.Property4<T1,T2,T3,T4> Represents a 4-ary checkable property.Property.Property5<T1,T2,T3,T4,T5> Represents a 5-ary checkable property.Property.Property6<T1,T2,T3,T4,T5,T6> Represents a 6-ary checkable property.Property.Property7<T1,T2,T3,T4,T5,T6,T7> Represents a 7-ary checkable property.Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> Represents a 8-ary checkable property. -
Error Summary Error Description Property.CheckError Internally used to provide more specific error messages.