Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.

Package fj.test.reflect

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

See:
          Description

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


Copyright 2008 - 2009 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg

This software is released under an open source BSD licence.