Hierarchy For Package proguard.analysis.cpa.defaults

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • java.util.AbstractCollection<E> (implements java.util.Collection<E>)
    • java.util.AbstractList<E> (implements java.util.List<E>)
      • java.util.ArrayList<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • proguard.analysis.cpa.defaults.ListAbstractState<AbstractSpaceT> (implements proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>)
      • java.util.Vector<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
        • java.util.Stack<E>
          • proguard.analysis.cpa.defaults.StackAbstractState<AbstractSpaceT> (implements proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • java.util.HashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
        • java.util.LinkedHashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
          • proguard.analysis.cpa.defaults.DefaultReachedSet (implements proguard.analysis.cpa.interfaces.ReachedSet)
        • proguard.analysis.cpa.defaults.SetAbstractState<T> (implements proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>)
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
      • proguard.analysis.cpa.defaults.HashMapAbstractState<KeyT,AbstractSpaceT> (implements proguard.analysis.cpa.defaults.MapAbstractState<KeyT,AbstractSpaceT>)
      • proguard.analysis.cpa.defaults.LimitedHashMap<K,V>
        • proguard.analysis.cpa.defaults.LimitedHashMapAbstractState<KeyT,AbstractSpaceT> (implements proguard.analysis.cpa.defaults.MapAbstractState<KeyT,AbstractSpaceT>)
  • proguard.analysis.cpa.defaults.AbstractWaitlist<CollectionT> (implements proguard.analysis.cpa.interfaces.Waitlist)
    • proguard.analysis.cpa.defaults.BreadthFirstWaitlist
    • proguard.analysis.cpa.defaults.DepthFirstWaitlist
  • proguard.analysis.cpa.defaults.AbstractWrapperState (implements proguard.analysis.cpa.interfaces.AbstractState)
    • proguard.analysis.cpa.defaults.AbstractSingleWrapperState
  • proguard.analysis.cpa.defaults.BamCpaRun.Builder
  • proguard.analysis.cpa.defaults.Cfa<CfaNodeT,CfaEdgeT,SignatureT>
  • proguard.analysis.cpa.defaults.ControllableAbortOperator (implements proguard.analysis.cpa.interfaces.AbortOperator)
  • proguard.analysis.cpa.defaults.CpaRun<CpaT,AbstractStateT>
    • proguard.analysis.cpa.defaults.BamCpaRun<CpaT,AbstractStateT,CfaNodeT,CfaEdgeT,SignatureT>
    • proguard.analysis.cpa.defaults.SequentialCpaRun<CpaT,AbstractStateT,InputCpaRunT>
  • proguard.analysis.cpa.defaults.DelegateAbstractDomain<LatticeAbstractStateT> (implements proguard.analysis.cpa.interfaces.AbstractDomain)
  • proguard.analysis.cpa.defaults.DifferentialMap<K,V> (implements java.util.Map<K,V>)
    • proguard.analysis.cpa.defaults.DifferentialMapAbstractState<KeyT,AbstractSpaceT> (implements proguard.analysis.cpa.defaults.MapAbstractState<KeyT,AbstractSpaceT>)
  • proguard.analysis.cpa.defaults.MemoryLocation<CfaNodeT,CfaEdgeT,SignatureT,ValueT,AbstractStateT>
  • proguard.analysis.cpa.defaults.MergeJoinOperator (implements proguard.analysis.cpa.interfaces.MergeOperator)
  • proguard.analysis.cpa.defaults.MergeSepOperator (implements proguard.analysis.cpa.interfaces.MergeOperator)
  • proguard.analysis.cpa.defaults.NeverAbortOperator (implements proguard.analysis.cpa.interfaces.AbortOperator)
  • proguard.analysis.cpa.defaults.PrecisionAdjustmentResult
  • proguard.analysis.cpa.defaults.ProgramLocationDependentReachedSet<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT> (implements proguard.analysis.cpa.interfaces.ReachedSet)
  • proguard.analysis.cpa.defaults.SimpleCpa (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis)
  • proguard.analysis.cpa.defaults.SingleWrapperTransferRelation (implements proguard.analysis.cpa.interfaces.WrapperTransferRelation)
  • proguard.analysis.cpa.defaults.StaticPrecisionAdjustment (implements proguard.analysis.cpa.interfaces.PrecisionAdjustment)
  • proguard.analysis.cpa.defaults.StopAlwaysOperator (implements proguard.analysis.cpa.interfaces.StopOperator)
  • proguard.analysis.cpa.defaults.StopContainedOperator (implements proguard.analysis.cpa.interfaces.StopOperator)
  • proguard.analysis.cpa.defaults.StopJoinOperator (implements proguard.analysis.cpa.interfaces.StopOperator)
  • proguard.analysis.cpa.defaults.StopNeverOperator (implements proguard.analysis.cpa.interfaces.StopOperator)
  • proguard.analysis.cpa.defaults.StopSepOperator (implements proguard.analysis.cpa.interfaces.StopOperator)

Interface Hierarchy

• proguard.analysis.cpa.interfaces.AbstractState
  • proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>
    • proguard.analysis.cpa.defaults.MapAbstractState<KeyT,AbstractSpaceT> (also extends java.util.Map<K,V>)
• java.util.Map<K,V>
  • proguard.analysis.cpa.defaults.MapAbstractState<KeyT,AbstractSpaceT> (also extends proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>)
• proguard.analysis.cpa.defaults.SequentialCpaRun.PreviousRunDurationReceiver