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