@flint.fyi/typescript-language 0.18.4 → 0.19.0

package/lib/scope/types.d.ts

@@ -1,45 +0,0 @@
-import { AnyNode, ArrowFunction, ConstructorDeclaration, FunctionDeclaration, FunctionExpression, GetAccessorDeclaration, Identifier, MethodDeclaration, SetAccessorDeclaration } from "../types/ast.js";
-
-//#region src/scope/types.d.ts
-type FunctionWithParameters = ArrowFunction | ConstructorDeclaration | FunctionDeclaration | FunctionExpression | GetAccessorDeclaration | MethodDeclaration | SetAccessorDeclaration;
-interface Scope {
-  block: AnyNode;
-  childScopes: Scope[];
-  references: ScopeReference[];
-  upper: Scope | undefined;
-  variables: ScopeVariable[];
-}
-interface ScopeDefinition {
-  identifier: Identifier;
-  kind: ScopeDefinitionKind;
-  node: AnyNode;
-}
-type ScopeDefinitionKind = "catch" | "class" | "function" | "import" | "parameter" | "variable";
-interface ScopeInternal extends Scope {
-  childScopes: ScopeInternal[];
-  upper: ScopeInternal | undefined;
-  variablesByName: Map<string, ScopeVariable>;
-}
-interface ScopeManager {
-  findVariable(identifier: Identifier): ScopeVariable | undefined;
-  getDeclaredVariables(node: AnyNode): ScopeVariable[];
-  getReferencesInScope(node: AnyNode): ScopeReference[];
-  getScope(node: AnyNode): Scope;
-  globalScope: Scope;
-}
-interface ScopeReference {
-  from: Scope;
-  identifier: Identifier;
-  isWrite: boolean;
-  text: string;
-  variable: ScopeVariable | undefined;
-}
-interface ScopeVariable {
-  declarations: Identifier[];
-  definitions: ScopeDefinition[];
-  name: string;
-  references: ScopeReference[];
-  scope: Scope;
-}
-//#endregion
-export { FunctionWithParameters, Scope, ScopeDefinition, ScopeDefinitionKind, ScopeInternal, ScopeManager, ScopeReference, ScopeVariable };

package/lib/types/checker.d.ts

@@ -1,22 +0,0 @@
-import { CallExpression, Decorator, JsxOpeningElement, JsxSelfClosingElement, NewExpression, TaggedTemplateExpression } from "./ast.js";
-import ts, { Node, Signature, TupleTypeReference, Type, TypeChecker, TypeReference } from "typescript";
-
-//#region src/types/checker.d.ts
-type Checker = CheckerOverrides & Omit<TypeChecker, keyof CheckerOverrides>;
-interface CheckerOverrides {
-  getResolvedSignature(node: CallExpression | Decorator | JsxOpeningElement | JsxSelfClosingElement | NewExpression | TaggedTemplateExpression | ts.CallLikeExpression): Signature | undefined;
-  /** Improve narrowing, borrow from typescript-eslint */
-  isArrayType(type: Type): type is TypeReference;
-  isTupleType(type: Type): type is TupleTypeReference;
-  /**
-   * TS internal api
-   * Return the type of the given property in the given type, or undefined if no such property exists
-   */
-  getTypeOfPropertyOfType(type: Type, propertyName: string): Type | undefined;
-  /**
-   * TS internal api
-   */
-  getContextualTypeForArgumentAtIndex(node: Node, argIndex: number): Type;
-}
-//#endregion
-export { Checker };

package/lib/utils/containsGlobalDeclarations.d.ts

@@ -1,6 +0,0 @@
-import ts from "typescript";
-/**
- * Inspects top-level statements of a TS source file to determine
- * if it introduces or modifies entities in the global scope.
- */
-export declare function containsGlobalDeclarations(sourceFileNode: ts.SourceFile): boolean;

package/lib/utils/containsGlobalDeclarations.js

