Hierarchy For Package it.unive.lisa.analysis.nonrelational.value

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain.EvaluationVisitor<T> (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
  • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain.EvaluationVisitor<T> (implements it.unive.lisa.symbolic.ExpressionVisitor<T>)
  • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.nonrelational.VariableLift<M,E,T> (implements it.unive.lisa.analysis.SemanticDomain<D,E,I>)
      • it.unive.lisa.analysis.nonrelational.Environment<M,E,T>
        • it.unive.lisa.analysis.nonrelational.value.TypeEnvironment<T> (implements it.unive.lisa.analysis.type.TypeDomain<T>)
        • it.unive.lisa.analysis.nonrelational.value.ValueEnvironment<T> (implements it.unive.lisa.analysis.value.ValueDomain<D>)

Interface Hierarchy

• it.unive.lisa.analysis.SemanticEvaluator
  • it.unive.lisa.analysis.nonrelational.NonRelationalElement<T,E,F> (also extends it.unive.lisa.analysis.Lattice<L>)
    • it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>
      • it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain<T>
        • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain<T> (also extends it.unive.lisa.analysis.BaseLattice<L>)
      • it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>
        • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T> (also extends it.unive.lisa.analysis.BaseLattice<L>)
• it.unive.lisa.util.representation.StructuredObject
  • it.unive.lisa.analysis.Lattice<L>
    • it.unive.lisa.analysis.BaseLattice<L>
      • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain<T> (also extends it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain<T>)
      • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T> (also extends it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>)
    • it.unive.lisa.analysis.nonrelational.NonRelationalElement<T,E,F> (also extends it.unive.lisa.analysis.SemanticEvaluator)
      • it.unive.lisa.analysis.nonrelational.NonRelationalDomain<T,E,F>
        • it.unive.lisa.analysis.nonrelational.value.NonRelationalTypeDomain<T>
          • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalTypeDomain<T> (also extends it.unive.lisa.analysis.BaseLattice<L>)
        • it.unive.lisa.analysis.nonrelational.value.NonRelationalValueDomain<T>
          • it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T> (also extends it.unive.lisa.analysis.BaseLattice<L>)