Package com.google.errorprone.dataflow
-
Interface Summary Interface Description AccessPathValues<T> Read-only access toAccessPathStore
for convenience.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) tothis
.AccessPathStore<V extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<V>> Immutable map from local variables or heap access paths to theirAbstractValue
AccessPathStore.Builder<V extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<V>> Builder forAccessPathStore
instances.ConstantPropagationAnalysis An interface to the constant propagation analysis.DataFlow Provides a wrapper aroundAnalysis
.