@nexus-ioc/graph-analyzer 0.1.0 → 0.2.0

package/dist/graph/build-nexus-graph-model.js

@@ -0,0 +1,202 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildNexusGraphModel = buildNexusGraphModel;
+const scope_resolution_1 = require("./scope-resolution");
+/**
+ * Builds the `NexusGraphModel` the analyzers in this package operate on,
+ * from `@nexus-ioc/type-checker`'s semantic `NexusApplication`. Every node
+ * is keyed by `NexusClass.id`/`NexusToken.id` (a stable `file:line:col`),
+ * not by rendered name — two classes named alike in different files never
+ * collide here.
+ *
+ * `application.classes[0]` is always the entry point's own class (see
+ * `NexusApplicationAnalyzer.analyze`, which seeds and processes it first).
+ */
+function buildNexusGraphModel(application) {
+    const classesById = indexClassesById(application.classes);
+    const modules = new Map();
+    for (const nexusClass of application.classes) {
+        if (!nexusClass.module)
+            continue;
+        modules.set(nexusClass.id, {
+            name: moduleName(nexusClass),
+            id: nexusClass.id,
+            path: nexusClass.source.fileName,
+            isGlobal: nexusClass.isGlobal,
+            imports: nexusClass.module.imports.map((entry) => buildModuleReference(entry.module, classesById)),
+            exports: nexusClass.module.exports.map((entry) => buildModuleReference(entry.token, classesById)),
+            providers: nexusClass.module.providers.map((provider) => buildProviderNode(provider, classesById)),
+        });
+    }
+    const graphModel = {
+        entryModuleId: application.classes[0]?.id ?? "",
+        modules,
+    };
+    const scopes = application.scopes ?? [];
+    if (scopes.length > 1) {
+        applyScopes(graphModel, application, classesById);
+    }
+    return graphModel;
+}
+/**
+ * Adds child-scope information to a graph built from an application that
+ * declares `children`: `scopes`, each module's `scope` and `children`, and
+ * `crossScope` on dependencies a child-scope provider gets from an ancestor
+ * scope. A module present in several scopes is tagged with the first one.
+ */
+function applyScopes(graphModel, application, classesById) {
+    const { modules } = graphModel;
+    graphModel.scopes = application.scopes.map((scope) => {
+        const graphScope = {
+            rootId: scope.rootId,
+            moduleIds: scope.classIds.filter((id) => modules.has(id)),
+        };
+        if (scope.declaredInId !== undefined) {
+            graphScope.declaredInId = scope.declaredInId;
+        }
+        if (scope.parentRootId !== undefined) {
+            graphScope.parentRootId = scope.parentRootId;
+        }
+        return graphScope;
+    });
+    for (const scope of graphModel.scopes) {
+        for (const moduleId of scope.moduleIds) {
+            const module = modules.get(moduleId);
+            if (module && module.scope === undefined)
+                module.scope = scope.rootId;
+        }
+    }
+    for (const nexusClass of application.classes) {
+        const module = modules.get(nexusClass.id);
+        const children = (nexusClass.module?.children ?? []).filter((child) => child.module !== undefined);
+        if (module && children.length > 0) {
+            module.children = children.map((child) => buildModuleReference(child.module, classesById));
+        }
+    }
+    const scopeIndex = new scope_resolution_1.GraphScopeIndex(graphModel);
+    for (const module of modules.values()) {
+        const scope = module.scope;
+        if (scope === undefined)
+            continue;
+        for (const provider of module.providers) {
+            for (const dependency of provider.dependencies) {
+                if (!dependency.tokenId)
+                    continue;
+                const providingScope = scopeIndex.providingScope(scope, dependency.tokenId);
+                if (providingScope !== undefined && providingScope !== scope) {
+                    dependency.crossScope = true;
+                }
+            }
+        }
+    }
+}
+function moduleName(nexusClass) {
+    if (!nexusClass)
+        return "";
+    return (nexusClass.name ??
+        `<anonymous:${nexusClass.source.fileName}:${nexusClass.source.start}>`);
+}
+function buildModuleReference(token, classesById) {
+    const id = tokenIdentity(token) ?? "";
+    return {
+        id,
+        name: renderToken(token),
+        path: classesById.get(id)?.source.fileName,
+    };
+}
+function buildProviderNode(provider, classesById) {
+    const implementationToken = provider.kind === "useClass" ? provider.useClass : provider.provide;
+    const implementationClass = resolveImplementationClass(implementationToken, classesById);
+    return {
+        token: renderToken(provider.provide),
+        id: tokenIdentity(provider.provide) ?? "",
+        type: renderProviderType(provider.kind),
+        scope: provider.scope ? renderToken(provider.scope) : undefined,
+        useClass: provider.kind === "useClass" ? renderToken(provider.useClass) : undefined,
+        dependencies: provider.kind === "useFactory"
+            ? provider.factoryInject.map((token) => ({
+                token: renderToken(token),
+                tokenId: tokenIdentity(token),
+                optional: false,
+            }))
+            : resolveClassDependencies(implementationClass),
+        undeclaredDependencies: buildUndeclaredDependencies(implementationClass),
+    };
+}
+function resolveImplementationClass(token, classesById) {
+    if (token?.kind !== "reference")
+        return undefined;
+    return classesById.get(token.id);
+}
+function resolveClassDependencies(nexusClass) {
+    if (!nexusClass)
+        return [];
+    return nexusClass.dependencies.map((dependency) => ({
+        token: renderToken(dependency.token),
+        tokenId: tokenIdentity(dependency.token),
+        optional: dependency.optional,
+    }));
+}
+function buildUndeclaredDependencies(nexusClass) {
+    if (!nexusClass)
+        return [];
+    return nexusClass.undeclaredDependencies.map((dependency) => ({
+        location: dependency.location,
+        name: dependency.name,
+        token: renderToken(dependency.inferredType),
+        isInferredTypeInjectable: dependency.isInferredTypeInjectable,
+    }));
+}
+function renderProviderType(kind) {
+    switch (kind) {
+        case "class":
+            return "Class";
+        case "useClass":
+            return "UseClass";
+        case "useValue":
+            return "UseValue";
+        case "useFactory":
+            return "UseFactory";
+    }
+}
+function renderToken(token) {
+    if (!token)
+        return "<unknown>";
+    switch (token.kind) {
+        case "string":
+            return token.value;
+        case "reference":
+            return token.symbol.getName();
+        case "symbol":
+            return token.declaration ? token.declaration.getName() : "<symbol>";
+        case "expression":
+            return "<expression>";
+    }
+}
+/**
+ * Collision-free identity for a token, as opposed to `renderToken()`'s
+ * human-readable label. Analyzers must match/key by this, never by the
+ * rendered name — see `NexusGraphModel`'s doc comment.
+ */
+function tokenIdentity(token) {
+    if (!token)
+        return undefined;
+    switch (token.kind) {
+        case "string":
+            return `string:${token.value}`;
+        case "reference":
+            return token.id;
+        case "symbol":
+            return token.id ? `symbol:${token.id}` : undefined;
+        case "expression":
+            return undefined;
+    }
+}
+function indexClassesById(classes) {
+    const map = new Map();
+    for (const nexusClass of classes) {
+        map.set(nexusClass.id, nexusClass);
+    }
+    return map;
+}
+//# sourceMappingURL=build-nexus-graph-model.js.map

