Package proguard.analysis.cpa.defaults

Class SetAbstractState<T>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<T>

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

All Implemented Interfaces:

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.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
SetAbstractState(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

Modifier and Type	Method	Description
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).

Methods inherited from class java.util.HashSet

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

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, 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, hashCode, isLess

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll

Constructor Details

SetAbstractState

public SetAbstractState(T... items)

Create a set abstract state from its elements.

Parameters:

items - an array of elements

SetAbstractState

public SetAbstractState(Collection<? extends T> c)

Create a set abstract state from a collection.

Parameters:

c - a collection of elements

Method Details

join

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

Description copied from interface: AbstractState

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

Specified by:

join in interface AbstractState<T>

isLessOrEqual

public boolean isLessOrEqual(SetAbstractState<T> abstractState)

Description copied from interface: AbstractState

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

Specified by:

isLessOrEqual in interface AbstractState<T>

copy

public SetAbstractState<T> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState<T>

bottom

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