程序包 proguard.analysis.cpa.defaults

类 StopNeverOperator<StateT extends AbstractState<StateT>>

  • 类型参数:
    StateT - The type of the analyzed states.
    所有已实现的接口:
    StopOperator<StateT>
    public final class StopNeverOperator<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements StopOperator<StateT>
    This StopOperator always returns false, i.e., it can be used for analyses running until the Waitlist becomes empty.

    • 方法概要

      所有方法 实例方法 具体方法 
      修饰符和类型 方法 说明
      boolean stop​(StateT abstractState, java.util.Collection<StateT> reachedAbstractStates, Precision precision)
      The operator may decide based on the (generalized under the given precision) convergence.

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

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

    • 构造器详细资料

      • StopNeverOperator

        public StopNeverOperator()

    • 方法详细资料

      • stop

        public boolean stop​(StateT abstractState,
                    java.util.Collection<StateT> reachedAbstractStates,
                    Precision precision)
        从接口复制的说明: StopOperator
        The operator may decide based on the (generalized under the given precision) convergence. In this case it needs to look up the abstractState in the reachedAbstractStates. Otherwise, it can return true if sufficient information is collected, e.g., a safety property is violated.
        指定者:
        stop 在接口中 StopOperator<StateT extends AbstractState<StateT>>