|
|||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | ||||||||
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 | |
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 | ||||||||