Class NonSyntheticPostUpdateNode

An existsing control flow node being the post-update node of a synthetic pre-update node.

Synthetic post-update nodes for synthetic nodes need to be listed one by one.

Import path

import semmle.python.dataflow.new.internal.DataFlowPrivate

Gets the node before the state update.

asCfgNode	Gets the control-flow node corresponding to this node, if any.	from CfgNode
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 CfgNode
getNode	Gets the `ControlFlowNode` represented by this data-flow node.	from CfgNode
getScope	Gets the scope of this node.	from CfgNode
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from Node
toString	Gets a textual representation of this element.	from CfgNode