Skip navigation links

Package fj.test.reflect

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

See: Description

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 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.

Skip navigation links