Class SourcePathNode
Import path
import semmle.code.csharp.dataflow.Nullness
Direct supertypes
Indirect supertypes
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. |
getMessage | |
getReason | |
getSsaDefinition | Gets the SSA definition. |
toString | Gets a textual representation of this node. |