Package proguard.analysis.cpa.defaults
Class DefaultReachedSet<StateT extends AbstractState<StateT>>
- java.lang.Object
-
- proguard.analysis.cpa.defaults.DefaultReachedSet<StateT>
-
- Type Parameters:
StateT
- The states contained in the reached set.
- All Implemented Interfaces:
ReachedSet<StateT>
public final class DefaultReachedSet<StateT extends AbstractState<StateT>> extends java.lang.Object implements ReachedSet<StateT>
This is aLinkedHashSet
-based implementation of theReachedSet
.
-
-
Constructor Summary
Constructors Constructor Description DefaultReachedSet()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
add(StateT abstractState)
Adds an abstract state.boolean
addAll(java.util.Collection<? extends StateT> abstractStates)
Adds multiple abstract states.java.util.Collection<StateT>
asCollection()
Returns a collection representation of itself.void
clear()
Empties the reached set.java.util.Collection<StateT>
getReached(StateT abstractState)
Returns a collection of abstract states mergeable with theabstractState
.boolean
remove(StateT state)
Removes an abstract state.boolean
removeAll(java.util.Collection<? extends StateT> abstractStates)
Removes multiple abstract states.
-
-
-
Method Detail
-
add
public boolean add(StateT abstractState)
Description copied from interface:ReachedSet
Adds an abstract state.- Specified by:
add
in interfaceReachedSet<StateT extends AbstractState<StateT>>
-
addAll
public boolean addAll(java.util.Collection<? extends StateT> abstractStates)
Description copied from interface:ReachedSet
Adds multiple abstract states.- Specified by:
addAll
in interfaceReachedSet<StateT extends AbstractState<StateT>>
-
remove
public boolean remove(StateT state)
Description copied from interface:ReachedSet
Removes an abstract state.- Specified by:
remove
in interfaceReachedSet<StateT extends AbstractState<StateT>>
-
removeAll
public boolean removeAll(java.util.Collection<? extends StateT> abstractStates)
Description copied from interface:ReachedSet
Removes multiple abstract states.- Specified by:
removeAll
in interfaceReachedSet<StateT extends AbstractState<StateT>>
-
asCollection
public java.util.Collection<StateT> asCollection()
Description copied from interface:ReachedSet
Returns a collection representation of itself.- Specified by:
asCollection
in interfaceReachedSet<StateT extends AbstractState<StateT>>
-
getReached
public java.util.Collection<StateT> getReached(StateT abstractState)
Description copied from interface:ReachedSet
Returns a collection of abstract states mergeable with theabstractState
.- Specified by:
getReached
in interfaceReachedSet<StateT extends AbstractState<StateT>>
-
clear
public void clear()
Description copied from interface:ReachedSet
Empties the reached set.- Specified by:
clear
in interfaceReachedSet<StateT extends AbstractState<StateT>>
-
-