Package org.checkerframework.framework.testchecker.util
package org.checkerframework.framework.testchecker.util
A minimal checker and simple annotation used for testing the Checker 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.
-
ClassDescriptionDenotes an exception that is particularly important.Denotes an object with a representation that has been encrypted.A postcondition annotation to indicate that a method ensures certain expressions to be
Odd.A conditional postcondition annotation to indicate that a method ensures certain expressions to beOddgiven a certain result (either true or false).A simple checker used for testing the Checker Framework.A specialized checker for testing purposes.A precondition annotation to indicate that a method requires certain expressions to beOdd.A subtype of SuperQual.A supertype of SubQual.