Hierarchy For Package it.unive.lisa.analysis

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.BaseLattice<L> (implements it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.AnalysisState<A,H,V,T> (implements it.unive.lisa.analysis.SemanticDomain<D,E,I>)
    • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements java.lang.Iterable<T>)
      • it.unive.lisa.analysis.StatementStore<A,H,V,T>
    • it.unive.lisa.analysis.SimpleAbstractState<H,V,T> (implements it.unive.lisa.analysis.AbstractState<A,H,V,T>)
  • it.unive.lisa.util.datastructures.graph.code.CodeGraph<G,N,E> (implements it.unive.lisa.util.datastructures.graph.Graph<G,N,E>)
    • it.unive.lisa.program.cfg.CFG (implements it.unive.lisa.program.cfg.CodeMember)
      • it.unive.lisa.analysis.CFGWithAnalysisResults<A,H,V,T> (implements it.unive.lisa.analysis.Lattice<L>)
  • it.unive.lisa.analysis.ScopeToken
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • it.unive.lisa.analysis.SemanticExceptionWrapper
      • it.unive.lisa.analysis.SemanticException

Interface Hierarchy

• it.unive.lisa.analysis.Lattice<L>
  • it.unive.lisa.analysis.AbstractState<A,H,V,T> (also extends it.unive.lisa.analysis.SemanticDomain<D,E,I>)
• it.unive.lisa.analysis.SemanticDomain<D,E,I>
  • it.unive.lisa.analysis.AbstractState<A,H,V,T> (also extends it.unive.lisa.analysis.Lattice<L>)
• it.unive.lisa.analysis.SemanticEvaluator

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • it.unive.lisa.analysis.SemanticDomain.Satisfiability (implements it.unive.lisa.analysis.Lattice<L>)