Class PruneUnconditionalExceptionThrowerEdges

java.lang.Object

edu.umd.cs.findbugs.ba.PruneUnconditionalExceptionThrowerEdges

All Implemented Interfaces:

EdgeTypes

public class PruneUnconditionalExceptionThrowerEdges
extends Object
implements EdgeTypes

Field Summary

Fields

Modifier and Type	Field	Description
private final AnalysisContext	analysisContext
private final CFG	cfg
private boolean	cfgModified
private final org.apache.bcel.generic.ConstantPoolGen	cpg
private static final boolean	DEBUG
private final org.apache.bcel.generic.MethodGen	methodGen
private final TypeDataflow	typeDataflow
private static final String	UNCONDITIONAL_THROWER_METHOD_NAMES
private static final Pattern	unconditionalThrowerPattern

Fields inherited from interface 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)
void	execute()
private boolean	isUnconditionalThrower(XMethod xMethod)
boolean	wasCFGModified()	Return whether or not the CFG was modified.

Methods inherited from class Object

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

Field Details

DEBUG

private static final boolean DEBUG

UNCONDITIONAL_THROWER_METHOD_NAMES

private static final 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 Pattern unconditionalThrowerPattern

Constructor Details

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 Details

execute

public void execute()
             throws DataflowAnalysisException

Throws:

DataflowAnalysisException

isUnconditionalThrower

private boolean isUnconditionalThrower(XMethod xMethod)

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