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 javascript

Direct supertypes

Indirect supertypes

Known direct subtypes

AnalyzedRefinement

Predicates

definesAt	INTERNAL: Use `getBasicBlock()` and `getSourceVariable()` instead.
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.
getRefinement	Gets the refinement associated with this definition.
getSourceVariable	Gets the source variable defined by this definition.
hasLocationInfo	Holds if this element is at the specified location. The location spans column `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.
prettyPrintDef	INTERNAL: Use `toString()` instead.

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
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