Uses of Class
com.google.errorprone.dataflow.AccessPathStore
Packages that use AccessPathStore
-
Uses of AccessPathStore in com.google.errorprone.dataflow
Classes in com.google.errorprone.dataflow that implement interfaces with type arguments of type AccessPathStoreModifier and TypeClassDescriptionclass
AccessPathStore<V extends org.checkerframework.errorprone.dataflow.analysis.AbstractValue<V>>
Immutable map from local variables or heap access paths to theirAbstractValue
Methods in com.google.errorprone.dataflow that return AccessPathStoreModifier 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) Methods in com.google.errorprone.dataflow with parameters of type AccessPathStoreModifier and TypeMethodDescriptionAccessPathStore.leastUpperBound
(AccessPathStore<V> other) AccessPathStore.widenedUpperBound
(AccessPathStore<V> vAccessPathStore) Method parameters in com.google.errorprone.dataflow with type arguments of type AccessPathStoreModifier and TypeMethodDescriptionAccessPathStore.visualize
(org.checkerframework.errorprone.dataflow.cfg.visualize.CFGVisualizer<?, AccessPathStore<V>, ?> cfgVisualizer)