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), 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.
Import path
import codeql.swift.dataflow.internal.DataFlowPublicDirect supertypes
Indirect supertypes
Predicates
| getPreUpdateNode | Gets the node before the state update. |
Inherited predicates
| asDefinition | Gets this node’s underlying SSA definition, if any. | from Node |
| asExpr | Gets the expression that corresponds to this node, if any. | from Node |
| asParameter | Gets the parameter that corresponds to this node, if any. | from Node |
| asPattern | Gets this node’s underlying pattern, if any. | from Node |
| getCfgNode | Gets the control flow node that corresponds to this data flow node. | from Node |
| getLocation | Gets the location 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 node. | from Node |