@fulcro/transform-core 0.10.0 → 0.11.0

package/dist/index.d.ts

@@ -17,11 +17,6 @@
  * other.
  */
 export { createFileTransformer, type FileTransformer, type TransformCoreOptions, } from './program/index.js';
-export { type ExpressionContext, type ExpressionRewriter, type Replacement, rewriteSourceFile, type RewriteStatistics, } from './rewrite/file/index.js';
-export { isRewritable, type ProgramRewrite, type ProgramSource, rewriteToFixpoint, } from './rewrite/fixpoint/index.js';
-export { createLanguageServicePlugin, type LanguageServicePlugin, type PluginCreateInfo, } from './rewrite/languageService/index.js';
-export { createProgramTransformer, type ProgramTransformer, rewriteProgram, } from './rewrite/programTransformer/index.js';
-export { type RewrittenText } from './rewrite/text/index.js';
 export { type CallForm, type CallRewriter, IDENTIFIER_PATTERN, isOwnedCall, isTupleType, type RewriteContext, utilityModuleSegment, } from './shared/index.js';
 export { buildStructuralTest, type StructuralOptions, type TypeTest, } from './structural/index.js';
 export { createTransformer, type TransformerFactory, type TransformerOptions, } from './transformer/index.js';

package/dist/index.js

@@ -18,19 +18,9 @@
  * other.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.createTransformer = exports.buildStructuralTest = exports.utilityModuleSegment = exports.isTupleType = exports.isOwnedCall = exports.IDENTIFIER_PATTERN = exports.rewriteProgram = exports.createProgramTransformer = exports.createLanguageServicePlugin = exports.rewriteToFixpoint = exports.isRewritable = exports.rewriteSourceFile = exports.createFileTransformer = void 0;
+exports.createTransformer = exports.buildStructuralTest = exports.utilityModuleSegment = exports.isTupleType = exports.isOwnedCall = exports.IDENTIFIER_PATTERN = exports.createFileTransformer = void 0;
 var program_1 = require("./program/index.js");
 Object.defineProperty(exports, "createFileTransformer", { enumerable: true, get: function () { return program_1.createFileTransformer; } });
-var file_1 = require("./rewrite/file/index.js");
-Object.defineProperty(exports, "rewriteSourceFile", { enumerable: true, get: function () { return file_1.rewriteSourceFile; } });
-var fixpoint_1 = require("./rewrite/fixpoint/index.js");
-Object.defineProperty(exports, "isRewritable", { enumerable: true, get: function () { return fixpoint_1.isRewritable; } });
-Object.defineProperty(exports, "rewriteToFixpoint", { enumerable: true, get: function () { return fixpoint_1.rewriteToFixpoint; } });
-var languageService_1 = require("./rewrite/languageService/index.js");
-Object.defineProperty(exports, "createLanguageServicePlugin", { enumerable: true, get: function () { return languageService_1.createLanguageServicePlugin; } });
-var programTransformer_1 = require("./rewrite/programTransformer/index.js");
-Object.defineProperty(exports, "createProgramTransformer", { enumerable: true, get: function () { return programTransformer_1.createProgramTransformer; } });
-Object.defineProperty(exports, "rewriteProgram", { enumerable: true, get: function () { return programTransformer_1.rewriteProgram; } });
 var shared_1 = require("./shared/index.js");
 Object.defineProperty(exports, "IDENTIFIER_PATTERN", { enumerable: true, get: function () { return shared_1.IDENTIFIER_PATTERN; } });
 Object.defineProperty(exports, "isOwnedCall", { enumerable: true, get: function () { return shared_1.isOwnedCall; } });

package/dist/unplugin/index.d.mts

@@ -1,6 +1,5 @@
 import { type UnpluginFactory, type UnpluginInstance } from 'unplugin';
 import { type TransformCoreOptions } from '../program/index.js';
-import { type ExpressionRewriter } from '../rewrite/file/index.js';
 import { type CallRewriter } from '../shared/index.js';
 /**
  * Bundler adapters for the Fulcro transformers.
@@ -55,14 +54,4 @@ export interface TransformerUnplugin {
  * @returns Every adapter `unplugin` can produce.
  */
 export declare const createTransformerUnplugin: (rewriters: readonly CallRewriter[], name: string) => TransformerUnplugin;
