程序包 proguard.analysis.cpa.defaults

类 ControllableAbortOperator

java.lang.Object

proguard.analysis.cpa.defaults.ControllableAbortOperator

所有已实现的接口:

AbortOperator

public class ControllableAbortOperator
extends Object
implements AbortOperator

This AbortOperator allows changing its behavior by setting the boolean field abort to the desired output.

字段概要

字段

修饰符和类型	字段	说明
boolean	abort

构造器概要

构造器

构造器	说明
ControllableAbortOperator()

方法概要

修饰符和类型	方法	说明
boolean	abort(AbstractState<?> abstractState)	The operator receives a newly discovered abstract state and returns whether the analysis should terminate.

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

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

字段详细资料

abort

public boolean abort

构造器详细资料

ControllableAbortOperator

public ControllableAbortOperator()

方法详细资料

abort

public boolean abort(AbstractState<?> abstractState)

从接口复制的说明: AbortOperator

The operator receives a newly discovered abstract state and returns whether the analysis should terminate.

指定者:

abort 在接口中 AbortOperator