@lucasacoutinho/archer 0.2.1 → 0.3.0

package/dist/analyzer/syntax.js

@@ -0,0 +1,226 @@
+import { Match } from "effect";
+import { isArrayBindingPattern, isBinaryExpression, isCallExpression, isClassDeclaration, isConstructorDeclaration, isDecorator, isElementAccessExpression, isEnumDeclaration, isExportAssignment, isExportDeclaration, isExternalModuleReference, isFunctionDeclaration, isIdentifier, isImportDeclaration, isImportEqualsDeclaration, isImportTypeNode, isInterfaceDeclaration, isLiteralTypeNode, isMethodDeclaration, isMethodSignatureDeclaration, isNamedExports, isObjectBindingPattern, isParameterDeclaration, isPrivateIdentifier, isPropertyAccessExpression, isPropertyDeclaration, isPropertySignatureDeclaration, isStringLiteralLikeNode, isTypeAliasDeclaration, isVariableStatement, ModifierFlags, ScriptKind, SyntaxKind, } from "typescript/unstable/ast";
+export const locationOf = (sourceFile, node) => {
+    const { line, character } = sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile));
+    return { line: line + 1, column: character + 1 };
+};
+/** A trailing newline ends the last line instead of starting another; an empty file has no lines. */
+export const countLines = (text) => {
+    if (text === "") {
+        return 0;
+    }
+    let lines = text.endsWith("\n") ? 0 : 1;
+    for (let at = text.indexOf("\n"); at >= 0; at = text.indexOf("\n", at + 1)) {
+        lines++;
+    }
+    return lines;
+};
+const hasFlag = (node, flag) => (node.modifierFlags & flag) !== 0;
+const memberOf = (object, member) => isIdentifier(object) && member !== undefined ? { _tag: "Member", root: object, member } : { _tag: "Other" };
+const calleeOf = Match.type().pipe(Match.when(isIdentifier, (identifier) => ({ _tag: "Name", identifier })), Match.when(isPropertyAccessExpression, (access) => memberOf(access.expression, propertyName(access))), Match.when(isElementAccessExpression, (access) => memberOf(access.expression, isStringLiteralLikeNode(access.argumentExpression) ? access.argumentExpression.text : undefined)), Match.when((node) => node.kind === SyntaxKind.ImportKeyword, () => ({ _tag: "ImportKeyword" })), Match.orElse(() => ({ _tag: "Other" })));
+const propertyName = (access) => isIdentifier(access.name) ? access.name.text : undefined;
+/** An empty `import {} from` still runs the module, so it is not type-only. */
+const importsOnlyTypes = (declaration) => {
+    const clause = declaration.importClause;
+    if (clause === undefined) {
+        return false;
+    }
+    if (clause.phaseModifier === SyntaxKind.TypeKeyword) {
+        return true;
+    }
+    const bindings = clause.namedBindings;
+    return (clause.name === undefined &&
+        bindings !== undefined &&
+        bindings.kind === SyntaxKind.NamedImports &&
+        bindings.elements.length > 0 &&
+        bindings.elements.every((element) => element.isTypeOnly));
+};
+const exportsOnlyTypes = (declaration) => {
+    const clause = declaration.exportClause;
+    return (declaration.isTypeOnly ||
+        (clause !== undefined &&
+            isNamedExports(clause) &&
+            clause.elements.length > 0 &&
+            clause.elements.every((element) => element.isTypeOnly)));
+};
+export const scanSource = (sourceFile) => {
+    const sites = [];
+    const calls = [];
+    const looseEqualities = [];
+    const scripted = sourceFile.scriptKind === ScriptKind.JS || sourceFile.scriptKind === ScriptKind.JSX;
+    const addLiteral = (kind, node, checkable) => {
+        if (node !== undefined && isStringLiteralLikeNode(node)) {
+            sites.push({ kind, node, specifier: node.text, computed: false, checkable });
+        }
+    };
+    const addArgument = (kind, argument, checkable) => {
+        if (isStringLiteralLikeNode(argument)) {
+            addLiteral(kind, argument, checkable);
+        }
+        else {
+            sites.push({ kind, node: argument, specifier: argument.getText(sourceFile), computed: true, checkable: false });
+        }
+    };
+    const addCall = (call) => {
+        const [first] = call.arguments;
+        Match.valueTags(calleeOf(call.expression), {
+            ImportKeyword: () => {
+                if (first !== undefined) {
+                    addArgument("dynamic", first, true);
+                }
+            },
+            Name: ({ identifier }) => {
+                if (identifier.text === "require" && call.arguments.length === 1 && first !== undefined) {
+                    addArgument("require", first, scripted);
+                }
+                calls.push({ name: identifier.text, root: identifier, member: undefined, callee: identifier });
+            },
+            Member: ({ root, member }) => {
+                calls.push({ name: `${root.text}.${member}`, root, member, callee: call.expression });
+            },
+            Other: () => undefined,
+        });
+    };
+    const read = Match.type().pipe(Match.when(isImportDeclaration, (node) => {
+        addLiteral(importsOnlyTypes(node) ? "type" : "static", node.moduleSpecifier, true);
+        return false;
+    }), Match.when(isExportDeclaration, (node) => {
+        addLiteral(exportsOnlyTypes(node) ? "type" : "static", node.moduleSpecifier, true);
+        return false;
+    }), Match.when(isImportEqualsDeclaration, (node) => {
+        if (isExternalModuleReference(node.moduleReference)) {
+            addLiteral(node.isTypeOnly ? "type" : "require", node.moduleReference.expression, true);
+        }
+        return false;
+    }), Match.when(isCallExpression, (node) => {
+        addCall(node);
+        return true;
+    }), Match.when(isImportTypeNode, (node) => {
+        addLiteral("type", isLiteralTypeNode(node.argument) ? node.argument.literal : undefined, true);
+        return true;
+    }), Match.when(isBinaryExpression, (node) => {
+        if (node.operatorToken.kind === SyntaxKind.EqualsEqualsToken || node.operatorToken.kind === SyntaxKind.ExclamationEqualsToken) {
+            looseEqualities.push(node.operatorToken);
+        }
+        return true;
+    }), Match.orElse(() => true));
+    const visit = (node) => {
+        if (read(node)) {
+            node.forEachChild(visit);
+        }
+        return undefined;
+    };
+    sourceFile.forEachChild(visit);
+    return { sites, calls, looseEqualities };
+};
+export const requiredModule = (node) => node !== undefined &&
+    isCallExpression(node) &&
+    isIdentifier(node.expression) &&
+    node.expression.text === "require" &&
+    node.arguments.length === 1 &&
+    node.arguments[0] !== undefined &&
+    isStringLiteralLikeNode(node.arguments[0])
+    ? node.arguments[0].text
+    : undefined;
+const memberName = (name) => isIdentifier(name) || isPrivateIdentifier(name) || isStringLiteralLikeNode(name) ? name.text : name.getText();
+const visibilityOf = (flags, name) => Match.value(flags).pipe(Match.when((value) => (value & ModifierFlags.Private) !== 0 || isPrivateIdentifier(name), () => "private"), Match.when((value) => (value & ModifierFlags.Protected) !== 0, () => "protected"), Match.orElse(() => "public"));
+const methodOf = (member) => isMethodDeclaration(member) || isMethodSignatureDeclaration(member)
+    ? {
+        name: memberName(member.name),
+        visibility: visibilityOf(member.modifierFlags, member.name),
+        isStatic: hasFlag(member, ModifierFlags.Static),
+    }
+    : undefined;
+/** Overload signatures collapse into one entry. */
+const methodsOf = (members) => {
+    const seen = new Set();
+    const methods = [];
+    for (const member of members) {
+        const method = methodOf(member);
+        const key = method === undefined ? "" : `${method.visibility}|${method.isStatic}|${method.name}`;
+        if (method !== undefined && !seen.has(key)) {
+            seen.add(key);
+            methods.push(method);
+        }
+    }
+    return methods;
+};
+const parameterPropertyFlags = ModifierFlags.Public | ModifierFlags.Private | ModifierFlags.Protected | ModifierFlags.Readonly;
+/** Constructor parameter properties count as properties. */
+const hasOnlyReadonlyProperties = (members) => {
+    const properties = members.flatMap((member) => isPropertyDeclaration(member) || isPropertySignatureDeclaration(member)
+        ? [member]
+        : isConstructorDeclaration(member)
+            ? member.parameters.filter((parameter) => isParameterDeclaration(parameter) && (parameter.modifierFlags & parameterPropertyFlags) !== 0)
+            : []);
+    return properties.length > 0 && properties.every((property) => hasFlag(property, ModifierFlags.Readonly));
+};
+/** `Controller` for `@Controller` and `@Controller()`. */
+const decoratorNames = (sourceFile, node) => (isClassDeclaration(node) ? (node.modifiers ?? []) : []).flatMap((modifier) => isDecorator(modifier)
+    ? [(isCallExpression(modifier.expression) ? modifier.expression.expression : modifier.expression).getText(sourceFile)]
+    : []);
+const heritageNames = (sourceFile, node, token) => (node.heritageClauses ?? [])
+    .filter((clause) => clause.token === token)
+    .flatMap((clause) => clause.types.map((type) => type.expression.getText(sourceFile)));
+const boundNames = (name) => Match.value(name).pipe(Match.when(isIdentifier, (identifier) => [identifier.text]), Match.when(isObjectBindingPattern, (pattern) => pattern.elements.flatMap((element) => (element.name === undefined ? [] : boundNames(element.name)))), Match.when(isArrayBindingPattern, (pattern) => pattern.elements.flatMap((element) => (element.kind === SyntaxKind.BindingElement && element.name !== undefined ? boundNames(element.name) : []))), Match.orElse(() => []));
+/** Names exported by `export { a as b }` and `export default a` instead of by a modifier. */
+const exportedLocalNames = (sourceFile) => {
+    const names = new Set();
+    for (const statement of sourceFile.statements) {
+        if (isExportDeclaration(statement) && statement.moduleSpecifier === undefined && statement.exportClause !== undefined && isNamedExports(statement.exportClause)) {
+            for (const element of statement.exportClause.elements) {
+                names.add((element.propertyName ?? element.name).text);
+            }
+        }
+        else if (isExportAssignment(statement) && isIdentifier(statement.expression)) {
+            names.add(statement.expression.text);
+        }
+    }
+    return names;
+};
+/** A variable statement gives one declaration per bound name, all at the statement's location. */
+export const declarationsOf = (sourceFile) => {
+    const exportedNames = exportedLocalNames(sourceFile);
+    const base = (node, name) => ({
+        name,
+        exported: hasFlag(node, ModifierFlags.Export) || exportedNames.has(name),
+        abstract: hasFlag(node, ModifierFlags.Abstract),
+        location: locationOf(sourceFile, node),
+    });
+    const plain = { extended: [], implemented: [], decorators: [], methods: [], readonlyProperties: false };
+    const read = Match.type().pipe(Match.when(isClassDeclaration, (node) => [
+        {
+            ...base(node, node.name?.text ?? "default"),
+            kind: "class",
+            extended: heritageNames(sourceFile, node, SyntaxKind.ExtendsKeyword),
+            implemented: heritageNames(sourceFile, node, SyntaxKind.ImplementsKeyword),
+            decorators: decoratorNames(sourceFile, node),
+            methods: methodsOf(node.members),
+            readonlyProperties: hasOnlyReadonlyProperties(node.members),
+        },
+    ]), Match.when(isInterfaceDeclaration, (node) => [
+        {
+            ...base(node, node.name.text),
+            kind: "interface",
+            extended: heritageNames(sourceFile, node, SyntaxKind.ExtendsKeyword),
+            implemented: [],
+            decorators: [],
+            methods: methodsOf(node.members),
+            readonlyProperties: hasOnlyReadonlyProperties(node.members),
+        },
+    ]), Match.when(isEnumDeclaration, (node) => [{ ...base(node, node.name.text), kind: "enum", ...plain }]), Match.when(isFunctionDeclaration, (node) => [
+        { ...base(node, node.name?.text ?? "default"), kind: "function", ...plain },
+    ]), Match.when(isTypeAliasDeclaration, (node) => [{ ...base(node, node.name.text), kind: "type", ...plain }]), Match.when(isVariableStatement, (node) => node.declarationList.declarations
+        .flatMap((declaration) => boundNames(declaration.name))
+        .map((name) => ({ ...base(node, name), kind: "variable", ...plain }))), Match.orElse(() => []));
+    const functions = new Set();
+    return sourceFile.statements.flatMap(read).filter((declaration) => {
+        if (declaration.kind !== "function") {
+            return true;
+        }
+        const fresh = !functions.has(declaration.name);
+        functions.add(declaration.name);
+        return fresh;
+    });
+};
+//# sourceMappingURL=syntax.js.map