-/**
- * Builds the bundler adapters for a rewrite that happens before type checking
- * — one whose output is what the checker would read, such as the operators of
- * `@fulcro/types`.
- *
- * @param rewriter Rewriter of the package publishing the plugin.
- * @param name Name the plugin reports to the bundler.
- * @returns Every adapter `unplugin` can produce.
- */
-export declare const createRewriterUnplugin: (rewriter: ExpressionRewriter, name: string) => TransformerUnplugin;
 export {};

package/dist/unplugin/index.mjs

@@ -1,6 +1,5 @@
 import { createUnplugin, } from 'unplugin';
 import { createFileTransformer, } from '../program/index.js';
-import { createRewritingFileTransformer } from '../rewrite/fileTransformer/index.js';
 /**
  * Builds the bundler adapters for one set of rewriters.
  *
@@ -11,17 +10,7 @@ import { createRewritingFileTransformer } from '../rewrite/fileTransformer/index
  */
 export const createTransformerUnplugin = (rewriters, name) => createAdapters((options) => createFileTransformer(rewriters, options), name);
 /**
- * Builds the bundler adapters for a rewrite that happens before type checking
- * — one whose output is what the checker would read, such as the operators of
- * `@fulcro/types`.
- *
- * @param rewriter Rewriter of the package publishing the plugin.
- * @param name Name the plugin reports to the bundler.
- * @returns Every adapter `unplugin` can produce.
- */
-export const createRewriterUnplugin = (rewriter, name) => createAdapters((options) => createRewritingFileTransformer(rewriter, options), name);
-/**
- * Builds the adapters around whichever core a package uses.
+ * Builds the adapters around the core of a package.
  *
  * @param build Builds the core for a set of options.
  * @param name Name the plugin reports to the bundler.

package/package.json

@@ -1,62 +1,62 @@
-{
-	"name": "@fulcro/transform-core",
-	"version": "0.10.0",
-	"description": "Shared machinery behind the Fulcro compile time transformers. Installed for you; not meant to be depended on directly.",
-	"keywords": [
-		"typescript",
-		"transformer",
-		"ts-patch",
-		"unplugin",
-		"compiler"
-	],
-	"license": "ISC",
-	"author": "diguu <rodrigogeribola@hotmail.com>",
-	"main": "./dist/index.js",
-	"types": "./dist/index.d.ts",
-	"exports": {
-		".": {
-			"types": "./dist/index.d.ts",
-			"default": "./dist/index.js"
-		},
-		"./unplugin": {
-			"types": "./dist/unplugin/index.d.mts",
-			"default": "./dist/unplugin/index.mjs"
-		},
-		"./package.json": "./package.json"
-	},
-	"files": [
-		"dist"
-	],
-	"sideEffects": false,
-	"scripts": {
-		"build": "tsc -p tsconfig.build.json && tsc-alias -p tsconfig.build.json",
-		"typecheck": "tsc --noEmit -p tsconfig.json",
-		"prepublishOnly": "npm run build"
-	},
-	"dependencies": {
-		"unplugin": "^3.3.0"
-	},
-	"peerDependencies": {
-		"typescript": ">=5.3.3 <7"
-	},
-	"peerDependenciesMeta": {
-		"typescript": {
-			"optional": true
-		}
-	},
-	"publishConfig": {
-		"access": "public"
-	},
-	"engines": {
-		"node": ">=22"
-	},
-	"repository": {
-		"type": "git",
-		"url": "git+https://github.com/DigUu-RL/fulcro.git",
-		"directory": "packages/transform-core"
-	},
-	"homepage": "https://github.com/DigUu-RL/fulcro/tree/main/packages/transform-core#readme",
-	"bugs": {
-		"url": "https://github.com/DigUu-RL/fulcro/issues"
-	}
-}
+{
+	"name": "@fulcro/transform-core",
+	"version": "0.11.0",
+	"description": "Shared machinery behind the Fulcro compile time transformers. Installed for you; not meant to be depended on directly.",
+	"keywords": [
+		"typescript",
+		"transformer",
+		"ts-patch",
+		"unplugin",
+		"compiler"
+	],
+	"license": "ISC",
+	"author": "diguu <rodrigogeribola@hotmail.com>",
+	"main": "./dist/index.js",
+	"types": "./dist/index.d.ts",
+	"exports": {
+		".": {
+			"types": "./dist/index.d.ts",
+			"default": "./dist/index.js"
+		},
+		"./unplugin": {
+			"types": "./dist/unplugin/index.d.mts",
+			"default": "./dist/unplugin/index.mjs"
+		},
+		"./package.json": "./package.json"
+	},
+	"files": [
+		"dist"
+	],
+	"sideEffects": false,
+	"scripts": {
+		"build": "tsc -p tsconfig.build.json && tsc-alias -p tsconfig.build.json",
+		"typecheck": "tsc --noEmit -p tsconfig.json",
+		"prepublishOnly": "npm run build"
+	},
+	"dependencies": {
+		"unplugin": "^3.3.0"
+	},
+	"peerDependencies": {
+		"typescript": ">=5.3.3 <7"
+	},
+	"peerDependenciesMeta": {
+		"typescript": {
+			"optional": true
+		}
+	},
+	"publishConfig": {
+		"access": "public"
+	},
+	"engines": {
+		"node": ">=22"
+	},
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/DigUu-RL/fulcro.git",
+		"directory": "packages/transform-core"
+	},
+	"homepage": "https://github.com/DigUu-RL/fulcro/tree/main/packages/transform-core#readme",
+	"bugs": {
+		"url": "https://github.com/DigUu-RL/fulcro/issues"
+	}
+}

package/dist/rewrite/file/index.d.ts

@@ -1,74 +0,0 @@
-import typescript from 'typescript';
-import { type RewrittenText } from '../text/index.js';
-/**
- * One file rewritten before type checking.
- *
- * The call rewriters of `@/shared` run after the checker, on a tree whose types
- * are already settled, and replace a call by a node. This is the other kind:
- * it replaces **text**, before the checker has run on it, so that what it emits
- * is what gets type checked. That is the only way to give a type a meaning the
- * checker would otherwise refuse — `decimal * decimal` is a type error until it
- * has become `decimal.multiply(decimal)`.
- *
- * The rewriter is asked about each node, outermost first, and answers with the
- * text that replaces it, in which child nodes may appear to be rendered in turn.
- * Everything it does not claim is copied verbatim, so the output differs from
- * the input only where something was rewritten.
- */
-/** Everything a rewriter needs to decide about one node. */
-export interface ExpressionContext {
-    /** Checker of the program the file belongs to. */
-    readonly checker: typescript.TypeChecker;
-    /** The file being rewritten. */
-    readonly sourceFile: typescript.SourceFile;
-    /**
-     * The line breaks the original text has between two offsets, as a string
-     * of newlines.
-     *
-     * Put into the synthesized text between two operands, it keeps every line
-     * of the file where it was — so an error the checker reports on the
-     * rewritten text still names the line the author wrote.
-     */
-    readonly lineBreaks: (start: number, end: number) => string;
-}
-/**
- * What replaces a node: synthesized text and child nodes, in order. A node is
- * rendered in turn — itself rewritten where the rewriter claims it — and may
- * appear more than once.
- */
-export type Replacement = readonly (string | typescript.Node)[];
-/** Rewrites the nodes of one kind of construct, before type checking. */
-export interface ExpressionRewriter {
-    /**
-     * Module the rewritten code refers to, imported under
-     * {@link ExpressionRewriter.namespace} in every file that was rewritten.
-     */
-    readonly module: string;
-    /** Local name the module is imported under. */
-    readonly namespace: string;
-    /**
-     * Rewrites one node.
-     *
-     * @param node Node being considered.
-     * @param context The file and its checker.
-     * @returns The replacement, or `null` to keep the node and look inside it.
-     */
-    readonly rewrite: (node: typescript.Node, context: ExpressionContext) => Replacement | null;
-}
-/** How much a rewrite looked at, for the suites that count it. */
-export interface RewriteStatistics {
-    /** Nodes the rewriter was asked about. */
-    visited: number;
-    /** Nodes it replaced. */
-    rewritten: number;
-}
-/**
- * Rewrites one source file.
- *
- * @param sourceFile File to rewrite, from a program whose checker is given.
- * @param checker Checker of that program.
- * @param rewriter What to rewrite.
- * @param statistics Counters to add to, when the caller keeps them.
- * @returns The rewritten text and its map, or `null` when nothing was claimed.
- */
-export declare const rewriteSourceFile: (sourceFile: typescript.SourceFile, checker: typescript.TypeChecker, rewriter: ExpressionRewriter, statistics?: RewriteStatistics) => RewrittenText | null;

