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 |
Boiler plate 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 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 | |
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.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 |