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>, 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 and Description
static SetAbstractState	bottom

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

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

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

isLess

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

equals, getPrecision, getStateByName, hashCode

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

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

isLessOrEqual

public boolean isLessOrEqual(SetAbstractState<T> abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<SetAbstractState<T>>

copy

public SetAbstractState<T> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState