|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
See:
Description
| 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 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. |
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.
|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||