@nielspeter/eess-ts 0.1.0

package/dist/graphql/schema-rule-builder.js

@@ -0,0 +1,188 @@
+import { TerminalBuilder } from '@nielspeter/eess';
+import { queries as queriesPredicate, mutations as mutationsPredicate, typesNamed as typesNamedPredicate, returnListOf as returnListOfPredicate, } from './schema-predicates.js';
+import { haveFields as haveFieldsCondition, acceptArgs as acceptArgsCondition, haveMatchingResolver as haveMatchingResolverCondition, } from './schema-conditions.js';
+/**
+ * Structural type guard: check if a GraphQL type has `getFields()`.
+ * Only GraphQLObjectType, GraphQLInterfaceType, and GraphQLInputObjectType have getFields.
+ * Scalars, enums, and unions do not.
+ */
+function isObjectType(type) {
+    if (typeof type !== 'object' || type === null)
+        return false;
+    if (!('getFields' in type))
+        return false;
+    // At this point TypeScript knows type has 'getFields', verify it's a function
+    const candidate = type;
+    return typeof candidate.getFields === 'function';
+}
+/**
+ * Fluent rule builder for GraphQL schema architecture rules.
+ *
+ * Operates on SchemaElements extracted from .graphql files.
+ * Follows the same builder pattern as SliceRuleBuilder (standalone, not extending RuleBuilder).
+ *
+ * @example
+ * ```typescript
+ * schema(p, 'src/schema/*.graphql')
+ *   .typesNamed(/Collection$/)
+ *   .should()
+ *   .haveFields('total', 'skip', 'limit', 'items')
+ *   .check()
+ * ```
+ */
+export class SchemaRuleBuilder extends TerminalBuilder {
+    loaded;
+    _predicates = [];
+    _conditions = [];
+    constructor(loaded) {
+        super();
+        this.loaded = loaded;
+    }
+    // --- Predicate methods ---
+    /**
+     * Filter to only Query root type fields.
+     */
+    queries() {
+        this._predicates.push(queriesPredicate());
+        return this;
+    }
+    /**
+     * Filter to only Mutation root type fields.
+     */
+    mutations() {
+        this._predicates.push(mutationsPredicate());
+        return this;
+    }
+    /**
+     * Filter to object types matching the given name pattern.
+     */
+    typesNamed(pattern) {
+        this._predicates.push(typesNamedPredicate(pattern));
+        return this;
+    }
+    /**
+     * Filter to fields returning a list of the given type.
+     */
+    returnListOf(typeName) {
+        this._predicates.push(returnListOfPredicate(typeName));
+        return this;
+    }
+    // --- Chain methods ---
+    /**
+     * Begin the predicate phase. Purely a readability marker.
+     */
+    that() {
+        return this;
+    }
+    /**
+     * Add another predicate (AND).
+     */
+    and() {
+        return this;
+    }
+    /**
+     * Begin the condition phase.
+     */
+    should() {
+        return this;
+    }
+    /**
+     * Add another condition (AND).
+     */
+    andShould() {
+        return this;
+    }
+    // --- Condition methods ---
+    /**
+     * Assert that types have all listed fields.
+     */
+    haveFields(...names) {
+        this._conditions.push(haveFieldsCondition(...names));
+        return this;
+    }
+    /**
+     * Assert that fields accept all listed arguments.
+     */
+    acceptArgs(...names) {
+        this._conditions.push(acceptArgsCondition(...names));
+        return this;
+    }
+    /**
+     * Assert that schema fields have matching resolver implementations.
+     *
+     * @param resolverFileTexts - Map of file paths to source text
+     */
+    haveMatchingResolver(resolverFileTexts) {
+        this._conditions.push(haveMatchingResolverCondition(resolverFileTexts));
+        return this;
+    }
+    // --- Evaluation ---
+    collectViolations() {
+        const allElements = this.getElements();
+        const filtered = allElements.filter((element) => this._predicates.every((predicate) => predicate.test(element)));
+        if (filtered.length === 0) {
+            return [];
+        }
+        if (this._conditions.length === 0) {
+            const ruleId = this._metadata?.id ?? 'unnamed';
+            console.warn(`[eess] Schema rule '${ruleId}' has predicates but no conditions. ` +
+                `Did you forget to add a condition after .should()?`);
+            return [];
+        }
+        const context = {
+            rule: this.buildRuleDescription(),
+            because: this._reason,
+            ruleId: this._metadata?.id,
+            suggestion: this._metadata?.suggestion,
+            docs: this._metadata?.docs,
+        };
+        const violations = [];
+        for (const condition of this._conditions) {
+            violations.push(...condition.evaluate(filtered, context));
+        }
+        return violations;
+    }
+    getElements() {
+        const elements = [];
+        const typeMap = this.loaded.schema.getTypeMap();
+        const firstFile = this.loaded.documents[0]?.filePath;
+        for (const [typeName, typeObj] of Object.entries(typeMap)) {
+            // Skip introspection types (start with __)
+            if (typeName.startsWith('__'))
+                continue;
+            // Skip scalar types that don't have getFields — use structural type guard
+            if (!isObjectType(typeObj))
+                continue;
+            const objectType = typeObj;
+            // Add type-level element
+            elements.push({
+                typeName,
+                objectType,
+                filePath: firstFile,
+            });
+            // Add field-level elements
+            const fields = objectType.getFields();
+            for (const [fieldName, field] of Object.entries(fields)) {
+                elements.push({
+                    typeName,
+                    fieldName,
+                    objectType,
+                    field,
+                    filePath: firstFile,
+                });
+            }
+        }
+        return elements;
+    }
+    buildRuleDescription() {
+        const predicateDesc = this._predicates.map((p) => p.description).join(' and ');
+        const conditionDesc = this._conditions.map((c) => c.description).join(' and ');
+        const parts = ['schema'];
+        if (predicateDesc)
+            parts.push(`that ${predicateDesc}`);
+        if (conditionDesc)
+            parts.push(`should ${conditionDesc}`);
+        return parts.join(' ');
+    }
+}
+//# sourceMappingURL=schema-rule-builder.js.map

