Package com.google.errorprone.dataflow

  • Interface Summary
    Interface Description
    AccessPathValues<T>
    Read-only access to AccessPathStore 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) 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>>
    Builder for AccessPathStore instances.
    ConstantPropagationAnalysis
    An interface to the constant propagation analysis.
    DataFlow
    Provides a wrapper around Analysis.