类 NeverAbortOperator
- java.lang.Object
-
- proguard.analysis.cpa.defaults.NeverAbortOperator
-
- 所有已实现的接口:
AbortOperator
public final class NeverAbortOperator extends java.lang.Object implements AbortOperator
ThisAbortOperatornever terminates the analysis prematurely.
-
-
字段概要
字段 修饰符和类型 字段 说明 static NeverAbortOperatorINSTANCE
-
方法概要
所有方法 实例方法 具体方法 修饰符和类型 方法 说明 booleanabort(AbstractState<?> abstractState)The operator receives a newly discovered abstract state and returns whether the analysis should terminate.
-
-
-
字段详细资料
-
INSTANCE
public static final NeverAbortOperator INSTANCE
-
-
方法详细资料
-
abort
public boolean abort(AbstractState<?> abstractState)
从接口复制的说明:AbortOperatorThe operator receives a newly discovered abstract state and returns whether the analysis should terminate.- 指定者:
abort在接口中AbortOperator
-
-