package/dist/graphql/schema-rule-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-rule-builder.js","sourceRoot":"","sources":["../../src/graphql/schema-rule-builder.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAIlD,OAAO,EACL,OAAO,IAAI,gBAAgB,EAC3B,SAAS,IAAI,kBAAkB,EAC/B,UAAU,IAAI,mBAAmB,EACjC,YAAY,IAAI,qBAAqB,GACtC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACL,UAAU,IAAI,mBAAmB,EACjC,UAAU,IAAI,mBAAmB,EACjC,oBAAoB,IAAI,6BAA6B,GACtD,MAAM,wBAAwB,CAAA;AAE/B;;;;GAIG;AACH,SAAS,YAAY,CAAC,IAAqB;IACzC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC3D,IAAI,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACxC,8EAA8E;IAC9E,MAAM,SAAS,GAA4B,IAAI,CAAA;IAC/C,OAAO,OAAO,SAAS,CAAC,SAAS,KAAK,UAAU,CAAA;AAClD,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,iBAAkB,SAAQ,eAAe;IAIvB;IAHZ,WAAW,GAA+B,EAAE,CAAA;IAC5C,WAAW,GAA+B,EAAE,CAAA;IAE7D,YAA6B,MAAoB;QAC/C,KAAK,EAAE,CAAA;QADoB,WAAM,GAAN,MAAM,CAAc;IAEjD,CAAC;IAED,4BAA4B;IAE5B;;OAEG;IACH,OAAO;QACL,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAA;QACzC,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,SAAS;QACP,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAA;QAC3C,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,OAAwB;QACjC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAA;QACnD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,QAAyB;QACpC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAAA;QACtD,OAAO,IAAI,CAAA;IACb,CAAC;IAED,wBAAwB;IAExB;;OAEG;IACH,IAAI;QACF,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,GAAG;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,MAAM;QACJ,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,IAAI,CAAA;IACb,CAAC;IAED,4BAA4B;IAE5B;;OAEG;IACH,UAAU,CAAC,GAAG,KAAe;QAC3B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;QACpD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,GAAG,KAAe;QAC3B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAA;QACpD,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;OAIG;IACH,oBAAoB,CAAC,iBAA8C;QACjE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,6BAA6B,CAAC,iBAAiB,CAAC,CAAC,CAAA;QACvE,OAAO,IAAI,CAAA;IACb,CAAC;IAED,qBAAqB;IAEX,iBAAiB;QACzB,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAEtC,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAC9C,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAC/D,CAAA;QAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,CAAA;QACX,CAAC;QAED,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,SAAS,CAAA;YAC9C,OAAO,CAAC,IAAI,CACV,uBAAuB,MAAM,sCAAsC;gBACjE,oDAAoD,CACvD,CAAA;YACD,OAAO,EAAE,CAAA;QACX,CAAC;QAED,MAAM,OAAO,GAAqB;YAChC,IAAI,EAAE,IAAI,CAAC,oBAAoB,EAAE;YACjC,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE;YAC1B,UAAU,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU;YACtC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI;SAC3B,CAAA;QAED,MAAM,UAAU,GAAoB,EAAE,CAAA;QACtC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACzC,UAAU,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAA;QAC3D,CAAC;QACD,OAAO,UAAU,CAAA;IACnB,CAAC;IAEO,WAAW;QACjB,MAAM,QAAQ,GAAoB,EAAE,CAAA;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,CAAA;QAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAA;QAEpD,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,2CAA2C;YAC3C,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,SAAQ;YAEvC,0EAA0E;YAC1E,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC;gBAAE,SAAQ;YAEpC,MAAM,UAAU,GAAG,OAAO,CAAA;YAE1B,yBAAyB;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ;gBACR,UAAU;gBACV,QAAQ,EAAE,SAAS;aACpB,CAAC,CAAA;YAEF,2BAA2B;YAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAA;YACrC,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ;oBACR,SAAS;oBACT,UAAU;oBACV,KAAK;oBACL,QAAQ,EAAE,SAAS;iBACpB,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAA;IACjB,CAAC;IAEO,oBAAoB;QAC1B,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAC9E,MAAM,KAAK,GAAa,CAAC,QAAQ,CAAC,CAAA;QAClC,IAAI,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,aAAa,EAAE,CAAC,CAAA;QACtD,IAAI,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,aAAa,EAAE,CAAC,CAAA;QACxD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACxB,CAAC;CACF"}

