Package it.unive.lisa.analysis.value

Interface ValueOracle

All Known Subinterfaces:

AbstractState<A>, SemanticOracle, TypeDomain<T>, ValueDomain<D>

All Known Implementing Classes:

DataflowDomain, DefiniteDataflowDomain, InferenceSystem, PossibleDataflowDomain, TypeEnvironment, ValueEnvironment

public interface ValueOracle

An oracle that can be queried for information about values being computed during program execution.