Class Ssa::ImplicitDefinition
An SSA definition that does not correspond to an explicit variable definition.
Either an implicit initialization of a variable at the beginning of a callable
(ImplicitEntryDefinition
), an implicit definition via a call
(ImplicitCallDefinition
), or an implicit definition where the qualifier is
updated (ImplicitQualifierDefinition
).
Import path
import csharp
Direct supertypes
Indirect supertypes
Known direct subtypes
Inherited predicates
definesAt | Holds if this SSA definition defines | from Definition |
getAFirstRead | Gets a read of the source variable underlying this SSA definition that can be reached from this SSA definition without passing through any other SSA definition or read. Example: | from Definition |
getAFirstReadAtNode | Gets a read of the source variable underlying this SSA definition at control flow node | from Definition |
getALastRead | Gets a last read of the source variable underlying this SSA definition. That is, a read that can reach the end of the enclosing callable, or another SSA definition for the source variable, without passing through any other read. Example: | from Definition |
getALastReadAtNode | Gets a last read of the source variable underlying this SSA definition at control flow node | from Definition |
getARead | Gets a read of the source variable underlying this SSA definition that can be reached from this SSA definition without passing through any other SSA definitions. Example: | from Definition |
getAReadAtNode | Gets a read of the source variable underlying this SSA definition at control flow node | from Definition |
getAnUltimateDefinition | Gets a definition that ultimately defines this SSA definition and is not itself a phi node. Example: | from Definition |
getBasicBlock | Gets the basic block to which this SSA definition belongs. | from Definition |
getControlFlowNode | Gets the control flow node of this SSA definition, if any. Phi nodes are examples of SSA definitions without a control flow node, as they are modeled at index | from Definition |
getElement | Gets the syntax element associated with this SSA definition, if any. This is either an expression, for example | from Definition |
getEnclosingCallable | Gets the callable to which this SSA definition belongs. | from Definition |
getLocation | Gets the location of this SSA definition. | from Definition |
getSourceVariable | Gets the source variable underlying this SSA definition. | from Definition |
isLiveAtEndOfBlock | Holds if this SSA definition is live at the end of basic block | from Definition |
isLiveOutRefParameterDefinition | Holds if this SSA definition assigns to | from Definition |
toString | Gets a textual representation of this SSA definition. | from Definition |