Package com.google.errorprone.dataflow

package com.google.errorprone.dataflow
  • 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.
    AccessPathValues<T>
    Read-only access to AccessPathStore for convenience.
    ConstantPropagationAnalysis
    An interface to the constant propagation analysis.
    DataFlow
    Provides a wrapper around Analysis.
    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.