Package proguard.analysis.cpa.defaults

Class AbstractWaitlist<StateT extends AbstractState<StateT>>

  • Type Parameters:
    StateT - The states contained in the waitlist.
    All Implemented Interfaces:
    Waitlist<StateT>
    Direct Known Subclasses:
    BreadthFirstWaitlist, DepthFirstWaitlist
    public abstract class AbstractWaitlist<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements Waitlist<StateT>
    This is a base class for Waitlists parametrized by the carrier CollectionT. It delegates all the Waitlist interfaces to its carrier collection.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.Collection<StateT> waitlist  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(StateT abstractState)
      Adds an abstract state.
      void addAll​(java.util.Collection<? extends StateT> abstractStates)
      Adds multiple abstract states.
      void clear()
      Empties the waitlist.
      boolean contains​(StateT abstractState)
      Checks whether the abstract state is present.
      boolean isEmpty()
      Checks whether the waitlist is empty.
      boolean remove​(StateT abstractState)
      Removes an abstract state.
      void removeAll​(java.util.Collection<? extends StateT> abstractStates)
      Removes multiple abstract states.
      int size()
      Returns the size of the waitlist.

      • Methods inherited from class java.lang.Object

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

      • Methods inherited from interface proguard.analysis.cpa.interfaces.Waitlist

        pop