package/dist/analyzer/syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.js","sourceRoot":"","sources":["../../src/analyzer/syntax.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC9B,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,wBAAwB,EACxB,WAAW,EACX,yBAAyB,EACzB,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,EACrB,YAAY,EACZ,mBAAmB,EACnB,yBAAyB,EACzB,gBAAgB,EAChB,sBAAsB,EACtB,iBAAiB,EACjB,mBAAmB,EACnB,4BAA4B,EAC5B,cAAc,EACd,sBAAsB,EACtB,sBAAsB,EACtB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACrB,8BAA8B,EAC9B,uBAAuB,EACvB,sBAAsB,EACtB,mBAAmB,EACnB,aAAa,EACb,UAAU,EACV,UAAU,GAWX,MAAM,yBAAyB,CAAA;AAGhC,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAsB,EAAE,IAAU,EAAY,EAAE;IACzE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAA;IAC/F,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,SAAS,GAAG,CAAC,EAAE,CAAA;AAClD,CAAC,CAAA;AAED,qGAAqG;AACrG,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAU,EAAE;IACjD,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,OAAO,CAAC,CAAA;IACV,CAAC;IACD,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACvC,KAAK,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,EAAE,CAAA;IACT,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,IAA+C,EAAE,IAAmB,EAAW,EAAE,CAChG,CAAC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;AA8BnC,MAAM,QAAQ,GAAG,CAAC,MAAY,EAAE,MAA0B,EAAU,EAAE,CACpE,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;AAE7G,MAAM,QAAQ,GAA2B,KAAK,CAAC,IAAI,EAAQ,CAAC,IAAI,CAC9D,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,EAChF,KAAK,CAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC,MAAM,EAAU,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAC7G,KAAK,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC,MAAM,EAAU,EAAE,CACvD,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,uBAAuB,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAC7H,EACD,KAAK,CAAC,IAAI,CACR,CAAC,IAAU,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EACtD,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAC1C,EACD,KAAK,CAAC,MAAM,CAAC,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAChD,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,MAAgC,EAAsB,EAAE,CAC5E,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;AAE1D,+EAA+E;AAC/E,MAAM,gBAAgB,GAAG,CAAC,WAA8B,EAAW,EAAE;IACnE,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAA;IACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,UAAU,CAAC,WAAW,EAAE,CAAC;QACpD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAA;IACrC,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,SAAS;QACzB,QAAQ,KAAK,SAAS;QACtB,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,YAAY;QACzC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC5B,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CACzD,CAAA;AACH,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,CAAC,WAA8B,EAAW,EAAE;IACnE,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAA;IACvC,OAAO,CACL,WAAW,CAAC,UAAU;QACtB,CAAC,MAAM,KAAK,SAAS;YACnB,cAAc,CAAC,MAAM,CAAC;YACtB,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAC1B,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAC1D,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAsB,EAAQ,EAAE;IACzD,MAAM,KAAK,GAAsB,EAAE,CAAA;IACnC,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,eAAe,GAAgB,EAAE,CAAA;IACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,KAAK,UAAU,CAAC,EAAE,IAAI,UAAU,CAAC,UAAU,KAAK,UAAU,CAAC,GAAG,CAAA;IAEpG,MAAM,UAAU,GAAG,CAAC,IAAoB,EAAE,IAAsB,EAAE,SAAkB,EAAQ,EAAE;QAC5F,IAAI,IAAI,KAAK,SAAS,IAAI,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC,CAAA;IAED,MAAM,WAAW,GAAG,CAAC,IAAoB,EAAE,QAAc,EAAE,SAAkB,EAAQ,EAAE;QACrF,IAAI,uBAAuB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;QACjH,CAAC;IACH,CAAC,CAAA;IAED,MAAM,OAAO,GAAG,CAAC,IAAoB,EAAQ,EAAE;QAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAA;QAC9B,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE;YACzC,aAAa,EAAE,GAAG,EAAE;gBAClB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,WAAW,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;gBACrC,CAAC;YACH,CAAC;YACD,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE;gBACvB,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxF,WAAW,CAAC,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;gBACzC,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;YAChG,CAAC;YACD,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;gBAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAA;YACvF,CAAC;YACD,KAAK,EAAE,GAAG,EAAE,CAAC,SAAS;SACvB,CAAC,CAAA;IACJ,CAAC,CAAA;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAQ,CAAC,IAAI,CAClC,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAAW,EAAE;QAChD,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAA;QAClF,OAAO,KAAK,CAAA;IACd,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAAW,EAAE;QAChD,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAA;QAClF,OAAO,KAAK,CAAA;IACd,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC,IAAI,EAAW,EAAE;QACtD,IAAI,yBAAyB,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACpD,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QACzF,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAW,EAAE;QAC7C,OAAO,CAAC,IAAI,CAAC,CAAA;QACb,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAW,EAAE;QAC7C,UAAU,CAAC,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;QAC9F,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAAW,EAAE;QAC/C,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,UAAU,CAAC,iBAAiB,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,UAAU,CAAC,sBAAsB,EAAE,CAAC;YAC9H,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QAC1C,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC,CAAC,EACF,KAAK,CAAC,MAAM,CAAC,GAAY,EAAE,CAAC,IAAI,CAAC,CAClC,CAAA;IAED,MAAM,KAAK,GAAG,CAAC,IAAU,EAAa,EAAE;QACtC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACf,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;QAC1B,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC,CAAA;IACD,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;IAC9B,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,EAAE,CAAA;AAC1C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAsB,EAAsB,EAAE,CAC3E,IAAI,KAAK,SAAS;IAClB,gBAAgB,CAAC,IAAI,CAAC;IACtB,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;IAC7B,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;IAClC,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;IAC3B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS;IAC/B,uBAAuB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;IACxB,CAAC,CAAC,SAAS,CAAA;AAEf,MAAM,UAAU,GAAG,CAAC,IAAU,EAAU,EAAE,CACxC,YAAY,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAA;AAE/G,MAAM,YAAY,GAAG,CAAC,KAAoB,EAAE,IAAU,EAAc,EAAE,CACpE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,KAAK,CAAC,IAAI,CACR,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAC7E,GAAe,EAAE,CAAC,SAAS,CAC5B,EACD,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,GAAe,EAAE,CAAC,WAAW,CAAC,EAC7F,KAAK,CAAC,MAAM,CAAC,GAAe,EAAE,CAAC,QAAQ,CAAC,CACzC,CAAA;AAEH,MAAM,QAAQ,GAAG,CAAC,MAAY,EAAsB,EAAE,CACpD,mBAAmB,CAAC,MAAM,CAAC,IAAI,4BAA4B,CAAC,MAAM,CAAC;IACjE,CAAC,CAAC;QACE,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7B,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC;QAC3D,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC;KAChD;IACH,CAAC,CAAC,SAAS,CAAA;AAEf,mDAAmD;AACnD,MAAM,SAAS,GAAG,CAAC,OAA4B,EAAyB,EAAE;IACxE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,OAAO,GAAkB,EAAE,CAAA;IACjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC/B,MAAM,GAAG,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,EAAE,CAAA;QAChG,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACtB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAkB,aAAa,CAAC,MAAM,GAAG,aAAa,CAAC,OAAO,GAAG,aAAa,CAAC,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAA;AAE7I,4DAA4D;AAC5D,MAAM,yBAAyB,GAAG,CAAC,OAA4B,EAAW,EAAE;IAC1E,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAA4D,EAAE,CACtG,qBAAqB,CAAC,MAAM,CAAC,IAAI,8BAA8B,CAAC,MAAM,CAAC;QACrE,CAAC,CAAC,CAAC,MAAM,CAAC;QACV,CAAC,CAAC,wBAAwB,CAAC,MAAM,CAAC;YAChC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;YACxI,CAAC,CAAC,EAAE,CACT,CAAA;IACD,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAA;AAC3G,CAAC,CAAA;AAED,0DAA0D;AAC1D,MAAM,cAAc,GAAG,CAAC,UAAsB,EAAE,IAA6C,EAAyB,EAAE,CACtH,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC5E,WAAW,CAAC,QAAQ,CAAC;IACnB,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACtH,CAAC,CAAC,EAAE,CACP,CAAA;AAEH,MAAM,aAAa,GAAG,CACpB,UAAsB,EACtB,IAA6C,EAC7C,KAA+D,EACxC,EAAE,CACzB,CAAC,IAAI,CAAC,eAAe,IAAI,EAAE,CAAC;KACzB,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC;KAC1C,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;AAEzF,MAAM,UAAU,GAAG,CAAC,IAAiB,EAAyB,EAAE,CAC9D,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CACpB,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAC3D,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EACpJ,KAAK,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,OAAO,EAAE,EAAE,CAC5C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAClJ,EACD,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CACvB,CAAA;AAEH,6FAA6F;AAC7F,MAAM,kBAAkB,GAAG,CAAC,UAAsB,EAAuB,EAAE;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,mBAAmB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,eAAe,KAAK,SAAS,IAAI,SAAS,CAAC,YAAY,KAAK,SAAS,IAAI,cAAc,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YAChK,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACtD,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAA;YACxD,CAAC;QACH,CAAC;aAAM,IAAI,kBAAkB,CAAC,SAAS,CAAC,IAAI,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/E,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,kGAAkG;AAClG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,UAAsB,EAA8B,EAAE;IACnF,MAAM,aAAa,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAA;IACpD,MAAM,IAAI,GAAG,CACX,IAAsD,EACtD,IAAY,EACsD,EAAE,CAAC,CAAC;QACtE,IAAI;QACJ,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QACxE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC;QAC/C,QAAQ,EAAE,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC;KACvC,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAW,CAAA;IAEhH,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAQ,CAAC,IAAI,CAClC,KAAK,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,EAA8B,EAAE,CAAC;QACnE;YACE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,SAAS,CAAC;YAC3C,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,CAAC;YACpE,WAAW,EAAE,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,iBAAiB,CAAC;YAC1E,UAAU,EAAE,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC;YAC5C,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;YAChC,kBAAkB,EAAE,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC;SAC5D;KACF,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC,IAAI,EAA8B,EAAE,CAAC;QACvE;YACE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7B,IAAI,EAAE,WAAW;YACjB,QAAQ,EAAE,aAAa,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,CAAC;YACpE,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;YAChC,kBAAkB,EAAE,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC;SAC5D;KACF,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAA8B,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,EAChI,KAAK,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,IAAI,EAA8B,EAAE,CAAC;QACtE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,SAAS,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE;KAC5E,CAAC,EACF,KAAK,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC,IAAI,EAA8B,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,EACrI,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,IAAI,EAA8B,EAAE,CACnE,IAAI,CAAC,eAAe,CAAC,YAAY;SAC9B,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;SACtD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CACxE,EACD,KAAK,CAAC,MAAM,CAAC,GAA+B,EAAE,CAAC,EAAE,CAAC,CACnD,CAAA;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,OAAO,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE;QAChE,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QAC9C,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QAC/B,OAAO,KAAK,CAAA;IACd,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/analyzer/targets.d.ts

