CodeQL library for JavaScript/TypeScript
codeql/javascript-all 0.8.12 (changelog, source)
Search

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

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