Name | Description | Type | Package | Framework |
KeyForDecl | Java 7 compatibility annotation without dependency on Java 8 classes. | Class | org.checkerframework.checker.nullness.compatqual | Checker |
KeyForType | Compatibility annotation to allow importing both declaration and typeSee Also:KeyForSee the Checker Framework Manual:Nullness Checker | Class | org.checkerframework.checker.nullness.compatqual | Checker |
MonotonicNonNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
MonotonicNonNullType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
NonNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
NonNullType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
NullableDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
NullableType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
PolyNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
PolyNullType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |