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

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • it.unive.lisa.analysis.combination.CartesianProduct<C,T1,T2,E,I> (implements it.unive.lisa.analysis.Lattice<L>, it.unive.lisa.analysis.SemanticDomain<D,E,I>)
    • it.unive.lisa.analysis.combination.ValueCartesianProduct<T1,T2> (implements it.unive.lisa.analysis.value.ValueDomain<D>)
      • it.unive.lisa.analysis.string.SubstringDomainWithConstants
  • it.unive.lisa.analysis.string.CharInclusion (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
  • it.unive.lisa.analysis.lattices.FunctionalLattice<F,K,V> (implements it.unive.lisa.analysis.BaseLattice<L>, java.lang.Iterable<T>)
    • it.unive.lisa.analysis.string.SubstringDomain (implements it.unive.lisa.analysis.value.ValueDomain<D>)
  • it.unive.lisa.analysis.string.Prefix (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)
  • it.unive.lisa.analysis.string.StringConstantPropagation (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>)
  • it.unive.lisa.analysis.string.Suffix (implements it.unive.lisa.analysis.nonrelational.value.BaseNonRelationalValueDomain<T>, it.unive.lisa.analysis.string.ContainsCharProvider)

Interface Hierarchy

• it.unive.lisa.analysis.string.ContainsCharProvider