package/dist/graph/build-nexus-graph-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-nexus-graph-model.js","sourceRoot":"","sources":["../../src/graph/build-nexus-graph-model.ts"],"names":[],"mappings":";;AA2BA,oDAqCC;AAjDD,yDAAqD;AAErD;;;;;;;;;GASG;AACH,SAAgB,oBAAoB,CACnC,WAA6B;IAE7B,MAAM,WAAW,GAAG,gBAAgB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAE1D,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2B,CAAC;IACnD,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAI,CAAC,UAAU,CAAC,MAAM;YAAE,SAAS;QAEjC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE;YAC1B,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;YAC5B,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ;YAChC,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAChD,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAC/C;YACD,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAChD,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAC9C;YACD,SAAS,EAAE,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACvD,iBAAiB,CAAC,QAAQ,EAAE,WAAW,CAAC,CACxC;SACD,CAAC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAoB;QACnC,aAAa,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE;QAC/C,OAAO;KACP,CAAC;IAEF,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,IAAI,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;IAED,OAAO,UAAU,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CACnB,UAA2B,EAC3B,WAA6B,EAC7B,WAAoC;IAEpC,MAAM,EAAE,OAAO,EAAE,GAAG,UAAU,CAAC;IAC/B,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAc,EAAE;QAChE,MAAM,UAAU,GAAe;YAC9B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;SACzD,CAAC;QACF,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACtC,UAAU,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QAC9C,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACtC,UAAU,CAAC,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC;QAC9C,CAAC;QACD,OAAO,UAAU,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACvC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;gBAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;QACvE,CAAC;IACF,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAC1D,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CACrC,CAAC;QACF,IAAI,MAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAC/C,CAAC;QACH,CAAC;IACF,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,kCAAe,CAAC,UAAU,CAAC,CAAC;IACnD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACzC,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBAChD,IAAI,CAAC,UAAU,CAAC,OAAO;oBAAE,SAAS;gBAClC,MAAM,cAAc,GAAG,UAAU,CAAC,cAAc,CAC/C,KAAK,EACL,UAAU,CAAC,OAAO,CAClB,CAAC;gBACF,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,KAAK,EAAE,CAAC;oBAC9D,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC;gBAC9B,CAAC;YACF,CAAC;QACF,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,UAAkC;IACrD,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAC3B,OAAO,CACN,UAAU,CAAC,IAAI;QACf,cAAc,UAAU,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,GAAG,CACtE,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC5B,KAA6B,EAC7B,WAAoC;IAEpC,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IACtC,OAAO;QACN,EAAE;QACF,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC;QACxB,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,QAAQ;KAC1C,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACzB,QAAuB,EACvB,WAAoC;IAEpC,MAAM,mBAAmB,GACxB,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;IACrE,MAAM,mBAAmB,GAAG,0BAA0B,CACrD,mBAAmB,EACnB,WAAW,CACX,CAAC;IAEF,OAAO;QACN,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC;QACpC,EAAE,EAAE,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE;QACzC,IAAI,EAAE,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC;QACvC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;QAC/D,QAAQ,EACP,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;QAC1E,YAAY,EACX,QAAQ,CAAC,IAAI,KAAK,YAAY;YAC7B,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAC1B,CAAC,KAAK,EAA2B,EAAE,CAAC,CAAC;gBACpC,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC;gBACzB,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC;gBAC7B,QAAQ,EAAE,KAAK;aACf,CAAC,CACF;YACF,CAAC,CAAC,wBAAwB,CAAC,mBAAmB,CAAC;QACjD,sBAAsB,EAAE,2BAA2B,CAAC,mBAAmB,CAAC;KACxE,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAClC,KAA6B,EAC7B,WAAoC;IAEpC,IAAI,KAAK,EAAE,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAClD,OAAO,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,wBAAwB,CAChC,UAAkC;IAElC,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,OAAO,UAAU,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACnD,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC;QACpC,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC;QACxC,QAAQ,EAAE,UAAU,CAAC,QAAQ;KAC7B,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,2BAA2B,CACnC,UAAkC;IAElC,IAAI,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IAE3B,OAAO,UAAU,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC7D,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,YAAY,CAAC;QAC3C,wBAAwB,EAAE,UAAU,CAAC,wBAAwB;KAC7D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAC1B,IAA2B;IAE3B,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,OAAO;YACX,OAAO,OAAO,CAAC;QAChB,KAAK,UAAU;YACd,OAAO,UAAU,CAAC;QACnB,KAAK,UAAU;YACd,OAAO,UAAU,CAAC;QACnB,KAAK,YAAY;YAChB,OAAO,YAAY,CAAC;IACtB,CAAC;AACF,CAAC;AAED,SAAS,WAAW,CAAC,KAA6B;IACjD,IAAI,CAAC,KAAK;QAAE,OAAO,WAAW,CAAC;IAC/B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACZ,OAAO,KAAK,CAAC,KAAK,CAAC;QACpB,KAAK,WAAW;YACf,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,KAAK,QAAQ;YACZ,OAAO,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;QACrE,KAAK,YAAY;YAChB,OAAO,cAAc,CAAC;IACxB,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAA6B;IACnD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,QAAQ;YACZ,OAAO,UAAU,KAAK,CAAC,KAAK,EAAE,CAAC;QAChC,KAAK,WAAW;YACf,OAAO,KAAK,CAAC,EAAE,CAAC;QACjB,KAAK,QAAQ;YACZ,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACpD,KAAK,YAAY;YAChB,OAAO,SAAS,CAAC;IACnB,CAAC;AACF,CAAC;AAED,SAAS,gBAAgB,CACxB,OAA8B;IAE9B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;QAClC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACZ,CAAC"}

