Arbitrary |
Represents an arbitrary object of type T.
|
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.CheckError |
Internally used to provide more specific error messages.
|
Property.Condition |
Internally used to model conditions composed of pre- and post-condition.
|
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.
|