| Class | Description |
|---|---|
| CollectionToArrayHeuristics |
Determines the nullness type of calls to
Collection.toArray(). |
| KeyForAnalysis |
Boilerplate code to glue together all the parts the KeyFor dataflow classes.
|
| 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 in type arguments from one side of a
pseudo-assignment to the other.
|
| KeyForStore | |
| KeyForSubchecker |
A type-checker for determining which values are keys for which maps.
|
| KeyForTransfer |
KeyForTransfer ensures that java.util.Map.put and containsKey cause the appropriate @KeyFor
annotation to be added to the key.
|
| KeyForValue |
KeyForValue holds additional information about which maps this value is a key for.
|
| 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.NullnessPropagationTreeAnnotator |
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 |
An implementation of the nullness type-system, parameterized by an initialization type-system for
safe initialization.
|
| NullnessStore |
Behaves like
InitializationStore, but additionally tracks whether PolyNull is
known to be NonNull or Nullable (or not known to be either). |
| NullnessTransfer |
Transfer function for the non-null type system.
|
| NullnessValue | |
| NullnessVisitor |
The visitor for the nullness type-system.
|
| SystemGetPropertyHandler |
Utility class for handling
System.getProperty(String) and related invocations. |
| Enum | Description |
|---|---|
| KeyForPropagator.PropagationDirection |