Class RaisingNode
The subset of ControlFlowNodes which might raise an exception
Import path
import pythonDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| getARaisedType | Gets the type of an exception that may be raised at this control flow node |
| getARaisedType_objectapi | Gets the type of an exception that may be raised at this control flow node |
| getExceptionNode | Gets the CFG node for the exception, if and only if this RaisingNode is an explicit raise |
| innateException | Holds if this is an innate exception (AttributeError, NameError, IndexError, or KeyError). |
| innateException_objectapi | Holds if this is an innate exception (AttributeError, NameError, IndexError, or KeyError). |
| raisesUnknownType | Whether this control flow node raises an exception, but the type of the exception it raises cannot be inferred. |
| unlikelySuccessor | Whether (as inferred by type inference) it is highly unlikely (or impossible) for control to flow from this to succ. |
| viableExceptionEdge | Whether it is considered plausible that ‘raised’ can be raised across the edge this-succ |
| viableExceptionEdge_objectapi | Whether it is considered plausible that ‘raised’ can be raised across the edge this-succ |
| viableExceptionalExit | Whether this exceptional exit is viable. That is, is it plausible that the scope |
| viableExceptionalExit_objectapi | Whether this exceptional exit is viable. That is, is it plausible that the scope |
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 |