Uses of Class
org.sonar.java.cfg.CFG.Block

Packages that use CFG.Block

Package	Description
org.sonar.java.cfg

Uses of CFG.Block in org.sonar.java.cfg

Fields in org.sonar.java.cfg with type parameters of type CFG.Block

Modifier and Type	Field	Description
static final Predicate<CFG.Block>	CFG.Block.IS_CATCH_BLOCK

Methods in org.sonar.java.cfg that return CFG.Block

Modifier and Type	Method	Description
CFG.Block	CFG.entryBlock()
CFG.Block	CFG.Block.exitBlock()
CFG.Block	CFG.exitBlock()
CFG.Block	CFG.Block.falseBlock()
static CFG.Block	CFGUtils.nonEmptySuccessor(CFG.Block initialBlock)	Returns the first non-empty block reachable from the initial block by traversing single-successor empty blocks.
CFG.Block	CFG.Block.successorWithoutJump()	This method makes the implementation of RSPEC-3626 almost trivial.
CFG.Block	CFG.Block.trueBlock()

Methods in org.sonar.java.cfg that return types with arguments of type CFG.Block

Modifier and Type	Method	Description
List<CFG.Block>	CFG.blocks()
Set<CFG.Block>	CFG.Block.exceptions()
Set<CFG.Block>	CFG.Block.predecessors()
List<CFG.Block>	CFG.reversedBlocks()
Set<CFG.Block>	CFG.Block.successors()

Methods in org.sonar.java.cfg with parameters of type CFG.Block

Modifier and Type	Method	Description
void	CFG.Block.addExitSuccessor(CFG.Block block)
void	CFG.Block.addFalseSuccessor(CFG.Block successor)
void	CFG.Block.addTrueSuccessor(CFG.Block successor)
Set<Symbol>	LiveVariables.getIn(CFG.Block block)
Set<Symbol>	LiveVariables.getOut(CFG.Block block)
static boolean	CFGUtils.isFinallyBlockWithDistinctContinuation(CFG.Block block)	Returns whether the block is a finally block whose normal continuation can differ from its jump exit continuation.
static boolean	CFGUtils.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	CFGUtils.nonEmptySuccessor(CFG.Block initialBlock)	Returns the first non-empty block reachable from the initial block by traversing single-successor empty blocks.