fj.test
package that uses annotations for configuring properties to
check.See: Description
Class | Description |
---|---|
Check |
Functions for checking properties in a class that are found reflectively and according to various
annotations.
|
Main |
Checks the properties of a class using a standard random generator, standard check parameters and
the given categories.
|
Annotation Type | Description |
---|---|
Category |
Specifies the categories of a
property , which are the union of
categories specified on the enclosing class and the categories specified on the method or field
that make up the property. |
CheckParams |
Specifies the check parameters on a
Property property with typical defaults. |
Name |
The name of a property to be used in reporting.
|
NoCheck |
Denotes that a property should be excluded from any checking.
|
fj.test
package 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
NoCheck
.
Property
.Property
.Property
in a class with a zero-argument constructor.Property
in 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 CheckParams
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.