package/dist/helpers/body-traversal.d.ts

@@ -0,0 +1,58 @@
+import { type Node, type ClassDeclaration, type SourceFile } from 'ts-morph';
+import type { ExpressionMatcher } from './matchers.js';
+import type { ArchFunction } from '../models/arch-function.js';
+/**
+ * Options for module body analysis.
+ */
+export interface ModuleBodyOptions {
+    /**
+     * When true, only traverse top-level (module-scope) statements.
+     * Skips class bodies, function bodies, and arrow function bodies.
+     * Default: false (full file traversal).
+     */
+    scopeToModule?: boolean;
+}
+/**
+ * Result of searching a body for matcher hits.
+ */
+export interface MatchResult {
+    /** Whether at least one match was found */
+    found: boolean;
+    /** The matching nodes (for violation reporting: file, line, text) */
+    matchingNodes: Node[];
+}
+/**
+ * Find all nodes in a subtree that match the given matcher.
+ *
+ * Uses getDescendantsOfKind when the matcher specifies syntaxKinds
+ * (efficient — only walks nodes of that kind). Falls back to
+ * getDescendants() for matchers without syntaxKinds (expression()).
+ */
+export declare function findMatchesInNode(node: Node, matcher: ExpressionMatcher): Node[];
+/**
+ * Search all method bodies in a class for matches.
+ *
+ * Iterates over every method (instance and static), gets the body,
+ * and tests each body against the matcher. Returns aggregated results.
+ */
+export declare function searchClassBody(cls: ClassDeclaration, matcher: ExpressionMatcher): MatchResult;
+/**
+ * Search a function body for matches.
+ *
+ * Uses ArchFunction.getBody() which returns the function/arrow body.
+ * For expression-bodied arrows (`() => expr`), getDescendantsOfKind
+ * still works — it walks the expression subtree.
+ */
+export declare function searchFunctionBody(fn: ArchFunction, matcher: ExpressionMatcher): MatchResult;
+/**
+ * Extract the body from a function-like argument node.
+ *
+ * Handles:
+ * - ArrowFunction: () => { ... } or () => expr
+ * - FunctionExpression: function() { ... }
+ *
+ * Returns undefined if the node is not a function-like expression.
+ */
+export declare function getFunctionBody(node: Node): Node | undefined;
+export declare function searchModuleBody(sourceFile: SourceFile, matcher: ExpressionMatcher, options?: ModuleBodyOptions): MatchResult;
+//# sourceMappingURL=body-traversal.d.ts.map

package/dist/helpers/body-traversal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"body-traversal.d.ts","sourceRoot":"","sources":["../../src/helpers/body-traversal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAqB,MAAM,UAAU,CAAA;AAC/F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAE9D;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;;OAIG;IACH,aAAa,CAAC,EAAE,OAAO,CAAA;CACxB;AAED;;GAEG;AAEH,MAAM,WAAW,WAAW;IAC1B,2CAA2C;IAC3C,KAAK,EAAE,OAAO,CAAA;IACd,qEAAqE;IACrE,aAAa,EAAE,IAAI,EAAE,CAAA;CACtB;AAuCD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,iBAAiB,GAAG,IAAI,EAAE,CAKhF;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,gBAAgB,EAAE,OAAO,EAAE,iBAAiB,GAAG,WAAW,CAqC9F;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,iBAAiB,GAAG,WAAW,CAW5F;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,CAQ5D;AAiCD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,iBAAiB,EAC1B,OAAO,CAAC,EAAE,iBAAiB,GAC1B,WAAW,CA4Bb"}

