| 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 | |