You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1686 lines
77 KiB
1686 lines
77 KiB
"use strict"; |
|
Object.defineProperty(exports, "__esModule", { value: true }); |
|
exports.isValidIdentifier = exports.getLineBreakStyle = exports.getLineRanges = exports.forEachComment = exports.forEachTokenWithTrivia = exports.forEachToken = exports.isFunctionWithBody = exports.hasOwnThisReference = exports.isBlockScopeBoundary = exports.isFunctionScopeBoundary = exports.isTypeScopeBoundary = exports.isScopeBoundary = exports.ScopeBoundarySelector = exports.ScopeBoundary = exports.isInSingleStatementContext = exports.isBlockScopedDeclarationStatement = exports.isBlockScopedVariableDeclaration = exports.isBlockScopedVariableDeclarationList = exports.getVariableDeclarationKind = exports.VariableDeclarationKind = exports.forEachDeclaredVariable = exports.forEachDestructuringIdentifier = exports.getPropertyName = exports.getWrappedNodeAtPosition = exports.getAstNodeAtPosition = exports.commentText = exports.isPositionInComment = exports.getCommentAtPosition = exports.getTokenAtPosition = exports.getNextToken = exports.getPreviousToken = exports.getNextStatement = exports.getPreviousStatement = exports.isModifierFlagSet = exports.isObjectFlagSet = exports.isSymbolFlagSet = exports.isTypeFlagSet = exports.isNodeFlagSet = exports.hasAccessModifier = exports.isParameterProperty = exports.hasModifier = exports.getModifier = exports.isThisParameter = exports.isKeywordKind = exports.isJsDocKind = exports.isTypeNodeKind = exports.isAssignmentKind = exports.isNodeKind = exports.isTokenKind = exports.getChildOfKind = void 0; |
|
exports.getBaseOfClassLikeExpression = exports.hasExhaustiveCaseClauses = exports.formatPseudoBigInt = exports.unwrapParentheses = exports.getSingleLateBoundPropertyNameOfPropertyName = exports.getLateBoundPropertyNamesOfPropertyName = exports.getLateBoundPropertyNames = exports.getPropertyNameOfWellKnownSymbol = exports.isWellKnownSymbolLiterally = exports.isBindableObjectDefinePropertyCall = exports.isReadonlyAssignmentDeclaration = exports.isInConstContext = exports.isConstAssertion = exports.getTsCheckDirective = exports.getCheckJsDirective = exports.isAmbientModule = exports.isCompilerOptionEnabled = exports.isStrictCompilerOptionEnabled = exports.getIIFE = exports.isAmbientModuleBlock = exports.isStatementInAmbientContext = exports.findImportLikeNodes = exports.findImports = exports.ImportKind = exports.parseJsDocOfNode = exports.getJsDoc = exports.canHaveJsDoc = exports.isReassignmentTarget = exports.getAccessKind = exports.AccessKind = exports.isExpressionValueUsed = exports.getDeclarationOfBindingElement = exports.hasSideEffects = exports.SideEffectOptions = exports.isSameLine = exports.isNumericPropertyName = exports.isValidJsxIdentifier = exports.isValidNumericLiteral = exports.isValidPropertyName = exports.isValidPropertyAccess = void 0; |
|
const ts = require("typescript"); |
|
const node_1 = require("../typeguard/node"); |
|
const _3_2_1 = require("../typeguard/3.2"); |
|
const type_1 = require("./type"); |
|
function getChildOfKind(node, kind, sourceFile) { |
|
for (const child of node.getChildren(sourceFile)) |
|
if (child.kind === kind) |
|
return child; |
|
} |
|
exports.getChildOfKind = getChildOfKind; |
|
function isTokenKind(kind) { |
|
return kind >= ts.SyntaxKind.FirstToken && kind <= ts.SyntaxKind.LastToken; |
|
} |
|
exports.isTokenKind = isTokenKind; |
|
function isNodeKind(kind) { |
|
return kind >= ts.SyntaxKind.FirstNode; |
|
} |
|
exports.isNodeKind = isNodeKind; |
|
function isAssignmentKind(kind) { |
|
return kind >= ts.SyntaxKind.FirstAssignment && kind <= ts.SyntaxKind.LastAssignment; |
|
} |
|
exports.isAssignmentKind = isAssignmentKind; |
|
function isTypeNodeKind(kind) { |
|
return kind >= ts.SyntaxKind.FirstTypeNode && kind <= ts.SyntaxKind.LastTypeNode; |
|
} |
|
exports.isTypeNodeKind = isTypeNodeKind; |
|
function isJsDocKind(kind) { |
|
return kind >= ts.SyntaxKind.FirstJSDocNode && kind <= ts.SyntaxKind.LastJSDocNode; |
|
} |
|
exports.isJsDocKind = isJsDocKind; |
|
function isKeywordKind(kind) { |
|
return kind >= ts.SyntaxKind.FirstKeyword && kind <= ts.SyntaxKind.LastKeyword; |
|
} |
|
exports.isKeywordKind = isKeywordKind; |
|
function isThisParameter(parameter) { |
|
return parameter.name.kind === ts.SyntaxKind.Identifier && parameter.name.originalKeywordKind === ts.SyntaxKind.ThisKeyword; |
|
} |
|
exports.isThisParameter = isThisParameter; |
|
function getModifier(node, kind) { |
|
if (node.modifiers !== undefined) |
|
for (const modifier of node.modifiers) |
|
if (modifier.kind === kind) |
|
return modifier; |
|
} |
|
exports.getModifier = getModifier; |
|
function hasModifier(modifiers, ...kinds) { |
|
if (modifiers === undefined) |
|
return false; |
|
for (const modifier of modifiers) |
|
if (kinds.includes(modifier.kind)) |
|
return true; |
|
return false; |
|
} |
|
exports.hasModifier = hasModifier; |
|
function isParameterProperty(node) { |
|
return hasModifier(node.modifiers, ts.SyntaxKind.PublicKeyword, ts.SyntaxKind.ProtectedKeyword, ts.SyntaxKind.PrivateKeyword, ts.SyntaxKind.ReadonlyKeyword); |
|
} |
|
exports.isParameterProperty = isParameterProperty; |
|
function hasAccessModifier(node) { |
|
return isModifierFlagSet(node, ts.ModifierFlags.AccessibilityModifier); |
|
} |
|
exports.hasAccessModifier = hasAccessModifier; |
|
function isFlagSet(obj, flag) { |
|
return (obj.flags & flag) !== 0; |
|
} |
|
exports.isNodeFlagSet = isFlagSet; |
|
exports.isTypeFlagSet = isFlagSet; |
|
exports.isSymbolFlagSet = isFlagSet; |
|
function isObjectFlagSet(objectType, flag) { |
|
return (objectType.objectFlags & flag) !== 0; |
|
} |
|
exports.isObjectFlagSet = isObjectFlagSet; |
|
function isModifierFlagSet(node, flag) { |
|
return (ts.getCombinedModifierFlags(node) & flag) !== 0; |
|
} |
|
exports.isModifierFlagSet = isModifierFlagSet; |
|
function getPreviousStatement(statement) { |
|
const parent = statement.parent; |
|
if (node_1.isBlockLike(parent)) { |
|
const index = parent.statements.indexOf(statement); |
|
if (index > 0) |
|
return parent.statements[index - 1]; |
|
} |
|
} |
|
exports.getPreviousStatement = getPreviousStatement; |
|
function getNextStatement(statement) { |
|
const parent = statement.parent; |
|
if (node_1.isBlockLike(parent)) { |
|
const index = parent.statements.indexOf(statement); |
|
if (index < parent.statements.length) |
|
return parent.statements[index + 1]; |
|
} |
|
} |
|
exports.getNextStatement = getNextStatement; |
|
/** Returns the token before the start of `node` or `undefined` if there is none. */ |
|
function getPreviousToken(node, sourceFile) { |
|
const { pos } = node; |
|
if (pos === 0) |
|
return; |
|
do |
|
node = node.parent; |
|
while (node.pos === pos); |
|
return getTokenAtPositionWorker(node, pos - 1, sourceFile !== null && sourceFile !== void 0 ? sourceFile : node.getSourceFile(), false); |
|
} |
|
exports.getPreviousToken = getPreviousToken; |
|
/** Returns the next token that begins after the end of `node`. Returns `undefined` for SourceFile and EndOfFileToken */ |
|
function getNextToken(node, sourceFile) { |
|
if (node.kind === ts.SyntaxKind.SourceFile || node.kind === ts.SyntaxKind.EndOfFileToken) |
|
return; |
|
const end = node.end; |
|
node = node.parent; |
|
while (node.end === end) { |
|
if (node.parent === undefined) |
|
return node.endOfFileToken; |
|
node = node.parent; |
|
} |
|
return getTokenAtPositionWorker(node, end, sourceFile !== null && sourceFile !== void 0 ? sourceFile : node.getSourceFile(), false); |
|
} |
|
exports.getNextToken = getNextToken; |
|
/** Returns the token at or following the specified position or undefined if none is found inside `parent`. */ |
|
function getTokenAtPosition(parent, pos, sourceFile, allowJsDoc) { |
|
if (pos < parent.pos || pos >= parent.end) |
|
return; |
|
if (isTokenKind(parent.kind)) |
|
return parent; |
|
return getTokenAtPositionWorker(parent, pos, sourceFile !== null && sourceFile !== void 0 ? sourceFile : parent.getSourceFile(), allowJsDoc === true); |
|
} |
|
exports.getTokenAtPosition = getTokenAtPosition; |
|
function getTokenAtPositionWorker(node, pos, sourceFile, allowJsDoc) { |
|
if (!allowJsDoc) { |
|
// if we are not interested in JSDoc, we can skip to the deepest AST node at the given position |
|
node = getAstNodeAtPosition(node, pos); |
|
if (isTokenKind(node.kind)) |
|
return node; |
|
} |
|
outer: while (true) { |
|
for (const child of node.getChildren(sourceFile)) { |
|
if (child.end > pos && (allowJsDoc || child.kind !== ts.SyntaxKind.JSDocComment)) { |
|
if (isTokenKind(child.kind)) |
|
return child; |
|
// next token is nested in another node |
|
node = child; |
|
continue outer; |
|
} |
|
} |
|
return; |
|
} |
|
} |
|
/** |
|
* Return the comment at the specified position. |
|
* You can pass an optional `parent` to avoid some work finding the corresponding token starting at `sourceFile`. |
|
* If the `parent` parameter is passed, `pos` must be between `parent.pos` and `parent.end`. |
|
*/ |
|
function getCommentAtPosition(sourceFile, pos, parent = sourceFile) { |
|
const token = getTokenAtPosition(parent, pos, sourceFile); |
|
if (token === undefined || token.kind === ts.SyntaxKind.JsxText || pos >= token.end - (ts.tokenToString(token.kind) || '').length) |
|
return; |
|
const startPos = token.pos === 0 |
|
? (ts.getShebang(sourceFile.text) || '').length |
|
: token.pos; |
|
return startPos !== 0 && ts.forEachTrailingCommentRange(sourceFile.text, startPos, commentAtPositionCallback, pos) || |
|
ts.forEachLeadingCommentRange(sourceFile.text, startPos, commentAtPositionCallback, pos); |
|
} |
|
exports.getCommentAtPosition = getCommentAtPosition; |
|
function commentAtPositionCallback(pos, end, kind, _nl, at) { |
|
return at >= pos && at < end ? { pos, end, kind } : undefined; |
|
} |
|
/** |
|
* Returns whether the specified position is inside a comment. |
|
* You can pass an optional `parent` to avoid some work finding the corresponding token starting at `sourceFile`. |
|
* If the `parent` parameter is passed, `pos` must be between `parent.pos` and `parent.end`. |
|
*/ |
|
function isPositionInComment(sourceFile, pos, parent) { |
|
return getCommentAtPosition(sourceFile, pos, parent) !== undefined; |
|
} |
|
exports.isPositionInComment = isPositionInComment; |
|
function commentText(sourceText, comment) { |
|
return sourceText.substring(comment.pos + 2, comment.kind === ts.SyntaxKind.SingleLineCommentTrivia ? comment.end : comment.end - 2); |
|
} |
|
exports.commentText = commentText; |
|
/** Returns the deepest AST Node at `pos`. Returns undefined if `pos` is outside of the range of `node` */ |
|
function getAstNodeAtPosition(node, pos) { |
|
if (node.pos > pos || node.end <= pos) |
|
return; |
|
while (isNodeKind(node.kind)) { |
|
const nested = ts.forEachChild(node, (child) => child.pos <= pos && child.end > pos ? child : undefined); |
|
if (nested === undefined) |
|
break; |
|
node = nested; |
|
} |
|
return node; |
|
} |
|
exports.getAstNodeAtPosition = getAstNodeAtPosition; |
|
/** |
|
* Returns the NodeWrap of deepest AST node that contains `pos` between its `pos` and `end`. |
|
* Only returns undefined if pos is outside of `wrap` |
|
*/ |
|
function getWrappedNodeAtPosition(wrap, pos) { |
|
if (wrap.node.pos > pos || wrap.node.end <= pos) |
|
return; |
|
outer: while (true) { |
|
for (const child of wrap.children) { |
|
if (child.node.pos > pos) |
|
return wrap; |
|
if (child.node.end > pos) { |
|
wrap = child; |
|
continue outer; |
|
} |
|
} |
|
return wrap; |
|
} |
|
} |
|
exports.getWrappedNodeAtPosition = getWrappedNodeAtPosition; |
|
function getPropertyName(propertyName) { |
|
if (propertyName.kind === ts.SyntaxKind.ComputedPropertyName) { |
|
const expression = unwrapParentheses(propertyName.expression); |
|
if (node_1.isPrefixUnaryExpression(expression)) { |
|
let negate = false; |
|
switch (expression.operator) { |
|
case ts.SyntaxKind.MinusToken: |
|
negate = true; |
|
// falls through |
|
case ts.SyntaxKind.PlusToken: |
|
return node_1.isNumericLiteral(expression.operand) |
|
? `${negate ? '-' : ''}${expression.operand.text}` |
|
: _3_2_1.isBigIntLiteral(expression.operand) |
|
? `${negate ? '-' : ''}${expression.operand.text.slice(0, -1)}` |
|
: undefined; |
|
default: |
|
return; |
|
} |
|
} |
|
if (_3_2_1.isBigIntLiteral(expression)) |
|
// handle BigInt, even though TypeScript doesn't allow BigInt as computed property name |
|
return expression.text.slice(0, -1); |
|
if (node_1.isNumericOrStringLikeLiteral(expression)) |
|
return expression.text; |
|
return; |
|
} |
|
return propertyName.kind === ts.SyntaxKind.PrivateIdentifier ? undefined : propertyName.text; |
|
} |
|
exports.getPropertyName = getPropertyName; |
|
function forEachDestructuringIdentifier(pattern, fn) { |
|
for (const element of pattern.elements) { |
|
if (element.kind !== ts.SyntaxKind.BindingElement) |
|
continue; |
|
let result; |
|
if (element.name.kind === ts.SyntaxKind.Identifier) { |
|
result = fn(element); |
|
} |
|
else { |
|
result = forEachDestructuringIdentifier(element.name, fn); |
|
} |
|
if (result) |
|
return result; |
|
} |
|
} |
|
exports.forEachDestructuringIdentifier = forEachDestructuringIdentifier; |
|
function forEachDeclaredVariable(declarationList, cb) { |
|
for (const declaration of declarationList.declarations) { |
|
let result; |
|
if (declaration.name.kind === ts.SyntaxKind.Identifier) { |
|
result = cb(declaration); |
|
} |
|
else { |
|
result = forEachDestructuringIdentifier(declaration.name, cb); |
|
} |
|
if (result) |
|
return result; |
|
} |
|
} |
|
exports.forEachDeclaredVariable = forEachDeclaredVariable; |
|
var VariableDeclarationKind; |
|
(function (VariableDeclarationKind) { |
|
VariableDeclarationKind[VariableDeclarationKind["Var"] = 0] = "Var"; |
|
VariableDeclarationKind[VariableDeclarationKind["Let"] = 1] = "Let"; |
|
VariableDeclarationKind[VariableDeclarationKind["Const"] = 2] = "Const"; |
|
})(VariableDeclarationKind = exports.VariableDeclarationKind || (exports.VariableDeclarationKind = {})); |
|
function getVariableDeclarationKind(declarationList) { |
|
if (declarationList.flags & ts.NodeFlags.Let) |
|
return 1 /* Let */; |
|
if (declarationList.flags & ts.NodeFlags.Const) |
|
return 2 /* Const */; |
|
return 0 /* Var */; |
|
} |
|
exports.getVariableDeclarationKind = getVariableDeclarationKind; |
|
function isBlockScopedVariableDeclarationList(declarationList) { |
|
return (declarationList.flags & ts.NodeFlags.BlockScoped) !== 0; |
|
} |
|
exports.isBlockScopedVariableDeclarationList = isBlockScopedVariableDeclarationList; |
|
function isBlockScopedVariableDeclaration(declaration) { |
|
const parent = declaration.parent; |
|
return parent.kind === ts.SyntaxKind.CatchClause || |
|
isBlockScopedVariableDeclarationList(parent); |
|
} |
|
exports.isBlockScopedVariableDeclaration = isBlockScopedVariableDeclaration; |
|
function isBlockScopedDeclarationStatement(statement) { |
|
switch (statement.kind) { |
|
case ts.SyntaxKind.VariableStatement: |
|
return isBlockScopedVariableDeclarationList(statement.declarationList); |
|
case ts.SyntaxKind.ClassDeclaration: |
|
case ts.SyntaxKind.EnumDeclaration: |
|
case ts.SyntaxKind.InterfaceDeclaration: |
|
case ts.SyntaxKind.TypeAliasDeclaration: |
|
return true; |
|
default: |
|
return false; |
|
} |
|
} |
|
exports.isBlockScopedDeclarationStatement = isBlockScopedDeclarationStatement; |
|
function isInSingleStatementContext(statement) { |
|
switch (statement.parent.kind) { |
|
case ts.SyntaxKind.ForStatement: |
|
case ts.SyntaxKind.ForInStatement: |
|
case ts.SyntaxKind.ForOfStatement: |
|
case ts.SyntaxKind.WhileStatement: |
|
case ts.SyntaxKind.DoStatement: |
|
case ts.SyntaxKind.IfStatement: |
|
case ts.SyntaxKind.WithStatement: |
|
case ts.SyntaxKind.LabeledStatement: |
|
return true; |
|
default: |
|
return false; |
|
} |
|
} |
|
exports.isInSingleStatementContext = isInSingleStatementContext; |
|
var ScopeBoundary; |
|
(function (ScopeBoundary) { |
|
ScopeBoundary[ScopeBoundary["None"] = 0] = "None"; |
|
ScopeBoundary[ScopeBoundary["Function"] = 1] = "Function"; |
|
ScopeBoundary[ScopeBoundary["Block"] = 2] = "Block"; |
|
ScopeBoundary[ScopeBoundary["Type"] = 4] = "Type"; |
|
ScopeBoundary[ScopeBoundary["ConditionalType"] = 8] = "ConditionalType"; |
|
})(ScopeBoundary = exports.ScopeBoundary || (exports.ScopeBoundary = {})); |
|
var ScopeBoundarySelector; |
|
(function (ScopeBoundarySelector) { |
|
ScopeBoundarySelector[ScopeBoundarySelector["Function"] = 1] = "Function"; |
|
ScopeBoundarySelector[ScopeBoundarySelector["Block"] = 3] = "Block"; |
|
ScopeBoundarySelector[ScopeBoundarySelector["Type"] = 7] = "Type"; |
|
ScopeBoundarySelector[ScopeBoundarySelector["InferType"] = 8] = "InferType"; |
|
})(ScopeBoundarySelector = exports.ScopeBoundarySelector || (exports.ScopeBoundarySelector = {})); |
|
function isScopeBoundary(node) { |
|
return isFunctionScopeBoundary(node) || isBlockScopeBoundary(node) || isTypeScopeBoundary(node); |
|
} |
|
exports.isScopeBoundary = isScopeBoundary; |
|
function isTypeScopeBoundary(node) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.InterfaceDeclaration: |
|
case ts.SyntaxKind.TypeAliasDeclaration: |
|
case ts.SyntaxKind.MappedType: |
|
return 4 /* Type */; |
|
case ts.SyntaxKind.ConditionalType: |
|
return 8 /* ConditionalType */; |
|
default: |
|
return 0 /* None */; |
|
} |
|
} |
|
exports.isTypeScopeBoundary = isTypeScopeBoundary; |
|
function isFunctionScopeBoundary(node) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.FunctionExpression: |
|
case ts.SyntaxKind.ArrowFunction: |
|
case ts.SyntaxKind.Constructor: |
|
case ts.SyntaxKind.ModuleDeclaration: |
|
case ts.SyntaxKind.ClassDeclaration: |
|
case ts.SyntaxKind.ClassExpression: |
|
case ts.SyntaxKind.EnumDeclaration: |
|
case ts.SyntaxKind.MethodDeclaration: |
|
case ts.SyntaxKind.FunctionDeclaration: |
|
case ts.SyntaxKind.GetAccessor: |
|
case ts.SyntaxKind.SetAccessor: |
|
case ts.SyntaxKind.MethodSignature: |
|
case ts.SyntaxKind.CallSignature: |
|
case ts.SyntaxKind.ConstructSignature: |
|
case ts.SyntaxKind.ConstructorType: |
|
case ts.SyntaxKind.FunctionType: |
|
return 1 /* Function */; |
|
case ts.SyntaxKind.SourceFile: |
|
// if SourceFile is no module, it contributes to the global scope and is therefore no scope boundary |
|
return ts.isExternalModule(node) ? 1 /* Function */ : 0 /* None */; |
|
default: |
|
return 0 /* None */; |
|
} |
|
} |
|
exports.isFunctionScopeBoundary = isFunctionScopeBoundary; |
|
function isBlockScopeBoundary(node) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.Block: |
|
const parent = node.parent; |
|
return parent.kind !== ts.SyntaxKind.CatchClause && |
|
// blocks inside SourceFile are block scope boundaries |
|
(parent.kind === ts.SyntaxKind.SourceFile || |
|
// blocks that are direct children of a function scope boundary are no scope boundary |
|
// for example the FunctionBlock is part of the function scope of the containing function |
|
!isFunctionScopeBoundary(parent)) |
|
? 2 /* Block */ |
|
: 0 /* None */; |
|
case ts.SyntaxKind.ForStatement: |
|
case ts.SyntaxKind.ForInStatement: |
|
case ts.SyntaxKind.ForOfStatement: |
|
case ts.SyntaxKind.CaseBlock: |
|
case ts.SyntaxKind.CatchClause: |
|
case ts.SyntaxKind.WithStatement: |
|
return 2 /* Block */; |
|
default: |
|
return 0 /* None */; |
|
} |
|
} |
|
exports.isBlockScopeBoundary = isBlockScopeBoundary; |
|
/** Returns true for scope boundaries that have their own `this` reference instead of inheriting it from the containing scope */ |
|
function hasOwnThisReference(node) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.ClassDeclaration: |
|
case ts.SyntaxKind.ClassExpression: |
|
case ts.SyntaxKind.FunctionExpression: |
|
return true; |
|
case ts.SyntaxKind.FunctionDeclaration: |
|
return node.body !== undefined; |
|
case ts.SyntaxKind.MethodDeclaration: |
|
case ts.SyntaxKind.GetAccessor: |
|
case ts.SyntaxKind.SetAccessor: |
|
return node.parent.kind === ts.SyntaxKind.ObjectLiteralExpression; |
|
default: |
|
return false; |
|
} |
|
} |
|
exports.hasOwnThisReference = hasOwnThisReference; |
|
function isFunctionWithBody(node) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.GetAccessor: |
|
case ts.SyntaxKind.SetAccessor: |
|
case ts.SyntaxKind.FunctionDeclaration: |
|
case ts.SyntaxKind.MethodDeclaration: |
|
case ts.SyntaxKind.Constructor: |
|
return node.body !== undefined; |
|
case ts.SyntaxKind.FunctionExpression: |
|
case ts.SyntaxKind.ArrowFunction: |
|
return true; |
|
default: |
|
return false; |
|
} |
|
} |
|
exports.isFunctionWithBody = isFunctionWithBody; |
|
/** |
|
* Iterate over all tokens of `node` |
|
* |
|
* @param node The node whose tokens should be visited |
|
* @param cb Is called for every token contained in `node` |
|
*/ |
|
function forEachToken(node, cb, sourceFile = node.getSourceFile()) { |
|
const queue = []; |
|
while (true) { |
|
if (isTokenKind(node.kind)) { |
|
cb(node); |
|
} |
|
else if (node.kind !== ts.SyntaxKind.JSDocComment) { |
|
const children = node.getChildren(sourceFile); |
|
if (children.length === 1) { |
|
node = children[0]; |
|
continue; |
|
} |
|
for (let i = children.length - 1; i >= 0; --i) |
|
queue.push(children[i]); // add children in reverse order, when we pop the next element from the queue, it's the first child |
|
} |
|
if (queue.length === 0) |
|
break; |
|
node = queue.pop(); |
|
} |
|
} |
|
exports.forEachToken = forEachToken; |
|
/** |
|
* Iterate over all tokens and trivia of `node` |
|
* |
|
* @description JsDoc comments are treated like regular comments |
|
* |
|
* @param node The node whose tokens should be visited |
|
* @param cb Is called for every token contained in `node` and trivia before the token |
|
*/ |
|
function forEachTokenWithTrivia(node, cb, sourceFile = node.getSourceFile()) { |
|
const fullText = sourceFile.text; |
|
const scanner = ts.createScanner(sourceFile.languageVersion, false, sourceFile.languageVariant, fullText); |
|
return forEachToken(node, (token) => { |
|
const tokenStart = token.kind === ts.SyntaxKind.JsxText || token.pos === token.end ? token.pos : token.getStart(sourceFile); |
|
if (tokenStart !== token.pos) { |
|
// we only have to handle trivia before each token. whitespace at the end of the file is followed by EndOfFileToken |
|
scanner.setTextPos(token.pos); |
|
let kind = scanner.scan(); |
|
let pos = scanner.getTokenPos(); |
|
while (pos < tokenStart) { |
|
const textPos = scanner.getTextPos(); |
|
cb(fullText, kind, { pos, end: textPos }, token.parent); |
|
if (textPos === tokenStart) |
|
break; |
|
kind = scanner.scan(); |
|
pos = scanner.getTokenPos(); |
|
} |
|
} |
|
return cb(fullText, token.kind, { end: token.end, pos: tokenStart }, token.parent); |
|
}, sourceFile); |
|
} |
|
exports.forEachTokenWithTrivia = forEachTokenWithTrivia; |
|
/** Iterate over all comments owned by `node` or its children */ |
|
function forEachComment(node, cb, sourceFile = node.getSourceFile()) { |
|
/* Visit all tokens and skip trivia. |
|
Comment ranges between tokens are parsed without the need of a scanner. |
|
forEachTokenWithWhitespace does intentionally not pay attention to the correct comment ownership of nodes as it always |
|
scans all trivia before each token, which could include trailing comments of the previous token. |
|
Comment onwership is done right in this function*/ |
|
const fullText = sourceFile.text; |
|
const notJsx = sourceFile.languageVariant !== ts.LanguageVariant.JSX; |
|
return forEachToken(node, (token) => { |
|
if (token.pos === token.end) |
|
return; |
|
if (token.kind !== ts.SyntaxKind.JsxText) |
|
ts.forEachLeadingCommentRange(fullText, |
|
// skip shebang at position 0 |
|
token.pos === 0 ? (ts.getShebang(fullText) || '').length : token.pos, commentCallback); |
|
if (notJsx || canHaveTrailingTrivia(token)) |
|
return ts.forEachTrailingCommentRange(fullText, token.end, commentCallback); |
|
}, sourceFile); |
|
function commentCallback(pos, end, kind) { |
|
cb(fullText, { pos, end, kind }); |
|
} |
|
} |
|
exports.forEachComment = forEachComment; |
|
/** Exclude trailing positions that would lead to scanning for trivia inside JsxText */ |
|
function canHaveTrailingTrivia(token) { |
|
switch (token.kind) { |
|
case ts.SyntaxKind.CloseBraceToken: |
|
// after a JsxExpression inside a JsxElement's body can only be other JsxChild, but no trivia |
|
return token.parent.kind !== ts.SyntaxKind.JsxExpression || !isJsxElementOrFragment(token.parent.parent); |
|
case ts.SyntaxKind.GreaterThanToken: |
|
switch (token.parent.kind) { |
|
case ts.SyntaxKind.JsxOpeningElement: |
|
// if end is not equal, this is part of the type arguments list. in all other cases it would be inside the element body |
|
return token.end !== token.parent.end; |
|
case ts.SyntaxKind.JsxOpeningFragment: |
|
return false; // would be inside the fragment |
|
case ts.SyntaxKind.JsxSelfClosingElement: |
|
return token.end !== token.parent.end || // if end is not equal, this is part of the type arguments list |
|
!isJsxElementOrFragment(token.parent.parent); // there's only trailing trivia if it's the end of the top element |
|
case ts.SyntaxKind.JsxClosingElement: |
|
case ts.SyntaxKind.JsxClosingFragment: |
|
// there's only trailing trivia if it's the end of the top element |
|
return !isJsxElementOrFragment(token.parent.parent.parent); |
|
} |
|
} |
|
return true; |
|
} |
|
function isJsxElementOrFragment(node) { |
|
return node.kind === ts.SyntaxKind.JsxElement || node.kind === ts.SyntaxKind.JsxFragment; |
|
} |
|
function getLineRanges(sourceFile) { |
|
const lineStarts = sourceFile.getLineStarts(); |
|
const result = []; |
|
const length = lineStarts.length; |
|
const sourceText = sourceFile.text; |
|
let pos = 0; |
|
for (let i = 1; i < length; ++i) { |
|
const end = lineStarts[i]; |
|
let lineEnd = end; |
|
for (; lineEnd > pos; --lineEnd) |
|
if (!ts.isLineBreak(sourceText.charCodeAt(lineEnd - 1))) |
|
break; |
|
result.push({ |
|
pos, |
|
end, |
|
contentLength: lineEnd - pos, |
|
}); |
|
pos = end; |
|
} |
|
result.push({ |
|
pos, |
|
end: sourceFile.end, |
|
contentLength: sourceFile.end - pos, |
|
}); |
|
return result; |
|
} |
|
exports.getLineRanges = getLineRanges; |
|
/** Get the line break style used in sourceFile. This function only looks at the first line break. If there is none, \n is assumed. */ |
|
function getLineBreakStyle(sourceFile) { |
|
const lineStarts = sourceFile.getLineStarts(); |
|
return lineStarts.length === 1 || lineStarts[1] < 2 || sourceFile.text[lineStarts[1] - 2] !== '\r' |
|
? '\n' |
|
: '\r\n'; |
|
} |
|
exports.getLineBreakStyle = getLineBreakStyle; |
|
let cachedScanner; |
|
function scanToken(text, languageVersion) { |
|
if (cachedScanner === undefined) { |
|
// cache scanner |
|
cachedScanner = ts.createScanner(languageVersion, false, undefined, text); |
|
} |
|
else { |
|
cachedScanner.setScriptTarget(languageVersion); |
|
cachedScanner.setText(text); |
|
} |
|
cachedScanner.scan(); |
|
return cachedScanner; |
|
} |
|
/** |
|
* Determines whether the given text parses as a standalone identifier. |
|
* This is not a guarantee that it works in every context. The property name in PropertyAccessExpressions for example allows reserved words. |
|
* Depending on the context it could be parsed as contextual keyword or TypeScript keyword. |
|
*/ |
|
function isValidIdentifier(text, languageVersion = ts.ScriptTarget.Latest) { |
|
const scan = scanToken(text, languageVersion); |
|
return scan.isIdentifier() && scan.getTextPos() === text.length && scan.getTokenPos() === 0; |
|
} |
|
exports.isValidIdentifier = isValidIdentifier; |
|
function charSize(ch) { |
|
return ch >= 0x10000 ? 2 : 1; |
|
} |
|
/** |
|
* Determines whether the given text can be used to access a property with a PropertyAccessExpression while preserving the property's name. |
|
*/ |
|
function isValidPropertyAccess(text, languageVersion = ts.ScriptTarget.Latest) { |
|
if (text.length === 0) |
|
return false; |
|
let ch = text.codePointAt(0); |
|
if (!ts.isIdentifierStart(ch, languageVersion)) |
|
return false; |
|
for (let i = charSize(ch); i < text.length; i += charSize(ch)) { |
|
ch = text.codePointAt(i); |
|
if (!ts.isIdentifierPart(ch, languageVersion)) |
|
return false; |
|
} |
|
return true; |
|
} |
|
exports.isValidPropertyAccess = isValidPropertyAccess; |
|
/** |
|
* Determines whether the given text can be used as unquoted name of a property declaration while preserving the property's name. |
|
*/ |
|
function isValidPropertyName(text, languageVersion = ts.ScriptTarget.Latest) { |
|
if (isValidPropertyAccess(text, languageVersion)) |
|
return true; |
|
const scan = scanToken(text, languageVersion); |
|
return scan.getTextPos() === text.length && |
|
scan.getToken() === ts.SyntaxKind.NumericLiteral && scan.getTokenValue() === text; // ensure stringified number equals literal |
|
} |
|
exports.isValidPropertyName = isValidPropertyName; |
|
/** |
|
* Determines whether the given text can be parsed as a numeric literal. |
|
*/ |
|
function isValidNumericLiteral(text, languageVersion = ts.ScriptTarget.Latest) { |
|
const scan = scanToken(text, languageVersion); |
|
return scan.getToken() === ts.SyntaxKind.NumericLiteral && scan.getTextPos() === text.length && scan.getTokenPos() === 0; |
|
} |
|
exports.isValidNumericLiteral = isValidNumericLiteral; |
|
/** |
|
* Determines whether the given text can be used as JSX tag or attribute name while preserving the exact name. |
|
*/ |
|
function isValidJsxIdentifier(text, languageVersion = ts.ScriptTarget.Latest) { |
|
if (text.length === 0) |
|
return false; |
|
let seenNamespaceSeparator = false; |
|
let ch = text.codePointAt(0); |
|
if (!ts.isIdentifierStart(ch, languageVersion)) |
|
return false; |
|
for (let i = charSize(ch); i < text.length; i += charSize(ch)) { |
|
ch = text.codePointAt(i); |
|
if (!ts.isIdentifierPart(ch, languageVersion) && ch !== 45 /* minus */) { |
|
if (!seenNamespaceSeparator && ch === 58 /* colon */ && i + charSize(ch) !== text.length) { |
|
seenNamespaceSeparator = true; |
|
} |
|
else { |
|
return false; |
|
} |
|
} |
|
} |
|
return true; |
|
} |
|
exports.isValidJsxIdentifier = isValidJsxIdentifier; |
|
function isNumericPropertyName(name) { |
|
return String(+name) === name; |
|
} |
|
exports.isNumericPropertyName = isNumericPropertyName; |
|
function isSameLine(sourceFile, pos1, pos2) { |
|
return ts.getLineAndCharacterOfPosition(sourceFile, pos1).line === ts.getLineAndCharacterOfPosition(sourceFile, pos2).line; |
|
} |
|
exports.isSameLine = isSameLine; |
|
var SideEffectOptions; |
|
(function (SideEffectOptions) { |
|
SideEffectOptions[SideEffectOptions["None"] = 0] = "None"; |
|
SideEffectOptions[SideEffectOptions["TaggedTemplate"] = 1] = "TaggedTemplate"; |
|
SideEffectOptions[SideEffectOptions["Constructor"] = 2] = "Constructor"; |
|
SideEffectOptions[SideEffectOptions["JsxElement"] = 4] = "JsxElement"; |
|
})(SideEffectOptions = exports.SideEffectOptions || (exports.SideEffectOptions = {})); |
|
function hasSideEffects(node, options) { |
|
var _a, _b; |
|
const queue = []; |
|
while (true) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.CallExpression: |
|
case ts.SyntaxKind.PostfixUnaryExpression: |
|
case ts.SyntaxKind.AwaitExpression: |
|
case ts.SyntaxKind.YieldExpression: |
|
case ts.SyntaxKind.DeleteExpression: |
|
return true; |
|
case ts.SyntaxKind.TypeAssertionExpression: |
|
case ts.SyntaxKind.AsExpression: |
|
case ts.SyntaxKind.ParenthesizedExpression: |
|
case ts.SyntaxKind.NonNullExpression: |
|
case ts.SyntaxKind.VoidExpression: |
|
case ts.SyntaxKind.TypeOfExpression: |
|
case ts.SyntaxKind.PropertyAccessExpression: |
|
case ts.SyntaxKind.SpreadElement: |
|
case ts.SyntaxKind.PartiallyEmittedExpression: |
|
node = node.expression; |
|
continue; |
|
case ts.SyntaxKind.BinaryExpression: |
|
if (isAssignmentKind(node.operatorToken.kind)) |
|
return true; |
|
queue.push(node.right); |
|
node = node.left; |
|
continue; |
|
case ts.SyntaxKind.PrefixUnaryExpression: |
|
switch (node.operator) { |
|
case ts.SyntaxKind.PlusPlusToken: |
|
case ts.SyntaxKind.MinusMinusToken: |
|
return true; |
|
default: |
|
node = node.operand; |
|
continue; |
|
} |
|
case ts.SyntaxKind.ElementAccessExpression: |
|
if (node.argumentExpression !== undefined) // for compatibility with typescript@<2.9.0 |
|
queue.push(node.argumentExpression); |
|
node = node.expression; |
|
continue; |
|
case ts.SyntaxKind.ConditionalExpression: |
|
queue.push(node.whenTrue, node.whenFalse); |
|
node = node.condition; |
|
continue; |
|
case ts.SyntaxKind.NewExpression: |
|
if (options & 2 /* Constructor */) |
|
return true; |
|
if (node.arguments !== undefined) |
|
queue.push(...node.arguments); |
|
node = node.expression; |
|
continue; |
|
case ts.SyntaxKind.TaggedTemplateExpression: |
|
if (options & 1 /* TaggedTemplate */) |
|
return true; |
|
queue.push(node.tag); |
|
node = node.template; |
|
if (node.kind === ts.SyntaxKind.NoSubstitutionTemplateLiteral) |
|
break; |
|
// falls through |
|
case ts.SyntaxKind.TemplateExpression: |
|
for (const child of node.templateSpans) |
|
queue.push(child.expression); |
|
break; |
|
case ts.SyntaxKind.ClassExpression: { |
|
if (node.decorators !== undefined) |
|
return true; |
|
for (const child of node.members) { |
|
if (child.decorators !== undefined) |
|
return true; |
|
if (!hasModifier(child.modifiers, ts.SyntaxKind.DeclareKeyword)) { |
|
if (((_a = child.name) === null || _a === void 0 ? void 0 : _a.kind) === ts.SyntaxKind.ComputedPropertyName) |
|
queue.push(child.name.expression); |
|
if (node_1.isMethodDeclaration(child)) { |
|
for (const p of child.parameters) |
|
if (p.decorators !== undefined) |
|
return true; |
|
} |
|
else if (node_1.isPropertyDeclaration(child) && |
|
child.initializer !== undefined && |
|
hasModifier(child.modifiers, ts.SyntaxKind.StaticKeyword)) { |
|
queue.push(child.initializer); |
|
} |
|
} |
|
} |
|
const base = getBaseOfClassLikeExpression(node); |
|
if (base === undefined) |
|
break; |
|
node = base.expression; |
|
continue; |
|
} |
|
case ts.SyntaxKind.ArrayLiteralExpression: |
|
queue.push(...node.elements); |
|
break; |
|
case ts.SyntaxKind.ObjectLiteralExpression: |
|
for (const child of node.properties) { |
|
if (((_b = child.name) === null || _b === void 0 ? void 0 : _b.kind) === ts.SyntaxKind.ComputedPropertyName) |
|
queue.push(child.name.expression); |
|
switch (child.kind) { |
|
case ts.SyntaxKind.PropertyAssignment: |
|
queue.push(child.initializer); |
|
break; |
|
case ts.SyntaxKind.SpreadAssignment: |
|
queue.push(child.expression); |
|
} |
|
} |
|
break; |
|
case ts.SyntaxKind.JsxExpression: |
|
if (node.expression === undefined) |
|
break; |
|
node = node.expression; |
|
continue; |
|
case ts.SyntaxKind.JsxElement: |
|
case ts.SyntaxKind.JsxFragment: |
|
for (const child of node.children) |
|
if (child.kind !== ts.SyntaxKind.JsxText) |
|
queue.push(child); |
|
if (node.kind === ts.SyntaxKind.JsxFragment) |
|
break; |
|
node = node.openingElement; |
|
// falls through |
|
case ts.SyntaxKind.JsxSelfClosingElement: |
|
case ts.SyntaxKind.JsxOpeningElement: |
|
if (options & 4 /* JsxElement */) |
|
return true; |
|
for (const child of node.attributes.properties) { |
|
if (child.kind === ts.SyntaxKind.JsxSpreadAttribute) { |
|
queue.push(child.expression); |
|
} |
|
else if (child.initializer !== undefined) { |
|
queue.push(child.initializer); |
|
} |
|
} |
|
break; |
|
case ts.SyntaxKind.CommaListExpression: |
|
queue.push(...node.elements); |
|
} |
|
if (queue.length === 0) |
|
return false; |
|
node = queue.pop(); |
|
} |
|
} |
|
exports.hasSideEffects = hasSideEffects; |
|
/** Returns the VariableDeclaration or ParameterDeclaration that contains the BindingElement */ |
|
function getDeclarationOfBindingElement(node) { |
|
let parent = node.parent.parent; |
|
while (parent.kind === ts.SyntaxKind.BindingElement) |
|
parent = parent.parent.parent; |
|
return parent; |
|
} |
|
exports.getDeclarationOfBindingElement = getDeclarationOfBindingElement; |
|
function isExpressionValueUsed(node) { |
|
while (true) { |
|
const parent = node.parent; |
|
switch (parent.kind) { |
|
case ts.SyntaxKind.CallExpression: |
|
case ts.SyntaxKind.NewExpression: |
|
case ts.SyntaxKind.ElementAccessExpression: |
|
case ts.SyntaxKind.WhileStatement: |
|
case ts.SyntaxKind.DoStatement: |
|
case ts.SyntaxKind.WithStatement: |
|
case ts.SyntaxKind.ThrowStatement: |
|
case ts.SyntaxKind.ReturnStatement: |
|
case ts.SyntaxKind.JsxExpression: |
|
case ts.SyntaxKind.JsxSpreadAttribute: |
|
case ts.SyntaxKind.JsxElement: |
|
case ts.SyntaxKind.JsxFragment: |
|
case ts.SyntaxKind.JsxSelfClosingElement: |
|
case ts.SyntaxKind.ComputedPropertyName: |
|
case ts.SyntaxKind.ArrowFunction: |
|
case ts.SyntaxKind.ExportSpecifier: |
|
case ts.SyntaxKind.ExportAssignment: |
|
case ts.SyntaxKind.ImportDeclaration: |
|
case ts.SyntaxKind.ExternalModuleReference: |
|
case ts.SyntaxKind.Decorator: |
|
case ts.SyntaxKind.TaggedTemplateExpression: |
|
case ts.SyntaxKind.TemplateSpan: |
|
case ts.SyntaxKind.ExpressionWithTypeArguments: |
|
case ts.SyntaxKind.TypeOfExpression: |
|
case ts.SyntaxKind.AwaitExpression: |
|
case ts.SyntaxKind.YieldExpression: |
|
case ts.SyntaxKind.LiteralType: |
|
case ts.SyntaxKind.JsxAttributes: |
|
case ts.SyntaxKind.JsxOpeningElement: |
|
case ts.SyntaxKind.JsxClosingElement: |
|
case ts.SyntaxKind.IfStatement: |
|
case ts.SyntaxKind.CaseClause: |
|
case ts.SyntaxKind.SwitchStatement: |
|
return true; |
|
case ts.SyntaxKind.PropertyAccessExpression: |
|
return parent.expression === node; |
|
case ts.SyntaxKind.QualifiedName: |
|
return parent.left === node; |
|
case ts.SyntaxKind.ShorthandPropertyAssignment: |
|
return parent.objectAssignmentInitializer === node || |
|
!isInDestructuringAssignment(parent); |
|
case ts.SyntaxKind.PropertyAssignment: |
|
return parent.initializer === node && !isInDestructuringAssignment(parent); |
|
case ts.SyntaxKind.SpreadAssignment: |
|
case ts.SyntaxKind.SpreadElement: |
|
case ts.SyntaxKind.ArrayLiteralExpression: |
|
return !isInDestructuringAssignment(parent); |
|
case ts.SyntaxKind.ParenthesizedExpression: |
|
case ts.SyntaxKind.AsExpression: |
|
case ts.SyntaxKind.TypeAssertionExpression: |
|
case ts.SyntaxKind.PostfixUnaryExpression: |
|
case ts.SyntaxKind.PrefixUnaryExpression: |
|
case ts.SyntaxKind.NonNullExpression: |
|
node = parent; |
|
continue; |
|
case ts.SyntaxKind.ForStatement: |
|
return parent.condition === node; |
|
case ts.SyntaxKind.ForInStatement: |
|
case ts.SyntaxKind.ForOfStatement: |
|
return parent.expression === node; |
|
case ts.SyntaxKind.ConditionalExpression: |
|
if (parent.condition === node) |
|
return true; |
|
node = parent; |
|
break; |
|
case ts.SyntaxKind.PropertyDeclaration: |
|
case ts.SyntaxKind.BindingElement: |
|
case ts.SyntaxKind.VariableDeclaration: |
|
case ts.SyntaxKind.Parameter: |
|
case ts.SyntaxKind.EnumMember: |
|
return parent.initializer === node; |
|
case ts.SyntaxKind.ImportEqualsDeclaration: |
|
return parent.moduleReference === node; |
|
case ts.SyntaxKind.CommaListExpression: |
|
if (parent.elements[parent.elements.length - 1] !== node) |
|
return false; |
|
node = parent; |
|
break; |
|
case ts.SyntaxKind.BinaryExpression: |
|
if (parent.right === node) { |
|
if (parent.operatorToken.kind === ts.SyntaxKind.CommaToken) { |
|
node = parent; |
|
break; |
|
} |
|
return true; |
|
} |
|
switch (parent.operatorToken.kind) { |
|
case ts.SyntaxKind.CommaToken: |
|
case ts.SyntaxKind.EqualsToken: |
|
return false; |
|
case ts.SyntaxKind.EqualsEqualsEqualsToken: |
|
case ts.SyntaxKind.EqualsEqualsToken: |
|
case ts.SyntaxKind.ExclamationEqualsEqualsToken: |
|
case ts.SyntaxKind.ExclamationEqualsToken: |
|
case ts.SyntaxKind.InstanceOfKeyword: |
|
case ts.SyntaxKind.PlusToken: |
|
case ts.SyntaxKind.MinusToken: |
|
case ts.SyntaxKind.AsteriskToken: |
|
case ts.SyntaxKind.SlashToken: |
|
case ts.SyntaxKind.PercentToken: |
|
case ts.SyntaxKind.AsteriskAsteriskToken: |
|
case ts.SyntaxKind.GreaterThanToken: |
|
case ts.SyntaxKind.GreaterThanGreaterThanToken: |
|
case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken: |
|
case ts.SyntaxKind.GreaterThanEqualsToken: |
|
case ts.SyntaxKind.LessThanToken: |
|
case ts.SyntaxKind.LessThanLessThanToken: |
|
case ts.SyntaxKind.LessThanEqualsToken: |
|
case ts.SyntaxKind.AmpersandToken: |
|
case ts.SyntaxKind.BarToken: |
|
case ts.SyntaxKind.CaretToken: |
|
case ts.SyntaxKind.BarBarToken: |
|
case ts.SyntaxKind.AmpersandAmpersandToken: |
|
case ts.SyntaxKind.QuestionQuestionToken: |
|
case ts.SyntaxKind.InKeyword: |
|
case ts.SyntaxKind.QuestionQuestionEqualsToken: |
|
case ts.SyntaxKind.AmpersandAmpersandEqualsToken: |
|
case ts.SyntaxKind.BarBarEqualsToken: |
|
return true; |
|
default: |
|
node = parent; |
|
} |
|
break; |
|
default: |
|
return false; |
|
} |
|
} |
|
} |
|
exports.isExpressionValueUsed = isExpressionValueUsed; |
|
function isInDestructuringAssignment(node) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.ShorthandPropertyAssignment: |
|
if (node.objectAssignmentInitializer !== undefined) |
|
return true; |
|
// falls through |
|
case ts.SyntaxKind.PropertyAssignment: |
|
case ts.SyntaxKind.SpreadAssignment: |
|
node = node.parent; |
|
break; |
|
case ts.SyntaxKind.SpreadElement: |
|
if (node.parent.kind !== ts.SyntaxKind.ArrayLiteralExpression) |
|
return false; |
|
node = node.parent; |
|
} |
|
while (true) { |
|
switch (node.parent.kind) { |
|
case ts.SyntaxKind.BinaryExpression: |
|
return node.parent.left === node && |
|
node.parent.operatorToken.kind === ts.SyntaxKind.EqualsToken; |
|
case ts.SyntaxKind.ForOfStatement: |
|
return node.parent.initializer === node; |
|
case ts.SyntaxKind.ArrayLiteralExpression: |
|
case ts.SyntaxKind.ObjectLiteralExpression: |
|
node = node.parent; |
|
break; |
|
case ts.SyntaxKind.SpreadAssignment: |
|
case ts.SyntaxKind.PropertyAssignment: |
|
node = node.parent.parent; |
|
break; |
|
case ts.SyntaxKind.SpreadElement: |
|
if (node.parent.parent.kind !== ts.SyntaxKind.ArrayLiteralExpression) |
|
return false; |
|
node = node.parent.parent; |
|
break; |
|
default: |
|
return false; |
|
} |
|
} |
|
} |
|
var AccessKind; |
|
(function (AccessKind) { |
|
AccessKind[AccessKind["None"] = 0] = "None"; |
|
AccessKind[AccessKind["Read"] = 1] = "Read"; |
|
AccessKind[AccessKind["Write"] = 2] = "Write"; |
|
AccessKind[AccessKind["Delete"] = 4] = "Delete"; |
|
AccessKind[AccessKind["ReadWrite"] = 3] = "ReadWrite"; |
|
AccessKind[AccessKind["Modification"] = 6] = "Modification"; |
|
})(AccessKind = exports.AccessKind || (exports.AccessKind = {})); |
|
function getAccessKind(node) { |
|
const parent = node.parent; |
|
switch (parent.kind) { |
|
case ts.SyntaxKind.DeleteExpression: |
|
return 4 /* Delete */; |
|
case ts.SyntaxKind.PostfixUnaryExpression: |
|
return 3 /* ReadWrite */; |
|
case ts.SyntaxKind.PrefixUnaryExpression: |
|
return parent.operator === ts.SyntaxKind.PlusPlusToken || |
|
parent.operator === ts.SyntaxKind.MinusMinusToken |
|
? 3 /* ReadWrite */ |
|
: 1 /* Read */; |
|
case ts.SyntaxKind.BinaryExpression: |
|
return parent.right === node |
|
? 1 /* Read */ |
|
: !isAssignmentKind(parent.operatorToken.kind) |
|
? 1 /* Read */ |
|
: parent.operatorToken.kind === ts.SyntaxKind.EqualsToken |
|
? 2 /* Write */ |
|
: 3 /* ReadWrite */; |
|
case ts.SyntaxKind.ShorthandPropertyAssignment: |
|
return parent.objectAssignmentInitializer === node |
|
? 1 /* Read */ |
|
: isInDestructuringAssignment(parent) |
|
? 2 /* Write */ |
|
: 1 /* Read */; |
|
case ts.SyntaxKind.PropertyAssignment: |
|
return parent.name === node |
|
? 0 /* None */ |
|
: isInDestructuringAssignment(parent) |
|
? 2 /* Write */ |
|
: 1 /* Read */; |
|
case ts.SyntaxKind.ArrayLiteralExpression: |
|
case ts.SyntaxKind.SpreadElement: |
|
case ts.SyntaxKind.SpreadAssignment: |
|
return isInDestructuringAssignment(parent) |
|
? 2 /* Write */ |
|
: 1 /* Read */; |
|
case ts.SyntaxKind.ParenthesizedExpression: |
|
case ts.SyntaxKind.NonNullExpression: |
|
case ts.SyntaxKind.TypeAssertionExpression: |
|
case ts.SyntaxKind.AsExpression: |
|
// (<number>foo! as {})++ |
|
return getAccessKind(parent); |
|
case ts.SyntaxKind.ForOfStatement: |
|
case ts.SyntaxKind.ForInStatement: |
|
return parent.initializer === node |
|
? 2 /* Write */ |
|
: 1 /* Read */; |
|
case ts.SyntaxKind.ExpressionWithTypeArguments: |
|
return parent.parent.token === ts.SyntaxKind.ExtendsKeyword && |
|
parent.parent.parent.kind !== ts.SyntaxKind.InterfaceDeclaration |
|
? 1 /* Read */ |
|
: 0 /* None */; |
|
case ts.SyntaxKind.ComputedPropertyName: |
|
case ts.SyntaxKind.ExpressionStatement: |
|
case ts.SyntaxKind.TypeOfExpression: |
|
case ts.SyntaxKind.ElementAccessExpression: |
|
case ts.SyntaxKind.ForStatement: |
|
case ts.SyntaxKind.IfStatement: |
|
case ts.SyntaxKind.DoStatement: |
|
case ts.SyntaxKind.WhileStatement: |
|
case ts.SyntaxKind.SwitchStatement: |
|
case ts.SyntaxKind.WithStatement: |
|
case ts.SyntaxKind.ThrowStatement: |
|
case ts.SyntaxKind.CallExpression: |
|
case ts.SyntaxKind.NewExpression: |
|
case ts.SyntaxKind.TaggedTemplateExpression: |
|
case ts.SyntaxKind.JsxExpression: |
|
case ts.SyntaxKind.Decorator: |
|
case ts.SyntaxKind.TemplateSpan: |
|
case ts.SyntaxKind.JsxOpeningElement: |
|
case ts.SyntaxKind.JsxSelfClosingElement: |
|
case ts.SyntaxKind.JsxSpreadAttribute: |
|
case ts.SyntaxKind.VoidExpression: |
|
case ts.SyntaxKind.ReturnStatement: |
|
case ts.SyntaxKind.AwaitExpression: |
|
case ts.SyntaxKind.YieldExpression: |
|
case ts.SyntaxKind.ConditionalExpression: |
|
case ts.SyntaxKind.CaseClause: |
|
case ts.SyntaxKind.JsxElement: |
|
return 1 /* Read */; |
|
case ts.SyntaxKind.ArrowFunction: |
|
return parent.body === node |
|
? 1 /* Read */ |
|
: 2 /* Write */; |
|
case ts.SyntaxKind.PropertyDeclaration: |
|
case ts.SyntaxKind.VariableDeclaration: |
|
case ts.SyntaxKind.Parameter: |
|
case ts.SyntaxKind.EnumMember: |
|
case ts.SyntaxKind.BindingElement: |
|
case ts.SyntaxKind.JsxAttribute: |
|
return parent.initializer === node |
|
? 1 /* Read */ |
|
: 0 /* None */; |
|
case ts.SyntaxKind.PropertyAccessExpression: |
|
return parent.expression === node |
|
? 1 /* Read */ |
|
: 0 /* None */; |
|
case ts.SyntaxKind.ExportAssignment: |
|
return parent.isExportEquals |
|
? 1 /* Read */ |
|
: 0 /* None */; |
|
} |
|
return 0 /* None */; |
|
} |
|
exports.getAccessKind = getAccessKind; |
|
function isReassignmentTarget(node) { |
|
return (getAccessKind(node) & 2 /* Write */) !== 0; |
|
} |
|
exports.isReassignmentTarget = isReassignmentTarget; |
|
function canHaveJsDoc(node) { |
|
const kind = node.kind; |
|
switch (kind) { |
|
case ts.SyntaxKind.Parameter: |
|
case ts.SyntaxKind.CallSignature: |
|
case ts.SyntaxKind.ConstructSignature: |
|
case ts.SyntaxKind.MethodSignature: |
|
case ts.SyntaxKind.PropertySignature: |
|
case ts.SyntaxKind.ArrowFunction: |
|
case ts.SyntaxKind.ParenthesizedExpression: |
|
case ts.SyntaxKind.SpreadAssignment: |
|
case ts.SyntaxKind.ShorthandPropertyAssignment: |
|
case ts.SyntaxKind.PropertyAssignment: |
|
case ts.SyntaxKind.FunctionExpression: |
|
case ts.SyntaxKind.LabeledStatement: |
|
case ts.SyntaxKind.ExpressionStatement: |
|
case ts.SyntaxKind.VariableStatement: |
|
case ts.SyntaxKind.FunctionDeclaration: |
|
case ts.SyntaxKind.Constructor: |
|
case ts.SyntaxKind.MethodDeclaration: |
|
case ts.SyntaxKind.PropertyDeclaration: |
|
case ts.SyntaxKind.GetAccessor: |
|
case ts.SyntaxKind.SetAccessor: |
|
case ts.SyntaxKind.ClassDeclaration: |
|
case ts.SyntaxKind.ClassExpression: |
|
case ts.SyntaxKind.InterfaceDeclaration: |
|
case ts.SyntaxKind.TypeAliasDeclaration: |
|
case ts.SyntaxKind.EnumMember: |
|
case ts.SyntaxKind.EnumDeclaration: |
|
case ts.SyntaxKind.ModuleDeclaration: |
|
case ts.SyntaxKind.ImportEqualsDeclaration: |
|
case ts.SyntaxKind.ImportDeclaration: |
|
case ts.SyntaxKind.NamespaceExportDeclaration: |
|
case ts.SyntaxKind.ExportAssignment: |
|
case ts.SyntaxKind.IndexSignature: |
|
case ts.SyntaxKind.FunctionType: |
|
case ts.SyntaxKind.ConstructorType: |
|
case ts.SyntaxKind.JSDocFunctionType: |
|
case ts.SyntaxKind.ExportDeclaration: |
|
case ts.SyntaxKind.NamedTupleMember: |
|
case ts.SyntaxKind.EndOfFileToken: |
|
return true; |
|
default: |
|
return false; |
|
} |
|
} |
|
exports.canHaveJsDoc = canHaveJsDoc; |
|
/** Gets the JSDoc of a node. For performance reasons this function should only be called when `canHaveJsDoc` returns true. */ |
|
function getJsDoc(node, sourceFile) { |
|
const result = []; |
|
for (const child of node.getChildren(sourceFile)) { |
|
if (!node_1.isJsDoc(child)) |
|
break; |
|
result.push(child); |
|
} |
|
return result; |
|
} |
|
exports.getJsDoc = getJsDoc; |
|
/** |
|
* Parses the JsDoc of any node. This function is made for nodes that don't get their JsDoc parsed by the TypeScript parser. |
|
* |
|
* @param considerTrailingComments When set to `true` this function uses the trailing comments if the node starts on the same line |
|
* as the previous node ends. |
|
*/ |
|
function parseJsDocOfNode(node, considerTrailingComments, sourceFile = node.getSourceFile()) { |
|
if (canHaveJsDoc(node) && node.kind !== ts.SyntaxKind.EndOfFileToken) { |
|
const result = getJsDoc(node, sourceFile); |
|
if (result.length !== 0 || !considerTrailingComments) |
|
return result; |
|
} |
|
return parseJsDocWorker(node, node.getStart(sourceFile), sourceFile, considerTrailingComments); |
|
} |
|
exports.parseJsDocOfNode = parseJsDocOfNode; |
|
function parseJsDocWorker(node, nodeStart, sourceFile, considerTrailingComments) { |
|
const start = ts[considerTrailingComments && isSameLine(sourceFile, node.pos, nodeStart) |
|
? 'forEachTrailingCommentRange' |
|
: 'forEachLeadingCommentRange'](sourceFile.text, node.pos, |
|
// return object to make `0` a truthy value |
|
(pos, _end, kind) => kind === ts.SyntaxKind.MultiLineCommentTrivia && sourceFile.text[pos + 2] === '*' ? { pos } : undefined); |
|
if (start === undefined) |
|
return []; |
|
const startPos = start.pos; |
|
const text = sourceFile.text.slice(startPos, nodeStart); |
|
const newSourceFile = ts.createSourceFile('jsdoc.ts', `${text}var a;`, sourceFile.languageVersion); |
|
const result = getJsDoc(newSourceFile.statements[0], newSourceFile); |
|
for (const doc of result) |
|
updateNode(doc, node); |
|
return result; |
|
function updateNode(n, parent) { |
|
n.pos += startPos; |
|
n.end += startPos; |
|
n.parent = parent; |
|
return ts.forEachChild(n, (child) => updateNode(child, n), (children) => { |
|
children.pos += startPos; |
|
children.end += startPos; |
|
for (const child of children) |
|
updateNode(child, n); |
|
}); |
|
} |
|
} |
|
var ImportKind; |
|
(function (ImportKind) { |
|
ImportKind[ImportKind["ImportDeclaration"] = 1] = "ImportDeclaration"; |
|
ImportKind[ImportKind["ImportEquals"] = 2] = "ImportEquals"; |
|
ImportKind[ImportKind["ExportFrom"] = 4] = "ExportFrom"; |
|
ImportKind[ImportKind["DynamicImport"] = 8] = "DynamicImport"; |
|
ImportKind[ImportKind["Require"] = 16] = "Require"; |
|
ImportKind[ImportKind["ImportType"] = 32] = "ImportType"; |
|
ImportKind[ImportKind["All"] = 63] = "All"; |
|
ImportKind[ImportKind["AllImports"] = 59] = "AllImports"; |
|
ImportKind[ImportKind["AllStaticImports"] = 3] = "AllStaticImports"; |
|
ImportKind[ImportKind["AllImportExpressions"] = 24] = "AllImportExpressions"; |
|
ImportKind[ImportKind["AllRequireLike"] = 18] = "AllRequireLike"; |
|
// @internal |
|
ImportKind[ImportKind["AllNestedImports"] = 56] = "AllNestedImports"; |
|
// @internal |
|
ImportKind[ImportKind["AllTopLevelImports"] = 7] = "AllTopLevelImports"; |
|
})(ImportKind = exports.ImportKind || (exports.ImportKind = {})); |
|
function findImports(sourceFile, kinds, ignoreFileName = true) { |
|
const result = []; |
|
for (const node of findImportLikeNodes(sourceFile, kinds, ignoreFileName)) { |
|
switch (node.kind) { |
|
case ts.SyntaxKind.ImportDeclaration: |
|
addIfTextualLiteral(node.moduleSpecifier); |
|
break; |
|
case ts.SyntaxKind.ImportEqualsDeclaration: |
|
addIfTextualLiteral(node.moduleReference.expression); |
|
break; |
|
case ts.SyntaxKind.ExportDeclaration: |
|
addIfTextualLiteral(node.moduleSpecifier); |
|
break; |
|
case ts.SyntaxKind.CallExpression: |
|
addIfTextualLiteral(node.arguments[0]); |
|
break; |
|
case ts.SyntaxKind.ImportType: |
|
if (node_1.isLiteralTypeNode(node.argument)) |
|
addIfTextualLiteral(node.argument.literal); |
|
break; |
|
default: |
|
throw new Error('unexpected node'); |
|
} |
|
} |
|
return result; |
|
function addIfTextualLiteral(node) { |
|
if (node_1.isTextualLiteral(node)) |
|
result.push(node); |
|
} |
|
} |
|
exports.findImports = findImports; |
|
function findImportLikeNodes(sourceFile, kinds, ignoreFileName = true) { |
|
return new ImportFinder(sourceFile, kinds, ignoreFileName).find(); |
|
} |
|
exports.findImportLikeNodes = findImportLikeNodes; |
|
class ImportFinder { |
|
constructor(_sourceFile, _options, _ignoreFileName) { |
|
this._sourceFile = _sourceFile; |
|
this._options = _options; |
|
this._ignoreFileName = _ignoreFileName; |
|
this._result = []; |
|
} |
|
find() { |
|
if (this._sourceFile.isDeclarationFile) |
|
this._options &= ~24 /* AllImportExpressions */; |
|
if (this._options & 7 /* AllTopLevelImports */) |
|
this._findImports(this._sourceFile.statements); |
|
if (this._options & 56 /* AllNestedImports */) |
|
this._findNestedImports(); |
|
return this._result; |
|
} |
|
_findImports(statements) { |
|
for (const statement of statements) { |
|
if (node_1.isImportDeclaration(statement)) { |
|
if (this._options & 1 /* ImportDeclaration */) |
|
this._result.push(statement); |
|
} |
|
else if (node_1.isImportEqualsDeclaration(statement)) { |
|
if (this._options & 2 /* ImportEquals */ && |
|
statement.moduleReference.kind === ts.SyntaxKind.ExternalModuleReference) |
|
this._result.push(statement); |
|
} |
|
else if (node_1.isExportDeclaration(statement)) { |
|
if (statement.moduleSpecifier !== undefined && this._options & 4 /* ExportFrom */) |
|
this._result.push(statement); |
|
} |
|
else if (node_1.isModuleDeclaration(statement)) { |
|
this._findImportsInModule(statement); |
|
} |
|
} |
|
} |
|
_findImportsInModule(declaration) { |
|
if (declaration.body === undefined) |
|
return; |
|
if (declaration.body.kind === ts.SyntaxKind.ModuleDeclaration) |
|
return this._findImportsInModule(declaration.body); |
|
this._findImports(declaration.body.statements); |
|
} |
|
_findNestedImports() { |
|
const isJavaScriptFile = this._ignoreFileName || (this._sourceFile.flags & ts.NodeFlags.JavaScriptFile) !== 0; |
|
let re; |
|
let includeJsDoc; |
|
if ((this._options & 56 /* AllNestedImports */) === 16 /* Require */) { |
|
if (!isJavaScriptFile) |
|
return; // don't look for 'require' in TS files |
|
re = /\brequire\s*[</(]/g; |
|
includeJsDoc = false; |
|
} |
|
else if (this._options & 16 /* Require */ && isJavaScriptFile) { |
|
re = /\b(?:import|require)\s*[</(]/g; |
|
includeJsDoc = (this._options & 32 /* ImportType */) !== 0; |
|
} |
|
else { |
|
re = /\bimport\s*[</(]/g; |
|
includeJsDoc = isJavaScriptFile && (this._options & 32 /* ImportType */) !== 0; |
|
} |
|
for (let match = re.exec(this._sourceFile.text); match !== null; match = re.exec(this._sourceFile.text)) { |
|
const token = getTokenAtPositionWorker(this._sourceFile, match.index, this._sourceFile, |
|
// only look for ImportTypeNode within JSDoc in JS files |
|
match[0][0] === 'i' && includeJsDoc); |
|
if (token.kind === ts.SyntaxKind.ImportKeyword) { |
|
if (token.end - 'import'.length !== match.index) |
|
continue; |
|
switch (token.parent.kind) { |
|
case ts.SyntaxKind.ImportType: |
|
this._result.push(token.parent); |
|
break; |
|
case ts.SyntaxKind.CallExpression: |
|
if (token.parent.arguments.length > 1) |
|
this._result.push(token.parent); |
|
} |
|
} |
|
else if (token.kind === ts.SyntaxKind.Identifier && |
|
token.end - 'require'.length === match.index && |
|
token.parent.kind === ts.SyntaxKind.CallExpression && |
|
token.parent.expression === token && |
|
token.parent.arguments.length === 1) { |
|
this._result.push(token.parent); |
|
} |
|
} |
|
} |
|
} |
|
/** |
|
* Ambient context means the statement itself has the `declare` keyword |
|
* or is inside a `declare namespace`, `delcare module` or `declare global`. |
|
*/ |
|
function isStatementInAmbientContext(node) { |
|
while (node.flags & ts.NodeFlags.NestedNamespace) |
|
node = node.parent; |
|
return hasModifier(node.modifiers, ts.SyntaxKind.DeclareKeyword) || isAmbientModuleBlock(node.parent); |
|
} |
|
exports.isStatementInAmbientContext = isStatementInAmbientContext; |
|
/** Includes `declare namespace`, `declare module` and `declare global` and namespace nested in one of the aforementioned. */ |
|
function isAmbientModuleBlock(node) { |
|
while (node.kind === ts.SyntaxKind.ModuleBlock) { |
|
do |
|
node = node.parent; |
|
while (node.flags & ts.NodeFlags.NestedNamespace); |
|
if (hasModifier(node.modifiers, ts.SyntaxKind.DeclareKeyword)) |
|
return true; |
|
node = node.parent; |
|
} |
|
return false; |
|
} |
|
exports.isAmbientModuleBlock = isAmbientModuleBlock; |
|
function getIIFE(func) { |
|
let node = func.parent; |
|
while (node.kind === ts.SyntaxKind.ParenthesizedExpression) |
|
node = node.parent; |
|
return node_1.isCallExpression(node) && func.end <= node.expression.end ? node : undefined; |
|
} |
|
exports.getIIFE = getIIFE; |
|
function isStrictCompilerOptionEnabled(options, option) { |
|
return (options.strict ? options[option] !== false : options[option] === true) && |
|
(option !== 'strictPropertyInitialization' || isStrictCompilerOptionEnabled(options, 'strictNullChecks')); |
|
} |
|
exports.isStrictCompilerOptionEnabled = isStrictCompilerOptionEnabled; |
|
// https://github.com/ajafff/tslint-consistent-codestyle/issues/85 |
|
/** |
|
* Checks if a given compiler option is enabled. |
|
* It handles dependencies of options, e.g. `declaration` is implicitly enabled by `composite` or `strictNullChecks` is enabled by `strict`. |
|
* However, it does not check dependencies that are already checked and reported as errors, e.g. `checkJs` without `allowJs`. |
|
* This function only handles boolean flags. |
|
*/ |
|
function isCompilerOptionEnabled(options, option) { |
|
switch (option) { |
|
case 'stripInternal': |
|
case 'declarationMap': |
|
case 'emitDeclarationOnly': |
|
return options[option] === true && isCompilerOptionEnabled(options, 'declaration'); |
|
case 'declaration': |
|
return options.declaration || isCompilerOptionEnabled(options, 'composite'); |
|
case 'incremental': |
|
return options.incremental === undefined ? isCompilerOptionEnabled(options, 'composite') : options.incremental; |
|
case 'skipDefaultLibCheck': |
|
return options.skipDefaultLibCheck || isCompilerOptionEnabled(options, 'skipLibCheck'); |
|
case 'suppressImplicitAnyIndexErrors': |
|
return options.suppressImplicitAnyIndexErrors === true && isCompilerOptionEnabled(options, 'noImplicitAny'); |
|
case 'allowSyntheticDefaultImports': |
|
return options.allowSyntheticDefaultImports !== undefined |
|
? options.allowSyntheticDefaultImports |
|
: isCompilerOptionEnabled(options, 'esModuleInterop') || options.module === ts.ModuleKind.System; |
|
case 'noUncheckedIndexedAccess': |
|
return options.noUncheckedIndexedAccess === true && isCompilerOptionEnabled(options, 'strictNullChecks'); |
|
case 'allowJs': |
|
return options.allowJs === undefined ? isCompilerOptionEnabled(options, 'checkJs') : options.allowJs; |
|
case 'noImplicitAny': |
|
case 'noImplicitThis': |
|
case 'strictNullChecks': |
|
case 'strictFunctionTypes': |
|
case 'strictPropertyInitialization': |
|
case 'alwaysStrict': |
|
case 'strictBindCallApply': |
|
return isStrictCompilerOptionEnabled(options, option); |
|
} |
|
return options[option] === true; |
|
} |
|
exports.isCompilerOptionEnabled = isCompilerOptionEnabled; |
|
/** |
|
* Has nothing to do with `isAmbientModuleBlock`. |
|
* |
|
* @returns `true` if it's a global augmentation or has a string name. |
|
*/ |
|
function isAmbientModule(node) { |
|
return node.name.kind === ts.SyntaxKind.StringLiteral || (node.flags & ts.NodeFlags.GlobalAugmentation) !== 0; |
|
} |
|
exports.isAmbientModule = isAmbientModule; |
|
/** |
|
* @deprecated use `getTsCheckDirective` instead since `// @ts-nocheck` is no longer restricted to JS files. |
|
* @returns the last `// @ts-check` or `// @ts-nocheck` directive in the given file. |
|
*/ |
|
function getCheckJsDirective(source) { |
|
return getTsCheckDirective(source); |
|
} |
|
exports.getCheckJsDirective = getCheckJsDirective; |
|
/** @returns the last `// @ts-check` or `// @ts-nocheck` directive in the given file. */ |
|
function getTsCheckDirective(source) { |
|
let directive; |
|
// needs to work around a shebang issue until https://github.com/Microsoft/TypeScript/issues/28477 is resolved |
|
ts.forEachLeadingCommentRange(source, (ts.getShebang(source) || '').length, (pos, end, kind) => { |
|
if (kind === ts.SyntaxKind.SingleLineCommentTrivia) { |
|
const text = source.slice(pos, end); |
|
const match = /^\/{2,3}\s*@ts-(no)?check(?:\s|$)/i.exec(text); |
|
if (match !== null) |
|
directive = { pos, end, enabled: match[1] === undefined }; |
|
} |
|
}); |
|
return directive; |
|
} |
|
exports.getTsCheckDirective = getTsCheckDirective; |
|
function isConstAssertion(node) { |
|
return node_1.isTypeReferenceNode(node.type) && |
|
node.type.typeName.kind === ts.SyntaxKind.Identifier && |
|
node.type.typeName.escapedText === 'const'; |
|
} |
|
exports.isConstAssertion = isConstAssertion; |
|
/** Detects whether an expression is affected by an enclosing 'as const' assertion and therefore treated literally. */ |
|
function isInConstContext(node) { |
|
let current = node; |
|
while (true) { |
|
const parent = current.parent; |
|
outer: switch (parent.kind) { |
|
case ts.SyntaxKind.TypeAssertionExpression: |
|
case ts.SyntaxKind.AsExpression: |
|
return isConstAssertion(parent); |
|
case ts.SyntaxKind.PrefixUnaryExpression: |
|
if (current.kind !== ts.SyntaxKind.NumericLiteral) |
|
return false; |
|
switch (parent.operator) { |
|
case ts.SyntaxKind.PlusToken: |
|
case ts.SyntaxKind.MinusToken: |
|
current = parent; |
|
break outer; |
|
default: |
|
return false; |
|
} |
|
case ts.SyntaxKind.PropertyAssignment: |
|
if (parent.initializer !== current) |
|
return false; |
|
current = parent.parent; |
|
break; |
|
case ts.SyntaxKind.ShorthandPropertyAssignment: |
|
current = parent.parent; |
|
break; |
|
case ts.SyntaxKind.ParenthesizedExpression: |
|
case ts.SyntaxKind.ArrayLiteralExpression: |
|
case ts.SyntaxKind.ObjectLiteralExpression: |
|
case ts.SyntaxKind.TemplateExpression: |
|
current = parent; |
|
break; |
|
default: |
|
return false; |
|
} |
|
} |
|
} |
|
exports.isInConstContext = isInConstContext; |
|
/** Returns true for `Object.defineProperty(o, 'prop', {value, writable: false})` and `Object.defineProperty(o, 'prop', {get: () => 1})`*/ |
|
function isReadonlyAssignmentDeclaration(node, checker) { |
|
if (!isBindableObjectDefinePropertyCall(node)) |
|
return false; |
|
const descriptorType = checker.getTypeAtLocation(node.arguments[2]); |
|
if (descriptorType.getProperty('value') === undefined) |
|
return descriptorType.getProperty('set') === undefined; |
|
const writableProp = descriptorType.getProperty('writable'); |
|
if (writableProp === undefined) |
|
return false; |
|
const writableType = writableProp.valueDeclaration !== undefined && node_1.isPropertyAssignment(writableProp.valueDeclaration) |
|
? checker.getTypeAtLocation(writableProp.valueDeclaration.initializer) |
|
: checker.getTypeOfSymbolAtLocation(writableProp, node.arguments[2]); |
|
return type_1.isBooleanLiteralType(writableType, false); |
|
} |
|
exports.isReadonlyAssignmentDeclaration = isReadonlyAssignmentDeclaration; |
|
/** Determines whether a call to `Object.defineProperty` is statically analyzable. */ |
|
function isBindableObjectDefinePropertyCall(node) { |
|
return node.arguments.length === 3 && |
|
node_1.isEntityNameExpression(node.arguments[0]) && |
|
node_1.isNumericOrStringLikeLiteral(node.arguments[1]) && |
|
node_1.isPropertyAccessExpression(node.expression) && |
|
node.expression.name.escapedText === 'defineProperty' && |
|
node_1.isIdentifier(node.expression.expression) && |
|
node.expression.expression.escapedText === 'Object'; |
|
} |
|
exports.isBindableObjectDefinePropertyCall = isBindableObjectDefinePropertyCall; |
|
function isWellKnownSymbolLiterally(node) { |
|
return ts.isPropertyAccessExpression(node) && |
|
ts.isIdentifier(node.expression) && |
|
node.expression.escapedText === 'Symbol'; |
|
} |
|
exports.isWellKnownSymbolLiterally = isWellKnownSymbolLiterally; |
|
/** @deprecated typescript 4.3 removed the concept of literal well known symbols. Use `getPropertyNameFromType` instead. */ |
|
function getPropertyNameOfWellKnownSymbol(node) { |
|
return { |
|
displayName: `[Symbol.${node.name.text}]`, |
|
symbolName: ('__@' + node.name.text), |
|
}; |
|
} |
|
exports.getPropertyNameOfWellKnownSymbol = getPropertyNameOfWellKnownSymbol; |
|
const isTsBefore43 = (([major, minor]) => major < '4' || major === '4' && minor < '3')(ts.versionMajorMinor.split('.')); |
|
function getLateBoundPropertyNames(node, checker) { |
|
const result = { |
|
known: true, |
|
names: [], |
|
}; |
|
node = unwrapParentheses(node); |
|
if (isTsBefore43 && isWellKnownSymbolLiterally(node)) { |
|
result.names.push(getPropertyNameOfWellKnownSymbol(node)); // wotan-disable-line no-unstable-api-use |
|
} |
|
else { |
|
const type = checker.getTypeAtLocation(node); |
|
for (const key of type_1.unionTypeParts(checker.getBaseConstraintOfType(type) || type)) { |
|
const propertyName = type_1.getPropertyNameFromType(key); |
|
if (propertyName) { |
|
result.names.push(propertyName); |
|
} |
|
else { |
|
result.known = false; |
|
} |
|
} |
|
} |
|
return result; |
|
} |
|
exports.getLateBoundPropertyNames = getLateBoundPropertyNames; |
|
function getLateBoundPropertyNamesOfPropertyName(node, checker) { |
|
const staticName = getPropertyName(node); |
|
return staticName !== undefined |
|
? { known: true, names: [{ displayName: staticName, symbolName: ts.escapeLeadingUnderscores(staticName) }] } |
|
: node.kind === ts.SyntaxKind.PrivateIdentifier |
|
? { known: true, names: [{ displayName: node.text, symbolName: checker.getSymbolAtLocation(node).escapedName }] } |
|
: getLateBoundPropertyNames(node.expression, checker); |
|
} |
|
exports.getLateBoundPropertyNamesOfPropertyName = getLateBoundPropertyNamesOfPropertyName; |
|
/** Most declarations demand there to be only one statically known name, e.g. class members with computed name. */ |
|
function getSingleLateBoundPropertyNameOfPropertyName(node, checker) { |
|
const staticName = getPropertyName(node); |
|
if (staticName !== undefined) |
|
return { displayName: staticName, symbolName: ts.escapeLeadingUnderscores(staticName) }; |
|
if (node.kind === ts.SyntaxKind.PrivateIdentifier) |
|
return { displayName: node.text, symbolName: checker.getSymbolAtLocation(node).escapedName }; |
|
const { expression } = node; |
|
return isTsBefore43 && isWellKnownSymbolLiterally(expression) |
|
? getPropertyNameOfWellKnownSymbol(expression) // wotan-disable-line no-unstable-api-use |
|
: type_1.getPropertyNameFromType(checker.getTypeAtLocation(expression)); |
|
} |
|
exports.getSingleLateBoundPropertyNameOfPropertyName = getSingleLateBoundPropertyNameOfPropertyName; |
|
function unwrapParentheses(node) { |
|
while (node.kind === ts.SyntaxKind.ParenthesizedExpression) |
|
node = node.expression; |
|
return node; |
|
} |
|
exports.unwrapParentheses = unwrapParentheses; |
|
function formatPseudoBigInt(v) { |
|
return `${v.negative ? '-' : ''}${v.base10Value}n`; |
|
} |
|
exports.formatPseudoBigInt = formatPseudoBigInt; |
|
/** |
|
* Determines whether the given `SwitchStatement`'s `case` clauses cover every possible value of the switched expression. |
|
* The logic is the same as TypeScript's control flow analysis. |
|
* This does **not** check whether all `case` clauses do a certain action like assign a variable or return a value. |
|
* This function ignores the `default` clause if present. |
|
*/ |
|
function hasExhaustiveCaseClauses(node, checker) { |
|
const caseClauses = node.caseBlock.clauses.filter(node_1.isCaseClause); |
|
if (caseClauses.length === 0) |
|
return false; |
|
const typeParts = type_1.unionTypeParts(checker.getTypeAtLocation(node.expression)); |
|
if (typeParts.length > caseClauses.length) |
|
return false; |
|
const types = new Set(typeParts.map(getPrimitiveLiteralFromType)); |
|
if (types.has(undefined)) |
|
return false; |
|
const seen = new Set(); |
|
for (const clause of caseClauses) { |
|
const expressionType = checker.getTypeAtLocation(clause.expression); |
|
if (exports.isTypeFlagSet(expressionType, ts.TypeFlags.Never)) |
|
continue; // additional case clause with 'never' is always allowed |
|
const type = getPrimitiveLiteralFromType(expressionType); |
|
if (types.has(type)) { |
|
seen.add(type); |
|
} |
|
else if (type !== 'null' && type !== 'undefined') { // additional case clauses with 'null' and 'undefined' are always allowed |
|
return false; |
|
} |
|
} |
|
return types.size === seen.size; |
|
} |
|
exports.hasExhaustiveCaseClauses = hasExhaustiveCaseClauses; |
|
function getPrimitiveLiteralFromType(t) { |
|
if (exports.isTypeFlagSet(t, ts.TypeFlags.Null)) |
|
return 'null'; |
|
if (exports.isTypeFlagSet(t, ts.TypeFlags.Undefined)) |
|
return 'undefined'; |
|
if (exports.isTypeFlagSet(t, ts.TypeFlags.NumberLiteral)) |
|
return `${exports.isTypeFlagSet(t, ts.TypeFlags.EnumLiteral) ? 'enum:' : ''}${t.value}`; |
|
if (exports.isTypeFlagSet(t, ts.TypeFlags.StringLiteral)) |
|
return `${exports.isTypeFlagSet(t, ts.TypeFlags.EnumLiteral) ? 'enum:' : ''}string:${t.value}`; |
|
if (exports.isTypeFlagSet(t, ts.TypeFlags.BigIntLiteral)) |
|
return formatPseudoBigInt(t.value); |
|
if (_3_2_1.isUniqueESSymbolType(t)) |
|
return t.escapedName; |
|
if (type_1.isBooleanLiteralType(t, true)) |
|
return 'true'; |
|
if (type_1.isBooleanLiteralType(t, false)) |
|
return 'false'; |
|
} |
|
function getBaseOfClassLikeExpression(node) { |
|
var _a; |
|
if (((_a = node.heritageClauses) === null || _a === void 0 ? void 0 : _a[0].token) === ts.SyntaxKind.ExtendsKeyword) |
|
return node.heritageClauses[0].types[0]; |
|
} |
|
exports.getBaseOfClassLikeExpression = getBaseOfClassLikeExpression; |
|
//# sourceMappingURL=util.js.map
|