程序包 proguard.analysis.cpa.defaults

类 HashMapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>

java.lang.Object

java.util.AbstractMap<K,V>

java.util.HashMap<KeyT,AbstractSpaceT>

proguard.analysis.cpa.defaults.HashMapAbstractState<KeyT,AbstractSpaceT>

所有已实现的接口:

Serializable, Cloneable, Map<KeyT,AbstractSpaceT>, MapAbstractState<KeyT,AbstractSpaceT>, AbstractState<MapAbstractState<KeyT,AbstractSpaceT>>

public class HashMapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>
extends HashMap<KeyT,AbstractSpaceT>
implements MapAbstractState<KeyT,AbstractSpaceT>

This HashMapAbstractState represents a map to AbstractStates with the semilattice operators lifted to the map.

另请参阅:

• 序列化表格

嵌套类概要

从类继承的嵌套类/接口 java.util.AbstractMap

AbstractMap.SimpleEntry<K extends Object,V extends Object>, AbstractMap.SimpleImmutableEntry<K extends Object,V extends Object>

从接口继承的嵌套类/接口 java.util.Map

Map.Entry<K extends Object,V extends Object>

构造器概要

构造器

构造器	说明
HashMapAbstractState()	Create an empty hash map abstract state.
HashMapAbstractState(int initialCapacity)	Create an empty hash map abstract state with reserved initial capacity.
HashMapAbstractState(Map<? extends KeyT,? extends AbstractSpaceT> m)	Create a hash map abstract state from another map.

方法概要

修饰符和类型	方法	说明
HashMapAbstractState<KeyT,AbstractSpaceT>	copy()	Creates a copy of itself.

从类继承的方法 java.util.HashMap

clear, clone, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

从类继承的方法 java.util.AbstractMap

equals, hashCode, toString

从类继承的方法 java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

从接口继承的方法 proguard.analysis.cpa.interfaces.AbstractState

equals, getPrecision, hashCode, isLess

从接口继承的方法 java.util.Map

clear, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

从接口继承的方法 proguard.analysis.cpa.defaults.MapAbstractState

isLessOrEqual, join

构造器详细资料

HashMapAbstractState

public HashMapAbstractState()

Create an empty hash map abstract state.

HashMapAbstractState

public HashMapAbstractState(int initialCapacity)

Create an empty hash map abstract state with reserved initial capacity.

参数:

initialCapacity - the initial capacity of the hash table

HashMapAbstractState

public HashMapAbstractState(Map<? extends KeyT,? extends AbstractSpaceT> m)

Create a hash map abstract state from another map.

参数:

m - map which elements are used for initialization

方法详细资料

copy

public HashMapAbstractState<KeyT,AbstractSpaceT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<KeyT>

指定者:

copy 在接口中 MapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>