Class AnalyzedRefinement
An analyzed refinement node.
Import path
import javascriptDirect supertypes
Known direct subtypes
Predicates
| getAnInputRhsValue | Gets an abstract value that one of the inputs of this refinement may evaluate to. |
| getAnRhsValue | Gets an abstract value that the right hand side of this definition may evaluate to at runtime. |
Inherited predicates
| definesAt | INTERNAL: Use | from SsaRefinementNode |
| getAContributingVarDef | Gets a variable definition node whose value may end up contributing to the SSA variable defined by this definition. | from SsaPseudoDefinition |
| getAnInput | Gets an input of this pseudo-definition. | from SsaRefinementNode |
| getBasicBlock | Gets the basic block to which this definition belongs. | from SsaRefinementNode |
| getContainer | Gets the function or toplevel to which this definition belongs. | from SsaDefinition |
| getGuard | Gets the guard that induces this refinement. | from SsaRefinementNode |
| getKind | INTERNAL: Do not use. | from SsaRefinementNode |
| getLocation | Gets the location of this element. | from SsaRefinementNode |
| getRefinement | Gets the refinement associated with this definition. | from SsaRefinementNode |
| getSourceVariable | Gets the source variable defined by this definition. | from SsaRefinementNode |
| 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 |
| prettyPrintDef | INTERNAL: Use | from SsaRefinementNode |
| prettyPrintRef | INTERNAL: Do not use. | from SsaImplicitDefinition |
| toString | Gets a textual representation of this element. | from SsaDefinition |