Hierarchy For Package proguard.analysis.cpa.defaults

Package Hierarchies:

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)
        • java.util.Vector<E> (implements java.lang.Cloneable, java.util.List<E>, java.util.RandomAccess, java.io.Serializable)
      • 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.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.AbstractWaitlist<StateT> (implements proguard.analysis.cpa.interfaces.Waitlist<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>)

Interface Hierarchy

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