Class ReachableJoinBlock

A reachable basic block with more than one predecessor.

Import path

import javascript

Direct supertypes

ReachableBasicBlock

Indirect supertypes

Predicates

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 `i`th node `d`.	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
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
isLiveAtEntry	Holds if `v` is a variable that is live at entry to this basic block.	from BasicBlock
isLiveAtEntry	Holds if `v` is live at entry to this basic block and `u` is a use of `v` witnessing the liveness.	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.	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
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.	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 `i`th node `u`.	from BasicBlock

Charpred

ReachableJoinBlock