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

Class CallWithNonLocalAnalyzedReturnFlow

A call with inter-procedural type inference for the return value.

Unlike CallWithAnalyzedReturnFlow, this only contributes to getAValue(), not getALocalValue().

Import path

import javascript

Direct supertypes

Indirect supertypes

Known direct subtypes

    Inherited fields

    Predicates

    getACallee

    Gets a called function.

    getAValue

    Gets an abstract value that this node may evaluate to at runtime.

    Inherited predicates

    accessesGlobal

    Holds if this data flow node accesses the global variable g, either directly or through the window object.

    from Node
    analyze

    Gets type inference results for this data flow node.

    from Node
    asExpr

    Gets the expression corresponding to this data flow node, if any.

    from Node
    getABooleanValue

    Gets a Boolean value that this node evaluates to.

    from AnalyzedNode
    getABoundFunctionValue

    Gets a function value that may reach this node, possibly derived from a partial function invocation.

    from Node
    getAFunctionValue

    Gets a function value that may reach this node.

    from Node
    getAFunctionValue

    Gets a function value that may reach this node with the given imprecision level.

    from Node
    getALocalSource

    Gets a source node from which data may flow to this node in zero or more local steps.

    from Node
    getALocalValue

    INTERNAL: Do not use.

    from AnalyzedNode
    getAPredecessor

    Gets a data flow node from which data may flow to this node in one local step.

    from Node
    getAPrimitiveType

    Gets a primitive type to which the value of this node can be coerced.

    from AnalyzedNode
    getASuccessor

    Gets a data flow node to which data may flow from this node in one local step.

    from Node
    getAType

    Gets a type inferred for this node.

    from AnalyzedNode
    getAstNode

    Gets the expression or declaration this node corresponds to.

    from ValueNode
    getBasicBlock

    Gets the basic block to which this node belongs.

    from ValueNode
    getContainer

    Gets the container in which this node occurs.

    from Node
    getEnclosingExpr

    Gets the expression enclosing this data flow node. In most cases the result is the same as asExpr(), however this method additionally includes the InvokeExpr corresponding to reflective calls.

    from Node
    getEndColumn

    Gets the end column of this data flow node.

    from Node
    getEndLine

    Gets the end line of this data flow node.

    from Node
    getFile

    Gets the file this data flow node comes from.

    from ValueNode
    getImmediatePredecessor

    Gets the immediate predecessor of this node, if any.

    from Node
    getIntValue

    Gets the integer value of this node, if it is an integer constant.

    from Node
    getStartColumn

    Gets the start column of this data flow node.

    from Node
    getStartLine

    Gets the start line of this data flow node.

    from Node
    getStringValue

    Gets the string value of this node, if it is a string literal or constant string concatenation.

    from Node
    getTheBooleanValue

    Gets the unique Boolean value that this node evaluates to, if any.

    from AnalyzedNode
    getTheType

    Gets the unique type inferred for this node, if any.

    from AnalyzedNode
    getTopLevel

    Gets the toplevel in which this node occurs.

    from Node
    hasAdditionalIncompleteness

    INTERNAL. Use isIncomplete() instead.

    from AnalyzedNode
    hasFlow

    Holds if the flow analysis can infer at least one abstract value for this node.

    from AnalyzedNode
    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 ValueNode
    hasUnderlyingType

    Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

    from Node
    hasUnderlyingType

    Holds if this node is annotated with the given named type, or is declared as a subtype thereof, or is a union or intersection containing such a type.

    from Node
    isIncomplete

    Holds if the flow information for this node is incomplete.

    from Node
    localFlowPred

    Gets another data flow node whose value flows into this node in one local step (that is, not involving global variables).

    from AnalyzedNode
    mayHaveBooleanValue

    Holds if this node may evaluate to the Boolean value b.

    from Node
    mayHaveStringValue

    Holds if this node may evaluate to the string s, possibly through local data flow.

    from Node
    ppTypes

    Gets a pretty-printed representation of all types inferred for this node as a comma-separated list, with the last comma being spelled “or”.

    from AnalyzedNode
    toString

    Gets a textual representation of this element.

    from ValueNode