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

Class AnalyzedRefinement

An analyzed refinement node.

Import path

import javascript

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    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.

    Inherited predicates

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

    Gets a textual representation of this element.

    from SsaDefinition