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 is Satisfied, if all tests satisfied the given property Falsified, if a counter-example could be discovered that falsified the given property Erroneous, if an exception occurred executing the property check Please note that a Satisfied property check may be Exhausted, 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.