Class NullGuardedDataFlowNode
A data flow node guarded by a null
check.
Import path
import semmle.code.csharp.controlflow.Guards
Direct supertypes
Indirect supertypes
Inherited predicates
asDefinition | Gets the definition corresponding to this node, if any. | from Node |
asDefinitionAtNode | Gets the definition corresponding to this node, at control flow node | from Node |
asExpr | Gets the expression corresponding to this node, if any. | from Node |
asExprAtNode | Gets the expression corresponding to this node, at control flow node | from Node |
asParameter | Gets the parameter corresponding to this node, if any. | from Node |
getAGuard | Gets an expression that guards this data flow node. That is, this data flow node is only reached when the returned expression has abstract value | from GuardedDataFlowNode |
getControlFlowNode | Gets the control flow node corresponding to this node, if any. | from Node |
getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
getExpr | Gets the expression corresponding to this node. | from ExprNode |
getExprAtNode | Gets the expression corresponding to this node, at control flow node | from ExprNode |
getLocation | Gets the location of this node. | from Node |
getType | Gets the type of this node. | from Node |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
mustHaveValue | Holds if this data flow node must have abstract value | from GuardedDataFlowNode |
toString | Gets a textual representation of this node. | from Node |