@@ -1,17 +0,0 @@
-import ts from "typescript";
-//#region src/utils/containsGlobalDeclarations.ts
-/**
-* Inspects top-level statements of a TS source file to determine
-* if it introduces or modifies entities in the global scope.
-*/
-function containsGlobalDeclarations(sourceFileNode) {
-	const isModule = ts.isExternalModule(sourceFileNode);
-	return sourceFileNode.statements.some((statement) => {
-		if (ts.isModuleDeclaration(statement) && statement.name.text === "global") return true;
-		if (isModule) return false;
-		if (!ts.canHaveModifiers(statement)) return false;
-		return ts.getModifiers(statement)?.some((mod) => mod.kind === ts.SyntaxKind.DeclareKeyword);
-	});
-}
-//#endregion
-export { containsGlobalDeclarations };

package/lib/utils/createRuleTesterTSConfig.d.ts

@@ -1,7 +0,0 @@
-//#region src/utils/createRuleTesterTSConfig.d.ts
-declare function createRuleTesterTSConfig(defaultCompilerOptions?: Record<string, unknown>): {
-  "tsconfig.base.json": string;
-  "tsconfig.json": string;
-};
-//#endregion
-export { createRuleTesterTSConfig };

package/lib/utils/createRuleTesterTSConfig.js

@@ -1,16 +0,0 @@
-//#region src/utils/createRuleTesterTSConfig.ts
-function createRuleTesterTSConfig(defaultCompilerOptions) {
-	return {
-		"tsconfig.base.json": JSON.stringify({ compilerOptions: {
-			lib: ["esnext"],
-			moduleResolution: "bundler",
-			strict: true,
-			target: "esnext",
-			types: [],
-			...defaultCompilerOptions
-		} }, null, 2),
-		"tsconfig.json": JSON.stringify({ extends: "./tsconfig.base.json" }, null, 2)
-	};
-}
-//#endregion
-export { createRuleTesterTSConfig };

package/lib/utils/declarationIncludesGlobal.d.ts

@@ -1,6 +0,0 @@
-import ts from "typescript";
-
-//#region src/utils/declarationIncludesGlobal.d.ts
-declare function declarationIncludesGlobal(declaration: ts.Declaration): boolean;
-//#endregion
-export { declarationIncludesGlobal };

package/lib/utils/declarationIncludesGlobal.js

@@ -1,7 +0,0 @@
-//#region src/utils/declarationIncludesGlobal.ts
-function declarationIncludesGlobal(declaration) {
-	const sourceFile = declaration.getSourceFile();
-	return sourceFile.hasNoDefaultLib || /\/lib\.[^/]*\.d\.ts$/.test(sourceFile.fileName);
-}
-//#endregion
-export { declarationIncludesGlobal };

package/lib/utils/declarationsIncludeGlobal.d.ts

@@ -1,2 +0,0 @@
-import type ts from "typescript";
-export declare function declarationsIncludeGlobal(declarations: ts.Declaration[]): boolean;

package/lib/utils/declarationsIncludeGlobal.js

@@ -1,7 +0,0 @@
-import { declarationIncludesGlobal } from "./declarationIncludesGlobal.js";
-//#region src/utils/declarationsIncludeGlobal.ts
-function declarationsIncludeGlobal(declarations) {
-	return declarations.some(declarationIncludesGlobal);
-}
-//#endregion
-export { declarationsIncludeGlobal };

package/lib/utils/forEachChild.d.ts

@@ -1,7 +0,0 @@
-import { AnyNode } from "../types/ast.js";
-import ts from "typescript";
-
-//#region src/utils/forEachChild.d.ts
-declare const forEachChild: <T>(node: AnyNode, cbNode: (node: AnyNode) => T | undefined, cbNodes?: (nodes: ts.NodeArray<AnyNode>) => T | undefined) => T | undefined;
-//#endregion
-export { forEachChild };

package/lib/utils/forEachChild.js

@@ -1,5 +0,0 @@
-import ts from "typescript";
-//#region src/utils/forEachChild.ts
-const forEachChild = ts.forEachChild;
-//#endregion
-export { forEachChild };

package/lib/utils/getDeclarationsIfGlobal.d.ts

@@ -1,6 +0,0 @@
-import { Expression } from "../types/ast.js";
-import { Checker } from "../types/checker.js";
-//#region src/utils/getDeclarationsIfGlobal.d.ts
-declare function getDeclarationsIfGlobal(node: Expression, typeChecker: Checker): import("typescript").Declaration[] | undefined;
-//#endregion
-export { getDeclarationsIfGlobal };