@@ -0,0 +1,26 @@
+import type { Target } from "../core/model.ts";
+/**
+ * `node:fs` and `fs` give `Builtin(node, "fs")`, `bun:test` gives
+ * `Builtin(bun, "test")`. The prefix alone makes a built-in, as at runtime;
+ * a bare name must be in Node's own list, so `node:test` is one and `test` is not.
+ */
+export declare const builtinTarget: (specifier: string) => Target | undefined;
+export interface PackageName {
+    readonly name: string;
+    readonly subpath: ReadonlyArray<string>;
+}
+/** Scope-aware: `@scope/pkg/sub/path` is `@scope/pkg` with subpath `["sub", "path"]`. */
+export declare const specifierPackage: (specifier: string) => PackageName | undefined;
+/** The segment after the last `node_modules`, so nested and pnpm layouts both name the right package. */
+export declare const installedPackage: (segments: ReadonlyArray<string>) => PackageName | undefined;
+export declare const isInstalled: (segments: ReadonlyArray<string>) => boolean;
+/**
+ * The specifier names the package when it is a package specifier for the
+ * package that was found: `picomatch` stays `picomatch` when the file is in
+ * `@types/picomatch`, and `react/jsx-runtime` keeps its subpath. Otherwise the
+ * file's own package decides, as for a path alias or a `#` import.
+ */
+export declare const packageTarget: (specifier: string, installed: PackageName | undefined) => Target | undefined;
+/** The files a relative `require` can mean, in lookup order. */
+export declare const fileCandidates: (base: string) => ReadonlyArray<string>;
+//# sourceMappingURL=targets.d.ts.map