package/dist/graph/nexus-graph-model.d.ts

@@ -0,0 +1,112 @@
+/**
+ * String-keyed intermediate representation of a Nexus IoC application graph,
+ * built from `@nexus-ioc/type-checker`'s `NexusApplication`/`NexusApplicationGraph`.
+ * The four analyzers in this package operate on this shape rather than on
+ * `ts.Program`/`ts.Symbol` directly, keeping their algorithms (DFS, BFS)
+ * independent of the underlying semantic-analysis layer.
+ */
+export interface GraphProviderDependency {
+    /** Rendered identity of the dependency's token. */
+    token: string;
+    /** Internal-only collision-free identity of the resolved dependency
+     * (`NexusToken.id`-derived), when resolvable — never serialized to
+     * public JSON. Analyzers must match dependencies by this, not `token`. */
+    tokenId?: string;
+    optional: boolean;
+    /** Set (to `true`) only when the provider lives in a child scope and the
+     * dependency is provided by an ancestor scope instead of its own.
+     *
+     * Approximate: "provided" means some module of the scope registers the
+     * token, not that the token is visible to the provider's module under
+     * imports/exports rules (this model has no `ts.Program` to apply them).
+     * For the visibility-correct answer use `@nexus-ioc/type-checker`'s
+     * `NexusResolvedDependency.fromParentScope`. */
+    crossScope?: boolean;
+}
+/** A constructor parameter or property whose type resolves to a class but
+ * carries no `@Inject` — a likely-missing-decorator diagnostic, not a real
+ * dependency edge. Mirrors `@nexus-ioc/type-checker`'s
+ * `NexusUndeclaredDependency`, rendered down to display strings. */
+export interface GraphUndeclaredDependency {
+    location: "constructor" | "property";
+    name: string;
+    /** Rendered identity of the inferred class type. */
+    token: string;
+    isInferredTypeInjectable: boolean;
+}
+export interface GraphProviderNode {
+    /** Rendered identity of the provider's `provide` token. */
+    token: string;
+    /** Internal-only collision-free identity of this provider's `provide`
+     * token — never serialized to public JSON. Analyzers must match
+     * providers by this, not `token`. */
+    id: string;
+    type: "Class" | "UseValue" | "UseFactory" | "UseClass";
+    /** Rendered scope token, if the provider declares one (e.g. "Transient"). */
+    scope?: string;
+    /**
+     * Every dependency this provider's resolution can cycle through:
+     * constructor/property-injected dependencies of the underlying class for
+     * `Class`/`UseClass` providers, and `inject` tokens for `UseFactory`
+     * providers. Merging both into one list is what lets circular-dependency
+     * detection cover constructor-injection cycles *and* factory-inject
+     * cycles, which neither prior implementation did on its own.
+     */
+    dependencies: GraphProviderDependency[];
+    /** Constructor parameters/properties that look like dependencies but have
+     * no `@Inject` — see `GraphUndeclaredDependency`. */
+    undeclaredDependencies: GraphUndeclaredDependency[];
+    /** Rendered identity of the `useClass` token, for `UseClass` providers. */
+    useClass?: string;
+}
+/** A reference to a module or exported token from `GraphModuleNode.imports`/
+ * `exports`. `path` disambiguates same-named modules/tokens declared in
+ * different files — the reason renderers can resolve edges correctly even
+ * when `name` collides. `id` is internal-only (never serialized to public
+ * JSON); the public `ModuleInfo.imports`/`exports` shape is `{name, path}`. */
+export interface GraphModuleReference {
+    /** Internal-only collision-free identity — never serialized to public JSON. */
+    id: string;
+    name: string;
+    path?: string;
+}
+export interface GraphModuleNode {
+    name: string;
+    /** Internal-only collision-free identity of this module (this node's key
+     * in `NexusGraphModel.modules`) — never serialized to public JSON. */
+    id: string;
+    path: string;
+    isGlobal: boolean;
+    /** Modules imported by this module. */
+    imports: GraphModuleReference[];
+    /** Tokens this module exports. */
+    exports: GraphModuleReference[];
+    providers: GraphProviderNode[];
+    /** `rootId` of the (first) scope this module belongs to. Present only
+     * when the application has child scopes (`NexusGraphModel.scopes`). */
+    scope?: string;
+    /** Statically resolved `@Module({ children })` entries. Present only when
+     * non-empty. Children are not imports: they open a child scope. */
+    children?: GraphModuleReference[];
+}
+/** A container scope: the application root, or a child module's scope.
+ * Mirrors `@nexus-ioc/type-checker`'s `NexusScope`, restricted to modules. */
+export interface GraphScope {
+    rootId: string;
+    /** Module id that declares this child scope; absent for the root scope. */
+    declaredInId?: string;
+    /** Parent scope's `rootId`; absent for the root scope. */
+    parentRootId?: string;
+    /** Ids of the modules in this scope, in discovery order. */
+    moduleIds: string[];
+}
+export interface NexusGraphModel {
+    entryModuleId: string;
+    /** Keyed by `GraphModuleNode.id`, not `name` — two modules named alike in
+     * different files never collide here. */
+    modules: Map<string, GraphModuleNode>;
+    /** Root scope first, then each child scope. Present only when the
+     * application declares at least one child scope via `children`; a
+     * single-scope application leaves it `undefined`. */
+    scopes?: GraphScope[];
+}

