程序包 proguard.analysis.cpa.defaults

类 BreadthFirstWaitlist<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWaitlist<StateT>

proguard.analysis.cpa.defaults.BreadthFirstWaitlist<StateT>

类型参数:

StateT - The states contained in the waitlist.

所有已实现的接口:

Waitlist<StateT>

public class BreadthFirstWaitlist<StateT extends AbstractState<StateT>>
extends AbstractWaitlist<StateT>

This Waitlist pops the first element, i.e., performs a breadth first traversal over the Cfa.

字段概要

从类继承的字段 proguard.analysis.cpa.defaults.AbstractWaitlist

waitlist

构造器概要

构造器

构造器	说明
BreadthFirstWaitlist()

方法概要

修饰符和类型	方法	说明
StateT	pop()	Remove the next abstract state and return it.

从类继承的方法 proguard.analysis.cpa.defaults.AbstractWaitlist

add, addAll, clear, contains, isEmpty, remove, removeAll, size

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

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

构造器详细资料

BreadthFirstWaitlist

public BreadthFirstWaitlist()

方法详细资料

pop

public StateT pop()

从接口复制的说明: Waitlist

Remove the next abstract state and return it.