Class | Description |
---|---|
AbstractNullnessChecker |
An implementation of the nullness type-system based on an initialization
type-system for safe initialization.
|
AbstractNullnessFbcChecker |
A concrete instantiation of
AbstractNullnessChecker using
freedom-before-commitment. |
AbstractNullnessRawnessChecker |
A concrete instantiation of
AbstractNullnessChecker using rawness. |
CollectionToArrayHeuristics |
Handles calls to
Collection.toArray() and determines
the appropriate nullness type of the returned value. |
KeyForAnnotatedTypeFactory | |
KeyForSubchecker |
TODO: doc
|
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.
|
NullnessChecker |
An aggregated checker for the nullness type-system (with
freedom-before-commitment) and
KeyFor ). |
NullnessRawnessChecker |
An aggregated checker for the nullness type-system (with rawness) and
KeyFor . |
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. |