Package edu.umd.cs.findbugs.ba

Interface EdgeTypes

    • 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

      • 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

      • 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

      • 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

      • 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