| CollectionToArrayHeuristics |
Determines the nullness type of calls to Collection.toArray().
|
| KeyForAnalysis |
Boilerplate code to glue together all the parts the KeyFor dataflow classes.
|
| 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:
|
| 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.
|
| NullnessChecker |
An implementation of the nullness type-system, parameterized by an initialization type-system for
safe initialization.
|
| NullnessNoInitAnalysis |
The analysis class for the non-null type system (serves as factory for the transfer function,
stores and abstract values.
|
| NullnessNoInitAnnotatedTypeFactory |
The annotated type factory for the nullness type-system.
|
| NullnessNoInitAnnotatedTypeFormatter |
A DefaultAnnotatedTypeFormatter that prints null literals without their annotations.
|
| NullnessNoInitAnnotatedTypeFormatter.NullnessFormattingVisitor |
The visitor used by the NullnessNoInitAnnotatedTypeFormatter.
|
| NullnessNoInitStore |
In addition to the base class behavior, tracks whether PolyNull is known to be NonNull or Nullable (or not known to be either). |
| NullnessNoInitSubchecker |
|
| NullnessNoInitTransfer |
Transfer function for the non-null type system.
|
| NullnessNoInitValue |
|
| NullnessNoInitVisitor |
The visitor for the nullness type-system.
|
| SystemGetPropertyHandler |
Utility class for handling System.getProperty(String) and related invocations.
|