Uses of Class
com.google.errorprone.dataflow.AccessPathStore
-
Uses of AccessPathStore in com.google.errorprone.dataflow
Modifier and TypeClassDescriptionclass
AccessPathStore<V extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<V>>
Immutable map from local variables or heap access paths to theirAbstractValue
Modifier and TypeMethodDescriptionAccessPathStore.Builder.build()
AccessPathStore.copy()
static <V extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<V>>
AccessPathStore<V> AccessPathStore.empty()
AccessPathStore.leastUpperBound
(AccessPathStore<V> other) AccessPathStore.widenedUpperBound
(AccessPathStore<V> vAccessPathStore) Modifier and TypeMethodDescriptionAccessPathStore.leastUpperBound
(AccessPathStore<V> other) AccessPathStore.widenedUpperBound
(AccessPathStore<V> vAccessPathStore) Modifier and TypeMethodDescriptionAccessPathStore.visualize
(org.checkerframework.errorprone.dataflow.cfg.visualize.CFGVisualizer<?, AccessPathStore<V>, ?> cfgVisualizer)