package/dist/analyzer/targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"targets.d.ts","sourceRoot":"","sources":["../../src/analyzer/targets.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AAQ9C;;;;GAIG;AACH,eAAO,MAAM,aAAa,cAAe,MAAM,KAAG,MAAM,GAAG,SAU1D,CAAA;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACxC;AAwBD,yFAAyF;AACzF,eAAO,MAAM,gBAAgB,cAAe,MAAM,KAAG,WAAW,GAAG,SACU,CAAA;AAE7E,yGAAyG;AACzG,eAAO,MAAM,gBAAgB,aAAc,aAAa,CAAC,MAAM,CAAC,KAAG,WAAW,GAAG,SAGhF,CAAA;AAED,eAAO,MAAM,WAAW,aAAc,aAAa,CAAC,MAAM,CAAC,KAAG,OAA0C,CAAA;AAYxG;;;;;GAKG;AACH,eAAO,MAAM,aAAa,cAAe,MAAM,aAAa,WAAW,GAAG,SAAS,KAAG,MAAM,GAAG,SAO9F,CAAA;AAYD,gEAAgE;AAChE,eAAO,MAAM,cAAc,SAAU,MAAM,KAAG,aAAa,CAAC,MAAM,CAKjE,CAAA"}

package/dist/analyzer/targets.js

