Class TypeInference::AnalyzedFunction

Flow analysis for functions.

Direct supertypes

Indirect supertypes

Fields

Predicates

getALocalValue

INTERNAL: Do not use.

getAReturnValue

Gets a return value for a call to this function.

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
getALocalSource

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

from Node
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
getAValue

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

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
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 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
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
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 LGTM locations.

from ValueNode
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.

from ValueNode
mayReferToParameter

Holds if this expression may refer to the initial value of parameter p.

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