EdgeTypes (FindBugs 3.0.1 API)

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 and 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
```
@Edge.Type
static final int UNKNOWN_EDGE
```
    Unknown edge type.
    
    See Also:
    Constant Field Values
  - FALL_THROUGH_EDGE
```
@Edge.Type
static final int FALL_THROUGH_EDGE
```
    Edge type for fall-through to next instruction.
    
    See Also:
    Constant Field Values
  - IFCMP_EDGE
```
@Edge.Type
static final int IFCMP_EDGE
```
    Edge type for IFCMP instructions when condition is true.
    
    See Also:
    Constant Field Values
  - SWITCH_EDGE
```
@Edge.Type
static final int SWITCH_EDGE
```
    Edge type for switch instructions (explicit case).
    
    See Also:
    Constant Field Values
  - SWITCH_DEFAULT_EDGE
```
@Edge.Type
static final int SWITCH_DEFAULT_EDGE
```
    Edge type for switch instructions (default case).
    
    See Also:
    Constant Field Values
  - JSR_EDGE
```
@Edge.Type
static final int JSR_EDGE
```
    Edge type for JSR instructions.
    
    See Also:
    Constant Field Values
  - RET_EDGE
```
@Edge.Type
static final int RET_EDGE
```
    Edge type for RET instructions.
    
    See Also:
    Constant Field Values
  - GOTO_EDGE
```
@Edge.Type
static final int GOTO_EDGE
```
    Edge type for GOTO instructions.
    
    See Also:
    Constant Field Values
  - RETURN_EDGE
```
@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
```
@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
```
@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
```
@Edge.Type
static final int START_EDGE
```
    Edge from entry node to real start node.
    
    See Also:
    Constant Field Values
  - BACKEDGE_TARGET_EDGE
```
@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
```
@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
```
@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

Interface EdgeTypes

Field Summary

Field Detail

UNKNOWN_EDGE

FALL_THROUGH_EDGE

IFCMP_EDGE

SWITCH_EDGE

SWITCH_DEFAULT_EDGE

JSR_EDGE

RET_EDGE

GOTO_EDGE

RETURN_EDGE

UNHANDLED_EXCEPTION_EDGE

HANDLED_EXCEPTION_EDGE

START_EDGE

BACKEDGE_TARGET_EDGE

BACKEDGE_SOURCE_EDGE

EXIT_EDGE

CHECKED_EXCEPTIONS_FLAG

EXPLICIT_EXCEPTIONS_FLAG