org.sonar.java.cfg

Class CFG.Block

java.lang.Object

org.sonar.java.cfg.CFG.Block

All Implemented Interfaces:

CFG.IBlock<Tree>

Enclosing class:

CFG

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

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Block(int id)

Method Summary

Modifier and Type	Method and 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	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 Detail

IS_CATCH_BLOCK

public static final Predicate<CFG.Block> IS_CATCH_BLOCK

Constructor Detail

Block

public Block(int id)

Method Detail

id

public int id()

Specified by:

id in interface CFG.IBlock<Tree>

elements

public List<Tree> elements()

Specified by:

elements in interface CFG.IBlock<Tree>

trueBlock

public CFG.Block trueBlock()

falseBlock

public CFG.Block falseBlock()

exitBlock

public CFG.Block exitBlock()

isFinallyBlock

public boolean isFinallyBlock()

isCatchBlock

public boolean isCatchBlock()

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()

successors

public Set<CFG.Block> successors()

Specified by:

successors in interface CFG.IBlock<Tree>

exceptions

public Set<CFG.Block> exceptions()

terminator

@CheckForNull
public Tree terminator()

Specified by:

terminator in interface CFG.IBlock<Tree>

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.

setCaseGroup

public void setCaseGroup(CaseGroupTree caseGroup)