Package 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
    Description
    boolean
    abort(AbstractState<?> abstractState)
    The operator receives a newly discovered abstract state and returns whether the analysis should terminate.

  • Method Details

    • abort

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