Import path
import semmle.code.csharp.controlflow.internal.PreSsa
Direct supertypes
Indirect supertypes
Predicates
Inherited predicates
definesAt | Holds if this SSA definition defines | from Definition |
getAFirstRead | from Definition | |
getARead | from Definition | |
getAnUltimateDefinition | from Definition | |
getBasicBlock | Gets the basic block to which this SSA definition belongs. | from Definition |
getDefinition | from Definition | |
getSourceVariable | Gets the source variable underlying this SSA definition. | from Definition |
isLiveAtEndOfBlock | from Definition | |
toString | Gets a textual representation of this SSA definition. | from PhiNode |