Class InvokeExpr
An invocation expression, that is, either a function call or
a new
expression.
Examples:
f(1)
x.f(1, ...args)
f.call(x, 1)
new Array(16)
Import path
import javascript
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getATypeArgument | Gets a type argument of this invocation. |
getAnArgument | Gets an argument of this invocation. |
getArgument | Gets the |
getCallee | Gets the expression specifying the function to be called. |
getCalleeName | Gets the name of the function or method being invoked, if it can be determined. |
getFirstControlFlowNode | Gets the first control flow node belonging to this syntactic entity. |
getLastArgument | Gets the last argument of this invocation, if any. |
getNumArgument | Gets the number of arguments of this invocation. |
getNumTypeArgument | Gets the number of type arguments of this invocation. |
getResolvedCallee | Gets the statically resolved target function, as determined by the TypeScript type system, if any. |
getResolvedCalleeName | Gets the canonical name of the static call target, as determined by the TypeScript type system. |
getResolvedOverloadIndex | Gets the index of the targeted call signature among the overload signatures on the invoked function. |
getResolvedSignature | Gets the call signature of the invoked function, as determined by the TypeScript type system, with overloading resolved and type parameters substituted. |
getTypeArgument | Gets the |
hasOptionArgument | Holds if the |
hasTrailingComma | Holds if the argument list of this function has a trailing comma. |
isSpreadArgument | Holds if the |
Inherited predicates
accessesGlobal | Holds if this expression accesses the global variable | from Expr |
analyze | Gets type inference results for this element. | from ValueNode |
describeControlFlowNode | For internal use. | from ControlFlowNode |
flow | Gets the data flow node associated with this program element. | from ValueNode |
getAChild | Gets a child node of this node. | from AstNode |
getAChildExpr | Gets a child expression of this node. | from AstNode |
getAChildStmt | Gets a child statement of this node. | from AstNode |
getAPredecessor | Gets a node preceding this node in the CFG. | from ControlFlowNode |
getAPrimaryQlClass | Gets the primary QL class for the Locatable. | from Locatable |
getASuccessor | Gets a node succeeding this node in the CFG. | from ControlFlowNode |
getAToken | Gets a token belonging to this element. | from AstNode |
getBasicBlock | Gets the basic block this node belongs to. | from ControlFlowNode |
getChild | Gets the | from AstNode |
getChildExpr | Gets the | from AstNode |
getChildStmt | Gets the | from AstNode |
getChildTypeExpr | Gets the | from AstNode |
getContainer | Gets the function or toplevel to which this node belongs. | from NodeInStmtContainer |
getDocumentation | Gets the JSDoc comment associated with this expression or type or its parent statement, if any. | from ExprOrType |
getEnclosingFunction | Gets the function in which this expression or type appears, if any. | from ExprOrType |
getEnclosingStmt | Gets the statement in which this expression or type appears. | from ExprOrType |
getEndLine | Gets the line on which this element ends. | from Locatable |
getExceptionTarget | Gets the data-flow node where exceptions thrown by this expression will propagate if this expression causes an exception to be thrown. | from Expr |
getFile | Gets the file this program element comes from. | from AstNode |
getFirstToken | Gets the first token belonging to this element. | from AstNode |
getIntValue | Gets the constant integer value this expression evaluates to, if any. | from Expr |
getKind | Gets the kind of this expression, which is an integer value representing the expression’s node type. | from Expr |
getLastToken | Gets the last token belonging to this element. | from AstNode |
getLocation | Gets this element’s location. | from Locatable |
getNumChild | Gets the number of child nodes of this node. | from AstNode |
getNumChildExpr | Gets the number of child expressions of this node. | from AstNode |
getNumChildStmt | Gets the number of child statements of this node. | from AstNode |
getNumLines | Gets the number of lines covered by this element. | from Locatable |
getParent | Gets the parent node of this node, if any. | from AstNode |
getParentExpr | Gets the expression that is the parent of this expression in the AST, if any. | from Expr |
getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Locatable |
getStartLine | Gets the line on which this element starts. | from Locatable |
getStringValue | Gets the constant string value this expression evaluates to, if any. | from Expr |
getTopLevel | Gets the toplevel syntactic unit to which this element belongs. | from AstNode |
getType | Gets the static type of this expression, as determined by the TypeScript type system. | from Expr |
getUnderlyingReference | Gets the innermost reference that this expression evaluates to, if any. | from ExprOrType |
getUnderlyingValue | Gets the innermost expression that this expression evaluates to. | from ExprOrType |
inExternsFile | Holds if this syntactic entity belongs to an externs file. | from AstNode |
inNullSensitiveContext | Holds if the syntactic context that the expression appears in relies on the expression being non-null/non-undefined. | from Expr |
isAFinalNode | Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates. | from ControlFlowNode |
isAFinalNodeOfContainer | Holds if this is a final node of | from ControlFlowNode |
isAmbient | Holds if this is part of an ambient declaration or type annotation in a TypeScript file. | from AstNode |
isBranch | Holds if this is a node with more than one successor. | from ControlFlowNode |
isImpure | Holds if this expression is impure, that is, its evaluation could have side effects. | from Expr |
isJoin | Holds if this is a node with more than one predecessor. | from ControlFlowNode |
isPure | Holds if this expression is pure, that is, its evaluation is guaranteed to be side-effect free. | from Expr |
isStart | Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins. | from ControlFlowNode |
isUnreachable | Holds if this node is unreachable, that is, it has no predecessors in the CFG. Entry nodes are always considered reachable. | from ControlFlowNode |
mayHaveBooleanValue | Holds if this expression may evaluate to | from Expr |
mayHaveStringValue | Holds if this expression may evaluate to | from Expr |
mayReferToParameter | Holds if this expression may refer to the initial value of parameter | from Expr |
stripParens | Gets this expression, with any surrounding parentheses removed. | from Expr |
toString | Gets a textual representation of this element. | from Expr |