A single static assignment variable. An SSA variable is a variable which is only assigned once (statically). SSA variables can be defined as normal variables or by a phi node which can occur at joins in the flow graph. Definitions without uses do not have a SSA variable.
Gets an argument of the phi function defining this variable. This predicate uses the raw SSA form produced by the extractor. In general, you should use
Gets an argument of the phi function defining this variable, pruned of unlikely edges.
Gets a use of this variable
Gets a variable that ultimately defines this variable and is not itself defined by another variable
Gets the definition (which may be a deletion) of this SSA variable
Gets the global variable that is accessed if this local is undefined. Only applies to local variables in class scopes.
Gets the id (name) of this variable
Gets the edge(s) (result->this.getDefinition()) on which the SSA variable ‘input’ defines this SSA variable. For each incoming edge
Gets the source variable
Whether this variable may be undefined
Whether it is possible to reach a use of this variable without passing a definition