Class CFGUtils

java.lang.Object

org.sonar.java.cfg.CFGUtils

public final class CFGUtils
extends Object

Method Summary

Modifier and Type	Method	Description
static boolean	isFinallyBlockWithDistinctContinuation(CFG.Block block)	Returns whether the block is a finally block whose normal continuation can differ from its jump exit continuation.
static boolean	isJumpThroughFinallyWithDistinctContinuation(Tree terminator, CFG.Block successor)	Returns whether a jump reaching the provided successor through a finally block has a continuation that differs from the fall-through path after the finally block.
static CFG.Block	nonEmptySuccessor(CFG.Block initialBlock)	Returns the first non-empty block reachable from the initial block by traversing single-successor empty blocks.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

nonEmptySuccessor

public static CFG.Block nonEmptySuccessor(CFG.Block initialBlock)

Returns the first non-empty block reachable from the initial block by traversing single-successor empty blocks.

isFinallyBlockWithDistinctContinuation

public static boolean isFinallyBlockWithDistinctContinuation(CFG.Block block)

Returns whether the block is a finally block whose normal continuation can differ from its jump exit continuation.

isJumpThroughFinallyWithDistinctContinuation

public static boolean isJumpThroughFinallyWithDistinctContinuation(Tree terminator,
 CFG.Block successor)

Returns whether a jump reaching the provided successor through a finally block has a continuation that differs from the fall-through path after the finally block.