程序包 proguard.analysis.cpa.defaults

类 AbstractWaitlist<StateT extends AbstractState<StateT>>

  • 类型参数:
    StateT - The states contained in the waitlist.
    所有已实现的接口:
    Waitlist<StateT>
    直接已知子类:
    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.

    • 字段概要

      字段 
      修饰符和类型 字段 说明
      protected java.util.Collection<StateT> waitlist  

    • 方法概要

      所有方法 实例方法 具体方法 
      修饰符和类型 方法 说明
      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.

      • 从类继承的方法 java.lang.Object

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

      • 从接口继承的方法 proguard.analysis.cpa.interfaces.Waitlist

        pop