CodeQL library for JavaScript/TypeScript

codeql/javascript-all 2.6.14-dev (changelog, source)

Class BasicBlock

A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.

At the database level, a basic block is represented by its first control flow node.

Import path

import javascript

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

defAt	Holds if this basic block defines variable `v` in its `i`th node `d`.
defAt	Holds if this basic block defines variable `v` in its `i`th node `d`, and `lhs` is the corresponding variable reference.
getANode	Gets a node in this block.
getAPredecessor	Gets a basic block preceding this one.
getASuccessor	Gets a basic block succeeding this one.
getFirstNode	Gets the first node in this block.
getImmediateDominator	Gets the basic block that immediately dominates this basic block.
getLastNode	Gets the last node in this block.
getNode	Gets the node at the given position in this block.
isExitBlock	Holds if this if a basic block whose last node is an exit node.
isLiveAtEntry	Holds if `v` is a variable that is live at entry to this basic block.
isLiveAtEntry	Holds if `v` is live at entry to this basic block and `u` is a use of `v` witnessing the liveness.
length	Gets the length of this block.
localIsLiveAtEntry	Holds if local variable `v` is live at entry to this basic block.
localIsLiveAtEntry	Holds if local variable `v` is live at entry to this basic block and `u` is a use of `v` witnessing the liveness.
localLiveDefAt	Holds if `d` defines variable `v` at the `i`th 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.
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`.
useAt	Holds if this basic block uses variable `v` in its `i`th node `u`.

Inherited predicates

getAPrimaryQlClass	Gets the primary QL class for the Locatable.	from Locatable
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
getLocation	Gets this element’s location.	from Locatable
getNumLines	Gets the number of lines covered by this element.	from Locatable
getPrimaryQlClasses	Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.	from Locatable
getStartLine	Gets the line on which this element starts.	from Locatable
toString	Gets a textual representation of this element.	from Locatable

Charpred