legend-doctor 0.1.0

package/dist/src/practices/observable-bindings.js

@@ -0,0 +1,173 @@
+import { expressionIsObservablePath, isObservableFactoryCall, observablePathWithElementAccess, typeNamesObservable, typeQueriesObservable, } from "./observable-paths.js";
+import { isImportedHookCall } from "../core/imports.js";
+import ts from "typescript";
+import { unwrapTransparentExpression } from "../core/analysis-ast.js";
+import { visit } from "../core/ast.js";
+export function resolveObservableBindings(request, imports) {
+    const lacksObservableSources = imports.observable.size === 0 &&
+        imports.legendNamespaces.size === 0 &&
+        imports.useObservable.size === 0 &&
+        imports.syncState.size === 0 &&
+        imports.useComputed.size === 0 &&
+        imports.observableTypes.size === 0 &&
+        request.importedObservables.size === 0 &&
+        request.importedObservableFactories.size === 0;
+    if (lacksObservableSources) {
+        return new Set();
+    }
+    return collectObservableBindings(request, imports);
+}
+function collectObservableBindings(request, imports) {
+    const scan = {
+        aliases: [],
+        declarations: new Map(),
+        directCandidates: new Set(request.importedObservables),
+        factoryBindings: new Set(request.importedObservableFactories),
+        factoryCalls: [],
+        imports,
+        typeQueries: [],
+        useValueInputs: new Set(),
+    };
+    visit(request.sourceFile, (node) => {
+        recordBindingNode(node, scan);
+    });
+    const candidates = seedCandidates(scan);
+    resolveAliasCandidates(scan, candidates);
+    return candidates;
+}
+function recordBindingNode(node, scan) {
+    recordUseValueInput(node, scan);
+    recordObservableFactoryDeclaration(node, scan);
+    recordDeclaredName(node, scan);
+}
+function recordUseValueInput(node, scan) {
+    if (!ts.isCallExpression(node) ||
+        !isImportedHookCall({
+            call: node,
+            localNames: scan.imports.useValue,
+            namespaceNames: scan.imports.legendReactNamespaces,
+            canonicalName: "useValue",
+        }) ||
+        node.arguments.length === 0) {
+        return;
+    }
+    const input = unwrapTransparentExpression(node.arguments[0]);
+    if (ts.isIdentifier(input)) {
+        scan.useValueInputs.add(input.text);
+    }
+}
+function recordObservableFactoryDeclaration(node, scan) {
+    if (ts.isFunctionDeclaration(node) &&
+        node.name &&
+        node.type &&
+        typeNamesObservable(node.type, scan.imports.observableTypes)) {
+        scan.factoryBindings.add(node.name.text);
+    }
+}
+function recordDeclaredName(node, scan) {
+    if (ts.isImportClause(node) && node.name) {
+        recordDeclaration(scan.declarations, node.name.text);
+    }
+    else if (ts.isImportSpecifier(node)) {
+        recordDeclaration(scan.declarations, node.name.text);
+    }
+    else if (isNamedVariableDeclaration(node)) {
+        recordVariableBinding(node, scan);
+    }
+    else if (isNamedParameter(node)) {
+        recordParameterBinding(node, scan);
+    }
+    else if ((ts.isFunctionDeclaration(node) || ts.isClassDeclaration(node)) && node.name) {
+        recordDeclaration(scan.declarations, node.name.text);
+    }
+}
+function isNamedVariableDeclaration(node) {
+    return ts.isVariableDeclaration(node) && ts.isIdentifier(node.name);
+}
+function isNamedParameter(node) {
+    return ts.isParameter(node) && ts.isIdentifier(node.name);
+}
+function recordVariableBinding(declaration, scan) {
+    const name = declaration.name.text;
+    recordDeclaration(scan.declarations, name);
+    recordAnnotatedBinding(declaration.type, name, scan);
+    if (declaration.initializer) {
+        scan.factoryCalls.push({ initializer: declaration.initializer, name });
+        if (!declaration.type && declarationIsConst(declaration)) {
+            scan.aliases.push({ initializer: declaration.initializer, name });
+        }
+    }
+}
+function recordParameterBinding(parameter, scan) {
+    const name = parameter.name.text;
+    recordDeclaration(scan.declarations, name);
+    recordAnnotatedBinding(parameter.type, name, scan);
+}
+function recordAnnotatedBinding(type, name, scan) {
+    if (!type) {
+        return;
+    }
+    if (typeNamesObservable(type, scan.imports.observableTypes)) {
+        scan.directCandidates.add(name);
+    }
+    else {
+        scan.typeQueries.push({ name, type });
+    }
+}
+function seedCandidates(scan) {
+    const uniqueFactories = new Set([...scan.factoryBindings].filter((name) => scan.declarations.get(name) === 1));
+    const candidates = new Set([...scan.directCandidates].filter((name) => scan.declarations.get(name.split(".")[0]) === 1));
+    for (const candidate of scan.factoryCalls) {
+        if (scan.declarations.get(candidate.name) === 1 &&
+            isObservableFactoryCall(candidate.initializer, scan.imports, uniqueFactories)) {
+            candidates.add(candidate.name);
+        }
+    }
+    return candidates;
+}
+function resolveAliasCandidates(scan, candidates) {
+    let changed = true;
+    while (changed) {
+        changed = resolveCandidatePass(scan, candidates);
+    }
+}
+function resolveCandidatePass(scan, candidates) {
+    let changed = false;
+    for (const alias of scan.aliases) {
+        changed = resolveAliasCandidate(alias, scan, candidates) || changed;
+    }
+    for (const query of scan.typeQueries) {
+        changed = resolveTypeQueryCandidate(query, scan, candidates) || changed;
+    }
+    return changed;
+}
+function resolveAliasCandidate(alias, scan, candidates) {
+    if (scan.declarations.get(alias.name) !== 1 || candidates.has(alias.name)) {
+        return false;
+    }
+    const readsDynamicKey = scan.useValueInputs.has(alias.name) &&
+        observablePathWithElementAccess(alias.initializer, candidates);
+    if (readsDynamicKey || expressionIsObservablePath(alias.initializer, candidates)) {
+        candidates.add(alias.name);
+        return true;
+    }
+    return false;
+}
+function resolveTypeQueryCandidate(query, scan, candidates) {
+    if (scan.declarations.get(query.name) !== 1 || candidates.has(query.name)) {
+        return false;
+    }
+    if (!typeQueriesObservable(query.type, candidates)) {
+        return false;
+    }
+    candidates.add(query.name);
+    return true;
+}
+function recordDeclaration(counts, name) {
+    counts.set(name, (counts.get(name) ?? 0) + 1);
+}
+function declarationIsConst(declaration) {
+    return (ts.isVariableDeclarationList(declaration.parent) &&
+        (declaration.parent.flags & ts.NodeFlags.Const) !== 0);
+}
+//# sourceMappingURL=observable-bindings.js.map