package/dist/graph/nexus-graph-model.js

@@ -0,0 +1,10 @@
+"use strict";
+/**
+ * String-keyed intermediate representation of a Nexus IoC application graph,
+ * built from `@nexus-ioc/type-checker`'s `NexusApplication`/`NexusApplicationGraph`.
+ * The four analyzers in this package operate on this shape rather than on
+ * `ts.Program`/`ts.Symbol` directly, keeping their algorithms (DFS, BFS)
+ * independent of the underlying semantic-analysis layer.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=nexus-graph-model.js.map

package/dist/graph/nexus-graph-model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nexus-graph-model.js","sourceRoot":"","sources":["../../src/graph/nexus-graph-model.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG"}

package/dist/graph/scope-resolution.d.ts

@@ -0,0 +1,16 @@
+import type { NexusGraphModel } from "./nexus-graph-model";
+/**
+ * Scope lookups over `NexusGraphModel.scopes`. A token needed in a child
+ * scope is created by the nearest scope (the scope itself first, then its
+ * ancestors) that registers a provider for it — the runtime's "local first,
+ * then through the parent link" rule, approximated by "registered anywhere
+ * in the scope" rather than by full module visibility.
+ */
+export declare class GraphScopeIndex {
+    private readonly scopesByRootId;
+    private readonly providerIdsByScope;
+    constructor(graphModel: NexusGraphModel);
+    /** `rootId` of the nearest scope, starting at `scopeRootId`, that
+     * registers `tokenId`; `undefined` when no scope on the chain does. */
+    providingScope(scopeRootId: string, tokenId: string): string | undefined;
+}

