Module Ssa

A static single assignment (SSA) definition. Either an explicit variable definition (ExplicitDefinition), an implicit variable definition (ImplicitDefinition), or a phi node (PhiNode).

An SSA definition that corresponds to an explicit assignable definition.

An SSA definition representing the potential definition of a variable via a call.

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).

An SSA definition representing the implicit initialization of a variable at the beginning of a callable. Either the variable is a local scope variable captured by the callable, or a field or property accessed inside the callable.

An SSA definition representing the potential definition of a variable via an SSA definition for the qualifier.

An SSA phi node, that is, a pseudo definition for a variable at a point in the flow graph where otherwise two or more definitions for the variable would be visible.

A variable that can be SSA converted.

An SSA definition that represents an uncertain update of the underlying assignable. Either an explicit update that is uncertain (ref assignments need not be certain), an implicit non-local update via a call, or an uncertain update of the qualifier.

Provides different types of SourceVariables.