程序包 proguard.analysis.cpa.interfaces

接口 AbortOperator

所有已知实现类:
ControllableAbortOperator, NeverAbortOperator
public interface AbortOperator
The AbortOperator defines whether the analysis should terminate upon encountering a specific abstract state.

  • 方法概要

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

  • 方法详细资料

    • abort

      boolean abort(AbstractState<?> abstractState)
      The operator receives a newly discovered abstract state and returns whether the analysis should terminate.