AnyMethodReturnValueStreamFactory |
Factory for stream objects of a particular
base class type returned by any method.
|
BuildCheckReturnAnnotationDatabase |
Scan application classes for CheckReturnValue annotations.
|
BuildNonNullAnnotationDatabase |
Scan application classes for
NonNull annotations.
|
BuildNonnullReturnDatabase |
Build database of methods that return values guaranteed to be nonnull
|
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.
|
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.
|