Package fj.test.reflect

A wrapper around the fj.test package that uses annotations for configuring properties to check.

See: Description

Class Summary

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 Types Summary

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.

Package fj.test.reflect Description

A wrapper around the 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.

• a static field of type Property.
• a static zero argument method that returns Property.
• a non-static field of type Property in a class with a zero-argument constructor.
• a non-static no-argument method that returns 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.