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

This AbortOperator never terminates the analysis prematurely.

Field Summary

Fields

Modifier and Type	Field and Description
static NeverAbortOperator	INSTANCE

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.

Methods inherited from class java.lang.Object

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

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 interface AbortOperator