Hierarchy For Package com.ibm.wala.analysis.typeInference

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver<T> (implements com.ibm.wala.fixpoint.FixedPointConstants, com.ibm.wala.fixpoint.IFixedPointSolver<T>, com.ibm.wala.util.debug.VerboseAction)
    • com.ibm.wala.fixedpoint.impl.DefaultFixedPointSolver<T>
      • com.ibm.wala.dataflow.ssa.SSAInference<T>
        • com.ibm.wala.analysis.typeInference.TypeInference (implements com.ibm.wala.fixpoint.FixedPointConstants)
  • com.ibm.wala.fixpoint.AbstractOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
    • com.ibm.wala.fixedpoint.impl.NullaryOperator<T> (implements com.ibm.wala.fixpoint.FixedPointConstants)
      • com.ibm.wala.analysis.typeInference.TypeInference.DeclaredTypeOperator
    • com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator
  • com.ibm.wala.util.graph.impl.NodeWithNumber (implements com.ibm.wala.util.graph.INodeWithNumber)
    • com.ibm.wala.fixpoint.AbstractVariable<T> (implements com.ibm.wala.fixpoint.IVariable<T>)
      • com.ibm.wala.analysis.typeInference.TypeVariable
  • com.ibm.wala.ssa.SSAInstruction.Visitor (implements com.ibm.wala.ssa.SSAInstruction.IVisitor)
    • com.ibm.wala.analysis.typeInference.TypeInference.TypeOperatorFactory (implements com.ibm.wala.ssa.IVisitorWithAddresses, com.ibm.wala.dataflow.ssa.SSAInference.OperatorFactory<T>)
  • com.ibm.wala.analysis.typeInference.TypeAbstraction (implements com.ibm.wala.ipa.callgraph.ContextItem)
    • com.ibm.wala.analysis.typeInference.ConeType
    • com.ibm.wala.analysis.typeInference.PointType
    • com.ibm.wala.analysis.typeInference.PrimitiveType
      • com.ibm.wala.analysis.typeInference.JavaPrimitiveType
    • com.ibm.wala.analysis.typeInference.SetType
  • com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory (implements com.ibm.wala.dataflow.ssa.SSAInference.VariableFactory)