package/dist/graph/scope-resolution.js

@@ -0,0 +1,46 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.GraphScopeIndex = void 0;
+/**
+ * Scope lookups over `NexusGraphModel.scopes`. A token needed in a child
+ * scope is created by the nearest scope (the scope itself first, then its
+ * ancestors) that registers a provider for it — the runtime's "local first,
+ * then through the parent link" rule, approximated by "registered anywhere
+ * in the scope" rather than by full module visibility.
+ */
+class GraphScopeIndex {
+    constructor(graphModel) {
+        this.scopesByRootId = new Map();
+        this.providerIdsByScope = new Map();
+        for (const scope of graphModel.scopes ?? []) {
+            this.scopesByRootId.set(scope.rootId, scope);
+            const providerIds = new Set();
+            for (const moduleId of scope.moduleIds) {
+                for (const provider of graphModel.modules.get(moduleId)?.providers ??
+                    []) {
+                    providerIds.add(provider.id);
+                }
+            }
+            this.providerIdsByScope.set(scope.rootId, providerIds);
+        }
+    }
+    /** `rootId` of the nearest scope, starting at `scopeRootId`, that
+     * registers `tokenId`; `undefined` when no scope on the chain does. */
+    providingScope(scopeRootId, tokenId) {
+        const seen = new Set();
+        let current = this.scopesByRootId.get(scopeRootId);
+        while (current && !seen.has(current.rootId)) {
+            seen.add(current.rootId);
+            if (this.providerIdsByScope.get(current.rootId)?.has(tokenId)) {
+                return current.rootId;
+            }
+            current =
+                current.parentRootId !== undefined
+                    ? this.scopesByRootId.get(current.parentRootId)
+                    : undefined;
+        }
+        return undefined;
+    }
+}
+exports.GraphScopeIndex = GraphScopeIndex;
+//# sourceMappingURL=scope-resolution.js.map

