Name | Description | Type | Package | Framework |
AssertNonNullIfNonNull | Indicates that if the method returns a non-null value, then the value expressions are also non-null. | Class | org.checkerframework.checker.nullness.qual | Checker |
Covariant | A marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly. | Class | org.checkerframework.checker.nullness.qual | Checker |
EnsuresNonNull | Indicates that the value expressions are non-null, if the method terminates successfully. | Class | org.checkerframework.checker.nullness.qual | Checker |
EnsuresNonNullIf | Indicates that the given expressions are non-null, if the method returns the given result (either true or false). | Class | org.checkerframework.checker.nullness.qual | Checker |
KeyFor | Indicates that the value assigned to the annotated variable is a key for at least the given map(s). | Class | org.checkerframework.checker.nullness.qual | Checker |
KeyForBottom | Class | org.checkerframework.checker.nullness.qual | Checker | |
LazyNonNull | This annotation is deprecated. | Class | org.checkerframework.checker.nullness.qual | Checker |
MonotonicNonNull | Indicates that a field (or variable) is lazily initialized to a non-null value. | Class | org.checkerframework.checker.nullness.qual | Checker |
NonNull | NonNull is a type annotation that indicates that an expression is For fields of a class, the NonNull annotation indicates that this | Class | org.checkerframework.checker.nullness.qual | Checker |
NonRaw | This type qualifier belongs to the rawness initialization tracking type-system. | Class | org.checkerframework.checker.nullness.qual | Checker |
Nullable | Nullable is a type annotation that indicates that the value is not known to be non-null (see NonNull). | Class | org.checkerframework.checker.nullness.qual | Checker |
PolyKeyFor | A polymorphic qualifier for the Map Key (@KeyFor) type system. | Class | org.checkerframework.checker.nullness.qual | Checker |
PolyNull | A polymorphic qualifier for the non-null type system. | Class | org.checkerframework.checker.nullness.qual | Checker |
PolyRaw | A polymorphic qualifier for the Rawness type system. | Class | org.checkerframework.checker.nullness.qual | Checker |
Raw | This type qualifier belongs to the rawness type-system for tracking initialization. | Class | org.checkerframework.checker.nullness.qual | Checker |
RequiresNonNull | Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked. | Class | org.checkerframework.checker.nullness.qual | Checker |
UnknownKeyFor | Used internally by the type system; should never be written by a programmer. | Class | org.checkerframework.checker.nullness.qual | Checker |