package/dist/helpers/body-traversal.js

@@ -0,0 +1,180 @@
+import { Node as NodeUtils } from 'ts-morph';
+/**
+ * Targeted traversal: only check nodes of the specified syntax kinds.
+ */
+function findMatchesByKind(node, matcher) {
+    const matches = [];
+    for (const kind of matcher.syntaxKinds ?? []) {
+        for (const descendant of node.getDescendantsOfKind(kind)) {
+            if (matcher.matches(descendant)) {
+                matches.push(descendant);
+            }
+        }
+    }
+    return matches;
+}
+/**
+ * Broad traversal: check every descendant, then deduplicate.
+ *
+ * Parent nodes' getText() includes children's text, so regex-based
+ * matchers (expression()) match at multiple ancestor levels.
+ * Keep only the deepest (most specific) matching nodes.
+ */
+function findMatchesBroad(node, matcher) {
+    const matches = [];
+    for (const descendant of node.getDescendants()) {
+        if (matcher.matches(descendant)) {
+            matches.push(descendant);
+        }
+    }
+    return matches.filter((m) => !matches.some((other) => other !== m && other.getStart() >= m.getStart() && other.getEnd() <= m.getEnd()));
+}
+/**
+ * Find all nodes in a subtree that match the given matcher.
+ *
+ * Uses getDescendantsOfKind when the matcher specifies syntaxKinds
+ * (efficient — only walks nodes of that kind). Falls back to
+ * getDescendants() for matchers without syntaxKinds (expression()).
+ */
+export function findMatchesInNode(node, matcher) {
+    if (matcher.syntaxKinds && matcher.syntaxKinds.length > 0) {
+        return findMatchesByKind(node, matcher);
+    }
+    return findMatchesBroad(node, matcher);
+}
+/**
+ * Search all method bodies in a class for matches.
+ *
+ * Iterates over every method (instance and static), gets the body,
+ * and tests each body against the matcher. Returns aggregated results.
+ */
+export function searchClassBody(cls, matcher) {
+    const matchingNodes = [];
+    for (const method of cls.getMethods()) {
+        const body = method.getBody();
+        if (!body)
+            continue;
+        matchingNodes.push(...findMatchesInNode(body, matcher));
+    }
+    // Also check constructor body (use last constructor — earlier ones are overload signatures without bodies)
+    const ctors = cls.getConstructors();
+    const ctor = ctors[ctors.length - 1];
+    if (ctor) {
+        const body = ctor.getBody();
+        if (body) {
+            matchingNodes.push(...findMatchesInNode(body, matcher));
+        }
+    }
+    // Also check getters and setters
+    for (const accessor of cls.getGetAccessors()) {
+        const body = accessor.getBody();
+        if (body) {
+            matchingNodes.push(...findMatchesInNode(body, matcher));
+        }
+    }
+    for (const accessor of cls.getSetAccessors()) {
+        const body = accessor.getBody();
+        if (body) {
+            matchingNodes.push(...findMatchesInNode(body, matcher));
+        }
+    }
+    return {
+        found: matchingNodes.length > 0,
+        matchingNodes,
+    };
+}
+/**
+ * Search a function body for matches.
+ *
+ * Uses ArchFunction.getBody() which returns the function/arrow body.
+ * For expression-bodied arrows (`() => expr`), getDescendantsOfKind
+ * still works — it walks the expression subtree.
+ */
+export function searchFunctionBody(fn, matcher) {
+    const body = fn.getBody();
+    if (!body) {
+        return { found: false, matchingNodes: [] };
+    }
+    const matchingNodes = findMatchesInNode(body, matcher);
+    return {
+        found: matchingNodes.length > 0,
+        matchingNodes,
+    };
+}
+/**
+ * Extract the body from a function-like argument node.
+ *
+ * Handles:
+ * - ArrowFunction: () => { ... } or () => expr
+ * - FunctionExpression: function() { ... }
+ *
+ * Returns undefined if the node is not a function-like expression.
+ */
+export function getFunctionBody(node) {
+    if (NodeUtils.isArrowFunction(node)) {
+        return node.getBody();
+    }
+    if (NodeUtils.isFunctionExpression(node)) {
+        return node.getBody();
+    }
+    return undefined;
+}
+/**
+ * Search a module (SourceFile) for matches.
+ *
+ * Default: walks the entire file (all descendants), including inside
+ * class methods and function bodies. This makes `modules().notContain()`
+ * a file-level policy check.
+ *
+ * With `scopeToModule: true`: walks only top-level statements,
+ * skipping class bodies, function declaration bodies, and arrow/function
+ * expression bodies. Use when you already have class/function rules and
+ * want to avoid duplicate violations.
+ */
+/**
+ * Collect matches from top-level variable statement initializers,
+ * skipping arrow/function expressions (covered by function rules).
+ */
+function collectVariableStatementMatches(statement, matcher) {
+    if (!NodeUtils.isVariableStatement(statement))
+        return [];
+    const matches = [];
+    for (const decl of statement.getDeclarationList().getDeclarations()) {
+        const initializer = decl.getInitializer();
+        if (!initializer)
+            continue;
+        // Skip arrow/function expressions entirely — function rules cover them
+        if (NodeUtils.isArrowFunction(initializer) || NodeUtils.isFunctionExpression(initializer)) {
+            continue;
+        }
+        matches.push(...findMatchesInNode(initializer, matcher));
+    }
+    return matches;
+}
+export function searchModuleBody(sourceFile, matcher, options) {
+    if (!options?.scopeToModule) {
+        // Full file traversal — walk all descendants
+        const matchingNodes = findMatchesInNode(sourceFile, matcher);
+        return { found: matchingNodes.length > 0, matchingNodes };
+    }
+    // Module-scope only — walk each top-level statement but skip class/function internals
+    const matchingNodes = [];
+    for (const statement of sourceFile.getStatements()) {
+        // Skip class declarations entirely (their bodies are covered by class rules)
+        if (NodeUtils.isClassDeclaration(statement))
+            continue;
+        // Skip function declarations entirely (their bodies are covered by function rules)
+        if (NodeUtils.isFunctionDeclaration(statement))
+            continue;
+        // For variable statements (const/let/var), check the initializer but skip
+        // arrow function and function expression bodies within it
+        if (NodeUtils.isVariableStatement(statement)) {
+            matchingNodes.push(...collectVariableStatementMatches(statement, matcher));
+            continue;
+        }
+        // All other statements: walk their descendants
+        matchingNodes.push(...findMatchesInNode(statement, matcher));
+    }
+    return { found: matchingNodes.length > 0, matchingNodes };
+}
+//# sourceMappingURL=body-traversal.js.map