package/lib/utils/getDeclarationsIfGlobal.js

@@ -1,8 +0,0 @@
-import { declarationsIncludeGlobal } from "./declarationsIncludeGlobal.js";
-//#region src/utils/getDeclarationsIfGlobal.ts
-function getDeclarationsIfGlobal(node, typeChecker) {
-	const declarations = typeChecker.getSymbolAtLocation(node)?.getDeclarations();
-	return !!declarations && declarationsIncludeGlobal(declarations) ? declarations : void 0;
-}
-//#endregion
-export { getDeclarationsIfGlobal };

package/lib/utils/getModifyingReferences.d.ts

@@ -1,10 +0,0 @@
-import { Identifier, SourceFile } from "../types/ast.js";
-
-//#region src/utils/getModifyingReferences.d.ts
-/**
- * Gets all references to a variable that modify it (assignments, increments, decrements).
- * @returns An array of identifier nodes that modify the variable.
- */
-declare function getModifyingReferences(identifier: Identifier, sourceFile: SourceFile): Identifier[];
-//#endregion
-export { getModifyingReferences };

package/lib/utils/getModifyingReferences.js

@@ -1,13 +0,0 @@
-import { getScopeManager } from "../scope/scopeManager.js";
-//#region src/utils/getModifyingReferences.ts
-/**
-* Gets all references to a variable that modify it (assignments, increments, decrements).
-* @returns An array of identifier nodes that modify the variable.
-*/
-function getModifyingReferences(identifier, sourceFile) {
-	const variable = getScopeManager(sourceFile).findVariable(identifier);
-	if (!variable || variable.declarations.length > 1) return [];
-	return variable.references.filter((reference) => reference.isWrite).map((reference) => reference.identifier);
-}
-//#endregion
-export { getModifyingReferences };

package/lib/utils/hasSameTokens.d.ts

@@ -1,6 +0,0 @@
-import { AnyNode, SourceFile } from "../types/ast.js";
-
-//#region src/utils/hasSameTokens.d.ts
-declare function hasSameTokens(nodeA: AnyNode, nodeB: AnyNode, sourceFile: SourceFile): boolean;
-//#endregion
-export { hasSameTokens };

package/lib/utils/hasSameTokens.js

@@ -1,30 +0,0 @@
-import { unwrapParenthesizedNode } from "./unwrapParenthesizedNode.js";
-import ts from "typescript";
-//#region src/utils/hasSameTokens.ts
-function hasSameTokens(nodeA, nodeB, sourceFile) {
-	const queueA = [unwrapParenthesizedNode(nodeA)];
-	const queueB = [unwrapParenthesizedNode(nodeB)];
-	while (true) {
-		const currentA = queueA.shift();
-		const currentB = queueB.shift();
-		if (!currentA || !currentB) break;
-		if (currentA.kind !== currentB.kind) return false;
-		if (ts.isTokenKind(currentA.kind)) {
-			if (!areSameToken(currentA, currentB, sourceFile)) return false;
-			continue;
-		}
-		const childrenA = currentA.getChildren(sourceFile);
-		const childrenB = currentB.getChildren(sourceFile);
-		if (childrenA.length !== childrenB.length) return false;
-		queueA.push(...childrenA);
-		queueB.push(...childrenB);
-	}
-	return queueA.length === queueB.length;
-}
-function areSameToken(nodeA, nodeB, sourceFile) {
-	if (ts.isIdentifier(nodeA) || ts.isPrivateIdentifier(nodeA) || ts.isNumericLiteral(nodeA) || ts.isBigIntLiteral(nodeA) || ts.isStringLiteral(nodeA) || ts.isNoSubstitutionTemplateLiteral(nodeA)) return nodeA.text === nodeB.text;
-	if (nodeA.kind === ts.SyntaxKind.RegularExpressionLiteral) return sourceFile.text.slice(nodeA.getStart(sourceFile), nodeA.getEnd()) === sourceFile.text.slice(nodeB.getStart(sourceFile), nodeB.getEnd());
-	return true;
-}
-//#endregion
-export { hasSameTokens };

