Provides classes and predicates for SSA representation (Static Single Assignment form).
An SSA variable consists of the pair of a
SsaSourceVariable and a
ControlFlowNode at which it is defined. Each SSA variable is defined
either by a phi node, an implicit initial value (for parameters and fields),
an explicit update, or an implicit update (for fields).
An implicit update occurs either at a
Call that might modify a field, at
another update that can update the qualifier of a field, or at a
of the field in case the field is not amenable to a non-trivial SSA
Gets an expression that has the same value as the given SSA variable.
An SSA variable that is defined by a
An SSA variable that is defined by its initial value in the callable. This includes initial values of parameters, fields, and closure variables.
An SSA variable that represents any sort of implicit update. This can be a
An SSA phi node.
A fully qualified field in the context of a
A fully qualified variable in the context of a
An SSA variable that represents an uncertain implicit update of the value. This is a
An SSA variable that either explicitly or implicitly updates the variable.
An SSA variable.