proguard.analysis.cpa.interfaces

Interface AbortOperator

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

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.

Method Detail

abort

boolean abort(AbstractState abstractState)

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