@openrewrite/rewrite 8.96.4 → 8.96.5

package/dist/test/probes.js

@@ -0,0 +1,189 @@
+"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;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.probeOnce = probeOnce;
+exports.charge = charge;
+exports.thrownBy = thrownBy;
+exports.describeThrown = describeThrown;
+exports.withMarkersOf = withMarkersOf;
+exports.typeName = typeName;
+/*
+ * Copyright 2025 the original author or authors.
+ * <p>
+ * Licensed under the Moderne Source Available License (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ * <p>
+ * https://docs.moderne.io/licensing/moderne-source-available-license
+ * <p>
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+const path = __importStar(require("path"));
+const execution_1 = require("../execution");
+const run_1 = require("../run");
+const visitor_1 = require("../visitor");
+const data_table_1 = require("../data-table");
+/** Messages that belong to the test's own run. */
+const NOT_COPIED = new Set([data_table_1.DATA_TABLE_STORE, run_1.ACCUMULATOR_LISTENER]);
+/**
+ * Probes of recipes that resolve dependencies take seconds each, so a recipe stops being probed in this process once
+ * its probes have taken this long.
+ */
+const TIME_CAP_MS = 20000;
+/** How long each recipe's probes have taken in this process, by {@link timeCapKey}. */
+const PROBE_MS = new Map();
+/** The probes each recipe class ran, which a process runs once whether they pass or fail. */
+const PROBED = new WeakMap();
+/**
+ * Runs `run`, a probe of the recipe on what `probe` names, unless this process ran that probe before or the recipe's
+ * probes have taken the time cap, and charges the recipe the time it takes.
+ */
+async function probeOnce(recipe, probe, run) {
+    var _a;
+    if (((_a = PROBE_MS.get(await timeCapKey(recipe))) !== null && _a !== void 0 ? _a : 0) > TIME_CAP_MS) {
+        return;
+    }
+    let probed = PROBED.get(recipe.constructor);
+    if (!probed) {
+        PROBED.set(recipe.constructor, probed = new Set());
+    }
+    const key = await probeKey(recipe, probe);
+    if (probed.has(key)) {
+        return;
+    }
+    probed.add(key);
+    const start = performance.now();
+    try {
+        await run();
+    }
+    finally {
+        await charge(recipe, performance.now() - start);
+    }
+}
+/** Adds `ms` to the time the recipe's probes have taken in this process. */
+async function charge(recipe, ms) {
+    var _a;
+    const key = await timeCapKey(recipe);
+    PROBE_MS.set(key, ((_a = PROBE_MS.get(key)) !== null && _a !== void 0 ? _a : 0) + ms);
+}
+/**
+ * What a recipe's probes share a time cap by: its name, and for a recipe with a recipe list its children's keys too,
+ * since a composite a test declares has one name whatever it runs.
+ */
+async function timeCapKey(recipe) {
+    let children;
+    try {
+        children = await recipe.recipeList();
+    }
+    catch (_a) {
+        return recipe.name;
+    }
+    const keys = [];
+    for (const child of children) {
+        keys.push(await timeCapKey(child));
+    }
+    return keys.length === 0 ? recipe.name : `${recipe.name}[${keys.join(",")}]`;
+}
+async function probeKey(recipe, probe) {
+    try {
+        return `${JSON.stringify(await recipe.descriptor())}\0${probe}`;
+    }
+    catch (_a) {
+        return `${recipe.name}\0${probe}`;
+    }
+}
+/** The error the recipe threw when run on `sources` for up to `cycles` cycles, if it threw. */
+async function thrownBy(recipe, sources, recipeCtx, cycles) {
+    const messages = {};
+    for (const key of Reflect.ownKeys(recipeCtx.messages)) {
+        if (!NOT_COPIED.has(key)) {
+            messages[key] = recipeCtx.messages[key];
+        }
+    }
+    const ctx = new execution_1.ExecutionContext(messages);
+    let current = sources;
+    try {
+        for (let cycle = 1; cycle <= cycles; cycle++) {
+            const changeset = (await (0, run_1.scheduleRun)(recipe, current, ctx)).changeset;
+            if (changeset.every(r => r.before === r.after)) {
+                break;
+            }
+            current = changeset.filter(r => r.after).map(r => r.after);
+        }
+    }
+    catch (error) {
+        return { error };
+    }
+    return undefined;
+}
+/**
+ * The error the recipe threw, with the first line of its message and the first frame of its stack, and when that
+ * frame is in a dependency, the first frame that isn't.
+ */
+function describeThrown(thrown, indent) {
+    var _a;
+    const cause = thrown instanceof visitor_1.RecipeRunError ? thrown.cause : thrown;
+    if (!(cause instanceof Error)) {
+        return `${indent}${String(cause)}`;
+    }
+    const firstLine = cause.message.trim().split("\n")[0];
+    let description = `${indent}${cause.name}${firstLine ? `: ${firstLine.length > 200 ?
+        `${firstLine.substring(0, 200)}...` : firstLine}` : ""}`;
+    const frames = ((_a = cause.stack) !== null && _a !== void 0 ? _a : "").split("\n").map(line => line.trim())
+        .filter(line => line.startsWith("at ") && !/\(node:|^at node:|<anonymous>/.test(line))
+        .map(line => line.split(process.cwd() + path.sep).join(""));
+    if (frames.length > 0) {
+        description += `\n${indent}    ${frames[0]}`;
+        const own = frames.find(frame => !frame.includes("node_modules"));
+        if (own && own !== frames[0]) {
+            description += `\n${indent}    ${own}`;
+        }
+    }
+    return description;
+}
+/** Reads as " with the markers of the test's source (Autodetect, PrettierStyle)", or as nothing. */
+function withMarkersOf(markers) {
+    const kinds = [...new Set(markers.map(m => typeName(m.kind)))];
+    return kinds.length === 0 ? "" : ` with the markers of the test's source (${kinds.join(", ")})`;
+}
+/** Reads as "PlainText" or "JS.CompilationUnit". */
+function typeName(kind) {
+    return kind.replace(/^.*\./, "").replace(/\$/g, ".");
+}
+//# sourceMappingURL=probes.js.map

package/dist/test/probes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"probes.js","sourceRoot":"","sources":["../../src/test/probes.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CA,8BAmBC;AAGD,wBAGC;AA6BD,4BAsBC;AAMD,wCAmBC;AAGD,sCAGC;AAGD,4BAEC;AA3JD;;;;;;;;;;;;;;GAcG;AACH,2CAA6B;AAE7B,4CAA8C;AAE9C,gCAAyD;AACzD,wCAA0C;AAC1C,8CAA+C;AAG/C,kDAAkD;AAClD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAkB,CAAC,6BAAgB,EAAE,0BAAoB,CAAC,CAAC,CAAC;AAEtF;;;GAGG;AACH,MAAM,WAAW,GAAG,KAAM,CAAC;AAE3B,uFAAuF;AACvF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE3C,6FAA6F;AAC7F,MAAM,MAAM,GAAG,IAAI,OAAO,EAAyB,CAAC;AAEpD;;;GAGG;AACI,KAAK,UAAU,SAAS,CAAC,MAAc,EAAE,KAAa,EAAE,GAAwB;;IACnF,IAAI,CAAC,MAAA,QAAQ,CAAC,GAAG,CAAC,MAAM,UAAU,CAAC,MAAM,CAAC,CAAC,mCAAI,CAAC,CAAC,GAAG,WAAW,EAAE,CAAC;QAC9D,OAAO;IACX,CAAC;IACD,IAAI,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO;IACX,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAChC,IAAI,CAAC;QACD,MAAM,GAAG,EAAE,CAAC;IAChB,CAAC;YAAS,CAAC;QACP,MAAM,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;IACpD,CAAC;AACL,CAAC;AAED,4EAA4E;AACrE,KAAK,UAAU,MAAM,CAAC,MAAc,EAAE,EAAU;;IACnD,MAAM,GAAG,GAAG,MAAM,UAAU,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAA,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,mCAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,UAAU,CAAC,MAAc;IACpC,IAAI,QAAkB,CAAC;IACvB,IAAI,CAAC;QACD,QAAQ,GAAG,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;IACzC,CAAC;IAAC,WAAM,CAAC;QACL,OAAO,MAAM,CAAC,IAAI,CAAC;IACvB,CAAC;IACD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACjF,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,MAAc,EAAE,KAAa;IACjD,IAAI,CAAC;QACD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC;IACpE,CAAC;IAAC,WAAM,CAAC;QACL,OAAO,GAAG,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;IACtC,CAAC;AACL,CAAC;AAED,+FAA+F;AACxF,KAAK,UAAU,QAAQ,CAAC,MAAc,EAAE,OAAqB,EAAE,SAA2B,EAClE,MAAc;IACzC,MAAM,QAAQ,GAAoC,EAAE,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,4BAAgB,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,OAAO,GAAG,OAAO,CAAC;IACtB,IAAI,CAAC;QACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAC3C,MAAM,SAAS,GAAG,CAAC,MAAM,IAAA,iBAAW,EAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,MAAM;YACV,CAAC;YACD,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAM,CAAC,CAAC;QAChE,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,OAAO,EAAC,KAAK,EAAC,CAAC;IACnB,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,MAAe,EAAE,MAAc;;IAC1D,MAAM,KAAK,GAAG,MAAM,YAAY,wBAAc,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACvE,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACvC,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,WAAW,GAAG,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC;QAChF,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAG,CAAC,MAAA,KAAK,CAAC,KAAK,mCAAI,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SAClE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACrF,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,WAAW,IAAI,KAAK,MAAM,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;QAClE,IAAI,GAAG,IAAI,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,WAAW,IAAI,KAAK,MAAM,OAAO,GAAG,EAAE,CAAC;QAC3C,CAAC;IACL,CAAC;IACD,OAAO,WAAW,CAAC;AACvB,CAAC;AAED,oGAAoG;AACpG,SAAgB,aAAa,CAAC,OAAiB;IAC3C,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,2CAA2C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACpG,CAAC;AAED,oDAAoD;AACpD,SAAgB,QAAQ,CAAC,IAAY;IACjC,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACzD,CAAC"}

package/dist/test/rewrite-test.d.ts

@@ -21,6 +21,28 @@ export declare class RecipeSpec {
      * its output carry.
      */
     checkReportingMarkersOnly: boolean;
+    /**
+     * Fails a run whose recipe puts a message on the execution context, which every recipe and source file in a run
+     * shares.
+     */
+    checkExecutionContextUnchanged: boolean;
+    /** Fails a run whose ScanningRecipe's scanner edits a tree, which the scanning phase discards. */
+    checkNoEditsInScanningPhase: boolean;
+    /**
+     * Fails a run whose ScanningRecipe's accumulator keeps a tree, cursor, visitor, execution context, dependency model
+     * or other type given to registerHeavyweight, which would stay in memory all cycle.
+     */
+    checkLightweightAccumulators: boolean;
+    /**
+     * Fails a run whose output holds a node that the source's parser builds differently from the text it prints, such
+     * as a J.Identifier where the parser makes a J.Literal of `null`.
+     */
+    checkParserShapedTrees: boolean;
+    /**
+     * Fails a run whose recipe auto-formats a whole source file or class that existed before the run, instead of only
+     * what it changed.
+     */
+    checkMinimalFormatting: boolean;
     /**
      * The cycles to run, by default one more than {@link expectedCyclesThatMakeChanges} and at least two. The
      * cycles after the expected ones, and a run on a fresh parse of the output, fail the test if they change
@@ -71,6 +93,11 @@ export declare class RecipeSpec {
     /** Data tables are written by the first cycle only, as in Java. */
     private laterRunContext;
     private expectNoFurtherChanges;
+    /**
+     * A fresh parse, by the parser of its spec, of the text each source the recipe left prints, parsing the sources
+     * of one kind together so that they can refer to one another. A parser that throws leaves its sources out.
+     */
+    private freshParse;
     /**
      * Code that the next run reads is parsed from the printed output, not the LST this run produced, and a
      * recipe that recognizes its own output only by the shape of that LST changes it again.

package/dist/test/rewrite-test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rewrite-test.d.ts","sourceRoot":"","sources":["../../src/test/rewrite-test.ts"],"names":[],"mappings":"AAeA,OAAO,EAAC,MAAM,EAAC,MAAM,WAAW,CAAC;AACjC,OAAO,EAAC,gBAAgB,EAAC,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAc,WAAW,EAAC,MAAM,YAAY,CAAC;AACpD,OAAO,EAAC,MAAM,EAAC,MAAM,WAAW,CAAC;AAEjC,OAAO,EAA6B,UAAU,EAAC,MAAM,SAAS,CAAC;AAW/D,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,UAAU;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,KAAK,CAAC,EAAE,eAAe,CAAA;IACvB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,CAAC,GAAG,EAAE,gBAAgB,KAAK,MAAM,CAAC;IAC1C,YAAY,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxE,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvE,GAAG,EAAE,MAAM,CAAA;CACd;AAcD,qBAAa,UAAU;IACnB,0BAA0B,EAAE,OAAO,CAAO;IAC1C,cAAc,EAAE,OAAO,CAAQ;IAE/B;;;OAGG;IACH,yBAAyB,EAAE,OAAO,CAAO;IAEzC;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;IAEf;;;OAGG;IACH,6BAA6B,CAAC,EAAE,MAAM,CAAA;IAEtC,MAAM,EAAE,MAAM,CAAmB;IAEjC;;;OAGG;IACH,gBAAgB,EAAE,gBAAgB,CAA0B;IAE5D;;OAEG;IACH,sBAAsB,EAAE,gBAAgB,CAAyB;IAEjE,OAAO,CAAC,mBAAmB,CAA+D;IAM1F,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAe;IACnC,OAAO,CAAC,kBAAkB,CAAC,CAA0B;;IAMrD;;;OAGG;IACH,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAI3E,OAAO,CAAC,aAAa;IAarB,gFAAgF;IAChF,MAAM,CAAC,uBAAuB,IAAI,IAAI;IAItC,4EAA4E;IAC5E,MAAM,CAAC,yBAAyB,IAAI,IAAI;IAMxC,oDAAoD;IACpD,MAAM,CAAC,yBAAyB,IAAI,IAAI;IASxC,qFAAqF;IACrF,MAAM,CAAC,gBAAgB,IAAI,IAAI;IAI/B;;;;OAIG;IACG,UAAU,CAAC,GAAG,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;YAgFnJ,gBAAgB;YAahB,SAAS;IAoCvB,mEAAmE;IACnE,OAAO,CAAC,eAAe;YAMT,sBAAsB;IA4BpC;;;OAGG;YACW,wBAAwB;YA0CxB,qBAAqB;YASrB,2BAA2B;IAazC;;;OAGG;YACW,oBAAoB;IAoDlC;;;OAGG;YACW,oBAAoB;YAUpB,yBAAyB;YA2CzB,oBAAoB;IAalC,OAAO,CAAC,gCAAgC;YAY1B,WAAW;IAqBzB;;OAEG;YACW,KAAK;YAmBL,mDAAmD;CAMpE;AA8HD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,SAAS,GAAG,IAAI,CAAC;AAEnG;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAyCxC;AAED,wBAAgB,WAAW,CAAC,CAAC,CAAC,EAAE,eAAe,GAAG,eAAe,CAchE;AAGD,qBAAa,WAAY,SAAQ,MAAM;IAKvB,OAAO,CAAC,OAAO;IAJ3B,IAAI,SAA0B;IAC9B,WAAW,SAAW;IACtB,WAAW,SAAY;gBAEH,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC;IAI5C,MAAM,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAGjD;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAElE"}
+{"version":3,"file":"rewrite-test.d.ts","sourceRoot":"","sources":["../../src/test/rewrite-test.ts"],"names":[],"mappings":"AAeA,OAAO,EAAC,MAAM,EAAC,MAAM,WAAW,CAAC;AACjC,OAAO,EAAC,gBAAgB,EAAC,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAc,WAAW,EAAC,MAAM,YAAY,CAAC;AACpD,OAAO,EAAC,MAAM,EAAC,MAAM,WAAW,CAAC;AAEjC,OAAO,EAA6B,UAAU,EAAC,MAAM,SAAS,CAAC;AAoB/D,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,UAAU;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,KAAK,CAAC,EAAE,eAAe,CAAA;IACvB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,CAAC,GAAG,EAAE,gBAAgB,KAAK,MAAM,CAAC;IAC1C,YAAY,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxE,WAAW,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvE,GAAG,EAAE,MAAM,CAAA;CACd;AAmBD,qBAAa,UAAU;IACnB,0BAA0B,EAAE,OAAO,CAAO;IAC1C,cAAc,EAAE,OAAO,CAAQ;IAE/B;;;OAGG;IACH,yBAAyB,EAAE,OAAO,CAAO;IAEzC;;;OAGG;IACH,8BAA8B,EAAE,OAAO,CAAO;IAE9C,kGAAkG;IAClG,2BAA2B,EAAE,OAAO,CAAO;IAE3C;;;OAGG;IACH,4BAA4B,EAAE,OAAO,CAAO;IAE5C;;;OAGG;IACH,sBAAsB,EAAE,OAAO,CAAO;IAEtC;;;OAGG;IACH,sBAAsB,EAAE,OAAO,CAAO;IAEtC;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAA;IAEf;;;OAGG;IACH,6BAA6B,CAAC,EAAE,MAAM,CAAA;IAEtC,MAAM,EAAE,MAAM,CAAmB;IAEjC;;;OAGG;IACH,gBAAgB,EAAE,gBAAgB,CAA0B;IAE5D;;OAEG;IACH,sBAAsB,EAAE,gBAAgB,CAAyB;IAEjE,OAAO,CAAC,mBAAmB,CAA+D;IAM1F,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAe;IACnC,OAAO,CAAC,kBAAkB,CAAC,CAA0B;;IAMrD;;;OAGG;IACH,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAI3E,OAAO,CAAC,aAAa;IAkBrB,gFAAgF;IAChF,MAAM,CAAC,uBAAuB,IAAI,IAAI;IAItC,4EAA4E;IAC5E,MAAM,CAAC,yBAAyB,IAAI,IAAI;IAMxC,oDAAoD;IACpD,MAAM,CAAC,yBAAyB,IAAI,IAAI;IASxC,qFAAqF;IACrF,MAAM,CAAC,gBAAgB,IAAI,IAAI;IAI/B;;;;OAIG;IACG,UAAU,CAAC,GAAG,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;YAsGnJ,gBAAgB;YAahB,SAAS;IAqCvB,mEAAmE;IACnE,OAAO,CAAC,eAAe;YAMT,sBAAsB;IA4BpC;;;OAGG;YACW,UAAU;IA4BxB;;;OAGG;YACW,wBAAwB;YAwBxB,qBAAqB;YASrB,2BAA2B;IAazC;;;OAGG;YACW,oBAAoB;IAoDlC;;;OAGG;YACW,oBAAoB;YAUpB,yBAAyB;YA2CzB,oBAAoB;IAalC,OAAO,CAAC,gCAAgC;YAY1B,WAAW;IAqBzB;;OAEG;YACW,KAAK;YAmBL,mDAAmD;CAMpE;AAoMD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,CAAC,GAAG,SAAS,GAAG,IAAI,CAAC;AAEnG;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAyCxC;AAED,wBAAgB,WAAW,CAAC,CAAC,CAAC,EAAE,eAAe,GAAG,eAAe,CAchE;AAGD,qBAAa,WAAY,SAAQ,MAAM;IAKvB,OAAO,CAAC,OAAO;IAJ3B,IAAI,SAA0B;IAC9B,WAAW,SAAW;IACtB,WAAW,SAAY;gBAEH,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC;IAI5C,MAAM,IAAI,OAAO,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;CAGjD;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAElE"}

package/dist/test/rewrite-test.js

@@ -1,4 +1,37 @@
 "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 __asyncValues = (this && this.__asyncValues) || function (o) {
     if (!Symbol.asyncIterator) throw new TypeError("Symbol.asyncIterator is not defined.");
     var m = o[Symbol.asyncIterator], i;
@@ -37,9 +70,18 @@ const parse_error_1 = require("../parse-error");
 const markers_1 = require("../markers");
 const style_1 = require("../style");
 const javascript_1 = require("../javascript");
+const format_1 = require("../javascript/format");
 const type_report_1 = require("../javascript/type-report");
 const java_1 = require("../java");
 const data_table_1 = require("../data-table");
+const path = __importStar(require("path"));
+const accumulator_contents_1 = require("./accumulator-contents");
+const empty_sources_1 = require("./empty-sources");
+const unparsed_sources_1 = require("./unparsed-sources");
+const tree_shapes_1 = require("./tree-shapes");
+const formatting_scope_1 = require("./formatting-scope");
+const recipe_2 = require("../rpc/recipe");
+const java_recipe_1 = require("../rpc/java-recipe");
 class RecipeSpec {
     constructor() {
         var _a;
@@ -50,6 +92,28 @@ class RecipeSpec {
          * its output carry.
          */
         this.checkReportingMarkersOnly = true;
+        /**
+         * Fails a run whose recipe puts a message on the execution context, which every recipe and source file in a run
+         * shares.
+         */
+        this.checkExecutionContextUnchanged = true;
+        /** Fails a run whose ScanningRecipe's scanner edits a tree, which the scanning phase discards. */
+        this.checkNoEditsInScanningPhase = true;
+        /**
+         * Fails a run whose ScanningRecipe's accumulator keeps a tree, cursor, visitor, execution context, dependency model
+         * or other type given to registerHeavyweight, which would stay in memory all cycle.
+         */
+        this.checkLightweightAccumulators = true;
+        /**
+         * Fails a run whose output holds a node that the source's parser builds differently from the text it prints, such
+         * as a J.Identifier where the parser makes a J.Literal of `null`.
+         */
+        this.checkParserShapedTrees = true;
+        /**
+         * Fails a run whose recipe auto-formats a whole source file or class that existed before the run, instead of only
+         * what it changed.
+         */
+        this.checkMinimalFormatting = true;
         this.recipe = new NoopRecipe();
         /**
          * Used for both parsing and recipe execution unless an alternative recipe execution context is set with
@@ -75,6 +139,11 @@ class RecipeSpec {
             checkParsePrintIdempotence: this.checkParsePrintIdempotence,
             allowEmptyDiff: this.allowEmptyDiff,
             checkReportingMarkersOnly: this.checkReportingMarkersOnly,
+            checkExecutionContextUnchanged: this.checkExecutionContextUnchanged,
+            checkNoEditsInScanningPhase: this.checkNoEditsInScanningPhase,
+            checkLightweightAccumulators: this.checkLightweightAccumulators,
+            checkParserShapedTrees: this.checkParserShapedTrees,
+            checkMinimalFormatting: this.checkMinimalFormatting,
             cycles: this.cycles,
             expectedCyclesThatMakeChanges: this.expectedCyclesThatMakeChanges,
             recipe: this.recipe,
@@ -188,18 +257,40 @@ class RecipeSpec {
             }
         }
         this.recipeExecutionContext.messages[data_table_1.DATA_TABLE_STORE] = new data_table_1.InMemoryDataTableStore();
+        this.recipeExecutionContext.messages[execution_1.ExecutionContext.SCANNING_MUTATION_VALIDATION] =
+            this.checkNoEditsInScanningPhase;
+        const accumulatorContents = this.checkLightweightAccumulators ? new accumulator_contents_1.AccumulatorContents() : undefined;
+        this.recipeExecutionContext.messages[run_1.ACCUMULATOR_LISTENER] = accumulatorContents === null || accumulatorContents === void 0 ? void 0 : accumulatorContents.listener;
+        const contextWrites = this.checkExecutionContextUnchanged ? new ExecutionContextWrites() : undefined;
+        const runContext = (ctx) => { var _a; return (_a = contextWrites === null || contextWrites === void 0 ? void 0 : contextWrites.watch(ctx)) !== null && _a !== void 0 ? _a : ctx; };
         const expectedCycles = (_d = this.expectedCyclesThatMakeChanges) !== null && _d !== void 0 ? _d : 1;
         const cycles = (_e = this.cycles) !== null && _e !== void 0 ? _e : Math.max(2, expectedCycles + 1);
-        const { changeset, unsettled } = await this.runCycles(allParsed.map(([_, sourceFile]) => sourceFile), cycles, expectedCycles);
+        const formattingScope = this.checkMinimalFormatting ? new formatting_scope_1.FormattingScope(this.recipe) : undefined;
+        const run = () => this.runCycles(allParsed.map(([_, sourceFile]) => sourceFile), cycles, expectedCycles, runContext);
+        const { changeset, unsettled } = formattingScope ? await (0, format_1.listenToFormatting)(formattingScope, run) : await run();
+        contextWrites === null || contextWrites === void 0 ? void 0 : contextWrites.assertNone(this.recipe);
         this.expectNoUnexpectedGeneratedFiles(flattenedSpecs, changeset);
         this.checkReportingMarkersOnly && await this.expectNoAddedMarkers(flattenedSpecs, allParsed, changeset);
+        accumulatorContents === null || accumulatorContents === void 0 ? void 0 : accumulatorContents.assertNoneFound();
         await this.expectResultsToMatchAfter(flattenedSpecs, changeset, allParsed);
         await this.expectGeneratedFiles(flattenedSpecs, changeset);
         if (unsettled) {
             await this.expectNoFurtherChanges(unsettled.changes, `Expected recipe to complete in ${pluralCycles(expectedCycles)}, but cycle ${unsettled.cycle} changed`);
         }
-        cycles > expectedCycles && await this.expectStableOnFreshParse(flattenedSpecs, allParsed, changeset);
+        await (formattingScope === null || formattingScope === void 0 ? void 0 : formattingScope.assertFormattedOnlyWhatChanged(changeset));
+        const changed = changeset.some(r => r.before !== r.after);
+        const freshParse = changed && (cycles > expectedCycles || this.checkParserShapedTrees) ?
+            await this.freshParse(flattenedSpecs, allParsed, changeset) : new Map();
+        this.checkParserShapedTrees && await new tree_shapes_1.TreeShapes(this.recipe).assertParserShaped(changeset, freshParse);
+        cycles > expectedCycles && await this.expectStableOnFreshParse(changeset, freshParse, runContext);
+        contextWrites === null || contextWrites === void 0 ? void 0 : contextWrites.assertNone(this.recipe);
         await this.expectDataTables();
+        if (changeset.some(r => r.before && r.after !== r.before) && await isProbed(this.recipe)) {
+            await new empty_sources_1.EmptySources(this.recipe, changeset)
+                .assertNoneThrow(allParsed, this.executionContext, this.recipeExecutionContext, cycles);
+            await new unparsed_sources_1.UnparsedSources(this.recipe, changeset)
+                .assertNoneThrow(allParsed.map(([_, sourceFile]) => sourceFile), this.recipeExecutionContext, cycles);
+        }
     }
     async expectDataTables() {
         const store = this.recipeExecutionContext.messages[data_table_1.DATA_TABLE_STORE];
@@ -213,14 +304,14 @@ class RecipeSpec {
             await assertion(store.getRows(name, dataTable.group));
         }
     }
-    async runCycles(sources, cycles, expectedCycles) {
+    async runCycles(sources, cycles, expectedCycles, runContext) {
         const lineages = sources.map(s => ({ origin: s, latest: s }));
         const changesetOf = () => lineages.map(({ origin, latest }) => new run_1.Result(origin, latest));
         let changeset;
         let cyclesThatMadeChanges = 0;
         for (let cycle = 1; cycle <= cycles; cycle++) {
             const live = lineages.filter(l => l.latest).map(l => l.latest);
-            const ctx = cycle === 1 ? this.recipeExecutionContext : this.laterRunContext();
+            const ctx = runContext(cycle === 1 ? this.recipeExecutionContext : this.laterRunContext());
             const changes = (await (0, run_1.scheduleRun)(this.recipe, live, ctx)).changeset.filter(r => r.before !== r.after);
             if (changes.length === 0) {
                 break;
@@ -285,14 +376,11 @@ class RecipeSpec {
         }
     }
     /**
-     * Code that the next run reads is parsed from the printed output, not the LST this run produced, and a
-     * recipe that recognizes its own output only by the shape of that LST changes it again.
+     * A fresh parse, by the parser of its spec, of the text each source the recipe left prints, parsing the sources
+     * of one kind together so that they can refer to one another. A parser that throws leaves its sources out.
      */
-    async expectStableOnFreshParse(specs, parsed, changeset) {
+    async freshParse(specs, parsed, changeset) {
         var _a, e_2, _b, _c;
-        if (!changeset.some(r => r.before !== r.after)) {
-            return;
-        }
         const finals = changeset.filter(r => r.after).map(({ before, after }) => {
             var _a;
             return [
@@ -316,11 +404,7 @@ class RecipeSpec {
                         _c = _f.value;
                         _d = false;
                         const reparsed = _c;
-                        if (!(0, parse_error_1.isParseError)(reparsed) && await printSanitized(reparsed) === inputs[i].text) {
-                            // What the source file carries, like its styles, comes from outside its text
-                            reparsedByFinal.set(group[i][1], Object.assign(Object.assign({}, reparsed), { markers: group[i][1].markers }));
-                        }
-                        i++;
+                        reparsedByFinal.set(group[i++][1], reparsed);
                     }
                 }
                 catch (e_2_1) { e_2 = { error: e_2_1 }; }
@@ -332,14 +416,34 @@ class RecipeSpec {
                 }
             }
             catch (_g) {
+                // the sources it didn't get to are left out
+            }
+        }
+        return reparsedByFinal;
+    }
+    /**
+     * Code that the next run reads is parsed from the printed output, not the LST this run produced, and a
+     * recipe that recognizes its own output only by the shape of that LST changes it again.
+     */
+    async expectStableOnFreshParse(changeset, freshParse, runContext) {
+        let reparsedAny = false;
+        const sources = [];
+        for (const after of changeset.filter(r => r.after).map(r => r.after)) {
+            const reparsed = freshParse.get(after);
+            if (reparsed && !(0, parse_error_1.isParseError)(reparsed) && await printSanitized(reparsed) === await printSanitized(after)) {
+                // What the source file carries, like its styles, comes from outside its text
+                sources.push(Object.assign(Object.assign({}, reparsed), { markers: after.markers }));
+                reparsedAny = true;
+            }
+            else {
                 // files that do not parse again keep the LST the recipe produced
+                sources.push(after);
             }
         }
-        if (reparsedByFinal.size === 0) {
+        if (!reparsedAny) {
             return;
         }
-        const sources = finals.map(([_, sourceFile]) => { var _a; return (_a = reparsedByFinal.get(sourceFile)) !== null && _a !== void 0 ? _a : sourceFile; });
-        const changes = (await (0, run_1.scheduleRun)(this.recipe, sources, this.laterRunContext())).changeset
+        const changes = (await (0, run_1.scheduleRun)(this.recipe, sources, runContext(this.laterRunContext()))).changeset
             .filter(r => r.before !== r.after);
         await this.expectNoFurtherChanges(changes, "Running the recipe on a fresh parse of its output changed", true);
     }
@@ -469,7 +573,7 @@ class RecipeSpec {
     }
     async expectGeneratedFiles(specs, changeset) {
         for (const spec of specs) {
-            if (spec.before) {
+            if (spec.before !== null) {
                 continue;
             }
             if (!spec.after) {
@@ -480,7 +584,7 @@ class RecipeSpec {
         }
     }
     expectNoUnexpectedGeneratedFiles(specs, changeset) {
-        const expectedPaths = new Set(specs.filter(spec => !spec.before).map(spec => spec.path));
+        const expectedPaths = new Set(specs.filter(spec => spec.before === null).map(spec => spec.path));
         const unexpected = changeset.filter(c => !c.before && c.after && !expectedPaths.has(c.after.sourcePath));
         if (unexpected.length > 0) {
             throw new Error([
@@ -518,7 +622,7 @@ class RecipeSpec {
         let unnamed = 0;
         const before = [];
         for (const spec of specs) {
-            if (spec.before) {
+            if (spec.before !== null) {
                 const sourcePath = spec.path || `source-${unnamed++}.${spec.ext}`;
                 before.push([spec, { text: dedent(spec.before), sourcePath: sourcePath }]);
             }
@@ -559,6 +663,72 @@ class ValidateWhitespaceVisitor extends javascript_1.JavaScriptVisitor {
         return ret;
     }
 }
+/** Whether the framework puts `key` on the execution context of a run itself. */
+function isFrameworkMessage(key) {
+    return key === data_table_1.DATA_TABLE_STORE || key === execution_1.ExecutionContext.REQUIRE_PRINT_EQUALS_INPUT;
+}
+/** Records the messages that a recipe puts on the execution context of its run, with the code that put each. */
+class ExecutionContextWrites {
+    constructor() {
+        this.writes = new Map();
+    }
+    /** A view of `ctx` whose messages record what is put on them, and that otherwise acts as `ctx`. */
+    watch(ctx) {
+        const record = (key) => {
+            if (!isFrameworkMessage(key) && !this.writes.has(key)) {
+                this.writes.set(key, callerFrame());
+            }
+        };
+        const messages = new Proxy(ctx.messages, {
+            set(target, key, value) {
+                record(key);
+                return Reflect.set(target, key, value);
+            },
+            defineProperty(target, key, attributes) {
+                record(key);
+                return Reflect.defineProperty(target, key, attributes);
+            }
+        });
+        return Object.create(ctx, { messages: { value: messages, enumerable: true, writable: true } });
+    }
+    assertNone(recipe) {
+        if (this.writes.size === 0) {
+            return;
+        }
+        throw new Error([
+            "Keep state that spans source files in a ScanningRecipe's accumulator, and state within one source file " +
+                "in cursor messages, with this.cursor.messages.set(key, value). " +
+                `${recipe.name} put messages on the ExecutionContext, which every recipe and source file in a run ` +
+                "shares, so what it keeps there leaks into the others:",
+            ...[...this.writes].map(([key, frame]) => `  ${typeof key === "symbol" ? key.toString() : JSON.stringify(key)}${frame ? ` at ${frame}` : ""}`),
+            "A recipe that must change the ExecutionContext opts out with spec.checkExecutionContextUnchanged = false."
+        ].join("\n"));
+    }
+}
+/** The first frame of the stack outside the harness and the runtime, relative to the working directory. */
+function callerFrame() {
+    var _a;
+    const frame = ((_a = new Error().stack) !== null && _a !== void 0 ? _a : "").split("\n").slice(1)
+        .map(line => line.trim().replace(/^at (async )?/, ""))
+        .find(line => !/[\\/]test[\\/]rewrite-test\.[jt]s:|<anonymous>|^node:/.test(line));
+    return frame === null || frame === void 0 ? void 0 : frame.split(process.cwd() + path.sep).join("");
+}
+/**
+ * Whether the recipe is run on sources the test doesn't give it, which a recipe isn't when it or one in its recipe list
+ * is the harness's stand-in for a visitor, or runs in Java, whose harness probes it.
+ */
+async function isProbed(recipe) {
+    if (recipe instanceof NoopRecipe || recipe instanceof AdHocRecipe || recipe instanceof recipe_2.RpcRecipe ||
+        recipe instanceof java_recipe_1.DelegatingRecipe) {
+        return false;
+    }
+    for (const child of await recipe.recipeList()) {
+        if (!await isProbed(child)) {
+            return false;
+        }
+    }
+    return true;
+}
 /** Without the comments that search results and markup print as. */
 function printSanitized(sourceFile) {
     return print_1.TreePrinters.printer(sourceFile).print(sourceFile, new print_1.PrintOutputCapture(print_1.MarkerPrinter.SANITIZED));