package/dist/helpers/body-traversal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"body-traversal.js","sourceRoot":"","sources":["../../src/helpers/body-traversal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqD,IAAI,IAAI,SAAS,EAAE,MAAM,UAAU,CAAA;AA2B/F;;GAEG;AACH,SAAS,iBAAiB,CAAC,IAAU,EAAE,OAA0B;IAC/D,MAAM,OAAO,GAAW,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC7C,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAChC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC1B,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,IAAU,EAAE,OAA0B;IAC9D,MAAM,OAAO,GAAW,EAAE,CAAA;IAC1B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;QAC/C,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC1B,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,CACnB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,OAAO,CAAC,IAAI,CACX,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAC3F,CACJ,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAU,EAAE,OAA0B;IACtE,IAAI,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,OAAO,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACzC,CAAC;IACD,OAAO,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;AACxC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,GAAqB,EAAE,OAA0B;IAC/E,MAAM,aAAa,GAAW,EAAE,CAAA;IAEhC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,EAAE,CAAA;QAC7B,IAAI,CAAC,IAAI;YAAE,SAAQ;QACnB,aAAa,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;IACzD,CAAC;IAED,2GAA2G;IAC3G,MAAM,KAAK,GAAG,GAAG,CAAC,eAAe,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACpC,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAA;QAC3B,IAAI,IAAI,EAAE,CAAC;YACT,aAAa,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,eAAe,EAAE,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAA;QAC/B,IAAI,IAAI,EAAE,CAAC;YACT,aAAa,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,eAAe,EAAE,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAA;QAC/B,IAAI,IAAI,EAAE,CAAC;YACT,aAAa,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;QACzD,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC;QAC/B,aAAa;KACd,CAAA;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,EAAgB,EAAE,OAA0B;IAC7E,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,EAAE,CAAA;IACzB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,CAAA;IAC5C,CAAC;IAED,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACtD,OAAO;QACL,KAAK,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC;QAC/B,aAAa;KACd,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,eAAe,CAAC,IAAU;IACxC,IAAI,SAAS,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,IAAI,SAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC,OAAO,EAAE,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;;;;;;;;;GAWG;AACH;;;GAGG;AACH,SAAS,+BAA+B,CAAC,SAAe,EAAE,OAA0B;IAClF,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,CAAA;IACxD,MAAM,OAAO,GAAW,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,kBAAkB,EAAE,CAAC,eAAe,EAAE,EAAE,CAAC;QACpE,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,CAAA;QACzC,IAAI,CAAC,WAAW;YAAE,SAAQ;QAC1B,uEAAuE;QACvE,IAAI,SAAS,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,SAAS,CAAC,oBAAoB,CAAC,WAAW,CAAC,EAAE,CAAC;YAC1F,SAAQ;QACV,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAA;IAC1D,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAsB,EACtB,OAA0B,EAC1B,OAA2B;IAE3B,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC;QAC5B,6CAA6C;QAC7C,MAAM,aAAa,GAAG,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC5D,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,aAAa,EAAE,CAAA;IAC3D,CAAC;IAED,sFAAsF;IACtF,MAAM,aAAa,GAAW,EAAE,CAAA;IAChC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC;QACnD,6EAA6E;QAC7E,IAAI,SAAS,CAAC,kBAAkB,CAAC,SAAS,CAAC;YAAE,SAAQ;QAErD,mFAAmF;QACnF,IAAI,SAAS,CAAC,qBAAqB,CAAC,SAAS,CAAC;YAAE,SAAQ;QAExD,0EAA0E;QAC1E,0DAA0D;QAC1D,IAAI,SAAS,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,aAAa,CAAC,IAAI,CAAC,GAAG,+BAA+B,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAA;YAC1E,SAAQ;QACV,CAAC;QAED,+CAA+C;QAC/C,aAAa,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAA;IAC9D,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,aAAa,EAAE,CAAA;AAC3D,CAAC"}

