Class Comparison

Whether the result of this comparison being thisIsTrue implies that the result of that is isThatTrue. In other words, does the predicate that is equivalent to the result of this being thisIsTrue imply the predicate that is equivalent to the result of that being thatIsTrue. For example, assume that there are two tests, which when normalised have the form x < y and x > y + 1. Then the test x < y having a true result, implies that the test x > y + 1 will have a false result. (x < y having a false result implies nothing about x > y + 1)

Whether this condition tests l op k

Whether this condition tests l op r + k

Whether this dominates other. Note that all nodes dominate themselves.

Gets a successor for this node if the relevant condition is False.

Gets a successor for this node if no exception is raised.

Gets a predecessor of this flow node

Gets a successor of this flow node

Gets a successor for this node if the relevant condition is True.

Gets a successor for this node if an exception is raised.

Gets the basic block containing this flow node

Gets the enclosing module

Gets the immediate dominator of this flow node

Gets the location of this ControlFlowNode

Gets the syntactic element corresponding to this flow node

Gets the scope containing this flow node

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.

Gets a value that this ControlFlowNode may points-to.

Whether this flow node corresponds to an attribute expression

Whether this control flow node is a load in an augmented assignment

Whether this control flow node is a store in an augmented assignment

Holds if this CFG node is a branch

Whether this flow node corresponds to a call

Whether this flow node corresponds to a class definition expression

Whether this control flow node is a delete

Whether this flow node is the first in its scope

Whether the scope may be exited as a result of this node raising an exception

Whether this flow node corresponds to a function definition expression

Whether this flow node corresponds to a conditional expression

Whether this flow node corresponds to an import

Whether this flow node corresponds to an import member

Whether this flow node corresponds to a literal

Whether this control flow node is a load (including those in augmented assignments)

Whether this flow node is the first in a module

Whether this node is a normal (non-exceptional) exit

Whether this control flow node is a parameter

Whether this control flow node is a store (including those in augmented assignments)

Whether this flow node corresponds to an subscript expression

Gets the value that this ControlFlowNode points-to.

Gets the value that this ControlFlowNode points-to.

Gets the value and origin that this ControlFlowNode points-to.

Gets the value and origin that this ControlFlowNode points-to, given the context.

Equivalent to this.refersTo(value, _)

Whether this flow node might “refer-to” to value which is from origin Unlike this.refersTo(value, _, origin) this predicate includes results where the class cannot be inferred.

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 refersTo(value) or refersTo(value, origin) instead.

Gets what this expression might “refer-to” in the given context.

Whether this strictly dominates other.

Whether this strictly reaches other.

Gets a textual representation of this element.

Whether it is unlikely that this ControlFlowNode can be reached