@koobiq/components 20.4.2 → 21.0.1

package/schematics/migrations/badge-signals/index.cjs

@@ -0,0 +1,694 @@
+'use strict';
+
+Object.defineProperty(exports, '__esModule', { value: true });
+
+var ts = require('typescript');
+var utils_ast = require('../../utils/ast.cjs');
+var utils_messages = require('../../utils/messages.cjs');
+var utils_packageConfig = require('../../utils/package-config.cjs');
+var utils_projectFiles = require('../../utils/project-files.cjs');
+var utils_typescript = require('../../utils/typescript.cjs');
+var migrations_badgeSignals_data = require('./data.cjs');
+require('@angular-devkit/schematics');
+require('@schematics/angular/utility');
+
+const LABEL = '[badge-signals]';
+const TS_EXT = '.ts';
+const HTML_EXT = '.html';
+function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+/** Applies text-span edits to `content`, right-to-left, so earlier edits don't shift later offsets. */
+function applyEdits(content, edits) {
+    const sorted = [...edits].sort((a, b) => b.start - a.start || b.end - a.end);
+    let result = content;
+    for (const { start, end, text } of sorted) {
+        result = result.slice(0, start) + text + result.slice(end);
+    }
+    return result;
+}
+/** Walks up from `node` to the nearest ancestor matching `predicate`. */
+function findAncestor(node, predicate) {
+    let current = node.parent;
+    while (current) {
+        if (predicate(current))
+            return current;
+        current = current.parent;
+    }
+    return undefined;
+}
+/**
+ * Nodes that open a new binding scope. `ts.isFunctionLike` rather than a hand-rolled list, so a
+ * `MethodSignature` or a `FunctionTypeNode` bounds a parameter's scope too instead of leaking it to the
+ * whole file. Blocks and loops are included because `let`/`const` are block-scoped.
+ */
+const opensScope = (node) => ts.isFunctionLike(node) ||
+    ts.isBlock(node) ||
+    ts.isCaseBlock(node) ||
+    ts.isModuleBlock(node) ||
+    ts.isForStatement(node) ||
+    ts.isForInStatement(node) ||
+    ts.isForOfStatement(node) ||
+    ts.isCatchClause(node) ||
+    ts.isClassLike(node) ||
+    ts.isSourceFile(node);
+/** Nodes that rebind `this`, so `this.badge` inside them is a different object. Arrows and methods don't. */
+const rebindsThis = (node) => ts.isFunctionDeclaration(node) || ts.isFunctionExpression(node) || ts.isClassLike(node);
+/** Whether `node` sits inside `scope` without crossing a `barrier` node on the way up. */
+function reachesScope(node, scope, barrier) {
+    let current = node.parent;
+    while (current && current !== scope) {
+        if (barrier(current))
+            return false;
+        current = current.parent;
+    }
+    return current === scope;
+}
+/** Whether a type annotation refers to `typeName` directly (not through a union, array or type argument). */
+function isTypeReference(type, typeName) {
+    return !!type && ts.isTypeReferenceNode(type) && ts.isIdentifier(type.typeName) && type.typeName.text === typeName;
+}
+const FIELD_MODIFIERS = new Set([
+    ts.SyntaxKind.PrivateKeyword,
+    ts.SyntaxKind.PublicKeyword,
+    ts.SyntaxKind.ProtectedKeyword,
+    ts.SyntaxKind.ReadonlyKeyword
+]);
+/** Every value declaration that introduces a plain identifier, with the scope it is visible in. */
+function collectBindings(sourceFile) {
+    const bindings = [];
+    const add = (name, declaration, scope) => bindings.push({ name, declaration, scope: scope ?? sourceFile });
+    const visit = (node) => {
+        if (ts.isParameter(node) && ts.isIdentifier(node.name)) {
+            add(node.name.text, node, findAncestor(node, ts.isFunctionLike));
+        }
+        else if ((ts.isVariableDeclaration(node) || ts.isBindingElement(node)) && ts.isIdentifier(node.name)) {
+            add(node.name.text, node, findAncestor(node, opensScope));
+        }
+        else if ((ts.isFunctionDeclaration(node) || ts.isClassDeclaration(node)) && node.name) {
+            add(node.name.text, node, findAncestor(node, opensScope));
+        }
+        else if ((ts.isImportSpecifier(node) || ts.isImportClause(node)) && node.name) {
+            add(node.name.text, node, sourceFile);
+        }
+        node.forEachChild(visit);
+    };
+    visit(sourceFile);
+    return bindings;
+}
+/** The declaration `name` binds to at `pos`: the innermost enclosing scope that declares it. */
+function resolveBinding(bindings, name, pos) {
+    let best;
+    let bestWidth = Number.POSITIVE_INFINITY;
+    for (const binding of bindings) {
+        if (binding.name !== name)
+            continue;
+        const start = binding.scope.getStart();
+        const end = binding.scope.getEnd();
+        if (pos < start || pos > end)
+            continue;
+        const width = end - start;
+        if (width < bestWidth) {
+            best = binding;
+            bestWidth = width;
+        }
+    }
+    return best?.declaration;
+}
+/** Local names that `exported` is bound to in this file, including aliased imports. */
+function localTypeNames(sourceFile, exported) {
+    const names = new Set([exported]);
+    const visit = (node) => {
+        if (ts.isImportSpecifier(node) && (node.propertyName?.text ?? node.name.text) === exported) {
+            names.add(node.name.text);
+        }
+        node.forEachChild(visit);
+    };
+    visit(sourceFile);
+    return [...names];
+}
+/**
+ * Collects the receivers annotated with `typeName`, by explicit annotation only (no cross-package type
+ * resolution): method/function params, class fields (incl. `@ViewChild(KbqBadge) x: KbqBadge` and constructor
+ * parameter-properties) and typed locals. Annotations that resolve are recorded in `resolved`, so the caller
+ * can report the `KbqBadge` mentions this pass could not turn into a receiver.
+ */
+function collectReceivers(sourceFile, typeName, resolved) {
+    const receivers = [];
+    const add = (text, declaration, scope) => receivers.push({ text, declaration, scope: scope ?? sourceFile });
+    const visit = (node) => {
+        if (ts.isParameter(node) && ts.isIdentifier(node.name) && isTypeReference(node.type, typeName)) {
+            resolved?.add(node.type);
+            add(node.name.text, node, findAncestor(node, ts.isFunctionLike));
+            // A constructor parameter-property is also a class field, reachable as `this.<name>`.
+            if (node.modifiers?.some((modifier) => FIELD_MODIFIERS.has(modifier.kind))) {
+                const owner = findAncestor(node, ts.isClassDeclaration);
+                if (owner)
+                    add(`this.${node.name.text}`, node, owner);
+            }
+        }
+        else if (ts.isPropertyDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            isTypeReference(node.type, typeName)) {
+            const owner = findAncestor(node, ts.isClassDeclaration);
+            if (owner) {
+                resolved?.add(node.type);
+                add(`this.${node.name.text}`, node, owner);
+            }
+        }
+        else if (ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            isTypeReference(node.type, typeName)) {
+            resolved?.add(node.type);
+            add(node.name.text, node, findAncestor(node, opensScope));
+        }
+        node.forEachChild(visit);
+    };
+    visit(sourceFile);
+    return receivers;
+}
+/**
+ * 1-based lines where `KbqBadge` is named in a type position `collectReceivers` could not resolve: a union,
+ * an array, a type argument (`QueryList<KbqBadge>`), a cast or a return type.
+ */
+function collectUnresolvedMentions(sourceFile, resolved, typeNames, receivers, bindings) {
+    const lines = new Set();
+    const members = [...migrations_badgeSignals_data.SIGNAL_MEMBERS, ...migrations_badgeSignals_data.VALUE_CHANGED_MEMBERS, ...migrations_badgeSignals_data.PROTECTED_MEMBERS];
+    const report = (node) => lines.add(sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + 1);
+    /** Whether `expression` names a receiver that is in scope right here. */
+    const isReceiver = (expression, at) => {
+        const text = unwrapReceiver(expression).getText(sourceFile);
+        return receivers.some((receiver) => receiver.text === text &&
+            (receiver.text.startsWith('this.')
+                ? reachesScope(at, receiver.scope, rebindsThis)
+                : reachesScope(at, receiver.scope, () => false) &&
+                    resolveBinding(bindings, receiver.text, at.getStart(sourceFile)) === receiver.declaration));
+    };
+    const visit = (node) => {
+        // A type position that does not resolve to one identifier: a union, an array, a type argument,
+        // a cast, a return type.
+        if (ts.isTypeReferenceNode(node) && ts.isIdentifier(node.typeName) && typeNames.includes(node.typeName.text)) {
+            if (!resolved.has(node))
+                report(node);
+        }
+        // `badge['compact']` — the member name is a string, so the access pass never sees it.
+        else if (ts.isElementAccessExpression(node) &&
+            ts.isStringLiteralLike(node.argumentExpression) &&
+            members.includes(node.argumentExpression.text) &&
+            isReceiver(node.expression, node)) {
+            report(node);
+        }
+        // `const { compact } = badge` — the read happens in the binding pattern, not in an access.
+        else if (ts.isVariableDeclaration(node) &&
+            ts.isObjectBindingPattern(node.name) &&
+            node.initializer &&
+            isReceiver(node.initializer, node) &&
+            node.name.elements.some((element) => ts.isIdentifier(element.propertyName ?? element.name) &&
+                members.includes((element.propertyName ?? element.name).getText(sourceFile)))) {
+            report(node);
+        }
+        node.forEachChild(visit);
+    };
+    visit(sourceFile);
+    return [...lines].sort((a, b) => a - b);
+}
+/** Strips the wrappers that do not change which object an access reads from. */
+function unwrapReceiver(node) {
+    let current = node;
+    while (ts.isNonNullExpression(current) || ts.isParenthesizedExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+}
+/** Whether a property access on a receiver resolves to that receiver at this exact position. */
+function inReceiverScope(node, sourceFile, receivers, bindings) {
+    // `this.badge!.compact` and `(badge).compact` name the same receiver as `this.badge` / `badge`.
+    const receiverText = unwrapReceiver(node.expression).getText(sourceFile);
+    const start = node.getStart(sourceFile);
+    return receivers.some((receiver) => {
+        if (receiver.text !== receiverText)
+            return false;
+        // For `this.badge`, a nested `function` or class changes what `this` is; a method or arrow does not.
+        // For a bare `badge`, a nested redeclaration of the same name shadows the receiver.
+        if (receiver.text.startsWith('this.'))
+            return reachesScope(node, receiver.scope, rebindsThis);
+        return (reachesScope(node, receiver.scope, () => false) &&
+            resolveBinding(bindings, receiver.text, start) === receiver.declaration);
+    });
+}
+/** Binary operators that make their left operand a write target rather than a read. */
+const ASSIGNMENT_OPERATORS = new Set([
+    ts.SyntaxKind.EqualsToken,
+    ts.SyntaxKind.PlusEqualsToken,
+    ts.SyntaxKind.MinusEqualsToken,
+    ts.SyntaxKind.AsteriskEqualsToken,
+    ts.SyntaxKind.AsteriskAsteriskEqualsToken,
+    ts.SyntaxKind.SlashEqualsToken,
+    ts.SyntaxKind.PercentEqualsToken,
+    ts.SyntaxKind.LessThanLessThanEqualsToken,
+    ts.SyntaxKind.GreaterThanGreaterThanEqualsToken,
+    ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken,
+    ts.SyntaxKind.AmpersandEqualsToken,
+    ts.SyntaxKind.BarEqualsToken,
+    ts.SyntaxKind.CaretEqualsToken,
+    ts.SyntaxKind.BarBarEqualsToken,
+    ts.SyntaxKind.AmpersandAmpersandEqualsToken,
+    ts.SyntaxKind.QuestionQuestionEqualsToken
+]);
+/** Unary operators that write their operand back. Every other prefix operator is a plain read. */
+const INCREMENT_OPERATORS = new Set([ts.SyntaxKind.PlusPlusToken, ts.SyntaxKind.MinusMinusToken]);
+/** Whether `node` sits on the left of a destructuring assignment, where it is written rather than read. */
+function isDestructuringTarget(node) {
+    let current = node;
+    while (ts.isPropertyAssignment(current.parent) ||
+        ts.isShorthandPropertyAssignment(current.parent) ||
+        ts.isSpreadAssignment(current.parent) ||
+        ts.isSpreadElement(current.parent) ||
+        ts.isObjectLiteralExpression(current.parent) ||
+        ts.isArrayLiteralExpression(current.parent)) {
+        current = current.parent;
+    }
+    return (ts.isBinaryExpression(current.parent) &&
+        current.parent.left === current &&
+        ASSIGNMENT_OPERATORS.has(current.parent.operatorToken.kind));
+}
+/** Classifies a matched property access and appends the resulting edit(s). */
+function classifyAccess(node, sourceFile, edits) {
+    const parent = node.parent;
+    // Already migrated: `x.compact()` (call) or `x.compact.set(...)` — leave alone (idempotent).
+    if (ts.isCallExpression(parent) && parent.expression === node)
+        return;
+    if (ts.isPropertyAccessExpression(parent) && parent.expression === node && parent.name.text === 'set')
+        return;
+    // Write target: `x.compact = RHS` and every compound form (`+=`, `||=`, …). Every KbqBadge signal member
+    // is `input()` (read-only), so there is no writable member — the write is left untouched and becomes a
+    // compile error the consumer fixes by hand. Appending `()` here would produce unparseable TypeScript.
+    if (ts.isBinaryExpression(parent) && parent.left === node && ASSIGNMENT_OPERATORS.has(parent.operatorToken.kind)) {
+        if (parent.operatorToken.kind === ts.SyntaxKind.EqualsToken && migrations_badgeSignals_data.WRITABLE_MEMBERS.has(node.name.text)) {
+            const rhs = parent.right;
+            edits.push({ start: node.getEnd(), end: rhs.getStart(sourceFile), text: '.set(' });
+            edits.push({ start: rhs.getEnd(), end: rhs.getEnd(), text: ')' });
+        }
+        return;
+    }
+    // `x.compact++` / `--x.compact` and `delete x.compact` are writes too. Only the increment operators
+    // count: a `PrefixUnaryExpression` is also how `!x.compact` is spelled, and that is a read.
+    if (ts.isPostfixUnaryExpression(parent) && parent.operand === node)
+        return;
+    if (ts.isPrefixUnaryExpression(parent) && parent.operand === node && INCREMENT_OPERATORS.has(parent.operator))
+        return;
+    if (ts.isDeleteExpression(parent))
+        return;
+    // A destructuring assignment target: `({ a: x.compact } = source)`, `[x.compact] = source`.
+    if (isDestructuringTarget(node))
+        return;
+    // Read (incl. optional chain `x?.compact`): append `()`.
+    edits.push({ start: node.getEnd(), end: node.getEnd(), text: '()' });
+}
+/** Collects edits for every read/write of a value-safe signal member on a known badge receiver. */
+function collectAccessEdits(sourceFile, receivers, bindings) {
+    const edits = [];
+    const visit = (node) => {
+        if (ts.isPropertyAccessExpression(node) &&
+            ts.isIdentifier(node.name) &&
+            migrations_badgeSignals_data.SIGNAL_MEMBERS.includes(node.name.text) &&
+            inReceiverScope(node, sourceFile, receivers, bindings)) {
+            classifyAccess(node, sourceFile, edits);
+        }
+        node.forEachChild(visit);
+    };
+    visit(sourceFile);
+    return edits;
+}
+/** Collects the members read on a badge or styler receiver that no consumer can keep reading as-is. */
+function collectReceiverWarnings(sourceFile) {
+    const valueChanged = new Set();
+    const protectedAccess = new Set();
+    const stylerAccess = new Set();
+    const resolved = new Set();
+    const bindings = collectBindings(sourceFile);
+    const badgeTypeNames = localTypeNames(sourceFile, migrations_badgeSignals_data.BADGE_TYPE);
+    const badgeReceivers = badgeTypeNames.flatMap((name) => collectReceivers(sourceFile, name, resolved));
+    const stylerReceivers = localTypeNames(sourceFile, migrations_badgeSignals_data.STYLER_TYPE).flatMap((name) => collectReceivers(sourceFile, name));
+    const visit = (node) => {
+        if (ts.isPropertyAccessExpression(node) && ts.isIdentifier(node.name)) {
+            const name = node.name.text;
+            if (inReceiverScope(node, sourceFile, badgeReceivers, bindings)) {
+                if (migrations_badgeSignals_data.VALUE_CHANGED_MEMBERS.includes(name))
+                    valueChanged.add(name);
+                else if (migrations_badgeSignals_data.PROTECTED_MEMBERS.includes(name))
+                    protectedAccess.add(name);
+            }
+            if (migrations_badgeSignals_data.STYLER_PRIVATE_MEMBERS.includes(name) && inReceiverScope(node, sourceFile, stylerReceivers, bindings)) {
+                stylerAccess.add(name);
+            }
+        }
+        node.forEachChild(visit);
+    };
+    visit(sourceFile);
+    return {
+        valueChanged,
+        protectedAccess,
+        stylerAccess,
+        unresolved: collectUnresolvedMentions(sourceFile, resolved, badgeTypeNames, badgeReceivers, bindings)
+    };
+}
+/** Pass A — rewrite value-safe programmatic reads of badge signal members in TypeScript code. */
+function migrateTsExpressions(content, fileName) {
+    const sourceFile = ts.createSourceFile(fileName, content, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+    const receivers = localTypeNames(sourceFile, migrations_badgeSignals_data.BADGE_TYPE).flatMap((name) => collectReceivers(sourceFile, name));
+    if (receivers.length === 0)
+        return content;
+    const edits = collectAccessEdits(sourceFile, receivers, collectBindings(sourceFile));
+    return edits.length > 0 ? applyEdits(content, edits) : content;
+}
+const VALUE_CHANGED_MESSAGE = [
+    '`badgeColor` is now a read-only InputSignal — read it as `badge.badgeColor()`. Its value also',
+    'changed: the getter used to return the CSS class `kbq-badge_<color>`, it now reports the raw color',
+    '(e.g. `error`). Programmatic writes (`badge.badgeColor = …`) are no longer possible — bind',
+    '`[badgeColor]` in the template instead. Migrate this by hand.'
+];
+const protectedMessage = (members) => `These KbqBadge members are gone: ${[...members].join(', ')}. \`iconItem\` was a content query the badge ` +
+    `itself never read, so there is nothing behind it to reach for.`;
+/** Emits precise, receiver-scoped warnings for the members that can't be auto-fixed. */
+function warnReceiverMembers(context, filePath, content) {
+    const sourceFile = ts.createSourceFile(filePath, content, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+    const { valueChanged, protectedAccess, stylerAccess, unresolved } = collectReceiverWarnings(sourceFile);
+    if (valueChanged.size > 0) {
+        utils_messages.logMessage(context.logger, [`${LABEL} ${filePath}`, ...VALUE_CHANGED_MESSAGE.map((line) => `  ${line}`)]);
+    }
+    if (protectedAccess.size > 0) {
+        utils_messages.logMessage(context.logger, [`${LABEL} ${filePath}`, `  ${protectedMessage(protectedAccess)}`]);
+    }
+    if (stylerAccess.size > 0) {
+        utils_messages.logMessage(context.logger, [
+            `${LABEL} ${filePath}`,
+            `  These KbqBadgeCssStyler members are now \`private\`: ${[...stylerAccess].join(', ')}. The directive ` +
+                `applies the icon spacing classes on its own — there is nothing left to drive from outside.`
+        ]);
+    }
+    if (unresolved.length > 0) {
+        utils_messages.logMessage(context.logger, [
+            `${LABEL} ${filePath}`,
+            `  ${migrations_badgeSignals_data.UNRESOLVED_RECEIVER_MESSAGE} ${unresolved.join(', ')}.`
+        ]);
+    }
+}
+/** Attribute-name prefixes that mark the value as an Angular expression rather than a literal. */
+const BINDING_PREFIX = /^(?:\[|\(|\*|bind-|bind(?:on)?-|on-)/;
+/**
+ * Walks a template's HTML AST, collecting what the rewrite needs: the reference variables bound to a
+ * `<kbq-badge>`, the source ranges that actually hold Angular expressions, and every other name the
+ * template introduces (so a `@for` variable or a foreign `#ref` sharing a badge ref's name is not rewritten).
+ */
+class TemplateScanner {
+    constructor(template) {
+        this.template = template;
+        /** Badge reference variables, each with the range it is visible in. */
+        this.badgeRefs = [];
+        this.otherNames = new Set();
+        this.expressions = [];
+        this.view = { start: 0, end: template.length };
+    }
+    visitElement(element) {
+        const isBadge = element.name === migrations_badgeSignals_data.BADGE_ELEMENT;
+        for (const attr of element.attrs ?? []) {
+            if (typeof attr.name !== 'string')
+                continue;
+            const reference = this.referenceName(attr.name);
+            if (reference !== undefined) {
+                if (isBadge)
+                    this.badgeRefs.push({ name: reference, ...this.view });
+                else
+                    this.otherNames.add(reference);
+                continue;
+            }
+            // `let-item` on an <ng-template> introduces a name the badge refs must not collide with.
+            if (attr.name.startsWith('let-')) {
+                this.otherNames.add(attr.name.slice(4));
+                continue;
+            }
+            this.collectAttributeExpression(attr);
+        }
+        // An <ng-template> is an embedded view of its own, like a block.
+        this.inView(element.name === 'ng-template' ? element.sourceSpan : undefined, () => this.visitChildren(element));
+    }
+    visitBlock(block) {
+        for (const parameter of block.parameters ?? []) {
+            const span = parameter.sourceSpan;
+            if (!span)
+                continue;
+            this.expressions.push({ start: span.start.offset, end: span.end.offset });
+            // `@for (badge of badges; track badge)` and `@if (x; as y)` introduce names of their own.
+            for (const match of String(parameter.expression ?? '').matchAll(/(?:^\s*|\b(?:as|let)\s+)([A-Za-z_$][\w$]*)\s*(?:\bof\b|\bin\b|=|$)/g)) {
+                this.otherNames.add(match[1]);
+            }
+        }
+        this.inView(block.sourceSpan, () => this.visitChildren(block));
+    }
+    /** Runs `walk` with the embedded view narrowed to `span`, if the node opens one. */
+    inView(span, walk) {
+        if (!span) {
+            walk();
+            return;
+        }
+        const outer = this.view;
+        this.view = { start: span.start.offset, end: span.end.offset };
+        walk();
+        this.view = outer;
+    }
+    visitText(text) {
+        const span = text.sourceSpan;
+        if (span)
+            this.collectInterpolations(span.start.offset, span.end.offset);
+    }
+    visitLetDeclaration(decl) {
+        if (decl.name)
+            this.otherNames.add(decl.name);
+        const span = decl.valueSpan ?? decl.sourceSpan;
+        if (span)
+            this.expressions.push({ start: span.start.offset, end: span.end.offset });
+    }
+    /** `#ref` / `ref-ref`, or `undefined` when the attribute is not a reference variable. */
+    referenceName(name) {
+        if (name.startsWith('#'))
+            return name.slice(1);
+        if (name.startsWith('ref-'))
+            return name.slice(4);
+        return undefined;
+    }
+    collectAttributeExpression(attr) {
+        const span = attr.valueSpan;
+        if (!span)
+            return;
+        const start = span.start.offset;
+        const end = span.end.offset;
+        // A binding's whole value is an expression; a plain attribute only holds interpolations.
+        if (BINDING_PREFIX.test(attr.name))
+            this.expressions.push({ start, end });
+        else
+            this.collectInterpolations(start, end);
+    }
+    collectInterpolations(start, end) {
+        for (const match of this.template.slice(start, end).matchAll(/\{\{([\s\S]*?)\}\}/g)) {
+            const from = start + match.index + 2;
+            this.expressions.push({ start: from, end: from + match[1].length });
+        }
+    }
+    visitChildren(node) {
+        for (const child of node.children ?? []) {
+            child.visit(this);
+        }
+    }
+    visitAttribute() { }
+    visitComment() { }
+    visitExpansion() { }
+    visitExpansionCase() { }
+    visitBlockParameter() { }
+}
+/**
+ * Matches `<ref>.<member>` inside an expression. The lookbehind rejects `item.badge.compact`, where `\b`
+ * alone would happily match `badge` after the dot; the two lookahead groups skip an already-migrated call
+ * and an assignment target, whose left side must not gain a `()`.
+ */
+function memberAccessPattern(ref) {
+    return new RegExp(`(?<![\\w$.])(${escapeRegExp(ref)})(\\??\\.)(${migrations_badgeSignals_data.SIGNAL_MEMBERS.join('|')})\\b(?!\\s*\\()(?!\\s*=(?!=))`, 'g');
+}
+/**
+ * Rewrites `ref.member` reads to `ref.member()`, only inside the given expression ranges. Restricting the
+ * rewrite to expressions is what keeps prose, comments and attribute names out of it.
+ */
+function rewriteRefReads(template, refs, expressions) {
+    const edits = [];
+    for (const { start, end } of expressions) {
+        const source = template.slice(start, end);
+        for (const ref of refs) {
+            if (start < ref.start || end > ref.end)
+                continue;
+            for (const match of source.matchAll(memberAccessPattern(ref.name))) {
+                const at = start + match.index + match[0].length;
+                edits.push({ start: at, end: at, text: '()' });
+            }
+        }
+    }
+    return edits.length > 0
+        ? { content: applyEdits(template, edits), changed: true }
+        : { content: template, changed: false };
+}
+/** Members read through a badge reference variable that no template can keep reading as-is. */
+function collectRefManualMembers(template, refs, expressions) {
+    const members = [...migrations_badgeSignals_data.VALUE_CHANGED_MEMBERS, ...migrations_badgeSignals_data.PROTECTED_MEMBERS];
+    const found = new Set();
+    for (const { start, end } of expressions) {
+        const source = template.slice(start, end);
+        for (const ref of refs) {
+            if (start < ref.start || end > ref.end)
+                continue;
+            const pattern = new RegExp(`(?<![\\w$.])${escapeRegExp(ref.name)}\\??\\.(${members.join('|')})\\b`, 'g');
+            for (const match of source.matchAll(pattern)) {
+                found.add(match[1]);
+            }
+        }
+    }
+    return found;
+}
+const untouched = (template) => ({
+    content: template,
+    changed: false,
+    manual: new Set(),
+    unparseable: false
+});
+/** Pass B (core) — parse a template, discover badge refs, rewrite their value-safe signal reads. */
+async function migrateTemplate(template) {
+    if (!template.includes(migrations_badgeSignals_data.BADGE_ELEMENT))
+        return untouched(template);
+    const parsed = await utils_typescript.parseTemplate(template);
+    if (!parsed.tree)
+        return { ...untouched(template), unparseable: true };
+    const scanner = new TemplateScanner(template);
+    utils_ast.visitAll(scanner, parsed.tree.rootNodes);
+    // A ref whose name is also introduced by a `@for`, an `@let` or a foreign `#ref` is ambiguous: the
+    // reads could belong to either, so neither is rewritten.
+    const refs = scanner.badgeRefs.filter((ref) => !scanner.otherNames.has(ref.name));
+    if (refs.length === 0)
+        return untouched(template);
+    return {
+        ...rewriteRefReads(template, refs, scanner.expressions),
+        manual: collectRefManualMembers(template, refs, scanner.expressions),
+        unparseable: false
+    };
+}
+/** Pass B (inline) — rewrite badge ref reads inside inline component templates. */
+async function migrateInlineTemplates(content, fileName) {
+    const sourceFile = ts.createSourceFile(fileName, content, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+    const ranges = utils_typescript.collectInlineTemplateRanges(sourceFile).sort((a, b) => b.start - a.start);
+    const manual = new Set();
+    let result = content;
+    let unparseable = false;
+    for (const { start, end } of ranges) {
+        const outcome = await migrateTemplate(result.slice(start, end));
+        for (const member of outcome.manual)
+            manual.add(member);
+        unparseable ||= outcome.unparseable;
+        if (outcome.changed) {
+            result = result.slice(0, start) + outcome.content + result.slice(end);
+        }
+    }
+    return { content: result, manual, unparseable };
+}
+function logWarnings(context, filePath, content) {
+    for (const { anchor, pattern, message } of migrations_badgeSignals_data.warnPatterns) {
+        if (!new RegExp(anchor).test(content) || !new RegExp(pattern).test(content))
+            continue;
+        utils_messages.logMessage(context.logger, [`${LABEL} ${filePath}`, `  ${message}`]);
+    }
+}
+/** Reports the members a template reads through a badge ref that the rewrite deliberately left alone. */
+function warnTemplateMembers(context, filePath, manual) {
+    if (manual.size === 0)
+        return;
+    const messages = [`${LABEL} ${filePath}`];
+    if (migrations_badgeSignals_data.VALUE_CHANGED_MEMBERS.some((member) => manual.has(member))) {
+        messages.push(...VALUE_CHANGED_MESSAGE.map((line) => `  ${line}`));
+    }
+    const gone = migrations_badgeSignals_data.PROTECTED_MEMBERS.filter((member) => manual.has(member));
+    if (gone.length > 0)
+        messages.push(`  ${protectedMessage(gone)}`);
+    utils_messages.logMessage(context.logger, messages);
+}
+/**
+ * A `.ts` file is a badge consumer if it names any of the exported symbols, imports the package, or renders
+ * the element in an inline template — a component that only imports `KbqBadgeModule` names none of the types.
+ */
+function referencesBadge(content) {
+    return /\bKbqBadge\w*\b/.test(content) || content.includes(migrations_badgeSignals_data.BADGE_PACKAGE) || content.includes(`<${migrations_badgeSignals_data.BADGE_ELEMENT}`);
+}
+function badgeSignals(options) {
+    return async (tree, context) => {
+        const { project } = options;
+        // `ng update` runs the migration without a schema, so `fix` arrives undefined: default it to on,
+        // otherwise the update would report what it would change and write nothing.
+        const fix = options.fix ?? true;
+        const projectDefinition = await utils_packageConfig.setupOptions(project, tree);
+        const root = projectDefinition?.root ?? '';
+        const rootDir = root ? tree.getDir(root) : tree.root;
+        const tsPaths = [];
+        const htmlPaths = [];
+        utils_projectFiles.visitProjectFiles(rootDir, (filePath) => {
+            if (filePath.endsWith(TS_EXT))
+                tsPaths.push(filePath);
+            else if (filePath.endsWith(HTML_EXT))
+                htmlPaths.push(filePath);
+        });
+        let touched = 0;
+        let consumers = 0;
+        const commit = (filePath, original, updated) => {
+            if (updated === original)
+                return;
+            touched++;
+            if (fix) {
+                tree.overwrite(filePath, updated);
+            }
+            else {
+                utils_messages.logMessage(context.logger, [`${LABEL} would update ${filePath} (run with --fix to apply)`]);
+            }
+        };
+        for (const filePath of tsPaths) {
+            const original = tree.read(filePath)?.toString();
+            if (!original || !referencesBadge(original))
+                continue;
+            consumers++;
+            logWarnings(context, filePath, original);
+            warnReceiverMembers(context, filePath, original);
+            const content = migrateTsExpressions(original, filePath);
+            const inline = await migrateInlineTemplates(content, filePath);
+            warnTemplateMembers(context, filePath, inline.manual);
+            if (inline.unparseable) {
+                utils_messages.logMessage(context.logger, [`${LABEL} ${filePath}`, `  ${migrations_badgeSignals_data.UNPARSEABLE_TEMPLATE_MESSAGE}`]);
+            }
+            commit(filePath, original, inline.content);
+        }
+        for (const filePath of htmlPaths) {
+            const original = tree.read(filePath)?.toString();
+            if (!original || !original.includes(`<${migrations_badgeSignals_data.BADGE_ELEMENT}`))
+                continue;
+            consumers++;
+            const outcome = await migrateTemplate(original);
+            warnTemplateMembers(context, filePath, outcome.manual);
+            if (outcome.unparseable) {
+                utils_messages.logMessage(context.logger, [`${LABEL} ${filePath}`, `  ${migrations_badgeSignals_data.UNPARSEABLE_TEMPLATE_MESSAGE}`]);
+            }
+            commit(filePath, original, outcome.content);
+        }
+        // Nothing here uses the badge, so the summary would only be noise.
+        if (consumers === 0)
+            return;
+        utils_messages.logMessage(context.logger, [
+            `${LABEL} processed tree under "${root || '<workspace root>'}", ` +
+                `${fix ? 'updated' : 'would update'} ${touched} file(s).`,
+            ...migrations_badgeSignals_data.SUMMARY
+        ]);
+    };
+}
+
+exports.default = badgeSignals;