A vardef with helper predicates for flow analysis.
Known direct subtypes
Gets an abstract value that this variable definition may assign to its target, including indefinite values if this definition cannot be analyzed completely.
Gets an abstract value that the right hand side of this
Gets a node representing the value of the right hand side of this
Gets the toplevel syntactic unit to which this definition belongs.
Holds if flow analysis results for this node may be incomplete due to the given
For internal use.
Gets a node preceding this node in the CFG.
Gets the primary QL class for the Locatable.
Gets a node succeeding this node in the CFG.
Gets a variable defined by this node, if any.
Gets the basic block this node belongs to.
Gets the function or toplevel to which this node belongs.
Gets the source that this definition destructs, that is, the right hand side of a destructuring assignment.
Gets the line on which this element ends.
Gets the file this program element comes from.
Gets this element’s location.
Gets the number of lines covered by this element.
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.
Gets the source of this definition, that is, the data flow node representing the value that this definition assigns to its target.
Gets the line on which this element starts.
Gets the target of this definition, which is either a simple variable reference, a destructuring pattern, or a property access.
Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates.
Holds if this is a final node of
Holds if this is a node with more than one successor.
Holds if this is a node with more than one predecessor.
Holds if this definition of
Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins.
Holds if this node is unreachable, that is, it has no predecessors in the CFG. Entry nodes are always considered reachable.
Gets a textual representation of this element.