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.Stack<E>
- java.util.ArrayList<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.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.LinkedHashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
- java.util.HashSet<E> (implements java.lang.Cloneable, java.io.Serializable, java.util.Set<E>)
- java.util.AbstractList<E> (implements java.util.List<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.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>)
- java.util.HashMap<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
- 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.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)
- java.util.AbstractCollection<E> (implements java.util.Collection<E>)
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>)
- proguard.analysis.cpa.defaults.LatticeAbstractState<AbstractStateT>
- 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