@@ -0,0 +1,84 @@
+import { builtinModules } from "node:module";
+import { NODE_MODULES } from "./paths.js";
+const bareNodeBuiltins = new Set(builtinModules.filter((name) => !name.startsWith("node:")));
+const prefixed = (specifier, prefix) => specifier.startsWith(prefix) && specifier.length > prefix.length ? specifier.slice(prefix.length) : undefined;
+/**
+ * `node:fs` and `fs` give `Builtin(node, "fs")`, `bun:test` gives
+ * `Builtin(bun, "test")`. The prefix alone makes a built-in, as at runtime;
+ * a bare name must be in Node's own list, so `node:test` is one and `test` is not.
+ */
+export const builtinTarget = (specifier) => {
+    const node = prefixed(specifier, "node:");
+    if (node !== undefined) {
+        return { _tag: "Builtin", runtime: "node", name: node };
+    }
+    const bun = prefixed(specifier, "bun:");
+    if (bun !== undefined) {
+        return { _tag: "Builtin", runtime: "bun", name: bun };
+    }
+    return bareNodeBuiltins.has(specifier) ? { _tag: "Builtin", runtime: "node", name: specifier } : undefined;
+};
+const isBareSpecifier = (specifier) => {
+    const first = specifier[0];
+    return (first !== undefined &&
+        first !== "." &&
+        first !== "/" &&
+        first !== "#" &&
+        first !== "~" &&
+        !specifier.includes(":") &&
+        !specifier.includes("\\"));
+};
+const splitPackage = (parts) => {
+    const scoped = parts[0]?.startsWith("@") === true;
+    const nameParts = parts.slice(0, scoped ? 2 : 1);
+    if (nameParts.length < (scoped ? 2 : 1) || nameParts.some((part) => part === "")) {
+        return undefined;
+    }
+    return { name: nameParts.join("/"), subpath: parts.slice(nameParts.length).filter((part) => part !== "") };
+};
+/** Scope-aware: `@scope/pkg/sub/path` is `@scope/pkg` with subpath `["sub", "path"]`. */
+export const specifierPackage = (specifier) => isBareSpecifier(specifier) ? splitPackage(specifier.split("/")) : undefined;
+/** The segment after the last `node_modules`, so nested and pnpm layouts both name the right package. */
+export const installedPackage = (segments) => {
+    const index = segments.lastIndexOf(NODE_MODULES);
+    return index < 0 ? undefined : splitPackage(segments.slice(index + 1));
+};
+export const isInstalled = (segments) => segments.includes(NODE_MODULES);
+/** DefinitelyTyped names `@a/b` as `@types/a__b`. */
+const runtimeName = (name) => {
+    const typed = prefixed(name, "@types/");
+    if (typed === undefined) {
+        return name;
+    }
+    const separator = typed.indexOf("__");
+    return separator < 0 ? typed : `@${typed.slice(0, separator)}/${typed.slice(separator + 2)}`;
+};
+/**
+ * The specifier names the package when it is a package specifier for the
+ * package that was found: `picomatch` stays `picomatch` when the file is in
+ * `@types/picomatch`, and `react/jsx-runtime` keeps its subpath. Otherwise the
+ * file's own package decides, as for a path alias or a `#` import.
+ */
+export const packageTarget = (specifier, installed) => {
+    const written = specifierPackage(specifier);
+    const found = installed === undefined || (written !== undefined && [installed.name, runtimeName(installed.name)].includes(written.name))
+        ? (written ?? installed)
+        : installed;
+    return found === undefined ? undefined : { _tag: "Package", name: found.name, subpath: found.subpath };
+};
+const sourceExtensions = [".ts", ".tsx", ".mts", ".cts", ".js", ".jsx", ".mjs", ".cjs"];
+/** `.js` in a specifier names the `.ts` file next to it. */
+const extensionSubstitutes = [
+    [".js", [".ts", ".tsx"]],
+    [".jsx", [".tsx"]],
+    [".mjs", [".mts"]],
+    [".cjs", [".cts"]],
+];
+/** The files a relative `require` can mean, in lookup order. */
+export const fileCandidates = (base) => [
+    base,
+    ...extensionSubstitutes.flatMap(([from, to]) => (base.endsWith(from) ? to.map((ext) => base.slice(0, -from.length) + ext) : [])),
+    ...sourceExtensions.map((ext) => base + ext),
+    ...sourceExtensions.map((ext) => `${base}/index${ext}`),
+];
+//# sourceMappingURL=targets.js.map

