proguard.analysis.cpa.defaults

Class DefaultReachedSet

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<E>

java.util.LinkedHashSet<AbstractState>

proguard.analysis.cpa.defaults.DefaultReachedSet

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<AbstractState>, java.util.Collection<AbstractState>, java.util.Set<AbstractState>, ReachedSet

public final class DefaultReachedSet
extends java.util.LinkedHashSet<AbstractState>
implements ReachedSet

This is a LinkedHashSet-based implementation of the ReachedSet.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DefaultReachedSet()

Method Summary

Modifier and Type	Method and Description
java.util.Collection<AbstractState>	asCollection() Returns a collection representation of itself.
java.util.Collection<AbstractState>	getReached(AbstractState abstractState) Returns a collection of abstract states mergeable with the abstractState.
boolean	remove(AbstractState state) Removes an abstract state.

Methods inherited from class java.util.LinkedHashSet

spliterator

Methods inherited from class java.util.HashSet

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

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

add, addAll, removeAll

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

DefaultReachedSet

public DefaultReachedSet()

Method Detail

remove

public boolean remove(AbstractState state)

Description copied from interface: ReachedSet

Removes an abstract state.

Specified by:

remove in interface ReachedSet

asCollection

public java.util.Collection<AbstractState> asCollection()

Description copied from interface: ReachedSet

Returns a collection representation of itself.

Specified by:

asCollection in interface ReachedSet

getReached

public java.util.Collection<AbstractState> getReached(AbstractState abstractState)

Description copied from interface: ReachedSet

Returns a collection of abstract states mergeable with the abstractState.

Specified by:

getReached in interface ReachedSet