Package proguard.analysis.cpa.interfaces

Interface Waitlist<StateT extends AbstractState<StateT>>

Type Parameters:
StateT - The states contained in the waitlist.
All Known Implementing Classes:
AbstractWaitlist, BreadthFirstWaitlist, DepthFirstWaitlist
public interface Waitlist<StateT extends AbstractState<StateT>>
The Waitlist stores the AbstractStates the CpaAlgorithm needs to process.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    add(StateT state)
    Adds an abstract state.
    void
    addAll(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.
    StateT
    pop()
    Remove the next abstract state and return it.
    boolean
    remove(StateT abstractState)
    Removes an abstract state.
    void
    removeAll(Collection<? extends StateT> abstractStates)
    Removes multiple abstract states.
    int
    size()
    Returns the size of the waitlist.

  • Method Details

    • add

      void add(StateT state)
      Adds an abstract state.

    • addAll

      void addAll(Collection<? extends StateT> abstractStates)
      Adds multiple abstract states.

    • clear

      void clear()
      Empties the waitlist.

    • contains

      boolean contains(StateT abstractState)
      Checks whether the abstract state is present.

    • isEmpty

      boolean isEmpty()
      Checks whether the waitlist is empty.

    • pop

      StateT pop()
      Remove the next abstract state and return it.

    • remove

      boolean remove(StateT abstractState)
      Removes an abstract state.

    • removeAll

      void removeAll(Collection<? extends StateT> abstractStates)
      Removes multiple abstract states.

    • size

      int size()
      Returns the size of the waitlist.