Package proguard.analysis.cpa.defaults

Class ControllableAbortOperator

java.lang.Object

proguard.analysis.cpa.defaults.ControllableAbortOperator

All Implemented Interfaces:

AbortOperator

public class ControllableAbortOperator
extends Object
implements AbortOperator

This AbortOperator allows changing its behavior by setting the boolean field abort to the desired output.

Field Summary

Fields

Modifier and Type	Field	Description
boolean	abort

Constructor Summary

Constructors

Constructor	Description
ControllableAbortOperator()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Details

abort

public boolean abort

Constructor Details

ControllableAbortOperator

public ControllableAbortOperator()

Method Details

abort

public boolean abort(AbstractState<?> abstractState)

Description copied from interface: AbortOperator

The operator receives a newly discovered abstract state and returns whether the analysis should terminate.

Specified by:

abort in interface AbortOperator