package/dist/src/practices/observable-bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-bindings.js","sourceRoot":"","sources":["../../../src/practices/observable-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAC1B,uBAAuB,EACvB,+BAA+B,EAC/B,mBAAmB,EACnB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AA2BvC,MAAM,UAAU,yBAAyB,CACvC,OAA+B,EAC/B,OAAoB;IAEpB,MAAM,sBAAsB,GAC1B,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;QAC7B,OAAO,CAAC,gBAAgB,CAAC,IAAI,KAAK,CAAC;QACnC,OAAO,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC;QAChC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;QAC5B,OAAO,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC;QAC9B,OAAO,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC;QAClC,OAAO,CAAC,mBAAmB,CAAC,IAAI,KAAK,CAAC;QACtC,OAAO,CAAC,2BAA2B,CAAC,IAAI,KAAK,CAAC,CAAC;IACjD,IAAI,sBAAsB,EAAE,CAAC;QAC3B,OAAO,IAAI,GAAG,EAAU,CAAC;IAC3B,CAAC;IACD,OAAO,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,yBAAyB,CAChC,OAA+B,EAC/B,OAAoB;IAEpB,MAAM,IAAI,GAAgB;QACxB,OAAO,EAAE,EAAE;QACX,YAAY,EAAE,IAAI,GAAG,EAAE;QACvB,gBAAgB,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC;QACtD,eAAe,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,2BAA2B,CAAC;QAC7D,YAAY,EAAE,EAAE;QAChB,OAAO;QACP,WAAW,EAAE,EAAE;QACf,cAAc,EAAE,IAAI,GAAG,EAAE;KAC1B,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACjC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACxC,sBAAsB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzC,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAa,EAAE,IAAiB;IACzD,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,kCAAkC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/C,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAa,EAAE,IAAiB;IAC3D,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAC1B,CAAC,kBAAkB,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ;YACjC,cAAc,EAAE,IAAI,CAAC,OAAO,CAAC,qBAAqB;YAClD,aAAa,EAAE,UAAU;SAC1B,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAC3B,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;AACH,CAAC;AAED,SAAS,kCAAkC,CAAC,IAAa,EAAE,IAAiB;IAC1E,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;QAC9B,IAAI,CAAC,IAAI;QACT,IAAI,CAAC,IAAI;QACT,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,EAC5D,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAa,EAAE,IAAiB;IAC1D,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACzC,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;SAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;SAAM,IAAI,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;SAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACxF,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAa;IAC/C,OAAO,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,OAAO,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAqC,EAAE,IAAiB;IACrF,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;IACnC,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC3C,sBAAsB,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACrD,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,WAAW,CAAC,IAAI,IAAI,kBAAkB,CAAC,WAAW,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,SAAyB,EAAE,IAAiB;IAC1E,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IACjC,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IAC3C,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAA6B,EAC7B,IAAY,EACZ,IAAiB;IAEjB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;IACT,CAAC;IACD,IAAI,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACxC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,IAAiB;IACvC,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAC9E,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,CAC9F,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC1C,IACE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;YAC3C,uBAAuB,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,EAC7E,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAiB,EAAE,UAAuB;IACxE,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAiB,EAAE,UAAuB;IACtE,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,OAAO,GAAG,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,OAAO,GAAG,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC;IAC1E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAmB,EACnB,IAAiB,EACjB,UAAuB;IAEvB,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,eAAe,GACnB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,+BAA+B,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACjE,IAAI,eAAe,IAAI,0BAA0B,CAAC,KAAK,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;QACjF,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,yBAAyB,CAChC,KAAuB,EACvB,IAAiB,EACjB,UAAuB;IAEvB,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QACnD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,MAA2B,EAAE,IAAY;IAClE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAmC;IAC7D,OAAO,CACL,EAAE,CAAC,yBAAyB,CAAC,WAAW,CAAC,MAAM,CAAC;QAChD,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CACtD,CAAC;AACJ,CAAC"}

