Class DefinitionExt
An extended static single assignment (SSA) definition.
This is either a normal SSA definition (Definition
) or a
phi-read node (PhiReadNode
).
Only intended for internal use.
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getEnclosingCallable |
Gets the enclosing callable of this definition. |
getLocation |
Gets the location of this definition. |
toString |
Gets a textual representation of this SSA definition. |
Inherited predicates
definesAt |
Holds if this SSA definition defines |
from DefinitionExt |
getBasicBlock |
Gets the basic block to which this SSA definition belongs. |
from DefinitionExt |
getSourceVariable |
Gets the source variable underlying this SSA definition. |
from DefinitionExt |