-
Interface Summary
Interface |
Description |
AccessPathValues<T> |
|
DataFlow.Result<A extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<A>,S extends org.checkerframework.errorprone.dataflow.analysis.Store<S>,T extends org.checkerframework.errorprone.dataflow.analysis.TransferFunction<A,S>> |
A pair of Analysis and ControlFlowGraph.
|
-
Class Summary
Class |
Description |
AccessPath |
A sequence of field names or autovalue accessors, along with a receiver: either a variable or a
reference (explicit or implicit) to this .
|
AccessPathStore<V extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<V>> |
Immutable map from local variables or heap access paths to their AbstractValue
|
AccessPathStore.Builder<V extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<V>> |
|
ConstantPropagationAnalysis |
An interface to the constant propagation analysis.
|
DataFlow |
Provides a wrapper around Analysis .
|