Package edu.umd.cs.findbugs.ba

Class PruneUnconditionalExceptionThrowerEdges

java.lang.Object

edu.umd.cs.findbugs.ba.PruneUnconditionalExceptionThrowerEdges

All Implemented Interfaces:

EdgeTypes

public class PruneUnconditionalExceptionThrowerEdges
extends java.lang.Object
implements EdgeTypes

Field Summary

Fields

Modifier and Type	Field	Description
private AnalysisContext	analysisContext
private CFG	cfg
private boolean	cfgModified
private org.apache.bcel.generic.ConstantPoolGen	cpg
private static boolean	DEBUG
private static boolean	DEBUG_DIFFERENCES
private org.apache.bcel.generic.MethodGen	methodGen
private static java.util.BitSet	RETURN_OPCODE_SET
private TypeDataflow	typeDataflow
private static java.lang.String	UNCONDITIONAL_THROWER_METHOD_NAMES
private static java.util.regex.Pattern	unconditionalThrowerPattern

Fields inherited from interface edu.umd.cs.findbugs.ba.EdgeTypes

BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE

Constructor Summary

Constructors

Constructor	Description
PruneUnconditionalExceptionThrowerEdges(org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method, org.apache.bcel.generic.MethodGen methodGen, CFG cfg, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow, AnalysisContext analysisContext)

Method Summary

Modifier and Type	Method	Description
static boolean	doesMethodUnconditionallyThrowException(XMethod xMethod)
static java.lang.Boolean	doesMethodUnconditionallyThrowException(XMethod xMethod, org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method)	Deprecated. Use doesMethodUnconditionallyThrowException(XMethod) instead
void	execute()
private boolean	isUnconditionalThrower(XMethod xMethod)
boolean	wasCFGModified()	Return whether or not the CFG was modified.

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

private static final boolean DEBUG

DEBUG_DIFFERENCES

private static final boolean DEBUG_DIFFERENCES

UNCONDITIONAL_THROWER_METHOD_NAMES

private static final java.lang.String UNCONDITIONAL_THROWER_METHOD_NAMES

methodGen

private final org.apache.bcel.generic.MethodGen methodGen

cfg

private final CFG cfg

cpg

private final org.apache.bcel.generic.ConstantPoolGen cpg

typeDataflow

private final TypeDataflow typeDataflow

analysisContext

private final AnalysisContext analysisContext

cfgModified

private boolean cfgModified

unconditionalThrowerPattern

private static final java.util.regex.Pattern unconditionalThrowerPattern

RETURN_OPCODE_SET

private static final java.util.BitSet RETURN_OPCODE_SET

Constructor Detail

PruneUnconditionalExceptionThrowerEdges

public PruneUnconditionalExceptionThrowerEdges(org.apache.bcel.classfile.JavaClass javaClass,
                                               org.apache.bcel.classfile.Method method,
                                               org.apache.bcel.generic.MethodGen methodGen,
                                               CFG cfg,
                                               org.apache.bcel.generic.ConstantPoolGen cpg,
                                               TypeDataflow typeDataflow,
                                               AnalysisContext analysisContext)

Method Detail

execute

public void execute()
             throws DataflowAnalysisException

Throws:

DataflowAnalysisException

isUnconditionalThrower

private boolean isUnconditionalThrower(XMethod xMethod)

doesMethodUnconditionallyThrowException

@Deprecated
public static java.lang.Boolean doesMethodUnconditionallyThrowException(XMethod xMethod,
                                                                        org.apache.bcel.classfile.JavaClass javaClass,
                                                                        org.apache.bcel.classfile.Method method)

Deprecated.

Use doesMethodUnconditionallyThrowException(XMethod) instead

Parameters:

xMethod -

javaClass -

method -

Returns:

true if method unconditionally throws

doesMethodUnconditionallyThrowException

public static boolean doesMethodUnconditionallyThrowException(XMethod xMethod)

Parameters:

xMethod -

Returns:

true if method unconditionally throws

wasCFGModified

public boolean wasCFGModified()

Return whether or not the CFG was modified.

Returns:

true if CFG was modified, false otherwise