程序包 proguard.analysis.cpa.defaults

类 SetAbstractState<T>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<T>

proguard.analysis.cpa.defaults.SetAbstractState<T>

所有已实现的接口:

Serializable, Cloneable, Iterable<T>, Collection<T>, Set<T>, AbstractState<SetAbstractState<T>>

public class SetAbstractState<T>
extends HashSet<T>
implements AbstractState<SetAbstractState<T>>

This SetAbstractState represents a set with the subset ordering.

另请参阅:

• 序列化表格

构造器概要

构造器

构造器	说明
SetAbstractState(Collection<? extends T> c)	Create a set abstract state from a collection.
SetAbstractState(T... items)	Create a set abstract state from its elements.

方法概要

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

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

add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator, toArray, toArray

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

equals, hashCode, removeAll

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

addAll, containsAll, retainAll, toString

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

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

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

equals, getPrecision, hashCode, isLess

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

parallelStream, removeIf, stream, toArray

从接口继承的方法 java.lang.Iterable

forEach

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

addAll, containsAll, equals, hashCode, removeAll, retainAll

构造器详细资料

SetAbstractState

public SetAbstractState(T... items)

Create a set abstract state from its elements.

参数:

items - an array of elements

SetAbstractState

public SetAbstractState(Collection<? extends T> c)

Create a set abstract state from a collection.

参数:

c - a collection of elements

方法详细资料

join

public SetAbstractState<T> join(SetAbstractState<T> abstractState)

从接口复制的说明: AbstractState

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

指定者:

join 在接口中 AbstractState<T>

isLessOrEqual

public boolean isLessOrEqual(SetAbstractState<T> 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<T>

copy

public SetAbstractState<T> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<T>

bottom

public static <T> SetAbstractState<T> bottom()