Package edu.umd.cs.findbugs.ba
Interface EdgeTypes
-
- All Known Implementing Classes:
BetterCFGBuilder2
,Edge
,IfNull
,IsNullValueAnalysis
,PruneInfeasibleExceptionEdges
,PruneUnconditionalExceptionThrowerEdges
,ResourceValueAnalysis
,ReturnPathAnalysis
,SimplePathEnumerator
,TargetEnumeratingVisitor
,TypeAnalysis
public interface EdgeTypes
Constants defining the type of control flow edges, as well as flags defining additional information about the edges.- See Also:
Edge
-
-
Field Summary
Fields Modifier and Type Field Description static int
BACKEDGE_SOURCE_EDGE
Special (synthetic) edge for path profiling; backedge source to CFG exit.static int
BACKEDGE_TARGET_EDGE
Special (synthetic) edge for path profiling; CFG entry to backedge target.static int
CHECKED_EXCEPTIONS_FLAG
Checked exceptions can be thrown on edge.static int
EXIT_EDGE
System.exit() edge.static int
EXPLICIT_EXCEPTIONS_FLAG
Explicit exceptions can be thrown on the edge.static int
FALL_THROUGH_EDGE
Edge type for fall-through to next instruction.static int
GOTO_EDGE
Edge type for GOTO instructions.static int
HANDLED_EXCEPTION_EDGE
Edge representing control flow from an exception-raising basic block to an explicit handler for the exception.static int
IFCMP_EDGE
Edge type for IFCMP instructions when condition is true.static int
JSR_EDGE
Edge type for JSR instructions.static int
RET_EDGE
Edge type for RET instructions.static int
RETURN_EDGE
Edge type for RETURN instructions.static int
START_EDGE
Edge from entry node to real start node.static int
SWITCH_DEFAULT_EDGE
Edge type for switch instructions (default case).static int
SWITCH_EDGE
Edge type for switch instructions (explicit case).static int
UNHANDLED_EXCEPTION_EDGE
Edge representing the possibility that an exception might propagate out of the current method.static int
UNKNOWN_EDGE
Unknown edge type.
-
-
-
Field Detail
-
UNKNOWN_EDGE
@Type static final int UNKNOWN_EDGE
Unknown edge type.- See Also:
- Constant Field Values
-
FALL_THROUGH_EDGE
@Type static final int FALL_THROUGH_EDGE
Edge type for fall-through to next instruction.- See Also:
- Constant Field Values
-
IFCMP_EDGE
@Type static final int IFCMP_EDGE
Edge type for IFCMP instructions when condition is true.- See Also:
- Constant Field Values
-
SWITCH_EDGE
@Type static final int SWITCH_EDGE
Edge type for switch instructions (explicit case).- See Also:
- Constant Field Values
-
SWITCH_DEFAULT_EDGE
@Type static final int SWITCH_DEFAULT_EDGE
Edge type for switch instructions (default case).- See Also:
- Constant Field Values
-
JSR_EDGE
@Type static final int JSR_EDGE
Edge type for JSR instructions.- See Also:
- Constant Field Values
-
RET_EDGE
@Type static final int RET_EDGE
Edge type for RET instructions.- See Also:
- Constant Field Values
-
GOTO_EDGE
@Type static final int GOTO_EDGE
Edge type for GOTO instructions.- See Also:
- Constant Field Values
-
RETURN_EDGE
@Type static final int RETURN_EDGE
Edge type for RETURN instructions. (These must go to the exit node of the CFG).- See Also:
- Constant Field Values
-
UNHANDLED_EXCEPTION_EDGE
@Type static final int UNHANDLED_EXCEPTION_EDGE
Edge representing the possibility that an exception might propagate out of the current method. Such edges always go to the exit node in the CFG.- See Also:
- Constant Field Values
-
HANDLED_EXCEPTION_EDGE
@Type static final int HANDLED_EXCEPTION_EDGE
Edge representing control flow from an exception-raising basic block to an explicit handler for the exception.- See Also:
- Constant Field Values
-
START_EDGE
@Type static final int START_EDGE
Edge from entry node to real start node.- See Also:
- Constant Field Values
-
BACKEDGE_TARGET_EDGE
@Type static final int BACKEDGE_TARGET_EDGE
Special (synthetic) edge for path profiling; CFG entry to backedge target.- See Also:
- Constant Field Values
-
BACKEDGE_SOURCE_EDGE
@Type static final int BACKEDGE_SOURCE_EDGE
Special (synthetic) edge for path profiling; backedge source to CFG exit.- See Also:
- Constant Field Values
-
EXIT_EDGE
@Type static final int EXIT_EDGE
System.exit() edge.- See Also:
- Constant Field Values
-
CHECKED_EXCEPTIONS_FLAG
static final int CHECKED_EXCEPTIONS_FLAG
Checked exceptions can be thrown on edge.- See Also:
- Constant Field Values
-
EXPLICIT_EXCEPTIONS_FLAG
static final int EXPLICIT_EXCEPTIONS_FLAG
Explicit exceptions can be thrown on the edge.- See Also:
- Constant Field Values
-
-