Search Java Classes and Packages
#Org.checkerframework.checker.nullness Classes and Interfaces - 49 results found.
| Name | Description | Type | Package | Framework |
| AbstractNullnessChecker | An implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization. | Class | org.checkerframework.checker.nullness | Checker |
| 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 |
| CollectionToArrayHeuristics | Handles calls to Collection. | Class | org.checkerframework.checker.nullness | 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 |
| KeyForAnalysis | The analysis class for the KeyFor type system (serves as factory for the transfer function, stores and abstract values). | Class | org.checkerframework.checker.nullness | Checker |
| KeyForAnnotatedTypeFactory | Class | org.checkerframework.checker.nullness | Checker | |
| KeyForBottom | Class | org.checkerframework.checker.nullness.qual | Checker | |
| KeyForDecl | Java 7 compatibility annotation without dependency on Java 8 classes. | Class | org.checkerframework.checker.nullness.compatqual | Checker |
| KeyForPropagationTreeAnnotator | For the following initializations we wish to propagate the annotations from the left-hand side to the right-hand side or vice versa: | Class | org.checkerframework.checker.nullness | Checker |
| KeyForPropagator | KeyForPropagator is used to move nested KeyFor annotations from one side of a pseudo-assignment to the other. | Class | org.checkerframework.checker.nullness | Checker |
| KeyForPropagator .PropagationDirection | Returns the enum constant of this type with the specified name. | Class | org.checkerframework.checker.nullness | Checker |
| KeyForSubchecker | A type-checker for determining which which values are keys for which maps. | Class | org.checkerframework.checker.nullness | Checker |
| KeyForTransfer | Class | org.checkerframework.checker.nullness | 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 |
| KeyForVisitor | Class | org.checkerframework.checker.nullness | 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 |
| MonotonicNonNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| MonotonicNonNullType | Class | org.checkerframework.checker.nullness.compatqual | 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 |
| NonNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| NonNullType | Class | org.checkerframework.checker.nullness.compatqual | 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 |
| NullableDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| NullableType | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| NullnessAnalysis | The analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessAnnotatedTypeFactory | The annotated type factory for the nullness type-system. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessAnnotatedTypeFormatter | A DefaultAnnotatedTypeFormatter that prints null literals without their annotations. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessAnnotatedTypeFormatter .NullnessFormattingVisitor | Class | org.checkerframework.checker.nullness | Checker | |
| NullnessChecker | A concrete instantiation of AbstractNullnessChecker using freedom-before-commitment. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessRawnessChecker | A concrete instantiation of AbstractNullnessChecker using rawness. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessStore | Behaves like InitializationStore, but additionally tracks whether PolyNull is known to be Nullable. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessTransfer | Transfer function for the non-null type system. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessUtils | Utilities class for the Nullness Checker. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessValue | Behaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be Nullable. | Class | org.checkerframework.checker.nullness | Checker |
| NullnessVisitor | The visitor for the nullness type-system. | Class | org.checkerframework.checker.nullness | 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 |
| PolyNullDecl | Class | org.checkerframework.checker.nullness.compatqual | Checker | |
| PolyNullType | Class | org.checkerframework.checker.nullness.compatqual | 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 |
| SystemGetPropertyHandler | Utility class for handling System. | Class | org.checkerframework.checker.nullness | Checker |
| UnknownKeyFor | Used internally by the type system; should never be written by a programmer. | Class | org.checkerframework.checker.nullness.qual | Checker |