fj.testpackage that uses annotations for configuring properties to check.
Functions for checking properties in a class that are found reflectively and according to various annotations.
Checks the properties of a class using a standard random generator, standard check parameters and the given categories.
Specifies the categories of a
Specifies the check parameters on a
The name of a property to be used in reporting.
Denotes that a property should be excluded from any checking.
fj.testpackage that uses annotations for configuring properties to check. The properties are found using
Java Reflection. All annotations are optional and a property is eligible for checking by default. A property is any of the following member descriptions, unless the member or enclosing class is annotated with
Propertyin a class with a zero-argument constructor.
Propertyin a class with a no-argument constructor.
A property may be in zero or more categories by annotating the member or enclosing class with
Category. The property is in the set of categories that make up the
union of its member and enclosing class category annotation.
When a property is checked, it uses default configuration values, which may be overridden by
annotating the member or the enclosing class with the
annotation. The values used are first those specified on the member; or if the annotation does
not exist, then the enclosing class (default values otherwise).
A property can have a name associated with it by annotating the member with the
Name annotation. The name is a
String that is used
only for reporting in check results. If the
Name annotation does not
appear on a property member, then the field or method name is used by default.