FindBugs™ 1.3.9

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

static final int UNKNOWN_EDGE
Unknown edge type.

See Also:
Constant Field Values

FALL_THROUGH_EDGE

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

See Also:
Constant Field Values

IFCMP_EDGE

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

See Also:
Constant Field Values

SWITCH_EDGE

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

See Also:
Constant Field Values

SWITCH_DEFAULT_EDGE

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

See Also:
Constant Field Values

JSR_EDGE

static final int JSR_EDGE
Edge type for JSR instructions.

See Also:
Constant Field Values

RET_EDGE

static final int RET_EDGE
Edge type for RET instructions.

See Also:
Constant Field Values

GOTO_EDGE

static final int GOTO_EDGE
Edge type for GOTO instructions.

See Also:
Constant Field Values

RETURN_EDGE

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

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

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

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

See Also:
Constant Field Values

BACKEDGE_TARGET_EDGE

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

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

See Also:
Constant Field Values

EXIT_EDGE

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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.