package/dist/helpers/callback-extractor.d.ts

@@ -0,0 +1,28 @@
+import { type CallExpression } from 'ts-morph';
+import type { ArchFunction } from '../models/arch-function.js';
+/**
+ * Represents a callback function extracted from a call expression argument.
+ * Wraps the arrow function or function expression as an ArchFunction.
+ */
+export interface ExtractedCallback {
+    /** The ArchFunction wrapping the callback. */
+    fn: ArchFunction;
+    /** The call expression this callback was extracted from. */
+    callSite: CallExpression;
+    /** Argument index within the call expression (0-based). */
+    argIndex: number;
+}
+/**
+ * Extract all inline function arguments from a call expression.
+ *
+ * Handles:
+ * - Arrow functions: `app.get('/path', (req, res) => { ... })`
+ * - Function expressions: `app.get('/path', function(req, res) { ... })`
+ *
+ * Does NOT resolve named references (e.g., `app.get('/path', myHandler)`).
+ * Reference resolution requires type-checker lookups and is deferred.
+ *
+ * @returns Array of extracted callbacks with their source metadata
+ */
+export declare function extractCallbacks(callExpr: CallExpression): ExtractedCallback[];
+//# sourceMappingURL=callback-extractor.d.ts.map

package/dist/helpers/callback-extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-extractor.d.ts","sourceRoot":"","sources":["../../src/helpers/callback-extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,cAAc,EAA4C,MAAM,UAAU,CAAA;AACxF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAE9D;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,8CAA8C;IAC9C,EAAE,EAAE,YAAY,CAAA;IAChB,4DAA4D;IAC5D,QAAQ,EAAE,cAAc,CAAA;IACxB,2DAA2D;IAC3D,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,cAAc,GAAG,iBAAiB,EAAE,CAiB9E"}

package/dist/helpers/callback-extractor.js

