AbortOperator (ProGuardCORE)

All Known Implementing Classes:

ControllableAbortOperator, NeverAbortOperator
```
public interface AbortOperator
```
The AbortOperator defines whether the analysis should terminate upon encountering a specific abstract state.

Method Summary

All Methods Instance Methods Abstract 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.

- Method Detail
  - abort
```
boolean abort(AbstractState abstractState)
```
    The operator receives a newly discovered abstract state and returns whether the analysis should terminate.