Flow analysis for
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 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 whose CFG this node belongs to.
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 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 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.