package/lib/utils/isBuiltinArrayMethod.d.ts

@@ -1,13 +0,0 @@
-import { CallExpression, PropertyAccessExpression } from "../types/ast.js";
-import { Checker } from "../types/checker.js";
-import ts from "typescript";
-
-//#region src/utils/isBuiltinArrayMethod.d.ts
-type BuiltInArrayMethodNode = CallExpression & {
-  expression: PropertyAccessExpression & {
-    expression: ts.Expression;
-  };
-};
-declare function isBuiltinArrayMethod(name: string, node: CallExpression, typeChecker: Checker): node is BuiltInArrayMethodNode;
-//#endregion
-export { BuiltInArrayMethodNode, isBuiltinArrayMethod };

package/lib/utils/isBuiltinArrayMethod.js

@@ -1,7 +0,0 @@
-import ts from "typescript";
-//#region src/utils/isBuiltinArrayMethod.ts
-function isBuiltinArrayMethod(name, node, typeChecker) {
-	return ts.isPropertyAccessExpression(node.expression) && node.expression.name.text === name && typeChecker.isArrayType(typeChecker.getTypeAtLocation(node.expression.expression)) && !ts.isExpressionStatement(node.parent);
-}
-//#endregion
-export { isBuiltinArrayMethod };

package/lib/utils/isFunction.d.ts

@@ -1,6 +0,0 @@
-import { Expression } from "../types/ast.js";
-import { Checker } from "../types/checker.js";
-//#region src/utils/isFunction.d.ts
-declare function isFunction(node: Expression, typeChecker: Checker): boolean;
-//#endregion
-export { isFunction };

package/lib/utils/isFunction.js

@@ -1,6 +0,0 @@
-//#region src/utils/isFunction.ts
-function isFunction(node, typeChecker) {
-	return !!typeChecker.getTypeAtLocation(node).getCallSignatures().length;
-}
-//#endregion
-export { isFunction };

package/lib/utils/isGlobalDeclaration.d.ts

@@ -1,6 +0,0 @@
-import { Expression } from "../types/ast.js";
-import { Checker } from "../types/checker.js";
-//#region src/utils/isGlobalDeclaration.d.ts
-declare function isGlobalDeclaration(node: Expression, typeChecker: Checker): boolean;
-//#endregion
-export { isGlobalDeclaration };

package/lib/utils/isGlobalDeclaration.js

@@ -1,7 +0,0 @@
-import { getDeclarationsIfGlobal } from "./getDeclarationsIfGlobal.js";
-//#region src/utils/isGlobalDeclaration.ts
-function isGlobalDeclaration(node, typeChecker) {
-	return !!getDeclarationsIfGlobal(node, typeChecker);
-}
-//#endregion
-export { isGlobalDeclaration };

package/lib/utils/isGlobalDeclarationOfName.d.ts

@@ -1,10 +0,0 @@
-import { Checker } from "../types/checker.js";
-import ts from "typescript";
-
-//#region src/utils/isGlobalDeclarationOfName.d.ts
-/**
- * TODO: Use a scope analyzer (#400).
- */
-declare function isGlobalDeclarationOfName(node: ts.Node, name: string, typeChecker: Checker): boolean;
-//#endregion
-export { isGlobalDeclarationOfName };

package/lib/utils/isGlobalDeclarationOfName.js

@@ -1,21 +0,0 @@
-import { declarationIncludesGlobal } from "./declarationIncludesGlobal.js";
-import ts from "typescript";
-//#region src/utils/isGlobalDeclarationOfName.ts
-/**
-* TODO: Use a scope analyzer (#400).
-*/
-function isGlobalDeclarationOfName(node, name, typeChecker) {
-	const declarations = typeChecker.getSymbolAtLocation(node)?.getDeclarations();
-	if (!declarations) return false;
-	return declarations.every((declaration) => {
-		if (ts.isVariableDeclaration(declaration) && declaration.initializer && ts.isIdentifier(declaration.initializer)) return isGlobalDeclarationOfName(declaration.initializer, name, typeChecker);
-		if (ts.isPropertySignature(declaration)) return isGlobalDeclarationOfName(declaration.parent, name, typeChecker);
-		return isDeclarationOfName(declaration, name) && declarationIncludesGlobal(declaration);
-	});
-}
-function isDeclarationOfName(node, name) {
-	if (ts.isClassDeclaration(node) || ts.isFunctionDeclaration(node) || ts.isInterfaceDeclaration(node) || ts.isVariableDeclaration(node)) return node.name && ts.isIdentifier(node.name) && node.name.text === name;
-	return false;
-}
-//#endregion
-export { isGlobalDeclarationOfName };

