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 © 2021. All Rights Reserved.