| 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. |
| KeyForAnalysis |
The analysis class for the KeyFor type system (serves as factory for the
transfer function, stores and abstract values).
|
| KeyForAnnotatedTypeFactory | |
| KeyForPropagationTreeAnnotator |
For the following initializations we wish to propagate the annotations from the left-hand side
to the right-hand side or vice versa:
1.
|
| 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 which values are keys for which maps.
|
| KeyForTransfer | |
| KeyForVisitor | |
| 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.
|
| 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.
|
| NullnessUtils |
Utilities 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 |