Class AnalyzedRefinement

An analyzed refinement node.

Import path


                                import javascript

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.

definesAt	INTERNAL: Use `getBasicBlock()` and `getSourceVariable()` instead.	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
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 `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from SsaRefinementNode
ppInputs	Gets a textual representation of the inputs of this pseudo-definition in lexicographical order.	from SsaPseudoDefinition
prettyPrintDef	INTERNAL: Use `toString()` instead.	from SsaRefinementNode
prettyPrintRef	INTERNAL: Do not use.	from SsaImplicitDefinition
toString	Gets a textual representation of this element.	from SsaDefinition