proguard.analysis.cpa.defaults

Class StopNeverOperator<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.defaults.StopNeverOperator<StateT>

Type Parameters:

StateT - The type of the analyzed states.

All Implemented Interfaces:

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.

Constructor Summary

Constructors

Constructor and Description
StopNeverOperator()

Method Summary

Modifier and Type	Method and Description
boolean	stop(StateT abstractState, java.util.Collection<StateT> reachedAbstractStates, Precision precision) The operator may decide based on the (generalized under the given precision) convergence.

Methods inherited from class java.lang.Object

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

Constructor Detail

StopNeverOperator

public StopNeverOperator()

Method Detail

stop

public boolean stop(StateT abstractState,
                    java.util.Collection<StateT> reachedAbstractStates,
                    Precision precision)

Description copied from interface: 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.

Specified by:

stop in interface StopOperator<StateT extends AbstractState<StateT>>