See: Description
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.
|
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.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.
|
Copyright © 2016. All Rights Reserved.