程序包 proguard.analysis.cpa.defaults

类 ControllableAbortOperator

  • 所有已实现的接口:
    AbortOperator
    public class ControllableAbortOperator
extends java.lang.Object
implements AbortOperator
    This AbortOperator allows changing its behavior by setting the boolean field abort to the desired output.

    • 字段概要

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

    • 方法概要

      所有方法 实例方法 具体方法 
      修饰符和类型 方法 说明
      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