Package proguard.analysis.cpa.defaults

Class NeverAbortOperator

java.lang.Object

proguard.analysis.cpa.defaults.NeverAbortOperator

All Implemented Interfaces:

AbortOperator

public final class NeverAbortOperator
extends Object
implements AbortOperator

This AbortOperator never terminates the analysis prematurely.

Field Summary

Fields

Modifier and Type	Field	Description
static final NeverAbortOperator	INSTANCE

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

INSTANCE

public static final NeverAbortOperator INSTANCE

Method Details

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