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:

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.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and 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

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

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

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

equals, getPrecision, hashCode, isLess

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

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: 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<SetAbstractState<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<SetAbstractState<T>>

copy

public SetAbstractState<T> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState<SetAbstractState<T>>

bottom

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