package/dist/graph/scope-resolution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope-resolution.js","sourceRoot":"","sources":["../../src/graph/scope-resolution.ts"],"names":[],"mappings":";;;AAEA;;;;;;GAMG;AACH,MAAa,eAAe;IAI3B,YAAmB,UAA2B;QAH7B,mBAAc,GAAG,IAAI,GAAG,EAAsB,CAAC;QAC/C,uBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;QAGpE,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YAC7C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAC7C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;YACtC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACxC,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS;oBACjE,EAAE,EAAE,CAAC;oBACL,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC9B,CAAC;YACF,CAAC;YACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACxD,CAAC;IACF,CAAC;IAED;2EACuE;IAChE,cAAc,CACpB,WAAmB,EACnB,OAAe;QAEf,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,IAAI,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACnD,OAAO,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACzB,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/D,OAAO,OAAO,CAAC,MAAM,CAAC;YACvB,CAAC;YACD,OAAO;gBACN,OAAO,CAAC,YAAY,KAAK,SAAS;oBACjC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC;oBAC/C,CAAC,CAAC,SAAS,CAAC;QACf,CAAC;QACD,OAAO,SAAS,CAAC;IAClB,CAAC;CACD;AAtCD,0CAsCC"}

package/dist/index.d.ts

@@ -2,40 +2,38 @@
  * @packageDocumentation
  * Nexus IoC Graph Analyzer - Static analysis tool for dependency injection graphs
  *
- * This package provides tools to analyze and visualize Nexus IoC dependency injection graphs
- * without executing code. It uses TypeScript's AST to extract metadata about modules, providers,
- * and their dependencies.
+ * This package statically analyzes Nexus IoC dependency injection graphs
+ * without executing code. Graph construction and semantic resolution are
+ * delegated to `@nexus-ioc/type-checker`; this package builds a string-keyed
+ * `NexusGraphModel` on top of it and runs analyses that don't belong in a
+ * generic semantic layer: circular dependency detection (modules and
+ * providers), unused-provider detection, module depth/fan-in/fan-out
+ * metrics, and provider scope-mismatch detection.
  *
  * @example
  * ```typescript
- * import { GraphAnalyzer, ParseEntryFile, ParseTsConfig } from 'graph-analyzer';
+ * import {
+ *   createNexusAnalyzer,
+ *   createNexusApplicationAnalyzer,
+ *   createNexusProgram,
+ *   findApplicationEntryPoint,
+ * } from '@nexus-ioc/type-checker';
+ * import { buildNexusGraphModel, JsonFormatter } from '@nexus-ioc/graph-analyzer';
  *
- * // Parse entry file
- * const tsConfig = new ParseTsConfig(configContent, basePath);
- * const entryFile = new ParseEntryFile(sourceFile, 'src/main.ts', tsConfig);
- * entryFile.parse();
+ * const program = createNexusProgram(['src/main.ts'], './tsconfig.json');
+ * const entryPoint = findApplicationEntryPoint(program, 'src/main.ts')!;
+ * const analyzer = createNexusAnalyzer(program);
+ * const application = createNexusApplicationAnalyzer(analyzer).analyze(entryPoint);
+ * const graphModel = buildNexusGraphModel(application);
  *
- * // Build graph and analyze
- * const graph = new Map();
- * graph.set('entry', entryFile);
- *
- * const analyzer = new GraphAnalyzer(graph, 'src/main.ts', {
- *   outputFormat: 'json'
- * });
- *
- * const output = analyzer.parse();
+ * const output = new JsonFormatter(graphModel, 'src/main.ts', true).format();
  * ```
  */
