程序包proguard.analysis.cpa.defaults的分层结构

程序包分层结构:

• 所有程序包

类分层结构

• 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.interfaces.AbstractState<StateT>)
      • 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.interfaces.AbstractState<StateT>)
    • java.util.AbstractSet<E> (implements java.util.Set<E>)
      • java.util.HashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
        • proguard.analysis.cpa.defaults.SetAbstractState<T> (implements proguard.analysis.cpa.interfaces.AbstractState<StateT>)
  • 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.AbstractWaitlist<StateT> (implements proguard.analysis.cpa.interfaces.Waitlist<StateT>)
    • proguard.analysis.cpa.defaults.BreadthFirstWaitlist<StateT>
    • proguard.analysis.cpa.defaults.DepthFirstWaitlist<StateT>
  • proguard.analysis.cpa.defaults.Cfa<CfaNodeT,CfaEdgeT,SignatureT>
  • proguard.analysis.cpa.defaults.ControllableAbortOperator (implements proguard.analysis.cpa.interfaces.AbortOperator)
  • proguard.analysis.cpa.defaults.DefaultReachedSet<StateT> (implements proguard.analysis.cpa.interfaces.ReachedSet<StateT>)
  • proguard.analysis.cpa.defaults.MergeJoinOperator<StateT> (implements proguard.analysis.cpa.interfaces.MergeOperator<StateT>)
  • proguard.analysis.cpa.defaults.MergeSepOperator<StateT> (implements proguard.analysis.cpa.interfaces.MergeOperator<StateT>)
  • proguard.analysis.cpa.defaults.NeverAbortOperator (implements proguard.analysis.cpa.interfaces.AbortOperator)
  • proguard.analysis.cpa.defaults.PrecisionAdjustmentResult<StateT>
  • proguard.analysis.cpa.defaults.ProgramLocationDependentReachedSet<StateT> (implements proguard.analysis.cpa.interfaces.ReachedSet<StateT>)
  • proguard.analysis.cpa.defaults.SimpleCpa<StateT> (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis<StateT>)
  • proguard.analysis.cpa.defaults.StaticPrecisionAdjustment (implements proguard.analysis.cpa.interfaces.PrecisionAdjustment)
  • proguard.analysis.cpa.defaults.StopAlwaysOperator<StateT> (implements proguard.analysis.cpa.interfaces.StopOperator<StateT>)
  • proguard.analysis.cpa.defaults.StopContainedOperator<StateT> (implements proguard.analysis.cpa.interfaces.StopOperator<StateT>)
  • proguard.analysis.cpa.defaults.StopJoinOperator<StateT> (implements proguard.analysis.cpa.interfaces.StopOperator<StateT>)
  • proguard.analysis.cpa.defaults.StopNeverOperator<StateT> (implements proguard.analysis.cpa.interfaces.StopOperator<StateT>)
  • proguard.analysis.cpa.defaults.StopSepOperator<StateT> (implements proguard.analysis.cpa.interfaces.StopOperator<StateT>)

接口分层结构

• proguard.analysis.cpa.interfaces.AbstractState<StateT>
  • proguard.analysis.cpa.defaults.MapAbstractState<KeyT,AbstractSpaceT> (并 extends java.util.Map<K,V>)
• java.util.Map<K,V>
  • proguard.analysis.cpa.defaults.MapAbstractState<KeyT,AbstractSpaceT> (并 extends proguard.analysis.cpa.interfaces.AbstractState<StateT>)