A node associated with an object after an operation that might have changed its state.
This can be either the argument to a callable after the callable returns (which might have mutated the argument), or the qualifier of a field after an update to the field.
Nodes corresponding to AST elements, for example
ExprNode, usually refer
to the value before the update with the exception of
which represents the value after the constructor has run.
Known direct subtypes
Gets the argument that defines this
Gets the expression corresponding to this node, if any. This predicate only has a result on nodes that represent the value of evaluating the expression. For data flowing out of an expression, like when an argument is passed by reference, use
Gets the parameter corresponding to this node, if any.
Gets the expression that is partially defined by this node, if any.
Gets the uninitialized local variable corresponding to this node, if any.
INTERNAL: Do not use. Alternative name for
Gets an upper bound on the type of this node.
Holds if this element is at the specified location. The location spans column
Gets a textual representation of this element.