@supacloud/compiler 0.2.0 → 0.3.1

package/dist/index.d.ts

@@ -4,4 +4,4 @@ export { generateApplication } from "./generate";
 export type { GenerateOptions } from "./generate";
 export { validateGraph } from "./validate";
 export { camelName } from "./util";
-export type { ApplicationGraph, CommandNode, CompileOptions, CompileResult, ControllerNode, Diagnostic, ModuleNode, ProviderKind, ProviderNode, QueryNode, RouteNode, Scope, TokenKind, } from "./types";
+export type { ApplicationGraph, CommandNode, CompileOptions, CompileResult, ControllerNode, Diagnostic, ModuleBoundaryRule, ModuleNode, ProviderKind, ProviderNode, QueryNode, RouteNode, Scope, TokenKind, } from "./types";

package/dist/index.js

@@ -137,6 +137,7 @@ function parseTokenVariable(decl, file) {
 function parseModule(candidate, nameByNode, ctx) {
   const { options, className, file, line } = candidate;
   const name = nameByNode.get(candidate.node) ?? className;
+  const tags = arrayProp(options, "tags").map((el) => Node.isStringLiteral(el) ? el.getLiteralText() : el.getText().replace(/['"]/g, "")).filter(Boolean);
   const imports = arrayProp(options, "imports").map((el) => {
     const decl = Node.isIdentifier(el) ? resolveDeclaration(el)[0] : undefined;
     if (decl) {
@@ -221,6 +222,7 @@ function parseModule(candidate, nameByNode, ctx) {
   return {
     name,
     className,
+    tags: tags.length > 0 ? tags : undefined,
     file: sourcePath(ctx.rootDir, file),
     line,
     imports,
@@ -1012,7 +1014,9 @@ var SCOPE_LIFETIME_RANK = {
   request: 1,
   job: 1
 };
-function validateGraph(graph, strict = false) {
+function validateGraph(graph, options = false) {
+  const strict = typeof options === "boolean" ? options : options.strict ?? false;
+  const moduleBoundaries = typeof options === "object" ? options.moduleBoundaries : undefined;
   const diagnostics = [];
   const globalProviders = new Map;
   for (const module of graph.modules) {
@@ -1113,6 +1117,35 @@ function validateGraph(graph, strict = false) {
       }
     }
   }
+  if (moduleBoundaries && moduleBoundaries.length > 0) {
+    for (const module of graph.modules) {
+      const sourceTags = module.tags ?? [];
+      for (const importName of module.imports) {
+        const targetModule = graph.modules.find((m) => m.name === importName);
+        if (!targetModule)
+          continue;
+        const targetTags = targetModule.tags ?? [];
+        for (const rule of moduleBoundaries) {
+          const matchesSource = rule.sourceTag === "*" || sourceTags.includes(rule.sourceTag);
+          if (!matchesSource)
+            continue;
+          if (rule.bannedDependenciesWithTags) {
+            for (const bannedTag of rule.bannedDependenciesWithTags) {
+              if (targetTags.includes(bannedTag)) {
+                error("module-boundary-violation", `模块 ${module.name} (tags: [${sourceTags.join(", ")}]) 禁止依赖带有标签 '${bannedTag}' 的模块 ${targetModule.name} (tags: [${targetTags.join(", ")}])`, module.file, module.line);
+              }
+            }
+          }
+          if (rule.onlyDependOnLibsWithTags && rule.onlyDependOnLibsWithTags.length > 0) {
+            const hasAllowed = targetTags.some((t) => rule.onlyDependOnLibsWithTags.includes(t));
+            if (!hasAllowed && targetTags.length > 0) {
+              error("module-boundary-violation", `模块 ${module.name} (tags: [${sourceTags.join(", ")}]) 仅允许依赖带有 [${rule.onlyDependOnLibsWithTags.join(", ")}] 标签的模块，但模块 ${targetModule.name} 的标签为 [${targetTags.join(", ")}]`, module.file, module.line);
+            }
+          }
+        }
+      }
+    }
+  }
   diagnostics.push(...detectCycles(graph, resolveDep));
   return diagnostics;
 }
@@ -1169,7 +1202,10 @@ async function compileProject(options) {
   const graph = await analyzeProject(options.rootDir, options.include);
   const diagnostics = [
     ...graph.diagnostics ?? [],
-    ...validateGraph(graph, options.strict)
+    ...validateGraph(graph, {
+      strict: options.strict,
+      moduleBoundaries: options.moduleBoundaries
+    })
   ];
   if (options.strict) {
     for (const diagnostic of diagnostics) {

package/dist/types.d.ts

@@ -68,6 +68,8 @@ export interface ModuleNode {
     /** @Module({ name }) 或 defineModule 的 name。 */
     name: string;
     className: string;
+    /** 模块标签（如 ['scope:case', 'type:feature']），用于架构边界治理。 */
+    tags?: string[];
     file: string;
     line: number;
     /** 被 import 模块的 name。 */
@@ -104,6 +106,16 @@ export interface CompileOptions {
     outDir: string;
     /** warn 级诊断升级为 error。 */
     strict?: boolean;
+    /** 模块边界与架构治理规则（受 Nx enforce-module-boundaries 启发）。 */
+    moduleBoundaries?: ModuleBoundaryRule[];
+}
+export interface ModuleBoundaryRule {
+    /** 源模块标签模式或标签（如 'type:ui', 'scope:case', '*'）。 */
+    sourceTag: string;
+    /** 源模块仅允许依赖具有这些标签的模块。 */
+    onlyDependOnLibsWithTags?: string[];
+    /** 源模块禁止依赖具有这些标签的模块。 */
+    bannedDependenciesWithTags?: string[];
 }
 export interface CompileResult {
     diagnostics: Diagnostic[];

package/dist/validate.d.ts

@@ -1,6 +1,9 @@
-import type { ApplicationGraph, Diagnostic } from "./types";
+import type { ApplicationGraph, Diagnostic, ModuleBoundaryRule } from "./types";
 /**
  * 校验 ApplicationGraph，产出诊断列表。
  * strict 时 warn 级诊断升级为 error。
  */
-export declare function validateGraph(graph: ApplicationGraph, strict?: boolean): Diagnostic[];
+export declare function validateGraph(graph: ApplicationGraph, options?: boolean | {
+    strict?: boolean;
+    moduleBoundaries?: ModuleBoundaryRule[];
+}): Diagnostic[];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@supacloud/compiler",
-  "version": "0.2.0",
+  "version": "0.3.1",
   "description": "Static compiler for @supacloud/app metadata: builds the application graph from AST, validates it, and generates reflection-free factory code",
   "type": "module",
   "main": "./dist/index.js",
@@ -41,7 +41,7 @@
     "directory": "packages/compiler"
   },
   "dependencies": {
-    "ts-morph": "^26.0.0"
+    "ts-morph": "^28.0.0"
   },
   "devDependencies": {
     "@types/bun": "^1.4.0",