Class SyntheticPostUpdateNode
A post-update node synthesised for an existing control flow node.
Add to TSyntheticPostUpdateNode to get the synthetic post-update node synthesised.
Synthetic post-update nodes for synthetic nodes need to be listed one by one.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivateDirect supertypes
Fields
Predicates
| getLocation | Gets the location of this node |
| getPreUpdateNode | Gets the node before the state update. |
| getScope | Gets the scope of this node. |
| toString | Gets a textual representation of this element. |
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 |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |