| Class | Description |
|---|---|
| AbstractNullnessChecker |
An implementation of the nullness type-system, parameterized by an initialization type-system for
safe initialization.
|
| CollectionToArrayHeuristics |
Handles calls to
Collection.toArray() and determines the appropriate nullness
type of the returned value. |
| KeyForAnnotatedTypeFactory | |
| KeyForAnnotatedTypeFactory.KeyForTypeHierarchy | |
| KeyForPropagationTreeAnnotator |
For the following initializations we wish to propagate the annotations from the left-hand side to
the right-hand side or vice versa:
|
| KeyForPropagator |
KeyForPropagator is used to move nested KeyFor annotations from one side of a pseudo-assignment
to the other.
|
| KeyForSubchecker |
A type-checker for determining which values are keys for which maps.
|
| KeyForTransfer | |
| NullnessAnalysis |
The analysis class for the non-null type system (serves as factory for the transfer function,
stores and abstract values.
|
| NullnessAnnotatedTypeFactory |
The annotated type factory for the nullness type-system.
|
| NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator |
Nullness doesn't call propagation on binary and unary because the result is
always @Initialized (the default qualifier).
|
| NullnessAnnotatedTypeFormatter |
A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.
|
| NullnessAnnotatedTypeFormatter.NullnessFormattingVisitor | |
| NullnessChecker |
A concrete instantiation of
AbstractNullnessChecker using freedom-before-commitment. |
| NullnessRawnessChecker |
A concrete instantiation of
AbstractNullnessChecker using rawness. |
| NullnessStore | |
| NullnessTransfer |
Transfer function for the non-null type system.
|
| NullnessUtil |
Utility class for the Nullness Checker.
|
| NullnessValue | |
| NullnessVisitor |
The visitor for the nullness type-system.
|
| SystemGetPropertyHandler |
Utility class for handling
System.getProperty(String) invocations. |
| Enum | Description |
|---|---|
| KeyForPropagator.PropagationDirection |