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

Modifier and Type	Method and Description
Set<CfgBlock>	blocks()
static ControlFlowGraph	build(BlockTree body)
static ControlFlowGraph	build(ScriptTree tree)
Set<SyntaxToken>	disconnectingJumps(CfgBlock block)
CfgBlock	end()
CfgBlock	start()
Set<CfgBlock>	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 CfgBlock start()

end

public CfgBlock end()

blocks

public Set<CfgBlock> blocks()

unreachableBlocks

public Set<CfgBlock> unreachableBlocks()

disconnectingJumps

public Set<SyntaxToken> disconnectingJumps(CfgBlock block)