edu.umd.cs.findbugs.ba

Interface EdgeTypes

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
static intBACKEDGE_SOURCE_EDGE
Special (synthetic) edge for path profiling; backedge source to CFG exit.
static intBACKEDGE_TARGET_EDGE
Special (synthetic) edge for path profiling; CFG entry to backedge target.
static intCHECKED_EXCEPTIONS_FLAG
Checked exceptions can be thrown on edge.
static intEXIT_EDGE
System.exit() edge.
static intEXPLICIT_EXCEPTIONS_FLAG
Explicit exceptions can be thrown on the edge.
static intFALL_THROUGH_EDGE
Edge type for fall-through to next instruction.
static intGOTO_EDGE
Edge type for GOTO instructions.
static intHANDLED_EXCEPTION_EDGE
Edge representing control flow from an exception-raising basic block to an explicit handler for the exception.
static intIFCMP_EDGE
Edge type for IFCMP instructions when condition is true.
static intJSR_EDGE
Edge type for JSR instructions.
static intRETURN_EDGE
Edge type for RETURN instructions.
static intRET_EDGE
Edge type for RET instructions.
static intSTART_EDGE
Edge from entry node to real start node.
static intSWITCH_DEFAULT_EDGE
Edge type for switch instructions (default case).
static intSWITCH_EDGE
Edge type for switch instructions (explicit case).
static intUNHANDLED_EXCEPTION_EDGE
Edge representing the possibility that an exception might propagate out of the current method.
static intUNKNOWN_EDGE
Unknown edge type.

Field Detail

BACKEDGE_SOURCE_EDGE

public static final int BACKEDGE_SOURCE_EDGE
Special (synthetic) edge for path profiling; backedge source to CFG exit.

BACKEDGE_TARGET_EDGE

public static final int BACKEDGE_TARGET_EDGE
Special (synthetic) edge for path profiling; CFG entry to backedge target.

CHECKED_EXCEPTIONS_FLAG

public static final int CHECKED_EXCEPTIONS_FLAG
Checked exceptions can be thrown on edge.

EXIT_EDGE

public static final int EXIT_EDGE
System.exit() edge.

EXPLICIT_EXCEPTIONS_FLAG

public static final int EXPLICIT_EXCEPTIONS_FLAG
Explicit exceptions can be thrown on the edge.

FALL_THROUGH_EDGE

public static final int FALL_THROUGH_EDGE
Edge type for fall-through to next instruction.

GOTO_EDGE

public static final int GOTO_EDGE
Edge type for GOTO instructions.

HANDLED_EXCEPTION_EDGE

public static final int HANDLED_EXCEPTION_EDGE
Edge representing control flow from an exception-raising basic block to an explicit handler for the exception.

IFCMP_EDGE

public static final int IFCMP_EDGE
Edge type for IFCMP instructions when condition is true.

JSR_EDGE

public static final int JSR_EDGE
Edge type for JSR instructions.

RETURN_EDGE

public static final int RETURN_EDGE
Edge type for RETURN instructions. (These must go to the exit node of the CFG).

RET_EDGE

public static final int RET_EDGE
Edge type for RET instructions.

START_EDGE

public static final int START_EDGE
Edge from entry node to real start node.

SWITCH_DEFAULT_EDGE

public static final int SWITCH_DEFAULT_EDGE
Edge type for switch instructions (default case).

SWITCH_EDGE

public static final int SWITCH_EDGE
Edge type for switch instructions (explicit case).

UNHANDLED_EXCEPTION_EDGE

public 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.

UNKNOWN_EDGE

public static final int UNKNOWN_EDGE
Unknown edge type.
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.