package/dist/rewrite/file/index.js

@@ -1,124 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.rewriteSourceFile = void 0;
-const typescript_1 = __importDefault(require("typescript"));
-const text_1 = require("../text/index.js");
-/**
- * Where the namespace import goes: on the first line of the first statement,
- * before it and without a line break, so no line of the file moves. At the end
- * of the file would keep the lines too, but a CommonJS emit leaves a `require`
- * where the import was written, and code above it would run first.
- *
- * @param sourceFile File being rewritten.
- * @returns The offset to insert at.
- */
-const importOffset = (sourceFile) => {
-    const [first] = sourceFile.statements;
-    return first === undefined ? sourceFile.end : first.getStart(sourceFile);
-};
-/**
- * Rewrites one source file.
- *
- * @param sourceFile File to rewrite, from a program whose checker is given.
- * @param checker Checker of that program.
- * @param rewriter What to rewrite.
- * @param statistics Counters to add to, when the caller keeps them.
- * @returns The rewritten text and its map, or `null` when nothing was claimed.
- */
-const rewriteSourceFile = (sourceFile, checker, rewriter, statistics) => {
-    const original = sourceFile.text;
-    const output = (0, text_1.createTextBuilder)(original);
-    const context = {
-        checker,
-        sourceFile,
-        lineBreaks: (start, end) => '\n'.repeat(original.slice(start, end).split('\n').length - 1),
-    };
-    const importDeclaration = `import * as ${rewriter.namespace} from '${rewriter.module}'; `;
-    let cursor = 0;
-    let rewroteAny = false;
-    /**
-     * Copies original text from the cursor up to an offset.
-     *
-     * @param end Offset to copy up to.
-     */
-    const advance = (end) => {
-        output.copy(cursor, end);
-        cursor = Math.max(cursor, end);
-    };
-    const render = (node) => {
-        if (statistics !== undefined)
-            statistics.visited++;
-        const replacement = rewriter.rewrite(node, context);
-        if (replacement === null) {
-            typescript_1.default.forEachChild(node, (child) => {
-                advance(child.getStart(sourceFile));
-                render(child);
-            });
-            return;
-        }
-        rewroteAny = true;
-        if (statistics !== undefined)
-            statistics.rewritten++;
-        const start = node.getStart(sourceFile);
-        advance(start);
-        const close = output.open(start, node.end);
-        for (const part of replacement) {
-            if (typeof part === 'string') {
-                output.write(part);
-            }
-            else {
-                // A child is rendered from its own start, independently of the
-                // cursor: it may be written twice, and in any order.
-                const saved = cursor;
-                cursor = part.getStart(sourceFile);
-                render(part);
-                output.copy(cursor, part.end);
-                cursor = saved;
-            }
-        }
-        close();
-        cursor = node.end;
-    };
-    typescript_1.default.forEachChild(sourceFile, (child) => {
-        advance(child.getStart(sourceFile));
-        render(child);
-    });
-    advance(sourceFile.end);
-    if (!rewroteAny)
-        return null;
-    // A second pass over an already rewritten file finds the import there and
-    // must not add another. The import is only known to be needed once the
-    // walk is over, so it is spliced in afterwards rather than written in
-    // passing.
-    if (original.includes(importDeclaration))
-        return output.build();
-    return withImport(output.build(), importOffset(sourceFile), importDeclaration);
-};
-exports.rewriteSourceFile = rewriteSourceFile;
-/**
- * Inserts the namespace import into a rewritten text, extending its map.
- *
- * @param rewritten The rewritten text, without the import.
- * @param originalOffset Where, in the original, the import goes.
- * @param declaration The import declaration, with its trailing space.
- * @returns The text with the import and a map that accounts for it.
- */
-const withImport = (rewritten, originalOffset, declaration) => {
-    const at = rewritten.toGenerated(originalOffset);
-    const length = declaration.length;
-    return {
-        text: rewritten.text.slice(0, at) + declaration + rewritten.text.slice(at),
-        toOriginal: (generated) => generated < at
-            ? rewritten.toOriginal(generated)
-            : generated < at + length
-                ? originalOffset
-                : rewritten.toOriginal(generated - length),
-        toGenerated: (original) => {
-            const position = rewritten.toGenerated(original);
-            return position < at ? position : position + length;
-        },
-    };
-};

