proguard.analysis.cpa.domain.arg

Class ArgStopOperator

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgStopOperator

All Implemented Interfaces:

StopOperator

public class ArgStopOperator
extends java.lang.Object
implements StopOperator

This StopOperator delegates the decision to the wrapped stop operator.

Field Summary

Fields

Modifier and Type	Field and Description
protected StopOperator	wrappedStopOperator

Constructor Summary

Constructors

Constructor and Description
ArgStopOperator(StopOperator wrappedStopOperator) Create a wrapper stop operator around the given StopOperator.

Method Summary

Modifier and Type	Method and Description
boolean	stop(AbstractState abstractState, java.util.Collection<? extends AbstractState> 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

Field Detail

wrappedStopOperator

protected final StopOperator wrappedStopOperator

Constructor Detail

ArgStopOperator

public ArgStopOperator(StopOperator wrappedStopOperator)

Create a wrapper stop operator around the given StopOperator.

Parameters:

wrappedStopOperator - a stop operator to be wrapped.

Method Detail

stop

public boolean stop(AbstractState abstractState,
                    java.util.Collection<? extends AbstractState> 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