Uses of Package
javaslang.test

Classes in javaslang.test used by javaslang.test

Class and Description
Arbitrary 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 Generators are the building blocks for providing arbitrary objects.
Property A property builder which provides a fluent API to build checkable properties.
Property.ForAll1 Represents a logical for all quantor.
Property.ForAll2 Represents a logical for all quantor.
Property.ForAll3 Represents a logical for all quantor.
Property.ForAll4 Represents a logical for all quantor.
Property.ForAll5 Represents a logical for all quantor.
Property.ForAll6 Represents a logical for all quantor.
Property.ForAll7 Represents a logical for all quantor.
Property.ForAll8 Represents a logical for all quantor.
Property.Property1 Represents a 1-ary checkable property.
Property.Property2 Represents a 2-ary checkable property.
Property.Property3 Represents a 3-ary checkable property.
Property.Property4 Represents a 4-ary checkable property.
Property.Property5 Represents a 5-ary checkable property.
Property.Property6 Represents a 6-ary checkable property.
Property.Property7 Represents a 7-ary checkable property.
Property.Property8 Represents a 8-ary checkable property.