package/dist/rewrite/fileTransformer/index.d.ts

@@ -1,10 +0,0 @@
-import { type FileTransformer, type TransformCoreOptions } from '../../program/index.js';
-import { type ExpressionRewriter } from '../file/index.js';
-/**
- * Creates the bundler core of a rewriter.
- *
- * @param rewriter What to rewrite.
- * @param options Options of the core.
- * @returns A transformer any bundler adapter can drive.
- */
-export declare const createRewritingFileTransformer: (rewriter: ExpressionRewriter, options?: TransformCoreOptions) => FileTransformer;

package/dist/rewrite/fileTransformer/index.js

@@ -1,131 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || (function () {
-    var ownKeys = function(o) {
-        ownKeys = Object.getOwnPropertyNames || function (o) {
-            var ar = [];
-            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
-            return ar;
-        };
-        return ownKeys(o);
-    };
-    return function (mod) {
-        if (mod && mod.__esModule) return mod;
-        var result = {};
-        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
-        __setModuleDefault(result, mod);
-        return result;
-    };
-})();
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.createRewritingFileTransformer = void 0;
-const fs = __importStar(require("node:fs"));
-const path = __importStar(require("node:path"));
-const typescript_1 = __importDefault(require("typescript"));
-const program_1 = require("../../program/index.js");
-const fixpoint_1 = require("../fixpoint/index.js");
-/**
- * The bundler integration of a rewrite that has to happen before type
- * checking.
- *
- * A bundler never type checks — esbuild and swc erase the types — so an error
- * the checker would raise on `decimal * decimal` never stops it. What it does
- * need is the rewrite itself, and that needs the whole program: whether `c + d`
- * in one file is claimable depends on how `c` was declared in another. So the
- * first file to arrive rewrites the whole program to a fixed point, and every
- * file after it is answered from that until some file changes.
- */
-/** Extensions carrying TypeScript this transformer is responsible for. */
-const HANDLED_EXTENSIONS = ['.ts', '.mts', '.cts', '.tsx'];
-/**
- * Creates the bundler core of a rewriter.
- *
- * @param rewriter What to rewrite.
- * @param options Options of the core.
- * @returns A transformer any bundler adapter can drive.
- */
-const createRewritingFileTransformer = (rewriter, options = {}) => {
-    const root = options.root ?? process.cwd();
-    let host;
-    let service;
-    let rewrite;
-    /** What the bundler last handed over for each file, before any rewrite. */
-    const originals = new Map();
-    const handles = (id) => {
-        const fileName = id.split('?')[0];
-        if (!HANDLED_EXTENSIONS.includes(path.extname(fileName)))
-            return false;
-        return !fileName.includes('node_modules');
-    };
-    /**
-     * Puts every rewritten file back to its original text, so the next rewrite
-     * starts from what the author wrote rather than from its own output.
-     *
-     * @param programHost The host holding the texts.
-     */
-    const restore = (programHost) => {
-        for (const fileName of rewrite?.files.keys() ?? []) {
-            const text = originals.get(fileName) ??
-                (fs.existsSync(fileName)
-                    ? fs.readFileSync(fileName, 'utf8')
-                    : undefined);
-            if (text !== undefined)
-                programHost.update(fileName, text);
-        }
-        rewrite = undefined;
-    };
-    const transform = (id, code) => {
-        if (!handles(id))
-            return null;
-        const fileName = (0, program_1.toCompilerPath)(id.split('?')[0]);
-        if (host === undefined || service === undefined) {
-            host = new program_1.ProgramHost((0, program_1.parseTsconfig)(root, options.tsconfig), root);
-            service = typescript_1.default.createLanguageService(host, typescript_1.default.createDocumentRegistry());
-        }
-        if (originals.get(fileName) !== code) {
-            originals.set(fileName, code);
-            restore(host);
-            host.update(fileName, code);
-        }
-        if (rewrite === undefined) {
-            const programHost = host;
-            const languageService = service;
-            rewrite = (0, fixpoint_1.rewriteToFixpoint)({
-                program: () => {
-                    const program = languageService.getProgram();
-                    if (program === undefined) {
-                        throw new Error(`The language service produced no program for ${root}.`);
-                    }
-                    return program;
-                },
-                update: (name, text) => programHost.update(name, text),
-            }, rewriter);
-        }
-        const sourceFile = service
-            .getProgram()
-            ?.getSourceFile(fileName);
-        if (sourceFile !== undefined && !(0, fixpoint_1.isRewritable)(sourceFile))
-            return null;
-        return rewrite.files.get(fileName)?.text ?? null;
-    };
-    return { handles, transform };
-};
-exports.createRewritingFileTransformer = createRewritingFileTransformer;

