Hierarchy For Package it.unive.lisa.analysis.dataflow

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.dataflow.DataflowDomain<D,E> (implements it.unive.lisa.analysis.BaseLattice<L>, it.unive.lisa.analysis.value.ValueDomain<D>)
    • it.unive.lisa.analysis.dataflow.DefiniteDataflowDomain<E>
    • it.unive.lisa.analysis.dataflow.PossibleDataflowDomain<E>

Interface Hierarchy

• it.unive.lisa.analysis.ScopedObject<T>
  • it.unive.lisa.analysis.dataflow.DataflowElement<D,E> (also extends it.unive.lisa.analysis.SemanticEvaluator, it.unive.lisa.util.representation.StructuredObject)
• it.unive.lisa.analysis.SemanticEvaluator
  • it.unive.lisa.analysis.dataflow.DataflowElement<D,E> (also extends it.unive.lisa.analysis.ScopedObject<T>, it.unive.lisa.util.representation.StructuredObject)
• it.unive.lisa.util.representation.StructuredObject
  • it.unive.lisa.analysis.dataflow.DataflowElement<D,E> (also extends it.unive.lisa.analysis.ScopedObject<T>, it.unive.lisa.analysis.SemanticEvaluator)