@@ -0,0 +1,159 @@
+import { Node as NodeUtils, SyntaxKind } from 'ts-morph';
+/**
+ * Extract all inline function arguments from a call expression.
+ *
+ * Handles:
+ * - Arrow functions: `app.get('/path', (req, res) => { ... })`
+ * - Function expressions: `app.get('/path', function(req, res) { ... })`
+ *
+ * Does NOT resolve named references (e.g., `app.get('/path', myHandler)`).
+ * Reference resolution requires type-checker lookups and is deferred.
+ *
+ * @returns Array of extracted callbacks with their source metadata
+ */
+export function extractCallbacks(callExpr) {
+    const callbacks = [];
+    const args = callExpr.getArguments();
+    for (let i = 0; i < args.length; i++) {
+        const arg = args[i];
+        if (!arg)
+            continue;
+        const fn = extractInlineFunction(arg, callExpr, i);
+        if (fn) {
+            callbacks.push(fn);
+        }
+        else {
+            // Search object literal arguments for function-valued properties
+            callbacks.push(...extractFromObjectLiteral(arg, callExpr, i, 0));
+        }
+    }
+    return callbacks;
+}
+/**
+ * Maximum depth to recurse into nested object literals.
+ * Prevents extracting unintended callbacks from deep config/schema structures.
+ */
+const MAX_OBJECT_DEPTH = 3;
+/**
+ * Recursively search an ObjectLiteralExpression for function-like property values.
+ *
+ * Handles:
+ * - Arrow function properties: `{ handler: (req) => { ... } }`
+ * - Function expression properties: `{ handler: function(req) { ... } }`
+ * - Method shorthand: `{ handler(req) { ... } }`
+ * - Nested object literals: `{ hooks: { onRequest: (req) => { ... } } }`
+ *
+ * Stops at MAX_OBJECT_DEPTH to avoid false positives from schema defaults.
+ */
+function extractFromObjectLiteral(arg, callSite, argIndex, depth) {
+    if (!NodeUtils.isObjectLiteralExpression(arg))
+        return [];
+    if (depth >= MAX_OBJECT_DEPTH)
+        return [];
+    const results = [];
+    for (const prop of arg.getProperties()) {
+        // Method shorthand: { handler(req, res) { ... } }
+        if (NodeUtils.isMethodDeclaration(prop)) {
+            results.push({
+                fn: fromMethodDeclaration(prop),
+                callSite,
+                argIndex,
+            });
+            continue;
+        }
+        if (!NodeUtils.isPropertyAssignment(prop))
+            continue;
+        const init = prop.getInitializer();
+        if (!init)
+            continue;
+        // Direct function property
+        const direct = extractInlineFunction(init, callSite, argIndex);
+        if (direct) {
+            results.push(direct);
+            continue;
+        }
+        // Recurse into nested object literals (depth-limited)
+        results.push(...extractFromObjectLiteral(init, callSite, argIndex, depth + 1));
+    }
+    return results;
+}
+/**
+ * Try to extract an ArchFunction from a single argument node.
+ */
+function extractInlineFunction(arg, callSite, argIndex) {
+    // Arrow function: (req, res) => { ... }
+    if (arg.getKind() === SyntaxKind.ArrowFunction) {
+        return {
+            fn: fromArrowExpression(arg),
+            callSite,
+            argIndex,
+        };
+    }
+    // Function expression: function(req, res) { ... }
+    if (arg.getKind() === SyntaxKind.FunctionExpression) {
+        return {
+            fn: fromFunctionExpression(arg),
+            callSite,
+            argIndex,
+        };
+    }
+    return null;
+}
+/**
+ * Wrap an arrow function argument as an ArchFunction.
+ * Unlike fromArrowVariableDeclaration (plan 0009), this has no variable name.
+ * The name is synthesized from the call site context.
+ */
+function fromArrowExpression(node) {
+    const arrow = node.asKindOrThrow(SyntaxKind.ArrowFunction);
+    return {
+        getName: () => undefined, // anonymous --- name derived from context
+        getSourceFile: () => arrow.getSourceFile(),
+        isExported: () => false, // callbacks are never exported
+        isAsync: () => arrow.isAsync(),
+        getParameters: () => arrow.getParameters(),
+        getReturnType: () => arrow.getReturnType(),
+        getBody: () => arrow.getBody(),
+        getNode: () => arrow,
+        getStartLineNumber: () => arrow.getStartLineNumber(),
+        getScope: () => 'public',
+    };
+}
+/**
+ * Wrap a function expression argument as an ArchFunction.
+ */
+function fromFunctionExpression(node) {
+    const funcExpr = node.asKindOrThrow(SyntaxKind.FunctionExpression);
+    return {
+        getName: () => funcExpr.getName(), // may have a name: `function handler() {}`
+        getSourceFile: () => funcExpr.getSourceFile(),
+        isExported: () => false,
+        isAsync: () => funcExpr.isAsync(),
+        getParameters: () => funcExpr.getParameters(),
+        getReturnType: () => funcExpr.getReturnType(),
+        getBody: () => funcExpr.getBody(),
+        getNode: () => funcExpr,
+        getStartLineNumber: () => funcExpr.getStartLineNumber(),
+        getScope: () => 'public',
+    };
+}
+/**
+ * Wrap an object literal method declaration as an ArchFunction.
+ * Handles: `{ handler(req, res) { ... } }`
+ */
+function fromMethodDeclaration(node) {
+    const method = node.asKindOrThrow(SyntaxKind.MethodDeclaration);
+    return {
+        getName: () => method.getName(),
+        getSourceFile: () => method.getSourceFile(),
+        isExported: () => false,
+        isAsync: () => method.isAsync(),
+        getParameters: () => method.getParameters(),
+        getReturnType: () => method.getReturnType(),
+        getBody: () => method.getBody(),
+        getNode: () => method,
+        getStartLineNumber: () => method.getStartLineNumber(),
+        getScope: () => 'public',
+    };
+}
+//# sourceMappingURL=callback-extractor.js.map