package/dist/src/practices/observable-paths.d.ts

@@ -0,0 +1,8 @@
+import type { HookImports } from "../core/imports.js";
+import ts from "typescript";
+export declare function observablePathWithElementAccess(expression: ts.Expression, observableBindings: ReadonlySet<string>): boolean;
+export declare function isObservableFactoryCall(expression: ts.Expression, imports: HookImports, projectFactories: ReadonlySet<string>): boolean;
+export declare function expressionIsObservablePath(expression: ts.Expression, observableBindings: ReadonlySet<string>): boolean;
+export declare function typeQueriesObservable(type: ts.TypeNode, observableBindings: ReadonlySet<string>): boolean;
+export declare function typeNamesObservable(type: ts.TypeNode, names: ReadonlySet<string>): boolean;
+//# sourceMappingURL=observable-paths.d.ts.map

package/dist/src/practices/observable-paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-paths.d.ts","sourceRoot":"","sources":["../../../src/practices/observable-paths.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,GACtC,OAAO,CAWT;AAiBD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,WAAW,EACpB,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,GACpC,OAAO,CAoBT;AAED,wBAAgB,0BAA0B,CACxC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,GACtC,OAAO,CAeT;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,QAAQ,EACjB,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,GACtC,OAAO,CAST;AAgBD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,OAAO,CAU1F"}

package/dist/src/practices/observable-paths.js

