Class PostUpdateNode
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), the qualifier of a field after an update to the field, or a container such as a list/dictionary after an element update.
Nodes corresponding to AST elements, for example ExprNodes, usually refer
to the value before the update with the exception of class calls,
which represents the value after the constructor has run.
Import path
import semmle.python.dataflow.new.internal.DataFlowPublicDirect supertypes
Indirect supertypes
Predicates
| getPreUpdateNode | Gets the node before the state update. |
Inherited predicates
| asCfgNode | Gets the control-flow node corresponding to this node, if any. | from Node |
| asExpr | Gets the expression corresponding to this node, if any. | from Node |
| getALocalSource | Gets a local source node from which data may flow to this node in zero or more local data-flow steps. | from Node |
| getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
| getLocation | Gets the location of this node | from Node |
| getScope | Gets the scope of this node. | from Node |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
| toString | Gets a textual representation of this element. | from Node |