Class AnalyzedConditionGuard
A refinement node where the guard is a condition.
For such nodes, we want to split any indefinite abstract values flowing into the node into sets of more precise abstract values to enable them to be refined.
Import path
import javascript
Direct supertypes
Indirect supertypes
Predicates
| getAnInputRhsValue |
Gets an abstract value that one of the inputs of this refinement may evaluate to. |
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 |
| getAnRhsValue |
Gets an abstract value that the right hand side of this definition may evaluate to at runtime. |
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 |
| 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 |