Package proguard.analysis.cpa.defaults
Class NeverAbortOperator
- java.lang.Object
-
- proguard.analysis.cpa.defaults.NeverAbortOperator
-
- All Implemented Interfaces:
AbortOperator
public final class NeverAbortOperator extends java.lang.Object implements AbortOperator
ThisAbortOperator
never terminates the analysis prematurely.
-
-
Field Summary
Fields Modifier and Type Field Description static NeverAbortOperator
INSTANCE
-
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.
-
-
-
Field Detail
-
INSTANCE
public static final NeverAbortOperator INSTANCE
-
-
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 interfaceAbortOperator
-
-