程序包 proguard.analysis.cpa.defaults

接口 MapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>

所有超级接口:

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

所有已知实现类:

HashMapAbstractState

public interface MapAbstractState<KeyT,AbstractSpaceT extends AbstractState<AbstractSpaceT>>
extends Map<KeyT,AbstractSpaceT>, AbstractState<MapAbstractState<KeyT,AbstractSpaceT>>

嵌套类概要

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

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

方法概要

修饰符和类型	方法	说明
MapAbstractState<KeyT,AbstractSpaceT>	copy()	Creates a copy of itself.
default boolean	isLessOrEqual(MapAbstractState<KeyT,AbstractSpaceT> abstractState)	Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
default MapAbstractState<KeyT,AbstractSpaceT>	join(MapAbstractState<KeyT,AbstractSpaceT> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

从接口继承的方法 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

方法详细资料

join

default MapAbstractState<KeyT,AbstractSpaceT> join(MapAbstractState<KeyT,AbstractSpaceT> abstractState)

从接口复制的说明: AbstractState

Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

指定者:

join 在接口中 AbstractState<KeyT>

isLessOrEqual

default boolean isLessOrEqual(MapAbstractState<KeyT,AbstractSpaceT> abstractState)

从接口复制的说明: AbstractState

Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).

指定者:

isLessOrEqual 在接口中 AbstractState<KeyT>

copy

MapAbstractState<KeyT,AbstractSpaceT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<KeyT>