A refinement for a condition guard with an outcome of false.
For example, in if(x) s; else t;, this will restrict the possible values of x at
the beginning of t to those that are falsy.
Import path
import javascriptDirect 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 |