类 DepthFirstWaitlist<StateT extends AbstractState<StateT>>

java.lang.Object
proguard.analysis.cpa.defaults.AbstractWaitlist<StateT>
proguard.analysis.cpa.defaults.DepthFirstWaitlist<StateT>
类型参数:
StateT - The states contained in the waitlist.
所有已实现的接口:
Waitlist<StateT>

public class DepthFirstWaitlist<StateT extends AbstractState<StateT>> extends AbstractWaitlist<StateT>
This Waitlist pops the last element, i.e., performs a depth first traversal over the Cfa.
  • 构造器详细资料

    • DepthFirstWaitlist

      public DepthFirstWaitlist()
  • 方法详细资料

    • pop

      public StateT pop()
      从接口复制的说明: Waitlist
      Remove the next abstract state and return it.