package/lib/utils/isGlobalVariable.d.ts

@@ -1,12 +0,0 @@
-import { Expression } from "../types/ast.js";
-import { Checker } from "../types/checker.js";
-//#region src/utils/isGlobalVariable.d.ts
-/**
- * Checks if a node is a reference to a global variable (e.g., Object, undefined, NaN).
- * Global variables are those declared in TypeScript's lib files or are global identifiers
- * like undefined which have symbols but no user-defined declarations.
- * TODO: Use a scope manager (#400).
- */
-declare function isGlobalVariable(node: Expression, typeChecker: Checker): boolean;
-//#endregion
-export { isGlobalVariable };

package/lib/utils/isGlobalVariable.js

@@ -1,17 +0,0 @@
-import { declarationsIncludeGlobal } from "./declarationsIncludeGlobal.js";
-//#region src/utils/isGlobalVariable.ts
-/**
-* Checks if a node is a reference to a global variable (e.g., Object, undefined, NaN).
-* Global variables are those declared in TypeScript's lib files or are global identifiers
-* like undefined which have symbols but no user-defined declarations.
-* TODO: Use a scope manager (#400).
-*/
-function isGlobalVariable(node, typeChecker) {
-	const symbol = typeChecker.getSymbolAtLocation(node);
-	if (!symbol) return false;
-	const declarations = symbol.getDeclarations();
-	if (!declarations?.length) return true;
-	return declarationsIncludeGlobal(declarations);
-}
-//#endregion
-export { isGlobalVariable };

package/lib/utils/isInlineArrayCreation.d.ts

@@ -1,11 +0,0 @@
-import * as ts$1 from "typescript";
-
-//#region src/utils/isInlineArrayCreation.d.ts
-/**
- * Checks if a node represents an inline array creation expression.
- * These are cases where a new array is created immediately before the method call,
- * so mutating methods like .sort() or .reverse() are safe to use.
- */
-declare function isInlineArrayCreation(node: ts$1.Expression): boolean;
-//#endregion
-export { isInlineArrayCreation };

package/lib/utils/isInlineArrayCreation.js

@@ -1,43 +0,0 @@
-import * as ts$1 from "typescript";
-//#region src/utils/isInlineArrayCreation.ts
-const methodsReturningNewArray = new Set([
-	"concat",
-	"entries",
-	"filter",
-	"flat",
-	"flatMap",
-	"from",
-	"keys",
-	"map",
-	"of",
-	"slice",
-	"split",
-	"values"
-]);
-const objectStaticMethods = new Set([
-	"entries",
-	"keys",
-	"values"
-]);
-/**
-* Checks if a node represents an inline array creation expression.
-* These are cases where a new array is created immediately before the method call,
-* so mutating methods like .sort() or .reverse() are safe to use.
-*/
-function isInlineArrayCreation(node) {
-	if (ts$1.isArrayLiteralExpression(node)) return true;
-	if (ts$1.isParenthesizedExpression(node)) return isInlineArrayCreation(node.expression);
-	if (ts$1.isCallExpression(node)) {
-		if (ts$1.isPropertyAccessExpression(node.expression)) {
-			const methodName = node.expression.name.text;
-			if (ts$1.isIdentifier(node.expression.expression) && node.expression.expression.text === "Object" && objectStaticMethods.has(methodName)) return true;
-			if (ts$1.isIdentifier(node.expression.expression) && node.expression.expression.text === "Array" && (methodName === "from" || methodName === "of")) return true;
-			if (methodsReturningNewArray.has(methodName)) return true;
-		}
-		if (ts$1.isIdentifier(node.expression) && node.expression.text === "Array" && ts$1.isNewExpression(node.parent)) return true;
-	}
-	if (ts$1.isNewExpression(node) && ts$1.isIdentifier(node.expression) && node.expression.text === "Array") return true;
-	return false;
-}
-//#endregion
-export { isInlineArrayCreation };

