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
FactoryTestChecker A specialized checker for testing purposes.
FlowTestChecker  
TestChecker A simple checker used for testing the Checker Framework.
 

Annotation Types Summary
Encrypted Denotes an object with a representation that has been encrypted.
Odd  
PolyEncrypted  
 

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.