Class SummaryPostUpdateNode
Import path
import codeql.rust.dataflow.internal.NodeDirect supertypes
Indirect supertypes
Predicates
| getPreUpdateNode | Gets the node before the state update. |
| toString | Gets a textual representation of this node. |
Inherited predicates
| asExpr | Gets the expression that corresponds to this node, if any. | from NodePublic |
| asParameter | Gets the parameter that corresponds to this node, if any. | from NodePublic |
| asPat | Gets the pattern that corresponds to this node, if any. | from NodePublic |
| getAstNode | Gets the AST node that corresponds to this data flow node, if any. | from Node |
| getCfgScope | Do not call: use | from FlowSummaryNode |
| getEnclosingCallable | Gets the enclosing callable. | from FlowSummaryNode |
| getLocation | Gets the location of this node. | from FlowSummaryNode |
| getSinkElement | Gets the AST sink node that this node belongs to, if any | from FlowSummaryNode |
| getSourceElement | Gets the AST source node that this node belongs to, if any | from FlowSummaryNode |
| getSummarizedCallable | Gets the summarized callable that this node belongs to, if any. | from FlowSummaryNode |
| getSummaryNode | from FlowSummaryNode | |
| isSink | Holds is this node is a sink node of kind | from FlowSummaryNode |
| isSource | Holds is this node is a source node of kind | from FlowSummaryNode |