Serialized Form

Package proguard.analysis.cpa.defaults

Class proguard.analysis.cpa.defaults.DefaultReachedSet extends java.util.LinkedHashSet<AbstractState> implements Serializable

Class proguard.analysis.cpa.defaults.HashMapAbstractState extends java.util.HashMap<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>> implements Serializable

Class proguard.analysis.cpa.defaults.LimitedHashMap extends java.util.HashMap<K,V> implements Serializable

Serialized Fields

removeElement

TriFunction<T,U,V,R> removeElement

Class proguard.analysis.cpa.defaults.LimitedHashMapAbstractState extends LimitedHashMap<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>> implements Serializable

Class proguard.analysis.cpa.defaults.ListAbstractState extends java.util.ArrayList<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>> implements Serializable

Class proguard.analysis.cpa.defaults.SetAbstractState extends java.util.HashSet<T> implements Serializable

Class proguard.analysis.cpa.defaults.StackAbstractState extends java.util.Stack<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>> implements Serializable

Package proguard.evaluation

Class proguard.evaluation.ExcessiveComplexityException extends java.lang.RuntimeException implements Serializable

Class proguard.evaluation.IncompleteClassHierarchyException extends java.lang.RuntimeException implements Serializable