ControllableAbortOperator (ProGuardCORE)

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 Description

boolean abort

Constructor Summary

Constructors
Constructor Description

ControllableAbortOperator()

Method Summary

All Methods Instance Methods Concrete Methods
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 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