package/dist/analyzer/targets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"targets.js","sourceRoot":"","sources":["../../src/analyzer/targets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAE5C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAEzC,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;AAEjH,MAAM,QAAQ,GAAG,CAAC,SAAiB,EAAE,MAAc,EAAsB,EAAE,CACzE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAE/G;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAsB,EAAE;IACrE,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAA;IACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IACzD,CAAC;IACD,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;IACvC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;IACvD,CAAC;IACD,OAAO,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;AAC5G,CAAC,CAAA;AAOD,MAAM,eAAe,GAAG,CAAC,SAAiB,EAAW,EAAE;IACrD,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;IAC1B,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,KAAK,KAAK,GAAG;QACb,KAAK,KAAK,GAAG;QACb,KAAK,KAAK,GAAG;QACb,KAAK,KAAK,GAAG;QACb,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QACxB,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC1B,CAAA;AACH,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,KAA4B,EAA2B,EAAE;IAC7E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,IAAI,CAAA;IACjD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAChD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;QACjF,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,CAAA;AAC5G,CAAC,CAAA;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAiB,EAA2B,EAAE,CAC7E,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAE7E,yGAAyG;AACzG,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAA+B,EAA2B,EAAE;IAC3F,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IAChD,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;AACxE,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAA+B,EAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAA;AAExG,qDAAqD;AACrD,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE;IAC3C,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACvC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACrC,OAAO,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAA;AAC9F,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAE,SAAkC,EAAsB,EAAE;IACzG,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;IAC3C,MAAM,KAAK,GACT,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxH,CAAC,CAAC,CAAC,OAAO,IAAI,SAAS,CAAC;QACxB,CAAC,CAAC,SAAS,CAAA;IACf,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;AACxG,CAAC,CAAA;AAED,MAAM,gBAAgB,GAA0B,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAE9G,4DAA4D;AAC5D,MAAM,oBAAoB,GAA4D;IACpF,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACxB,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;CACnB,CAAA;AAED,gEAAgE;AAChE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAyB,EAAE,CAAC;IACrE,IAAI;IACJ,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChI,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC;IAC5C,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,SAAS,GAAG,EAAE,CAAC;CACxD,CAAA"}

package/dist/analyzer/typescript.d.ts

@@ -0,0 +1,5 @@
+/** The TypeScript adapter of the Analyzer. Contract: docs/architecture.md#analyzer. */
+import { Effect, FileSystem, Path, Scope } from "effect";
+import type { AnalyzerShape } from "./workspace.ts";
+export declare const makeTypescript: Effect.Effect<AnalyzerShape, never, FileSystem.FileSystem | Path.Path | Scope.Scope>;
+//# sourceMappingURL=typescript.d.ts.map

package/dist/analyzer/typescript.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["../../src/analyzer/typescript.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAAE,MAAM,EAAQ,UAAU,EAAS,IAAI,EAAO,KAAK,EAAa,MAAM,QAAQ,CAAA;AAGrF,OAAO,KAAK,EAAE,aAAa,EAAa,MAAM,gBAAgB,CAAA;AAsI9D,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAwN9G,CAAA"}

package/dist/analyzer/typescript.js

