A (possibly recursive) target of an unpacking assignment.
Import path
import semmle.python.dataflow.new.internal.IterableUnpackingDirect supertypes
Indirect supertypes
Known direct subtypes
Inherited predicates
| dominates | Whether this dominates other. Note that all nodes dominate themselves. | from ControlFlowNode |
| getAChild | from ControlFlowNode | |
| getAFalseSuccessor | Gets a successor for this node if the relevant condition is False. | from ControlFlowNode |
| getANormalSuccessor | Gets a successor for this node if no exception is raised. | from ControlFlowNode |
| getAPredecessor | Gets a predecessor of this flow node | from ControlFlowNode |
| getASuccessor | Gets a successor of this flow node | from ControlFlowNode |
| getATrueSuccessor | Gets a successor for this node if the relevant condition is True. | from ControlFlowNode |
| getAnExceptionalSuccessor | Gets a successor for this node if an exception is raised. | from ControlFlowNode |
| getBasicBlock | Gets the basic block containing this flow node | from ControlFlowNode |
| getEnclosingModule | Gets the enclosing module | from ControlFlowNode |
| getImmediateDominator | Gets the immediate dominator of this flow node | from ControlFlowNode |
| getLocation | Gets the location of this ControlFlowNode | from ControlFlowNode |
| getNode | Gets the syntactic element corresponding to this flow node | from ControlFlowNode |
| getScope | Gets the scope containing this flow node | from ControlFlowNode |
| hasCompletePointsToSet | Check whether this control-flow node has complete points-to information. This would mean that the analysis managed to infer an over approximation of possible values at runtime. | from ControlFlowNode |
| inferredValue | Gets a value that this ControlFlowNode may points-to. | from ControlFlowNode |
| isAttribute | Whether this flow node corresponds to an attribute expression | from ControlFlowNode |
| isAugLoad | Whether this control flow node is a load in an augmented assignment | from ControlFlowNode |
| isAugStore | Whether this control flow node is a store in an augmented assignment | from ControlFlowNode |
| isBranch | Holds if this CFG node is a branch | from ControlFlowNode |
| isCall | Whether this flow node corresponds to a call | from ControlFlowNode |
| isClass | Whether this flow node corresponds to a class definition expression | from ControlFlowNode |
| isDelete | Whether this control flow node is a delete | from ControlFlowNode |
| isEntryNode | Whether this flow node is the first in its scope | from ControlFlowNode |
| isExceptionalExit | Whether the scope may be exited as a result of this node raising an exception | from ControlFlowNode |
| isFunction | Whether this flow node corresponds to a function definition expression | from ControlFlowNode |
| isIfExp | Whether this flow node corresponds to a conditional expression | from ControlFlowNode |
| isImport | Whether this flow node corresponds to an import | from ControlFlowNode |
| isImportMember | Whether this flow node corresponds to an import member | from ControlFlowNode |
| isLiteral | Whether this flow node corresponds to a literal | from ControlFlowNode |
| isLoad | Whether this control flow node is a load (including those in augmented assignments) | from ControlFlowNode |
| isModuleEntry | Whether this flow node is the first in a module | from ControlFlowNode |
| isNormalExit | Whether this node is a normal (non-exceptional) exit | from ControlFlowNode |
| isParameter | Whether this control flow node is a parameter | from ControlFlowNode |
| isStore | Whether this control flow node is a store (including those in augmented assignments) | from ControlFlowNode |
| isSubscript | Whether this flow node corresponds to an subscript expression | from ControlFlowNode |
| pointsTo | Gets the value that this ControlFlowNode points-to. | from ControlFlowNode |
| pointsTo | Gets the value that this ControlFlowNode points-to. | from ControlFlowNode |
| pointsTo | Gets the value and origin that this ControlFlowNode points-to. | from ControlFlowNode |
| pointsTo | Gets the value and origin that this ControlFlowNode points-to, given the context. | from ControlFlowNode |
| refersTo | Equivalent to | from ControlFlowNode |
| refersTo | Whether this flow node might “refer-to” to | from ControlFlowNode |
| refersTo | Gets what this flow node might “refer-to”. Performs a combination of localized (intra-procedural) points-to analysis and global module-level analysis. This points-to analysis favours precision over recall. It is highly precise, but may not provide information for a significant number of flow-nodes. If the class is unimportant then use | from ControlFlowNode |
| refersTo | Gets what this expression might “refer-to” in the given | from ControlFlowNode |
| strictlyDominates | Whether this strictly dominates other. | from ControlFlowNode |
| strictlyReaches | Whether this strictly reaches other. | from ControlFlowNode |
| toString | Gets a textual representation of this element. | from ControlFlowNode |
| unlikelyReachable | Whether it is unlikely that this ControlFlowNode can be reached | from ControlFlowNode |