Package org.sonar.java.cfg

Class CFG.Block

java.lang.Object

org.sonar.java.cfg.CFG.Block

All Implemented Interfaces:

CFG.IBlock<Tree>, ControlFlowGraph.Block

Enclosing class:

CFG

public static class CFG.Block
extends Object
implements CFG.IBlock<Tree>, ControlFlowGraph.Block

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
Block(int id)

Method Summary

Modifier and Type	Method	Description
void	addExitSuccessor(CFG.Block block)
void	addFalseSuccessor(CFG.Block successor)
void	addTrueSuccessor(CFG.Block successor)
CaseGroupTree	caseGroup()	Label is used to contain additional information about a block which is not directly related to CFG structure.
List<Tree>	elements()
Set<CFG.Block>	exceptions()
CFG.Block	exitBlock()
CFG.Block	falseBlock()
int	id()
boolean	isCatchBlock()
boolean	isDefaultBlock()
boolean	isFinallyBlock()
boolean	isInactive()
boolean	isMethodExitBlock()
Set<CFG.Block>	predecessors()
void	setCaseGroup(CaseGroupTree caseGroup)
Set<CFG.Block>	successors()
CFG.Block	successorWithoutJump()	This method makes the implementation of RSPEC-3626 almost trivial.
Tree	terminator()
CFG.Block	trueBlock()

Methods inherited from class java.lang.Object

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

Field Details

IS_CATCH_BLOCK

public static final Predicate<CFG.Block> IS_CATCH_BLOCK

Constructor Details

Block

public Block(int id)

Method Details

id

public int id()

Specified by:

id in interface CFG.IBlock<Tree>

Specified by:

id in interface ControlFlowGraph.Block

elements

public List<Tree> elements()

Specified by:

elements in interface CFG.IBlock<Tree>

Specified by:

elements in interface ControlFlowGraph.Block

trueBlock

public CFG.Block trueBlock()

Specified by:

trueBlock in interface ControlFlowGraph.Block

falseBlock

public CFG.Block falseBlock()

Specified by:

falseBlock in interface ControlFlowGraph.Block

exitBlock

public CFG.Block exitBlock()

Specified by:

exitBlock in interface ControlFlowGraph.Block

isFinallyBlock

public boolean isFinallyBlock()

Specified by:

isFinallyBlock in interface ControlFlowGraph.Block

isCatchBlock

public boolean isCatchBlock()

Specified by:

isCatchBlock in interface ControlFlowGraph.Block

isDefaultBlock

public boolean isDefaultBlock()

Specified by:

isDefaultBlock in interface ControlFlowGraph.Block

addTrueSuccessor

public void addTrueSuccessor(CFG.Block successor)

addFalseSuccessor

public void addFalseSuccessor(CFG.Block successor)

addExitSuccessor

public void addExitSuccessor(CFG.Block block)

predecessors

public Set<CFG.Block> predecessors()

Specified by:

predecessors in interface ControlFlowGraph.Block

successors

public Set<CFG.Block> successors()

Specified by:

successors in interface CFG.IBlock<Tree>

Specified by:

successors in interface ControlFlowGraph.Block

exceptions

public Set<CFG.Block> exceptions()

Specified by:

exceptions in interface ControlFlowGraph.Block

terminator

@CheckForNull
public Tree terminator()

Specified by:

terminator in interface CFG.IBlock<Tree>

Specified by:

terminator in interface ControlFlowGraph.Block

isInactive

public boolean isInactive()

isMethodExitBlock

public boolean isMethodExitBlock()

successorWithoutJump

@CheckForNull
public CFG.Block successorWithoutJump()

This method makes the implementation of RSPEC-3626 almost trivial.

Returns:

the block which would be the successor of this one if this one didn't terminate with a jump

caseGroup

@CheckForNull
public CaseGroupTree caseGroup()

Label is used to contain additional information about a block which is not directly related to CFG structure. Used for simplifying implementation of RSPEC-128.

Specified by:

caseGroup in interface ControlFlowGraph.Block

setCaseGroup

public void setCaseGroup(CaseGroupTree caseGroup)