package/lib/utils/isStaticString.d.ts

@@ -1,5 +0,0 @@
-import { Expression, NoSubstitutionTemplateLiteral, StringLiteral } from "../types/ast.js";
-//#region src/utils/isStaticString.d.ts
-declare function isStaticString(node: Expression): node is NoSubstitutionTemplateLiteral | StringLiteral;
-//#endregion
-export { isStaticString };

package/lib/utils/isStaticString.js

@@ -1,7 +0,0 @@
-import { SyntaxKind } from "typescript";
-//#region src/utils/isStaticString.ts
-function isStaticString(node) {
-	return node.kind === SyntaxKind.StringLiteral || node.kind === SyntaxKind.NoSubstitutionTemplateLiteral;
-}
-//#endregion
-export { isStaticString };

package/lib/utils/isStringRawNoSubstitution.d.ts

@@ -1,7 +0,0 @@
-import { Expression, NoSubstitutionTemplateLiteral, TaggedTemplateExpression } from "../types/ast.js";
-//#region src/utils/isStringRawNoSubstitution.d.ts
-declare function isStringRawNoSubstitution(node: Expression): node is TaggedTemplateExpression & {
-  template: NoSubstitutionTemplateLiteral;
-};
-//#endregion
-export { isStringRawNoSubstitution };

package/lib/utils/isStringRawNoSubstitution.js

@@ -1,9 +0,0 @@
-import { SyntaxKind } from "typescript";
-//#region src/utils/isStringRawNoSubstitution.ts
-function isStringRawNoSubstitution(node) {
-	if (node.kind !== SyntaxKind.TaggedTemplateExpression) return false;
-	const tag = node.tag;
-	return tag.kind === SyntaxKind.PropertyAccessExpression && tag.expression.kind === SyntaxKind.Identifier && tag.expression.text === "String" && tag.name.kind === SyntaxKind.Identifier && tag.name.text === "raw" && node.template.kind === SyntaxKind.NoSubstitutionTemplateLiteral;
-}
-//#endregion
-export { isStringRawNoSubstitution };

package/lib/utils/unwrapParentParenthesizedExpressions.d.ts

@@ -1,6 +0,0 @@
-import { BinaryExpression, LeftHandSideExpressionParent, ParenthesizedExpression } from "../types/ast.js";
-
-//#region src/utils/unwrapParentParenthesizedExpressions.d.ts
-declare function unwrapParentParenthesizedExpressions(node: BinaryExpression | ParenthesizedExpression): LeftHandSideExpressionParent;
-//#endregion
-export { unwrapParentParenthesizedExpressions };

package/lib/utils/unwrapParentParenthesizedExpressions.js

@@ -1,7 +0,0 @@
-import { SyntaxKind } from "typescript";
-//#region src/utils/unwrapParentParenthesizedExpressions.ts
-function unwrapParentParenthesizedExpressions(node) {
-	return node.parent.kind === SyntaxKind.ParenthesizedExpression ? unwrapParentParenthesizedExpressions(node.parent) : node.parent;
-}
-//#endregion
-export { unwrapParentParenthesizedExpressions };

package/lib/utils/unwrapParenthesizedNode.d.ts

@@ -1,6 +0,0 @@
-import { AnyNode } from "../types/ast.js";
-
-//#region src/utils/unwrapParenthesizedNode.d.ts
-declare function unwrapParenthesizedNode(node: AnyNode): AnyNode;
-//#endregion
-export { unwrapParenthesizedNode };

package/lib/utils/unwrapParenthesizedNode.js

@@ -1,7 +0,0 @@
-import { SyntaxKind } from "typescript";
-//#region src/utils/unwrapParenthesizedNode.ts
-function unwrapParenthesizedNode(node) {
-	return node.kind === SyntaxKind.ParenthesizedExpression ? unwrapParenthesizedNode(node.expression) : node;
-}
-//#endregion
-export { unwrapParenthesizedNode };