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

Class DataFlow::Node

A node in the data flow graph.

Import path

import javascript

Direct supertypes

Known direct subtypes

Predicates

accessesGlobal

Holds if this data flow node accesses the global variable g, either directly or through the window object.

analyze

Gets type inference results for this data flow node.

asExpr

Gets the expression corresponding to this data flow node, if any.

getABoundFunctionValue

Gets a function value that may reach this node, possibly derived from a partial function invocation.

getAFunctionValue

Gets a function value that may reach this node.

getAFunctionValue

Gets a function value that may reach this node with the given imprecision level.

getALocalSource

Gets a source node from which data may flow to this node in zero or more local steps.

getAPredecessor

Gets a data flow node from which data may flow to this node in one local step.

getASuccessor

Gets a data flow node to which data may flow from this node in one local step.

getAstNode

Gets the AST node corresponding to this data flow node, if any.

getBasicBlock

Gets the basic block to which this node belongs.

getContainer

Gets the container in which this node occurs.

getEnclosingExpr

Gets the expression enclosing this data flow node. In most cases the result is the same as asExpr(), however this method additionally includes the InvokeExpr corresponding to reflective calls.

getEndColumn

Gets the end column of this data flow node.

getEndLine

Gets the end line of this data flow node.

getFile

Gets the file this data flow node comes from.

getImmediatePredecessor

Gets the immediate predecessor of this node, if any.

getIntValue

Gets the integer value of this node, if it is an integer constant.

getStartColumn

Gets the start column of this data flow node.

getStartLine

Gets the start line of this data flow node.

getStringValue

Gets the string value of this node, if it is a string literal or constant string concatenation.

getTopLevel

Gets the toplevel in which this node occurs.

hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

hasUnderlyingType

Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

hasUnderlyingType

Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

isIncomplete

Holds if the flow information for this node is incomplete.

mayHaveBooleanValue

Holds if this node may evaluate to the Boolean value b.

mayHaveStringValue

Holds if this node may evaluate to the string s, possibly through local data flow.

toString

Gets a textual representation of this element.