CodeQL library for JavaScript/TypeScript
codeql/javascript-all 2.1.1 (changelog, source)
Search

Class DoWhileStmt

A do-while loop.

Example:

do {
  handle(lines[i]);
} while(++i < lines.length);

Import path

import javascript

Direct supertypes

Indirect supertypes

Predicates

getAPrimaryQlClass

Gets the primary QL class for the Locatable.

getBody

Gets the body of this loop.

getExpr

Gets the loop condition of this do-while loop.

getTest

Gets the loop test of this loop.

isSubjectToSemicolonInsertion

Holds if automatic semicolon insertion applies to this statement.

Inherited predicates

describeControlFlowNode

For internal use.

from ControlFlowNode
getAChild

Gets a child node of this node.

from AstNode
getAChildExpr

Gets a child expression of this node.

from AstNode
getAChildStmt

Gets a child statement of this node.

from AstNode
getAControlledStmt

Gets a statement controlled by this control statement.

from LoopStmt
getAPredecessor

Gets a node preceding this node in the CFG.

from ControlFlowNode
getASuccessor

Gets a node succeeding this node in the CFG.

from ControlFlowNode
getAToken

Gets a token belonging to this element.

from AstNode
getBasicBlock

Gets the basic block this node belongs to.

from ControlFlowNode
getChild

Gets the ith child node of this node.

from AstNode
getChildExpr

Gets the ith child expression of this node.

from AstNode
getChildStmt

Gets the ith child statement of this node.

from AstNode
getChildTypeExpr

Gets the ith child type expression of this node.

from AstNode
getContainer

Gets the function or toplevel to which this node belongs.

from NodeInStmtContainer
getDocumentation

Gets the JSDoc comment for this element, if any.

from Documentable
getEnclosingTryCatchStmt

Gets the try statement with a catch block containing this statement without crossing function boundaries or other try statements with catch blocks.

from Stmt
getEndLine

Gets the line on which this element ends.

from Locatable
getFile

Gets the file this program element comes from.

from AstNode
getFirstControlFlowNode

Gets the first control flow node belonging to this syntactic entity.

from AstNode
getFirstToken

Gets the first token belonging to this element.

from AstNode
getKind

Gets the kind of this statement, which is an integer value representing the statement’s node type.

from Stmt
getLastToken

Gets the last token belonging to this element.

from AstNode
getLocation

Gets this element’s location.

from Locatable
getNumChild

Gets the number of child nodes of this node.

from AstNode
getNumChildExpr

Gets the number of child expressions of this node.

from AstNode
getNumChildStmt

Gets the number of child statements of this node.

from AstNode
getNumLines

Gets the number of lines covered by this element.

from Locatable
getParent

Gets the parent node of this node, if any.

from AstNode
getParentStmt

Gets the statement that is the parent of this statement in the AST, if any.

from Stmt
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
getTopLevel

Gets the toplevel syntactic unit to which this element belongs.

from AstNode
hasSemicolonInserted

Holds if this statement has an implicitly inserted semicolon.

from Stmt
inExternsFile

Holds if this syntactic entity belongs to an externs file.

from AstNode
isAFinalNode

Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates.

from ControlFlowNode
isAFinalNodeOfContainer

Holds if this is a final node of container, that is, a CFG node where execution of that toplevel or function terminates.

from ControlFlowNode
isAmbient

Holds if this is part of an ambient declaration or type annotation in a TypeScript file.

from AstNode
isBranch

Holds if this is a node with more than one successor.

from ControlFlowNode
isJoin

Holds if this is a node with more than one predecessor.

from ControlFlowNode
isStart

Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins.

from ControlFlowNode
isUnreachable

Holds if this node is unreachable, that is, it has no predecessors in the CFG. Entry nodes are always considered reachable.

from ControlFlowNode
nestedIn

Holds if this statement is lexically nested inside statement outer.

from Stmt
toString

Gets a textual representation of this element.

from Stmt