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 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()
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

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

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