@@ -0,0 +1,88 @@
+import { propertyPathHasBinding, staticPathHasBinding, unwrapTransparentExpression, } from "../core/analysis-ast.js";
+import { RESERVED_OBSERVABLE_MEMBERS } from "../rules/observable-reads/observable-paths.js";
+import ts from "typescript";
+export function observablePathWithElementAccess(expression, observableBindings) {
+    let current = unwrapTransparentExpression(expression);
+    let hasDynamicKey = false;
+    while (ts.isPropertyAccessExpression(current) || ts.isElementAccessExpression(current)) {
+        if (current.questionDotToken || accessesReservedMember(current)) {
+            return false;
+        }
+        hasDynamicKey ||= ts.isElementAccessExpression(current);
+        current = unwrapTransparentExpression(current.expression);
+    }
+    return hasDynamicKey && ts.isIdentifier(current) && observableBindings.has(current.text);
+}
+function accessesReservedMember(access) {
+    if (ts.isPropertyAccessExpression(access)) {
+        return RESERVED_OBSERVABLE_MEMBERS.has(access.name.text);
+    }
+    if (!access.argumentExpression) {
+        return true;
+    }
+    const member = unwrapTransparentExpression(access.argumentExpression);
+    return ts.isStringLiteralLike(member) && RESERVED_OBSERVABLE_MEMBERS.has(member.text);
+}
+const OBSERVABLE_FACTORY_MEMBERS = new Set(["observable", "syncState"]);
+export function isObservableFactoryCall(expression, imports, projectFactories) {
+    const value = unwrapTransparentExpression(expression);
+    if (!ts.isCallExpression(value)) {
+        return false;
+    }
+    if (ts.isIdentifier(value.expression)) {
+        return (imports.observable.has(value.expression.text) ||
+            imports.syncState.has(value.expression.text) ||
+            imports.useComputed.has(value.expression.text) ||
+            imports.useObservable.has(value.expression.text) ||
+            projectFactories.has(value.expression.text));
+    }
+    return (ts.isPropertyAccessExpression(value.expression) &&
+        ts.isIdentifier(value.expression.expression) &&
+        imports.legendNamespaces.has(value.expression.expression.text) &&
+        OBSERVABLE_FACTORY_MEMBERS.has(value.expression.name.text));
+}
+export function expressionIsObservablePath(expression, observableBindings) {
+    const value = unwrapTransparentExpression(expression);
+    if (!ts.isIdentifier(value) && !ts.isPropertyAccessExpression(value)) {
+        return false;
+    }
+    for (let current = value; ts.isPropertyAccessExpression(current); current = current.expression) {
+        if (RESERVED_OBSERVABLE_MEMBERS.has(current.name.text)) {
+            return false;
+        }
+    }
+    return staticPathHasBinding(value, observableBindings);
+}
+export function typeQueriesObservable(type, observableBindings) {
+    if (ts.isParenthesizedTypeNode(type)) {
+        return typeQueriesObservable(type.type, observableBindings);
+    }
+    if (!ts.isTypeQueryNode(type)) {
+        return false;
+    }
+    const path = unreservedEntityNamePath(type.exprName);
+    return path !== null && propertyPathHasBinding(path, observableBindings);
+}
+function unreservedEntityNamePath(exprName) {
+    const path = [];
+    let current = exprName;
+    while (ts.isQualifiedName(current)) {
+        if (RESERVED_OBSERVABLE_MEMBERS.has(current.right.text)) {
+            return null;
+        }
+        path.unshift(current.right.text);
+        current = current.left;
+    }
+    path.unshift(current.text);
+    return path;
+}
+export function typeNamesObservable(type, names) {
+    if (ts.isParenthesizedTypeNode(type)) {
+        return typeNamesObservable(type.type, names);
+    }
+    if (ts.isUnionTypeNode(type)) {
+        return type.types.some((member) => typeNamesObservable(member, names));
+    }
+    return (ts.isTypeReferenceNode(type) && ts.isIdentifier(type.typeName) && names.has(type.typeName.text));
+}
+//# sourceMappingURL=observable-paths.js.map

package/dist/src/practices/observable-paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-paths.js","sourceRoot":"","sources":["../../../src/practices/observable-paths.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,oBAAoB,EACpB,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,UAAU,+BAA+B,CAC7C,UAAyB,EACzB,kBAAuC;IAEvC,IAAI,OAAO,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,OAAO,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvF,IAAI,OAAO,CAAC,gBAAgB,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;YAChE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,aAAa,KAAK,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;QACxD,OAAO,GAAG,2BAA2B,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,aAAa,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,sBAAsB,CAC7B,MAAgE;IAEhE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,OAAO,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,2BAA2B,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACtE,OAAO,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,2BAA2B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AACxF,CAAC;AAED,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;AAExE,MAAM,UAAU,uBAAuB,CACrC,UAAyB,EACzB,OAAoB,EACpB,gBAAqC;IAErC,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,OAAO,CACL,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;YAC7C,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;YAC5C,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;YAC9C,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;YAChD,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC;QAC5C,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;QAC9D,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,UAAyB,EACzB,kBAAuC;IAEvC,MAAM,KAAK,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KACE,IAAI,OAAO,GAAkB,KAAK,EAClC,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EACtC,OAAO,GAAG,OAAO,CAAC,UAAU,EAC5B,CAAC;QACD,IAAI,2BAA2B,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAiB,EACjB,kBAAuC;IAEvC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD,OAAO,IAAI,KAAK,IAAI,IAAI,sBAAsB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAuB;IACvD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,OAAO,GAAkB,QAAQ,CAAC;IACtC,OAAO,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,IAAI,2BAA2B,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,IAAiB,EAAE,KAA0B;IAC/E,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,CACL,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAChG,CAAC;AACJ,CAAC"}

