SetAbstractState (ProGuardCORE)

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

All Implemented Interfaces:

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

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

static SetAbstractState bottom

Constructor Summary

Constructors
Constructor	Description
`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.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`SetAbstractState<T>`	`copy()`	Creates a copy of itself.
`boolean`	`isLessOrEqual(SetAbstractState<T> abstractState)`	Compares itself to the `abstractState`.
`SetAbstractState<T>`	`join(SetAbstractState<T> abstractState)`	Computes a join over itself and the `abstractState`.

Methods inherited from class java.util.HashSet
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState
equals, getPrecision, getStateByName, hashCode

Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState
isLess

Methods inherited from interface java.util.Set
addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

- Field Detail
  - bottom
```
public static SetAbstractState bottom
```
- Constructor Detail
  - SetAbstractState
```
public SetAbstractState(T... items)
```
    Create a set abstract state from its elements.
    
    Parameters:
    
    items - an array of elements
  - SetAbstractState
```
public SetAbstractState(java.util.Collection<? extends T> c)
```
    Create a set abstract state from a collection.
    
    Parameters:
    
    c - a collection of elements
- Method Detail
  - join
```
public SetAbstractState<T> join(SetAbstractState<T> abstractState)
```
    Description copied from interface: LatticeAbstractState
    
    Computes a join over itself and the abstractState.
    
    Specified by:
    
    join in interface LatticeAbstractState<T>
  - isLessOrEqual
```
public boolean isLessOrEqual(SetAbstractState<T> abstractState)
```
    Description copied from interface: LatticeAbstractState
    
    Compares itself to the abstractState.
    
    Specified by:
    
    isLessOrEqual in interface LatticeAbstractState<T>
  - copy
```
public SetAbstractState<T> copy()
```
    Description copied from interface: AbstractState
    
    Creates a copy of itself.
    
    Specified by:
    
    copy in interface AbstractState