Hierarchy For Package com.ibm.wala.demandpa.alg

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • com.ibm.wala.demandpa.alg.AbstractDemandPointsTo (implements com.ibm.wala.demandpa.alg.IDemandPointerAnalysis)
    • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo
    • com.ibm.wala.demandpa.alg.SimpleDemandPointsTo
  • com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine (implements com.ibm.wala.demandpa.alg.statemachine.StateMachine<T>)
  • com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.BasicRecursionHandler (implements com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.RecursionHandler)
  • com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.Factory (implements com.ibm.wala.demandpa.alg.statemachine.StateMachineFactory<T>)
  • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToComputer
    • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.FlowsToComputer
  • com.ibm.wala.util.collections.ImmutableStack<T> (implements java.lang.Iterable<T>)
    • com.ibm.wala.demandpa.alg.CallStack (implements com.ibm.wala.demandpa.alg.statemachine.StateMachine.State)
  • com.ibm.wala.demandpa.alg.IntraProcFilter (implements com.ibm.wala.demandpa.alg.statemachine.StateMachine<T>)
  • com.ibm.wala.demandpa.alg.IntraProcFilter.Factory (implements com.ibm.wala.demandpa.alg.statemachine.StateMachineFactory<T>)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • com.ibm.wala.demandpa.alg.BudgetExceededException
  • com.ibm.wala.demandpa.alg.WithState<T>
    • com.ibm.wala.demandpa.alg.InstanceFieldKeyAndState
    • com.ibm.wala.demandpa.alg.InstanceKeyAndState
    • com.ibm.wala.demandpa.alg.PointerKeyAndState

Interface Hierarchy

• com.ibm.wala.demandpa.alg.ContextSensitiveStateMachine.RecursionHandler
• com.ibm.wala.demandpa.alg.IDemandPointerAnalysis

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • com.ibm.wala.demandpa.alg.DemandRefinementPointsTo.PointsToResult