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

Class AmdModuleDefinition

An AMD define call.

Example:

define(['fs', 'express'], function(fs, express) {
  ...
});

The first argument is an (optional) array of dependencies, the second a factory method or object.

We also recognize the three-argument form define('m', ['fs', 'express'], ...) where the first argument is the module name, the second argument an array of dependencies, and the third argument a factory method or object.

Import path

import javascript

Direct supertypes

Indirect supertypes

Predicates

dependencyParameter

Holds if p is the parameter corresponding to dependency dep.

getADependency

Gets a dependency of this module definition.

getAModuleExportsValue

Gets an abstract value representing one or more values that may flow into this module’s module.exports property.

getAModuleSource

Gets a source node whose value becomes the definition of this module.

getARequireCall

Gets a call to require inside this module.

getDependencies

Gets the array of module dependencies, if any.

getDependency

Gets the ith dependency of this module definition.

getDependencyParameter

Gets the parameter corresponding to dependency name.

getExportsParameter

Gets the parameter corresponding to the pseudo-dependency exports.

getFactoryNode

Gets a data flow node containing the factory value of this module definition.

getModuleExpr

Gets the expression defining this module.

getModuleParameter

Gets the parameter corresponding to the pseudo-dependency module.

getRequireParameter

Gets the parameter corresponding to the pseudo-dependency require.

Inherited predicates

accessesGlobal

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

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 CallExpr
getASuccessor

Gets a node succeeding this node in the CFG.

from ControlFlowNode
getAToken

Gets a token belonging to this element.

from AstNode
getATypeArgument

Gets a type argument of this invocation.

from InvokeExpr
getAnArgument

Gets an argument of this invocation.

from InvokeExpr
getArgument

Gets the ith argument of this invocation.

from InvokeExpr
getBasicBlock

Gets the basic block this node belongs to.

from ControlFlowNode
getCallee

Gets the expression specifying the function to be called.

from InvokeExpr
getCalleeName

Gets the name of the function or method being invoked, if it can be determined.

from InvokeExpr
getChild

Gets the ith child node of this node.

from AstNode
getChildExpr

Gets the ith child expression of this node.

from AstNode
getChildStmt

Gets the ith child statement of this node.

from AstNode
getChildTypeExpr

Gets the ith child type expression of this node.

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
getFirstControlFlowNode

Gets the first control flow node belonging to this syntactic entity.

from InvokeExpr
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
getLastArgument

Gets the last argument of this invocation, if any.

from InvokeExpr
getLastToken

Gets the last token belonging to this element.

from AstNode
getLocation

Gets this element’s location.

from Locatable
getNumArgument

Gets the number of arguments of this invocation.

from InvokeExpr
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
getNumTypeArgument

Gets the number of type arguments of this invocation.

from InvokeExpr
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
getReceiver

Gets the expression specifying the receiver on which the function is invoked, if any.

from CallExpr
getResolvedCallee

Gets the statically resolved target function, as determined by the TypeScript type system, if any.

from InvokeExpr
getResolvedCalleeName

Gets the canonical name of the static call target, as determined by the TypeScript type system.

from InvokeExpr
getResolvedOverloadIndex

Gets the index of the targeted call signature among the overload signatures on the invoked function.

from InvokeExpr
getResolvedSignature

Gets the call signature of the invoked function, as determined by the TypeScript type system, with overloading resolved and type parameters substituted.

from InvokeExpr
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
getTypeArgument

Gets the ith type argument of this invocation.

from InvokeExpr
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
hasOptionArgument

Holds if the ith argument of this invocation is an object literal whose property name is set to value.

from InvokeExpr
hasTrailingComma

Holds if the argument list of this function has a trailing comma.

from InvokeExpr
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 container, that is, a CFG node where execution of that toplevel or function terminates.

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
isSpreadArgument

Holds if the ith argument of this invocation is a spread element.

from InvokeExpr
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 b.

from Expr
mayHaveStringValue

Holds if this expression may evaluate to s.

from Expr
mayReferToParameter

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

from Expr
stripParens

Gets this expression, with any surrounding parentheses removed.

from Expr
toString

Gets a textual representation of this element.

from Expr