org.sonar.javascript.cfg

Class ControlFlowGraph

java.lang.Object

org.sonar.javascript.cfg.ControlFlowGraph

public class ControlFlowGraph
extends Object

The Control Flow Graph for a JavaScript script or for the body of a function.

Each node of the graph represents a list of elements which are executed one after the other. Each node has:

• one ore more successor blocks,
• zero or more predecessor blocks.

A Control Flow Graph has a single start node and a single end node. The end node has no successor and no element.

Method Summary

Methods

Modifier and Type	Method and Description
Set<ControlFlowBlock>	blocks()
static ControlFlowGraph	build(BlockTree body)
static ControlFlowGraph	build(ScriptTree tree)
Set<SyntaxToken>	disconnectingJumps(ControlFlowBlock block)
ControlFlowNode	end()
ControlFlowBlock	getStartingBlock(StatementTree nonEmptyStatementTree)
ControlFlowNode	start()
Set<ControlFlowBlock>	unreachableBlocks()

Methods inherited from class java.lang.Object

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

Method Detail

build

public static ControlFlowGraph build(ScriptTree tree)

build

public static ControlFlowGraph build(BlockTree body)

start

public ControlFlowNode start()

end

public ControlFlowNode end()

blocks

public Set<ControlFlowBlock> blocks()

unreachableBlocks

public Set<ControlFlowBlock> unreachableBlocks()

disconnectingJumps

public Set<SyntaxToken> disconnectingJumps(ControlFlowBlock block)

getStartingBlock

public ControlFlowBlock getStartingBlock(StatementTree nonEmptyStatementTree)