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.NullnessDirect 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. |