Package edu.umd.cs.findbugs.ba
Class PruneUnconditionalExceptionThrowerEdges
java.lang.Object
edu.umd.cs.findbugs.ba.PruneUnconditionalExceptionThrowerEdges
- All Implemented Interfaces:
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
ConstructorDescriptionPruneUnconditionalExceptionThrowerEdges
(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 TypeMethodDescriptionstatic boolean
static Boolean
doesMethodUnconditionallyThrowException
(XMethod xMethod, org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method) Deprecated.void
execute()
boolean
Return whether or not the CFG was modified.
-
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
- Throws:
DataflowAnalysisException
-
doesMethodUnconditionallyThrowException
@Deprecated public static Boolean doesMethodUnconditionallyThrowException(XMethod xMethod, org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method) Deprecated.UsedoesMethodUnconditionallyThrowException(XMethod)
instead- Parameters:
xMethod
-javaClass
-method
-- Returns:
- true if method unconditionally throws
-
doesMethodUnconditionallyThrowException
- 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
-
doesMethodUnconditionallyThrowException(XMethod)
instead