-export type { GraphMetadata, GraphOutput, ModuleInfo, ProviderInfo, } from "./interfaces/graph-output.interface";
-export type { ProvidersInterface } from "./interfaces/providers.interface";
-export type { Dependency } from "./parser/dependency-extractor";
-export { DependencyExtractor } from "./parser/dependency-extractor";
-export { ParseEntryFile } from "./parser/parse-entry-file";
-export { ParseNsModule } from "./parser/parse-ns-module";
-export { ParseTsConfig } from "./parser/parse-ts-config";
-export { GraphGenerator } from "./visualize/generator";
-export type { GraphAnalyzerOptions } from "./visualize/graph-analyzer";
-export { GraphAnalyzer } from "./visualize/graph-analyzer";
-export type { HtmlGeneratorOptions } from "./visualize/html-generator";
-export { HtmlGenerator } from "./visualize/html-generator";
+export { type CircularDependency, type CircularDependencyAnalysis, CircularDependencyDetector, } from "./analyzer/circular-dependency-detector";
+export { type DepthLevel, type ModuleDepthAnalysis, ModuleDepthAnalyzer, type ModuleDepthInfo, } from "./analyzer/module-depth-analyzer";
+export { type ProviderScope, type ProviderScopeAnalysis, ProviderScopeAnalyzer, type ProviderScopeInfo, } from "./analyzer/provider-scope-analyzer";
+export { type UnusedProvider, type UnusedProviderAnalysis, UnusedProviderDetector, } from "./analyzer/unused-provider-detector";
+export { buildNexusGraphModel } from "./graph/build-nexus-graph-model";
+export type { GraphModuleNode, GraphModuleReference, GraphProviderDependency, GraphProviderNode, GraphUndeclaredDependency, NexusGraphModel, } from "./graph/nexus-graph-model";
+export type { DependencyInfo, GraphAnalysis, GraphMetadata, GraphOutput, ModuleInfo, ModuleReferenceInfo, ProviderInfo, } from "./interfaces/graph-output.interface";
 export { JsonFormatter } from "./visualize/json-formatter";

package/dist/index.js

@@ -3,48 +3,48 @@
  * @packageDocumentation
  * Nexus IoC Graph Analyzer - Static analysis tool for dependency injection graphs
  *
