Package io.vavr.test

package io.vavr.test
A property check framework built around Property which integrates well with unit test frameworks like junit.
  • Class
    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.
    CheckResult.Erroneous
    Represents an erroneous property check.
    CheckResult.Falsified
    Represents a falsified property check.
    CheckResult.Satisfied
    Represents a satisfied property check.
    Gen<T>
    Generators are the building blocks for providing arbitrary objects.
    Property
    A property builder which provides a fluent API to build checkable properties.
    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.