CodeQL library for JavaScript
Search

Class ReachableJoinBlock

A reachable basic block with more than one predecessor.

Import path

import javascript

Direct supertypes

Indirect supertypes

Predicates

inDominanceFrontierOf

Holds if this basic block belongs to the dominance frontier of b, that is b dominates a predecessor of this block, but not this block itself.

Inherited predicates

defAt

Holds if this basic block defines variable v in its ith node u.

from BasicBlock
dominates

Holds if this basic block dominates bb.

from ReachableBasicBlock
getANode

Gets a node in this block.

from BasicBlock
getAPredecessor

Gets a basic block preceding this one.

from BasicBlock
getAPrimaryQlClass

Gets the primary QL class for the Locatable.

from Locatable
getASuccessor

Gets a basic block succeeding this one.

from BasicBlock
getContainer

Gets the function or toplevel to which this node belongs.

from NodeInStmtContainer
getEndLine

Gets the line on which this element ends.

from Locatable
getFile

Gets the file this program element comes from.

from Locatable
getFirstNode

Gets the first node in this block.

from BasicBlock
getImmediateDominator

Gets the basic block that immediately dominates this basic block.

from BasicBlock
getLastNode

Gets the last node in this block.

from BasicBlock
getLocation

Gets this element’s location.

from Locatable
getNode

Gets the node at the given position in this block.

from BasicBlock
getNumLines

Gets the number of lines covered by this element.

from Locatable
getStartLine

Gets the line on which this element starts.

from Locatable
isLiveAtEntry

Holds if v is live at entry to this basic block and u is a use of v witnessing the liveness.

from BasicBlock
isLiveAtEntry

Holds if v is a variable that is live at entry to this basic block.

from BasicBlock
length

Gets the length of this block.

from BasicBlock
localIsLiveAtEntry

Holds if local variable v is live at entry to this basic block and u is a use of v witnessing the liveness.

from BasicBlock
localIsLiveAtEntry

Holds if local variable v is live at entry to this basic block.

from BasicBlock
localLiveDefAt

Holds if d defines variable v at the ith node of this basic block, and the definition is live, that is, the variable may be read after this definition and before a re-definition.

from BasicBlock
localMayBeOverwritten

Holds if d is a definition of v that is reachable from the beginning of this basic block without going through a redefinition of v.

from BasicBlock
postDominates

Holds if this basic block post-dominates bb.

from ReachableBasicBlock
strictlyDominates

Holds if this basic block strictly dominates bb.

from ReachableBasicBlock
strictlyPostDominates

Holds if this basic block strictly post-dominates bb.

from ReachableBasicBlock
toString

Gets a textual representation of this element.

from Locatable
useAt

Holds if this basic block uses variable v in its ith node u.

from BasicBlock

Charpred