SetAbstractState (proguard-core 9.3.3-wcpe-4 API)

java.lang.Object
- java.util.AbstractCollection<E>
- - java.util.AbstractSet<E>
  - - java.util.HashSet<T>
    - - proguard.analysis.cpa.defaults.SetAbstractState<T>

所有已实现的接口:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<T>, java.util.Collection<T>, java.util.Set<T>, AbstractState<SetAbstractState<T>>
```
public class SetAbstractState<T>
extends java.util.HashSet<T>
implements AbstractState<SetAbstractState<T>>
```
This SetAbstractState represents a set with the subset ordering.

另请参阅:

序列化表格

构造器概要

构造器
构造器	说明
`SetAbstractState(java.util.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

从类继承的方法 java.util.AbstractSet
equals, hashCode, removeAll

从类继承的方法 java.util.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, 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, toArray, toArray

- 构造器详细资料
  - SetAbstractState
```
public SetAbstractState(T... items)
```
    Create a set abstract state from its elements.
    
    参数:
    
    items - an array of elements
  - SetAbstractState
```
public SetAbstractState(java.util.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()
```