@@ -0,0 +1,221 @@
+/** The TypeScript adapter of the Analyzer. Contract: docs/architecture.md#analyzer. */
+import { Effect, Exit, FileSystem, Match, Path, Ref, Scope, Semaphore } from "effect";
+import { API, DiagnosticCategory } from "typescript/unstable/async";
+import { AnalyzerUnavailable, ProjectNotFound, ProjectParseFailed } from "./errors.js";
+import { compareCodeUnits, isDeclarationFileName, isJsonFileName, NODE_MODULES, splitPath } from "./paths.js";
+import { readSource } from "./source.js";
+import { abandon, muteFailedWrites, serverExit } from "./server-exit.js";
+import { builtinTarget, fileCandidates, installedPackage, isInstalled, packageTarget, specifierPackage } from "./targets.js";
+const unavailable = (cause) => new AnalyzerUnavailable({ cause });
+const attempt = (evaluate) => Effect.try({ try: evaluate, catch: unavailable });
+const attemptPromise = (evaluate) => Effect.tryPromise({ try: evaluate, catch: unavailable });
+/**
+ * The server starts on first use and stops with the layer's scope. A failure
+ * that makes the server unusable also stops it, so the next call starts a new one.
+ */
+const makeServer = Effect.gen(function* () {
+    const layerScope = yield* Effect.scope;
+    const current = yield* Ref.make(undefined);
+    const lock = yield* Semaphore.make(1);
+    const start = Effect.gen(function* () {
+        const scope = yield* Scope.fork(layerScope);
+        let exitedServer = false;
+        const api = yield* Effect.acquireRelease(attempt(() => new API()), (started) => exitedServer ? Effect.sync(() => abandon(started)) : attemptPromise(() => started.close()).pipe(Effect.ignore)).pipe(Scope.provide(scope), Effect.tapError(() => Scope.close(scope, Exit.void)));
+        yield* attemptPromise(() => api.updateSnapshot().then((snapshot) => snapshot.dispose())).pipe(Effect.tapError(() => Scope.close(scope, Exit.void)));
+        muteFailedWrites(api);
+        const exited = serverExit(api);
+        void exited.then(() => {
+            exitedServer = true;
+        });
+        const lost = () => exited.then(() => {
+            throw new Error("TypeScript server exited");
+        });
+        /** A request to a server known to be dead fails without writing to it. */
+        const request = (evaluate) => exitedServer
+            ? Effect.fail(new AnalyzerUnavailable({ cause: new Error("TypeScript server exited") }))
+            : attemptPromise(() => Promise.race([evaluate(), lost()]));
+        const remote = { api, request };
+        const session = { remote, scope };
+        yield* Ref.set(current, session);
+        return session;
+    });
+    const stop = Effect.gen(function* () {
+        const session = yield* Ref.getAndSet(current, undefined);
+        if (session !== undefined) {
+            yield* Scope.close(session.scope, Exit.void);
+        }
+    });
+    /** A request cannot be taken back, so an interrupted analysis finishes before the next one starts. */
+    const use = (run) => lock.withPermit(Effect.gen(function* () {
+        const session = (yield* Ref.get(current)) ?? (yield* start);
+        return yield* run(session.remote);
+    }).pipe(Effect.uninterruptible, Effect.tapError(Match.type().pipe(Match.tag("AnalyzerUnavailable", () => stop), Match.orElse(() => Effect.void)))));
+    return { use };
+});
+const READ_CONCURRENCY = 16;
+const normalize = (file) => file.replaceAll("\\", "/");
+const joined = (path) => path.join("/");
+const isRelative = (specifier, isAbsolute) => specifier === "." || specifier === ".." || specifier.startsWith("./") || specifier.startsWith("../") || isAbsolute(specifier);
+export const makeTypescript = Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    const path = yield* Path.Path;
+    const server = yield* makeServer;
+    const platform = (effect) => effect.pipe(Effect.mapError(unavailable));
+    const describeDiagnostic = (root) => (diagnostic) => {
+        const relative = diagnostic.fileName === undefined ? undefined : path.relative(root, diagnostic.fileName);
+        const file = relative === undefined ? undefined : relative.startsWith("..") ? diagnostic.fileName : relative;
+        return `${file === undefined ? "" : `${file}: `}TS${diagnostic.code}: ${diagnostic.text}`;
+    };
+    const loadProject = (remote, snapshot, root, tsconfig) => Effect.gen(function* () {
+        const project = snapshot.getProject(path.join(root, tsconfig));
+        if (project === undefined) {
+            return yield* unavailable(new Error(`TypeScript did not open ${tsconfig}`));
+        }
+        const errors = (yield* remote.request(() => project.program.getConfigFileParsingDiagnostics())).filter((diagnostic) => diagnostic.category === DiagnosticCategory.Error);
+        if (errors.length > 0) {
+            return yield* new ProjectParseFailed({ tsconfig, diagnostics: errors.map(describeDiagnostic(root)) });
+        }
+        return { tsconfig, project };
+    });
+    const locate = (root, tsconfig) => Effect.gen(function* () {
+        if (!(yield* platform(fs.exists(path.resolve(root, tsconfig))))) {
+            return yield* new ProjectNotFound({ tsconfig });
+        }
+    });
+    const sourceSet = (root, projects) => Effect.gen(function* () {
+        const entries = new Map();
+        for (const { project } of projects) {
+            const candidates = project.rootFiles.filter((fileName) => !isDeclarationFileName(fileName) && !isJsonFileName(fileName) && !isInstalled(splitPath(fileName)));
+            const real = yield* Effect.forEach(candidates, (fileName) => platform(fs.realPath(fileName)), { concurrency: 16 });
+            candidates.forEach((fileName, index) => {
+                const realPath = normalize(real[index] ?? fileName);
+                const relative = path.relative(root, realPath);
+                const segments = splitPath(relative);
+                const inside = segments.length > 0 && segments[0] !== ".." && !path.isAbsolute(relative);
+                if (inside && !isInstalled(segments) && !entries.has(realPath)) {
+                    entries.set(realPath, { path: segments, programFileName: fileName, realPath, project });
+                }
+            });
+        }
+        return [...entries.values()].toSorted((left, right) => compareCodeUnits(joined(left.path), joined(right.path)));
+    });
+    const makeTargets = (entries, caseSensitive) => {
+        const fold = (file) => (caseSensitive ? normalize(file) : normalize(file).toLowerCase());
+        const files = new Map(entries.map((entry) => [fold(entry.realPath), entry.path]));
+        const probes = new Map();
+        const through = new Map();
+        const hasPackage = (directory, name) => Effect.gen(function* () {
+            const key = `${directory}\0${name}`;
+            const known = probes.get(key);
+            if (known !== undefined) {
+                return known;
+            }
+            const parent = path.dirname(directory);
+            const found = (yield* platform(fs.exists(path.join(directory, NODE_MODULES, name)))) ||
+                (parent !== directory && (yield* hasPackage(parent, name)));
+            probes.set(key, found);
+            return found;
+        });
+        const probedPackage = (specifier, directory) => Effect.gen(function* () {
+            const written = specifierPackage(specifier);
+            return written !== undefined && (yield* hasPackage(directory, written.name))
+                ? { _tag: "Package", name: written.name, subpath: written.subpath }
+                : { _tag: "Unresolved", specifier };
+        });
+        const relativeFile = (specifier, directory) => {
+            const hit = fileCandidates(path.resolve(directory, specifier)).find((candidate) => files.has(fold(candidate)));
+            const found = hit === undefined ? undefined : files.get(fold(hit));
+            return found === undefined ? { _tag: "Unresolved", specifier } : { _tag: "File", path: found };
+        };
+        const sourceFileAt = (modulePath) => {
+            const direct = files.get(fold(modulePath));
+            if (direct !== undefined || through.has(modulePath)) {
+                return Effect.succeed(direct ?? through.get(modulePath));
+            }
+            return fs.realPath(modulePath).pipe(Effect.map((real) => files.get(fold(real))), Effect.orElseSucceed(() => undefined), Effect.tap((found) => Effect.sync(() => through.set(modulePath, found))));
+        };
+        const moduleTarget = (specifier, module) => {
+            const unresolved = { _tag: "Unresolved", specifier };
+            const segments = splitPath(module.path);
+            return isInstalled(segments)
+                ? Effect.succeed(packageTarget(specifier, installedPackage(segments)) ?? unresolved)
+                : module.isFile
+                    ? Effect.map(sourceFileAt(module.path), (found) => (found === undefined ? unresolved : { _tag: "File", path: found }))
+                    : Effect.succeed(unresolved);
+        };
+        const orBuiltin = (specifier, otherwise) => {
+            const builtin = builtinTarget(specifier);
+            return builtin === undefined ? otherwise() : Effect.succeed(builtin);
+        };
+        const target = (dependency, directory) => Match.valueTags(dependency.resolution, {
+            Computed: () => Effect.succeed({ _tag: "Computed" }),
+            Module: (module) => orBuiltin(dependency.specifier, () => moduleTarget(dependency.specifier, module)),
+            Missing: () => orBuiltin(dependency.specifier, () => probedPackage(dependency.specifier, directory)),
+            Unchecked: () => orBuiltin(dependency.specifier, () => isRelative(dependency.specifier, path.isAbsolute)
+                ? Effect.succeed(relativeFile(dependency.specifier, directory))
+                : probedPackage(dependency.specifier, directory)),
+        });
+        return { target };
+    };
+    const read = (remote, entry) => remote.request(async () => {
+        const sourceFile = await entry.project.program.getSourceFile(entry.programFileName);
+        if (sourceFile === undefined) {
+            throw new Error(`TypeScript did not load ${entry.programFileName}`);
+        }
+        return { raw: await readSource(entry.project, sourceFile), caseSensitive: sourceFile.path === normalize(sourceFile.fileName) };
+    });
+    const assemble = (entry, raw, targets) => Effect.gen(function* () {
+        const directory = path.dirname(entry.realPath);
+        const dependencies = yield* Effect.forEach(raw.dependencies, (dependency) => Effect.map(targets.target(dependency, directory), (target) => ({
+            target,
+            kind: dependency.kind,
+            specifier: dependency.specifier,
+            location: dependency.location,
+        })));
+        return {
+            path: entry.path,
+            dependencies,
+            declarations: raw.declarations,
+            exports: raw.exports,
+            uses: raw.uses,
+            lines: raw.lines,
+        };
+    });
+    /**
+     * The server keeps tsconfig file lists and file contents between snapshots.
+     * Closing the projects, invalidating, and reporting the tsconfigs as changed
+     * makes it list and read everything again; the client's copies must go too.
+     */
+    const reset = ({ api, request }, configPaths) => request(async () => {
+        await (await api.updateSnapshot({ closeProjects: [...configPaths] })).dispose();
+        await (await api.updateSnapshot({ fileChanges: { invalidateAll: true } })).dispose();
+        await (await api.updateSnapshot({ fileChanges: { changed: [...configPaths] } })).dispose();
+        api.clearSourceFileCache();
+    });
+    const analyzeWith = (remote, root, tsconfigs) => {
+        const configPaths = tsconfigs.map((tsconfig) => path.join(root, tsconfig));
+        return Effect.acquireUseRelease(reset(remote, configPaths).pipe(Effect.andThen(remote.request(() => remote.api.updateSnapshot({ openProjects: [...configPaths] })))), (snapshot) => Effect.gen(function* () {
+            const projects = yield* Effect.forEach(tsconfigs, (tsconfig) => loadProject(remote, snapshot, root, tsconfig));
+            const entries = yield* sourceSet(root, projects);
+            const sources = yield* Effect.forEach(entries, (entry) => read(remote, entry), { concurrency: READ_CONCURRENCY });
+            const targets = makeTargets(entries, sources.every(({ caseSensitive }) => caseSensitive));
+            const files = yield* Effect.forEach(entries, (entry, index) => {
+                const source = sources[index];
+                return source === undefined
+                    ? Effect.fail(unavailable(new Error(`no source read for ${entry.programFileName}`)))
+                    : assemble(entry, source.raw, targets);
+            });
+            return { files };
+        }), (snapshot) => remote.request(async () => {
+            await snapshot.dispose();
+            await (await remote.api.updateSnapshot({ closeProjects: [...configPaths] })).dispose();
+        }).pipe(Effect.ignore));
+    };
+    const analyze = Effect.fn("Analyzer.typescript.analyze")(function* (workspace) {
+        yield* Effect.forEach(workspace.projects, (tsconfig) => locate(workspace.root, tsconfig));
+        const root = normalize(yield* platform(fs.realPath(workspace.root)));
+        return yield* server.use((remote) => analyzeWith(remote, root, workspace.projects));
+    });
+    return { analyze };
+});
+//# sourceMappingURL=typescript.js.map