package/dist/rewrite/fixpoint/index.d.ts

@@ -1,56 +0,0 @@
-import typescript from 'typescript';
-import { type ExpressionRewriter, type RewriteStatistics } from '../file/index.js';
-import { type RewrittenText } from '../text/index.js';
-/**
- * Rewriting a whole program until nothing more is claimed.
- *
- * One pass is not enough, because rewriting changes what the checker infers.
- * `const c = a + b` types `c` as `number` in the original — the checker has no
- * idea `+` means anything else — so a later `c + d` looks like arithmetic on a
- * plain number and is left alone. Once the first line reads
- * `const c = T.add(a, b)`, `c` has the type `T.add` returns, and the second
- * line is claimable. So the program is rewritten, re-checked, and rewritten
- * again until a pass claims nothing — each pass can only claim sites the one
- * before could not, so the loop ends, and a bound on it makes sure it does.
- *
- * Where the program comes from is the caller's: a fresh `createProgram` for
- * `tsc`, a language service for a bundler or an editor. This only needs to ask
- * for the current program and to hand text back.
- */
-/** Something that holds a program and can have its files replaced. */
-export interface ProgramSource {
-    /** The program as it stands, with every text handed back so far. */
-    readonly program: () => typescript.Program;
-    /**
-     * Replaces the text of a file for the next {@link ProgramSource.program}.
-     *
-     * @param fileName File, as the program spells it.
-     * @param text Its new text.
-     */
-    readonly update: (fileName: string, text: string) => void;
-}
-/** The outcome of rewriting a program. */
-export interface ProgramRewrite {
-    /** Each rewritten file, mapped back to its original text. */
-    readonly files: ReadonlyMap<string, RewrittenText>;
-    /** Passes it took, the last one claiming nothing. */
-    readonly passes: number;
-    /** Nodes considered and replaced, over every pass. */
-    readonly statistics: RewriteStatistics;
-}
-/**
- * Tells whether a file is the consumer's own source, which is all a rewrite
- * touches: never a declaration file, never a dependency.
- *
- * @param sourceFile File of the program.
- * @returns `true` when it may be rewritten.
- */
-export declare const isRewritable: (sourceFile: typescript.SourceFile) => boolean;
-/**
- * Rewrites a program to a fixed point.
- *
- * @param source Where the program comes from.
- * @param rewriter What to rewrite.
- * @returns The rewritten files and what it took.
- */
-export declare const rewriteToFixpoint: (source: ProgramSource, rewriter: ExpressionRewriter) => ProgramRewrite;

