Package | Description |
---|---|
edu.umd.cs.findbugs.ba |
A bytecode analysis framework for BCEL, providing CFG construction,
generic dataflow analysis, and a variety of specific dataflow analyses.
|
Modifier and Type | Field and Description |
---|---|
static int |
EdgeTypes.BACKEDGE_SOURCE_EDGE
Special (synthetic) edge for path profiling; backedge source to CFG exit.
|
static int |
EdgeTypes.BACKEDGE_TARGET_EDGE
Special (synthetic) edge for path profiling; CFG entry to backedge
target.
|
static int |
EdgeTypes.EXIT_EDGE
System.exit() edge.
|
static int |
EdgeTypes.FALL_THROUGH_EDGE
Edge type for fall-through to next instruction.
|
static int |
EdgeTypes.GOTO_EDGE
Edge type for GOTO instructions.
|
static int |
EdgeTypes.HANDLED_EXCEPTION_EDGE
Edge representing control flow from an exception-raising basic block to
an explicit handler for the exception.
|
static int |
EdgeTypes.IFCMP_EDGE
Edge type for IFCMP instructions when condition is true.
|
static int |
EdgeTypes.JSR_EDGE
Edge type for JSR instructions.
|
static int |
EdgeTypes.RET_EDGE
Edge type for RET instructions.
|
static int |
EdgeTypes.RETURN_EDGE
Edge type for RETURN instructions.
|
static int |
EdgeTypes.START_EDGE
Edge from entry node to real start node.
|
static int |
EdgeTypes.SWITCH_DEFAULT_EDGE
Edge type for switch instructions (default case).
|
static int |
EdgeTypes.SWITCH_EDGE
Edge type for switch instructions (explicit case).
|
static int |
EdgeTypes.UNHANDLED_EXCEPTION_EDGE
Edge representing the possibility that an exception might propagate out
of the current method.
|
static int |
EdgeTypes.UNKNOWN_EDGE
Unknown edge type.
|
Modifier and Type | Method and Description |
---|---|
int |
Target.getEdgeType()
Get the control flow edge type.
|
int |
Edge.getType()
Get the type of edge.
|
static int |
Edge.stringToEdgeType(java.lang.String s)
Get numeric edge type from string representation.
|
Modifier and Type | Method and Description |
---|---|
Edge |
CFG.createEdge(BasicBlock source,
BasicBlock dest,
int type)
Add a unique edge to the graph.
|
static java.lang.String |
Edge.edgeTypeToString(int edgeType)
Get string representing given edge type.
|
Edge |
CFG.getIncomingEdgeWithType(BasicBlock basicBlock,
int edgeType)
Get the first incoming edge in basic block with given type.
|
Edge |
CFG.getOutgoingEdgeWithType(BasicBlock basicBlock,
int edgeType)
Get the first outgoing edge in basic block with given type.
|
BasicBlock |
CFG.getPredecessorWithEdgeType(BasicBlock target,
int edgeType)
Get the first predecessor reachable from given edge type.
|
BasicBlock |
CFG.getSuccessorWithEdgeType(BasicBlock source,
int edgeType)
Get the first successor reachable from given edge type.
|
void |
Edge.setType(int type)
Set the type of edge.
|
Constructor and Description |
---|
Target(org.apache.bcel.generic.InstructionHandle targetInstruction,
int edgeType)
Constructor.
|
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.