Class Ssa :: ImplicitCallDefinition
An SSA definition representing the potential definition of a variable via a call.
Import path
import csharp
Direct supertypes
Indirect supertypes
Predicates
getAPossibleDefinition |
Gets one of the definitions that may contribute to this implicit call definition. That is, a definition that can be reached from the target of this call following zero or more additional calls, and which targets the same assignable as this SSA definition. |
getCall |
Gets the underlying call. |
getLocation |
Gets the location of this SSA definition. |
toString |
Gets a textual representation of this SSA definition. |
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 |
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 |