Class PathNode
An SSA definition, which may be null, augmented with at basic block which can
be reached without passing through a null check.
Import path
import semmle.code.csharp.dataflow.Nullness
Direct supertypes
Known direct subtypes
Predicates
| getASuccessor |
Gets another node that can be reached from this node. |
| getBasicBlock |
Gets the basic block that can be reached without passing through a |
| getLocation |
Gets the location of this node. |
| getSsaDefinition |
Gets the SSA definition. |
| toString |
Gets a textual representation of this node. |