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

Class SsaPhiNode

An SSA phi node, that is, a pseudo-definition for a variable at a point in the flow graph where otherwise two or more definitions for the variable would be visible.

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.

    getInputFromBlock

    Gets the input to this phi node coming from the given predecessor block.

    getKind

    INTERNAL: Do not use.

    getRephinedVariable

    If all inputs to this phi node are (transitive) refinements of the same variable, gets that variable.

    getSourceVariable

    Gets the source variable defined by this definition.

    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
    getLocation

    Gets the location of this element.

    from SsaDefinition
    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 SsaImplicitDefinition
    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