AnyMethodReturnValueStreamFactory |
Factory for stream objects of a particular base class type returned by any
method.
|
BuildCheckReturnAnnotationDatabase |
Scan application classes for CheckReturnValue annotations.
|
BuildNonNullAnnotationDatabase |
Deprecated.
|
BuildNonnullReturnDatabase |
Build database of methods that return values guaranteed to be nonnull
|
BuildStringPassthruGraph.MethodParameter |
|
BuildUnconditionalParamDerefDatabase |
Build database of unconditionally dereferenced parameters.
|
DeadLocalStoreProperty |
Warning property for FindDeadLocalStores.
|
DoomedCodeWarningProperty |
A WarningProperty for warnings that are reported at a "doomed" Location; one
that cannot return normally.
|
FindNoSideEffectMethods.MethodSideEffectStatus |
Public status of the method in NSE database
TODO: implement CHECK
|
FindRefComparison.StaticStringType |
Type representing a static String.
|
InconsistentSyncWarningProperty |
Warning properties for inconsistent synchronization detector.
|
InstanceFieldLoadStreamFactory |
StreamFactory for stream objects loaded from instance fields.
|
Naming.NamingProperty |
|
NonNullReturnProperty |
|
NullArgumentWarningProperty |
Warning property for a null argument being passed to a method which might
dereference it.
|
NullDerefProperty |
Warning properties for null pointer dereference and redundant null comparison
warnings.
|
RefComparisonWarningProperty |
Warning properties for FindRefComparison detector.
|
Stream |
A Stream object marks the location in the code where a stream is created.
|
StreamEquivalenceClass |
Set of streams that are in an equivalence class.
|
StreamEscape |
A StreamEscape is an object representing the escape of a Stream to a called
method.
|
StreamFactory |
An object that examines a Location and determines if a Stream is created
there.
|
StreamResourceTracker |
Resource tracker which determines where streams are created, and how they are
used within the method.
|
TypeReturnNull |
Base class for simple type checking detectors which tests if the method
returns null references for specific types.
|