package/dist/helpers/callback-extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"callback-extractor.js","sourceRoot":"","sources":["../../src/helpers/callback-extractor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkC,IAAI,IAAI,SAAS,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAgBxF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAwB;IACvD,MAAM,SAAS,GAAwB,EAAE,CAAA;IACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAA;IAEpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACnB,IAAI,CAAC,GAAG;YAAE,SAAQ;QAClB,MAAM,EAAE,GAAG,qBAAqB,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;QAClD,IAAI,EAAE,EAAE,CAAC;YACP,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACpB,CAAC;aAAM,CAAC;YACN,iEAAiE;YACjE,SAAS,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QAClE,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAE1B;;;;;;;;;;GAUG;AACH,SAAS,wBAAwB,CAC/B,GAAS,EACT,QAAwB,EACxB,QAAgB,EAChB,KAAa;IAEb,IAAI,CAAC,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAA;IACxD,IAAI,KAAK,IAAI,gBAAgB;QAAE,OAAO,EAAE,CAAA;IACxC,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,aAAa,EAAE,EAAE,CAAC;QACvC,kDAAkD;QAClD,IAAI,SAAS,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,qBAAqB,CAAC,IAAI,CAAC;gBAC/B,QAAQ;gBACR,QAAQ;aACT,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAAE,SAAQ;QACnD,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAA;QAClC,IAAI,CAAC,IAAI;YAAE,SAAQ;QACnB,2BAA2B;QAC3B,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAA;QAC9D,IAAI,MAAM,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACpB,SAAQ;QACV,CAAC;QACD,sDAAsD;QACtD,OAAO,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,GAAS,EACT,QAAwB,EACxB,QAAgB;IAEhB,wCAAwC;IACxC,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;QAC/C,OAAO;YACL,EAAE,EAAE,mBAAmB,CAAC,GAAG,CAAC;YAC5B,QAAQ;YACR,QAAQ;SACT,CAAA;IACH,CAAC;IAED,kDAAkD;IAClD,IAAI,GAAG,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;QACpD,OAAO;YACL,EAAE,EAAE,sBAAsB,CAAC,GAAG,CAAC;YAC/B,QAAQ;YACR,QAAQ;SACT,CAAA;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,IAAU;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;IAC1D,OAAO;QACL,OAAO,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,0CAA0C;QACpE,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE;QAC1C,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,+BAA+B;QACxD,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE;QAC9B,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE;QAC1C,aAAa,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE;QAC1C,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE;QAC9B,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK;QACpB,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,kBAAkB,EAAE;QACpD,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ;KACzB,CAAA;AACH,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,IAAU;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAA;IAClE,OAAO;QACL,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,2CAA2C;QAC9E,aAAa,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE;QAC7C,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK;QACvB,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE;QACjC,aAAa,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE;QAC7C,aAAa,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE;QAC7C,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE;QACjC,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ;QACvB,kBAAkB,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,kBAAkB,EAAE;QACvD,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ;KACzB,CAAA;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,qBAAqB,CAAC,IAAU;IACvC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAA;IAC/D,OAAO;QACL,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE;QAC/B,aAAa,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,EAAE;QAC3C,UAAU,EAAE,GAAG,EAAE,CAAC,KAAK;QACvB,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE;QAC/B,aAAa,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,EAAE;QAC3C,aAAa,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,EAAE;QAC3C,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE;QAC/B,OAAO,EAAE,GAAG,EAAE,CAAC,MAAM;QACrB,kBAAkB,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,kBAAkB,EAAE;QACrD,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ;KACzB,CAAA;AACH,CAAC"}

package/dist/helpers/complexity.d.ts

@@ -0,0 +1,26 @@
+import { Node } from 'ts-morph';
+import type { ClassDeclaration } from 'ts-morph';
+/**
+ * Calculate cyclomatic complexity (McCabe) for a function body.
+ *
+ * Accepts the body Node directly (from ArchFunction.getBody(),
+ * MethodDeclaration.getBody(), etc.).
+ *
+ * Complexity = 1 + number of decision points.
+ * Returns 1 for an undefined/empty body (one path through).
+ */
+export declare function cyclomaticComplexity(body: Node | undefined): number;
+/**
+ * Count lines spanned by a node (from first line to last line, inclusive).
+ *
+ * This is a "span lines" count — it includes blank lines and comments
+ * within the node's range. This is consistent with how editors report
+ * function/class length, and avoids the fragility of text-based
+ * comment stripping.
+ */
+export declare function linesOfCode(node: Node): number;
+/**
+ * Count the number of methods on a class.
+ */
+export declare function methodCount(cls: ClassDeclaration): number;
+//# sourceMappingURL=complexity.d.ts.map