Package checkers.util.test

A minimal checker and simple annotation used for testing the checkers framework without the semantics of any particular (meaningful) checker.

See:
          Description

Class Summary
Class Description
FactoryTestChecker A specialized checker for testing purposes.
FlowTestChecker  
TestChecker A simple checker used for testing the Checker Framework.
TypeOutputtingChecker A testing class that can be used to test TypeElement.
TypeOutputtingChecker.Visitor Prints the types of the class and all of its enclosing fields, methods, and inner classes
 

Annotation Types Summary
Annotation Type Description
Critical Denotes an exception that is particularly important.
Encrypted Denotes an object with a representation that has been encrypted.
Odd  
PolyEncrypted  
SubQual A subtype of SuperQual.
SuperQual A supertype of SubQual.
 

Package checkers.util.test Description

A minimal checker and simple annotation used for testing the checkers framework without the semantics of any particular (meaningful) checker.

The checker and annotation in this package should only be used for testing.

The @Odd annotation is a straightforward subtype-style qualifier. It has no special semantics; values that do not have an @Odd type cannot be assigned to values that do have the @Odd type.