Class PreSsa::Definition
Import path
import semmle.code.csharp.controlflow.internal.PreSsa
Direct supertypes
Indirect supertypes
Known direct subtypes
Inherited predicates
definesAt | Holds if this SSA definition defines | from Definition |
getBasicBlock | Gets the basic block to which this SSA definition belongs. | from Definition |
getSourceVariable | Gets the source variable underlying this SSA definition. | from Definition |
toString | Gets a textual representation of this SSA definition. | from Definition |