package/dist/rewrite/fixpoint/index.js

@@ -1,61 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.rewriteToFixpoint = exports.isRewritable = void 0;
-const file_1 = require("../file/index.js");
-const text_1 = require("../text/index.js");
-/**
- * Passes after which the loop stops whether or not it has settled. Each pass
- * resolves one more step of inference through a chain of declarations, and a
- * program needing more than this has a chain of `const` declarations longer
- * than anyone writes — its remaining sites are left as the checker sees them,
- * and report their own type errors.
- */
-const MAXIMUM_PASSES = 16;
-/**
- * Tells whether a file is the consumer's own source, which is all a rewrite
- * touches: never a declaration file, never a dependency.
- *
- * @param sourceFile File of the program.
- * @returns `true` when it may be rewritten.
- */
-const isRewritable = (sourceFile) => !sourceFile.isDeclarationFile &&
-    !sourceFile.fileName.includes('/node_modules/');
-exports.isRewritable = isRewritable;
-/**
- * Rewrites a program to a fixed point.
- *
- * @param source Where the program comes from.
- * @param rewriter What to rewrite.
- * @returns The rewritten files and what it took.
- */
-const rewriteToFixpoint = (source, rewriter) => {
-    const files = new Map();
-    const statistics = { visited: 0, rewritten: 0 };
-    let passes = 0;
-    while (passes < MAXIMUM_PASSES) {
-        passes++;
-        const program = source.program();
-        const checker = program.getTypeChecker();
-        const changed = [];
-        for (const sourceFile of program.getSourceFiles()) {
-            if (!(0, exports.isRewritable)(sourceFile))
-                continue;
-            const rewritten = (0, file_1.rewriteSourceFile)(sourceFile, checker, rewriter, statistics);
-            if (rewritten !== null)
-                changed.push([sourceFile.fileName, rewritten]);
-        }
-        if (changed.length === 0)
-            break;
-        // Handed back only once the pass is over, so every file of a pass is
-        // read against the same program.
-        for (const [fileName, rewritten] of changed) {
-            const previous = files.get(fileName);
-            files.set(fileName, previous === undefined
-                ? rewritten
-                : (0, text_1.composeRewrites)(previous, rewritten));
-            source.update(fileName, rewritten.text);
-        }
-    }
-    return { files, passes, statistics };
-};
-exports.rewriteToFixpoint = rewriteToFixpoint;