Package io.vavr.test
package io.vavr.test
A property check framework built around Property which integrates well with unit test frameworks like junit.
-
ClassDescriptionArbitrary<T>Represents an arbitrary object of type T.Interface for checkable properties, allowing composition via Checkable.and(Checkable) and Checkable.or(Checkable).Represents the result of a property check which is
Satisfied
, 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.Represents an erroneous property check.Represents a falsified property check.Represents a satisfied property check.Gen<T>Generators are the building blocks for providing arbitrary objects.A property builder which provides a fluent API to build checkable properties.Internally used to provide more specific error messages.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.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.