Class SsaRefinementNode
A refinement node, that is, a pseudo-definition for a variable at a point in the flow graph where additional information about this variable becomes available that may restrict its possible set of values.
Import path
import javascriptDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| definesAt | INTERNAL: Use |
| getAnInput | Gets an input of this pseudo-definition. |
| getBasicBlock | Gets the basic block to which this definition belongs. |
| getGuard | Gets the guard that induces this refinement. |
| getKind | INTERNAL: Do not use. |
| getLocation | Gets the location of this element. |
| getRefinement | Gets the refinement associated with this definition. |
| getSourceVariable | Gets the source variable defined by this definition. |
| prettyPrintDef | INTERNAL: Use |
Inherited predicates
| getAContributingVarDef | Gets a variable definition node whose value may end up contributing to the SSA variable defined by this definition. | from SsaPseudoDefinition |
| getContainer | Gets the function or toplevel to which this definition belongs. | from SsaDefinition |
| getVariable | Gets the SSA variable defined by this definition. | from SsaDefinition |
| hasLocationInfo | DEPRECATED. Use | from SsaDefinition |
| ppInputs | Gets a textual representation of the inputs of this pseudo-definition in lexicographical order. | from SsaPseudoDefinition |
| prettyPrintRef | INTERNAL: Do not use. | from SsaImplicitDefinition |
| toString | Gets a textual representation of this element. | from SsaDefinition |