A refinement for a condition guard with an outcome of true
.
For example, in if(x) s; else t;
, this will restrict the possible values of x
at
the beginning of s
to those that are truthy.
Import path
import javascript
Direct supertypes
Indirect supertypes
Predicates
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 |
getAnInputRhsValue | Gets an abstract value that one of the inputs of this refinement may evaluate to. | from AnalyzedRefinement |
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 SsaDefinition |
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 | Holds if this element is at the specified location. The location spans column | from SsaRefinementNode |
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 |