- * This package provides tools to analyze and visualize Nexus IoC dependency injection graphs
- * without executing code. It uses TypeScript's AST to extract metadata about modules, providers,
- * and their dependencies.
+ * This package statically analyzes Nexus IoC dependency injection graphs
+ * without executing code. Graph construction and semantic resolution are
+ * delegated to `@nexus-ioc/type-checker`; this package builds a string-keyed
+ * `NexusGraphModel` on top of it and runs analyses that don't belong in a
+ * generic semantic layer: circular dependency detection (modules and
+ * providers), unused-provider detection, module depth/fan-in/fan-out
+ * metrics, and provider scope-mismatch detection.
  *
  * @example
  * ```typescript
- * import { GraphAnalyzer, ParseEntryFile, ParseTsConfig } from 'graph-analyzer';
+ * import {
+ *   createNexusAnalyzer,
+ *   createNexusApplicationAnalyzer,
+ *   createNexusProgram,
+ *   findApplicationEntryPoint,
+ * } from '@nexus-ioc/type-checker';
+ * import { buildNexusGraphModel, JsonFormatter } from '@nexus-ioc/graph-analyzer';
  *
- * // Parse entry file
- * const tsConfig = new ParseTsConfig(configContent, basePath);
- * const entryFile = new ParseEntryFile(sourceFile, 'src/main.ts', tsConfig);
- * entryFile.parse();
+ * const program = createNexusProgram(['src/main.ts'], './tsconfig.json');
+ * const entryPoint = findApplicationEntryPoint(program, 'src/main.ts')!;
+ * const analyzer = createNexusAnalyzer(program);
+ * const application = createNexusApplicationAnalyzer(analyzer).analyze(entryPoint);
+ * const graphModel = buildNexusGraphModel(application);
  *
- * // Build graph and analyze
- * const graph = new Map();
- * graph.set('entry', entryFile);
- *
- * const analyzer = new GraphAnalyzer(graph, 'src/main.ts', {
- *   outputFormat: 'json'
- * });
- *
- * const output = analyzer.parse();
+ * const output = new JsonFormatter(graphModel, 'src/main.ts', true).format();
  * ```
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.JsonFormatter = exports.HtmlGenerator = exports.GraphAnalyzer = exports.GraphGenerator = exports.ParseTsConfig = exports.ParseNsModule = exports.ParseEntryFile = exports.DependencyExtractor = void 0;
-var dependency_extractor_1 = require("./parser/dependency-extractor");
-Object.defineProperty(exports, "DependencyExtractor", { enumerable: true, get: function () { return dependency_extractor_1.DependencyExtractor; } });
-// Parser exports
-var parse_entry_file_1 = require("./parser/parse-entry-file");
-Object.defineProperty(exports, "ParseEntryFile", { enumerable: true, get: function () { return parse_entry_file_1.ParseEntryFile; } });
-var parse_ns_module_1 = require("./parser/parse-ns-module");
-Object.defineProperty(exports, "ParseNsModule", { enumerable: true, get: function () { return parse_ns_module_1.ParseNsModule; } });
-var parse_ts_config_1 = require("./parser/parse-ts-config");
-Object.defineProperty(exports, "ParseTsConfig", { enumerable: true, get: function () { return parse_ts_config_1.ParseTsConfig; } });
-var generator_1 = require("./visualize/generator");
-Object.defineProperty(exports, "GraphGenerator", { enumerable: true, get: function () { return generator_1.GraphGenerator; } });
-// Main exports for programmatic use
-var graph_analyzer_1 = require("./visualize/graph-analyzer");
-Object.defineProperty(exports, "GraphAnalyzer", { enumerable: true, get: function () { return graph_analyzer_1.GraphAnalyzer; } });
-var html_generator_1 = require("./visualize/html-generator");
-Object.defineProperty(exports, "HtmlGenerator", { enumerable: true, get: function () { return html_generator_1.HtmlGenerator; } });
+exports.JsonFormatter = exports.buildNexusGraphModel = exports.UnusedProviderDetector = exports.ProviderScopeAnalyzer = exports.ModuleDepthAnalyzer = exports.CircularDependencyDetector = void 0;
+// Analyzers
+var circular_dependency_detector_1 = require("./analyzer/circular-dependency-detector");
+Object.defineProperty(exports, "CircularDependencyDetector", { enumerable: true, get: function () { return circular_dependency_detector_1.CircularDependencyDetector; } });
+var module_depth_analyzer_1 = require("./analyzer/module-depth-analyzer");
+Object.defineProperty(exports, "ModuleDepthAnalyzer", { enumerable: true, get: function () { return module_depth_analyzer_1.ModuleDepthAnalyzer; } });
+var provider_scope_analyzer_1 = require("./analyzer/provider-scope-analyzer");
+Object.defineProperty(exports, "ProviderScopeAnalyzer", { enumerable: true, get: function () { return provider_scope_analyzer_1.ProviderScopeAnalyzer; } });
+var unused_provider_detector_1 = require("./analyzer/unused-provider-detector");
+Object.defineProperty(exports, "UnusedProviderDetector", { enumerable: true, get: function () { return unused_provider_detector_1.UnusedProviderDetector; } });
+// Graph construction (built on top of @nexus-ioc/type-checker)
+var build_nexus_graph_model_1 = require("./graph/build-nexus-graph-model");
+Object.defineProperty(exports, "buildNexusGraphModel", { enumerable: true, get: function () { return build_nexus_graph_model_1.buildNexusGraphModel; } });
+// Report output (data only — no rendering; see @nexus-ioc/graph-visualizer for PNG/HTML)
 var json_formatter_1 = require("./visualize/json-formatter");
 Object.defineProperty(exports, "JsonFormatter", { enumerable: true, get: function () { return json_formatter_1.JsonFormatter; } });
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;;;AAWH,sEAAoE;AAA3D,2HAAA,mBAAmB,OAAA;AAC5B,iBAAiB;AACjB,8DAA2D;AAAlD,kHAAA,cAAc,OAAA;AACvB,4DAAyD;AAAhD,gHAAA,aAAa,OAAA;AACtB,4DAAyD;AAAhD,gHAAA,aAAa,OAAA;AACtB,mDAAuD;AAA9C,2GAAA,cAAc,OAAA;AAEvB,oCAAoC;AACpC,6DAA2D;AAAlD,+GAAA,aAAa,OAAA;AAEtB,6DAA2D;AAAlD,+GAAA,aAAa,OAAA;AACtB,6DAA2D;AAAlD,+GAAA,aAAa,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;;;AAEH,YAAY;AACZ,wFAIiD;AADhD,0IAAA,0BAA0B,OAAA;AAE3B,0EAK0C;AAFzC,4HAAA,mBAAmB,OAAA;AAGpB,8EAK4C;AAF3C,gIAAA,qBAAqB,OAAA;AAGtB,gFAI6C;AAD5C,kIAAA,sBAAsB,OAAA;AAEvB,+DAA+D;AAC/D,2EAAuE;AAA9D,+HAAA,oBAAoB,OAAA;AAmB7B,yFAAyF;AACzF,6DAA2D;AAAlD,+GAAA,aAAa,OAAA"}