Class AnalyzedModule
A module for which analysis results are available.
The type inference supports AMD, CommonJS and ES2015 modules. All three
variants are modeled as CommonJS modules, with module object and a default
exports object which is the initial value of module.exports. ES2015
exports are modeled as property writes on module.exports, and imports
as property reads on any potential value of module.exports.
Import path
import semmle.javascript.dataflow.TypeInferenceDirect supertypes
Indirect supertypes
Predicates
| getAnExportedValue | Gets an abstract value representing a value exported by this module under the given |
| getAnExportsValue | Gets an abstract value inferred for this module’s |
| getExportsProperty | Gets the abstract property representing this module’s |
| getModuleObject | Gets the abstract value representing this module’s |
| getName | Gets the name of this module. |
Inherited predicates
| 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 |
| getAPrimaryQlClass | Gets the primary QL class for the Locatable. | from Locatable |
| getAStmt | Gets a statement that belongs to this container. | from StmtContainer |
| getAToken | Gets a token belonging to this element. | from AstNode |
| getBody | Gets the body of this container. | from StmtContainer |
| 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 |
| getEnclosingContainer | Gets the innermost enclosing container in which this container is nested. | from StmtContainer |
| getEndLine | Gets the line on which this element ends. | from Locatable |
| getEntry | Gets the (unique) entry node of the control flow graph for this toplevel or function. | from StmtContainer |
| getEntryBB | Gets the entry basic block of this function, that is, the basic block containing the entry node of its CFG. | from StmtContainer |
| getExit | Gets the (unique) exit node of the control flow graph for this toplevel or function. | from StmtContainer |
| getFile | Gets the file this program element comes from. | from AstNode |
| getFirstControlFlowNode | Gets the first control flow node belonging to this syntactic entity. | from TopLevel |
| getFirstToken | Gets the first token belonging to this element. | from AstNode |
| getFunctionBoundary | Gets the innermost enclosing function or top-level, possibly this container itself if it is a function or top-level. | from StmtContainer |
| 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 |
| getNumberOfLines | Gets the number of lines in this toplevel. | from TopLevel |
| getNumberOfLinesOfCode | Gets the number of lines containing code in this toplevel. | from TopLevel |
| getNumberOfLinesOfComments | Gets the number of lines containing comments in this toplevel. | from TopLevel |
| getParent | Gets the parent node of this node, if any. | from AstNode |
| getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Locatable |
| getScope | Gets the scope induced by this toplevel or function, if any. | from StmtContainer |
| getStart | Gets the (unique) CFG node at which execution of this toplevel or function begins. | from StmtContainer |
| getStartBB | Gets the start basic block of this function, that is, the basic block containing the start node of its CFG. | from StmtContainer |
| getStartLine | Gets the line on which this element starts. | from Locatable |
| getTopLevel | Gets the toplevel to which this element belongs, that is, itself. | from TopLevel |
| inExternsFile | Holds if this syntactic entity belongs to an externs file. | from AstNode |
| isAmbient | Holds if this is part of an ambient declaration or type annotation in a TypeScript file. | from AstNode |
| isExterns | Holds if this toplevel is an externs definitions file. | from TopLevel |
| isMinified | Holds if this toplevel is minified. | from TopLevel |
| isStrict | Holds if the code in this container is executed in ECMAScript strict mode. | from TopLevel |
| toString | Gets a textual representation of this element. | from TopLevel |