package/dist/src/practices/observable-writes.d.ts

@@ -0,0 +1,6 @@
+import type { HookImports } from "../core/imports.js";
+import type { ObservableWrite } from "./model.js";
+import ts from "typescript";
+export declare function observableWrite(statement: ts.Statement, observableBindings: ReadonlySet<string>, sourceFile: ts.SourceFile): ObservableWrite | null;
+export declare function isInsideBatch(call: ts.CallExpression, imports: HookImports): boolean;
+//# sourceMappingURL=observable-writes.d.ts.map

package/dist/src/practices/observable-writes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-writes.d.ts","sourceRoot":"","sources":["../../../src/practices/observable-writes.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAElD,OAAO,EAAE,MAAM,YAAY,CAAC;AA6B5B,wBAAgB,eAAe,CAC7B,SAAS,EAAE,EAAE,CAAC,SAAS,EACvB,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,EACvC,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,eAAe,GAAG,IAAI,CAmBxB;AAYD,wBAAgB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,OAAO,EAAE,WAAW,GAAG,OAAO,CAmBpF"}

package/dist/src/practices/observable-writes.js

@@ -0,0 +1,69 @@
+import { containsElementAccess, rootIdentifier, unwrapTransparentExpression, } from "../core/analysis-ast.js";
+import { expressionIsObservablePath } from "./observable-paths.js";
+import ts from "typescript";
+import { visit } from "../core/ast.js";
+function setCallStatement(statement) {
+    if (!ts.isExpressionStatement(statement)) {
+        return null;
+    }
+    const expression = unwrapTransparentExpression(statement.expression);
+    if (!ts.isCallExpression(expression) || !ts.isPropertyAccessExpression(expression.expression)) {
+        return null;
+    }
+    const [argument] = expression.arguments;
+    if (expression.expression.name.text !== "set" ||
+        expression.arguments.length !== 1 ||
+        !argument ||
+        containsAwaitOrYield(argument)) {
+        return null;
+    }
+    return { argument, call: expression, receiver: expression.expression.expression };
+}
+export function observableWrite(statement, observableBindings, sourceFile) {
+    const setCall = setCallStatement(statement);
+    if (!setCall || containsElementAccess(setCall.receiver)) {
+        return null;
+    }
+    const { receiver } = setCall;
+    const root = rootIdentifier(receiver);
+    if (!root || !expressionIsObservablePath(receiver, observableBindings)) {
+        return null;
+    }
+    const field = ts.isPropertyAccessExpression(receiver) ? receiver : null;
+    return {
+        argument: setCall.argument,
+        call: setCall.call,
+        parentPath: field ? field.expression.getText(sourceFile) : null,
+        path: receiver.getText(sourceFile),
+        property: field?.name.text ?? null,
+        root: root.text,
+    };
+}
+function containsAwaitOrYield(node) {
+    let found = false;
+    visit(node, (current) => {
+        if (ts.isAwaitExpression(current) || ts.isYieldExpression(current)) {
+            found = true;
+        }
+    });
+    return found;
+}
+export function isInsideBatch(call, imports) {
+    for (let current = call.parent; current; current = current.parent) {
+        if (!ts.isCallExpression(current)) {
+            continue;
+        }
+        const { expression } = current;
+        if (ts.isIdentifier(expression) && imports.batch.has(expression.text)) {
+            return true;
+        }
+        if (ts.isPropertyAccessExpression(expression) &&
+            ts.isIdentifier(expression.expression) &&
+            imports.legendNamespaces.has(expression.expression.text) &&
+            expression.name.text === "batch") {
+            return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=observable-writes.js.map

package/dist/src/practices/observable-writes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observable-writes.js","sourceRoot":"","sources":["../../../src/practices/observable-writes.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,cAAc,EACd,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAQvC,SAAS,gBAAgB,CAAC,SAAuB;IAC/C,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,2BAA2B,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrE,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;IACxC,IACE,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACzC,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QACjC,CAAC,QAAQ;QACT,oBAAoB,CAAC,QAAQ,CAAC,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,SAAuB,EACvB,kBAAuC,EACvC,UAAyB;IAEzB,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC5C,IAAI,CAAC,OAAO,IAAI,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAC7B,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,IAAI,CAAC,0BAA0B,CAAC,QAAQ,EAAE,kBAAkB,CAAC,EAAE,CAAC;QACvE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;QAC/D,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC;QAClC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,IAAI;QAClC,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAa;IACzC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;QACtB,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,CAAC;YACnE,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,IAAuB,EAAE,OAAoB;IACzE,KAAK,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACvF,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,SAAS;QACX,CAAC;QACD,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACtE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IACE,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC;YACzC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC;YACtC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;YACxD,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAChC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/practices/practice-rules.d.ts

@@ -0,0 +1,31 @@
+import type { FileCapabilities } from "../project/capabilities.js";
+import type { HookImports } from "../core/imports.js";
+import type { LegendPracticeFinding } from "../core/types.js";
+import type { LegendPracticesRequest } from "./model.js";
+export type PracticeRuleId = "derived-use-value" | "legacy-use-value" | "observable-clone-writes" | "observable-ownership" | "observable-reads" | "observable-toggle" | "observable-tracking" | "observable-transactions";
+export type PracticeRuleGateReason = "legend-v2-tracking" | "react-compiler" | "use-value-export-missing";
+export interface PracticeRuleGate {
+    readonly detail: string;
+    readonly reason: PracticeRuleGateReason;
+}
+export interface PracticeRuleInput {
+    readonly imports: HookImports;
+    readonly observableBindings: ReadonlySet<string>;
+    readonly observableKeys: ReadonlyMap<string, ReadonlySet<string>>;
+    readonly request: LegendPracticesRequest;
+}
+export interface PracticeRule {
+    /** Names the toolchain fact that makes the rule moot, or null when the rule applies. */
+    readonly disabledWhen?: (capabilities: FileCapabilities) => PracticeRuleGate | null;
+    readonly id: PracticeRuleId;
+    /** The rule reads observable bindings and has nothing to report without one. */
+    readonly needsObservableBindings: boolean;
+    readonly run: (input: PracticeRuleInput) => readonly LegendPracticeFinding[];
+}
+export interface DisabledPracticeRule extends PracticeRuleGate {
+    readonly rule: PracticeRuleId;
+}
+export declare const PRACTICE_RULES: readonly PracticeRule[];
+export declare function disabledPracticeRules(capabilities: FileCapabilities): DisabledPracticeRule[];
+export declare function enabledPracticeRules(capabilities: FileCapabilities): PracticeRule[];
+//# sourceMappingURL=practice-rules.d.ts.map

package/dist/src/practices/practice-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"practice-rules.d.ts","sourceRoot":"","sources":["../../../src/practices/practice-rules.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAUzD,MAAM,MAAM,cAAc,GACtB,mBAAmB,GACnB,kBAAkB,GAClB,yBAAyB,GACzB,sBAAsB,GACtB,kBAAkB,GAClB,mBAAmB,GACnB,qBAAqB,GACrB,yBAAyB,CAAC;AAE9B,MAAM,MAAM,sBAAsB,GAC9B,oBAAoB,GACpB,gBAAgB,GAChB,0BAA0B,CAAC;AAE/B,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;CACzC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;CAC1C;AAED,MAAM,WAAW,YAAY;IAC3B,wFAAwF;IACxF,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,EAAE,gBAAgB,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACpF,QAAQ,CAAC,EAAE,EAAE,cAAc,CAAC;IAC5B,gFAAgF;IAChF,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,iBAAiB,KAAK,SAAS,qBAAqB,EAAE,CAAC;CAC9E;AAED,MAAM,WAAW,oBAAqB,SAAQ,gBAAgB;IAC5D,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC/B;AA2BD,eAAO,MAAM,cAAc,EAAE,SAAS,YAAY,EA6FjD,CAAC;AAEF,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,gBAAgB,GAAG,oBAAoB,EAAE,CAK5F;AAED,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,gBAAgB,GAAG,YAAY,EAAE,CAEnF"}

package/dist/src/practices/practice-rules.js

@@ -0,0 +1,120 @@
+import { collectTransactionFindings } from "./transaction-runs.js";
+import { findDerivedUseValuePractices } from "../rules/derived-use-value/derived-use-value.js";
+import { findLegacyUseValuePractices } from "../rules/legacy-use-value.js";
+import { findObservableCloneWritePractices } from "../rules/observable-clone-writes/observable-clone-writes.js";
+import { findObservableOwnershipPractices } from "../rules/observable-ownership/observable-ownership.js";
+import { findObservableReadPractices } from "../rules/observable-reads/observable-reads.js";
+import { findObservableTogglePractices } from "../rules/observable-toggle.js";
+import { findObservableTrackingPractices } from "../rules/observable-tracking/observable-tracking.js";
+const REACT_COMPILER_GATE = {
+    detail: "the React Compiler memoizes by reference, so in-place observable writes would leave memoized consumers stale",
+    reason: "react-compiler",
+};
+const USE_VALUE_MISSING_GATE = {
+    detail: "the installed @legendapp/state/react entry point does not export useValue",
+    reason: "use-value-export-missing",
+};
+const LEGEND_V2_TRACKING_GATE = {
+    detail: "@legendapp/state 2.x can track render-time get() calls through enableReactTracking({ auto: true }), an app-wide setting the analyzer cannot see",
+    reason: "legend-v2-tracking",
+};
+const FIRST_VERSION_WITHOUT_AUTO_TRACKING = 3;
+function isLegendBeforeV3(capabilities) {
+    const version = capabilities.legendState?.version;
+    const major = version === undefined ? Number.NaN : Number(version.split(".")[0]);
+    return Number.isInteger(major) && major < FIRST_VERSION_WITHOUT_AUTO_TRACKING;
+}
+export const PRACTICE_RULES = [
+    {
+        disabledWhen: (capabilities) => capabilities.legendState?.useValueExport === "missing" ? USE_VALUE_MISSING_GATE : null,
+        id: "legacy-use-value",
+        needsObservableBindings: false,
+        run: ({ imports, observableBindings, request }) => findLegacyUseValuePractices({
+            fileName: request.fileName,
+            imports,
+            installedLegendState: request.capabilities.legendState,
+            observableBindings,
+            sourceFile: request.sourceFile,
+        }),
+    },
+    {
+        id: "observable-transactions",
+        needsObservableBindings: true,
+        run: ({ imports, observableBindings, request }) => collectTransactionFindings({
+            fileName: request.fileName,
+            imports,
+            observableBindings,
+            sourceFile: request.sourceFile,
+        }),
+    },
+    {
+        id: "observable-reads",
+        needsObservableBindings: true,
+        run: ({ imports, observableBindings, observableKeys, request }) => findObservableReadPractices({
+            childContracts: request.childContracts,
+            fileName: request.fileName,
+            imports,
+            observableBindings,
+            observableKeys,
+            sourceFile: request.sourceFile,
+        }),
+    },
+    {
+        disabledWhen: (capabilities) => (capabilities.reactCompiler ? REACT_COMPILER_GATE : null),
+        id: "observable-clone-writes",
+        needsObservableBindings: true,
+        run: ({ imports, observableBindings, request }) => findObservableCloneWritePractices({
+            fileName: request.fileName,
+            importedObservableArrayPaths: request.importedObservableArrayPaths,
+            imports,
+            observableBindings,
+            sourceFile: request.sourceFile,
+        }),
+    },
+    {
+        id: "observable-toggle",
+        needsObservableBindings: true,
+        run: ({ observableBindings, request }) => findObservableTogglePractices(request.sourceFile, request.fileName, observableBindings),
+    },
+    {
+        disabledWhen: (capabilities) => isLegendBeforeV3(capabilities) ? LEGEND_V2_TRACKING_GATE : null,
+        id: "observable-tracking",
+        needsObservableBindings: true,
+        run: ({ imports, observableBindings, request }) => findObservableTrackingPractices({
+            fileName: request.fileName,
+            imports,
+            observableBindings,
+            sourceFile: request.sourceFile,
+        }),
+    },
+    {
+        id: "derived-use-value",
+        needsObservableBindings: true,
+        run: ({ imports, observableBindings, request }) => findDerivedUseValuePractices({
+            fileName: request.fileName,
+            imports,
+            observableBindings,
+            sourceFile: request.sourceFile,
+        }),
+    },
+    {
+        id: "observable-ownership",
+        needsObservableBindings: true,
+        run: ({ imports, observableBindings, request }) => findObservableOwnershipPractices({
+            fileName: request.fileName,
+            imports,
+            observableBindings,
+            sourceFile: request.sourceFile,
+        }),
+    },
+];
+export function disabledPracticeRules(capabilities) {
+    return PRACTICE_RULES.flatMap((rule) => {
+        const gate = rule.disabledWhen?.(capabilities) ?? null;
+        return gate ? [{ ...gate, rule: rule.id }] : [];
+    });
+}
+export function enabledPracticeRules(capabilities) {
+    return PRACTICE_RULES.filter((rule) => (rule.disabledWhen?.(capabilities) ?? null) === null);
+}
+//# sourceMappingURL=practice-rules.js.map

package/dist/src/practices/practice-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"practice-rules.js","sourceRoot":"","sources":["../../../src/practices/practice-rules.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,4BAA4B,EAAE,MAAM,iDAAiD,CAAC;AAC/F,OAAO,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EAAE,iCAAiC,EAAE,MAAM,6DAA6D,CAAC;AAChH,OAAO,EAAE,gCAAgC,EAAE,MAAM,uDAAuD,CAAC;AACzG,OAAO,EAAE,2BAA2B,EAAE,MAAM,+CAA+C,CAAC;AAC5F,OAAO,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAAE,+BAA+B,EAAE,MAAM,qDAAqD,CAAC;AA0CtG,MAAM,mBAAmB,GAAqB;IAC5C,MAAM,EACJ,8GAA8G;IAChH,MAAM,EAAE,gBAAgB;CACzB,CAAC;AAEF,MAAM,sBAAsB,GAAqB;IAC/C,MAAM,EAAE,2EAA2E;IACnF,MAAM,EAAE,0BAA0B;CACnC,CAAC;AAEF,MAAM,uBAAuB,GAAqB;IAChD,MAAM,EACJ,iJAAiJ;IACnJ,MAAM,EAAE,oBAAoB;CAC7B,CAAC;AAEF,MAAM,mCAAmC,GAAG,CAAC,CAAC;AAE9C,SAAS,gBAAgB,CAAC,YAA8B;IACtD,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC;IAClD,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,mCAAmC,CAAC;AAChF,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAA4B;IACrD;QACE,YAAY,EAAE,CAAC,YAAY,EAAE,EAAE,CAC7B,YAAY,CAAC,WAAW,EAAE,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI;QACxF,EAAE,EAAE,kBAAkB;QACtB,uBAAuB,EAAE,KAAK;QAC9B,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,2BAA2B,CAAC;YAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO;YACP,oBAAoB,EAAE,OAAO,CAAC,YAAY,CAAC,WAAW;YACtD,kBAAkB;YAClB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;KACL;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,uBAAuB,EAAE,IAAI;QAC7B,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,0BAA0B,CAAC;YACzB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO;YACP,kBAAkB;YAClB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;KACL;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,uBAAuB,EAAE,IAAI;QAC7B,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,EAAE,CAChE,2BAA2B,CAAC;YAC1B,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO;YACP,kBAAkB;YAClB,cAAc;YACd,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;KACL;IACD;QACE,YAAY,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;QACzF,EAAE,EAAE,yBAAyB;QAC7B,uBAAuB,EAAE,IAAI;QAC7B,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,iCAAiC,CAAC;YAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,4BAA4B,EAAE,OAAO,CAAC,4BAA4B;YAClE,OAAO;YACP,kBAAkB;YAClB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;KACL;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,uBAAuB,EAAE,IAAI;QAC7B,GAAG,EAAE,CAAC,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,CACvC,6BAA6B,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,QAAQ,EAAE,kBAAkB,CAAC;KAC1F;IACD;QACE,YAAY,EAAE,CAAC,YAAY,EAAE,EAAE,CAC7B,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI;QACjE,EAAE,EAAE,qBAAqB;QACzB,uBAAuB,EAAE,IAAI;QAC7B,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,+BAA+B,CAAC;YAC9B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO;YACP,kBAAkB;YAClB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;KACL;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,uBAAuB,EAAE,IAAI;QAC7B,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,4BAA4B,CAAC;YAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO;YACP,kBAAkB;YAClB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;KACL;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,uBAAuB,EAAE,IAAI;QAC7B,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,CAChD,gCAAgC,CAAC;YAC/B,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO;YACP,kBAAkB;YAClB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;KACL;CACF,CAAC;AAEF,MAAM,UAAU,qBAAqB,CAAC,YAA8B;IAClE,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC;QACvD,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,YAA8B;IACjE,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;AAC/F,CAAC"}

package/dist/src/practices/transaction-findings.d.ts

@@ -0,0 +1,4 @@
+import type { TransactionRun, TransactionScan } from "./model.js";
+import type { LegendPracticeFinding } from "../core/types.js";
+export declare function transactionFinding(run: TransactionRun, scan: TransactionScan): LegendPracticeFinding | null;
+//# sourceMappingURL=transaction-findings.d.ts.map

package/dist/src/practices/transaction-findings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction-findings.d.ts","sourceRoot":"","sources":["../../../src/practices/transaction-findings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,cAAc,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACnF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AA8B9D,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,cAAc,EACnB,IAAI,EAAE,eAAe,GACpB,qBAAqB,GAAG,IAAI,CAgB9B"}