proguard.analysis.cpa.defaults

Class ControllableAbortOperator

java.lang.Object

proguard.analysis.cpa.defaults.ControllableAbortOperator

All Implemented Interfaces:

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.

Field Summary

Fields

Modifier and Type	Field and Description
boolean	abort

Constructor Summary

Constructors

Constructor and Description
ControllableAbortOperator()

Method Summary

Modifier and Type	Method and 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 Detail

abort

public boolean abort

Constructor Detail

ControllableAbortOperator

public ControllableAbortOperator()

Method Detail

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