@fougere/compiler 0.9.2-alpha.0 → 0.10.0-alpha.0

package/src/scan/scanner.ts

@@ -1,7 +1,7 @@
-import { DEFAULT_CONVENTIONS, frondDirsOf, frondPackage, providerDirsOf, resolveConventions, togetherKeyOf, type Conventions, type ConventionsInput, type ScanDiagnostic, type ScanResult } from '@fougere/core';
-import { Fronds, awaitKeyOf, cardinalityOf, computeBindingPlan, emitKeyOf, getPresenterFields, outputOf, ownedBy, repositoryKeyOf, storageKeyOf, targetOf, type CollectorEntry, type EntityEntry, type FrondDescriptor, type HandlerEntry, type MiddlewareEntry, type OperationContract, type OperationsMap, type PresenterEntry, type ProviderEntry, type SeedEntry, type TypeRef, viewsOf } from '@fougere/core/descriptor';
+import { DEFAULT_CONVENTIONS, frondDirsOf, frondPackage, providerDirsOf, resolveConventions, togetherKeyOf, type Conventions, type ConventionsInput, type Diagnostic, type ScanResult } from '@fougere/core';
+import { Fronds, awaitKeyOf, cardinalityOf, computeBindingPlan, emitKeyOf, getPresenterFields, outputOf, ownedBy, repositoryKeyOf, storageKeyOf, targetOf, type CollectorEntry, type EntityEntry, type FrondDescriptor, type HandlerEntry, type MiddlewareEntry, type OperationContract, type OperationsMap, type PresenterEntry, type ProviderEntry, type SeedEntry, type TypeRef, viewsOf, type ExtensionEntry } from '@fougere/core/descriptor';
 import { getModuleLoader, loadFrondConfig } from '@fougere/core/node';
-import type { FrondConfig } from '@fougere/core';
+import type { FrondConfig, ErrorCode } from '@fougere/core';
 import { readdir, readFile } from 'node:fs/promises';
 import { existsSync, type Dirent } from 'node:fs';
 import { join, dirname, basename, resolve as resolvePath } from 'node:path';
@@ -10,6 +10,7 @@ import { ANONYMOUS_SCHEMA_NAME, type SchemaView } from '@fougere/schema';
 
 import {
   parseAllHandlerMethods,
+  parseRefusals,
   parsePresenterMethods,
   parseConstructorParams,
   resetTypePrograms,
@@ -21,9 +22,9 @@ import { lowerFirst } from '@fougere/schema';
 // FS
 
 /** What this scan run could not do. */
-let diagnostics: ScanDiagnostic[] = [];
+let diagnostics: Diagnostic[] = [];
 
-function record(d: ScanDiagnostic): void {
+function record(d: Diagnostic): void {
   diagnostics.push(d);
 }
 
@@ -125,7 +126,7 @@ function toAddress(className: string): string {
 function depKeyOf(type: TypeRef): string {
   // `Facade<PostHandler>` — the second port, read exactly like the first. The type names
   // what arrives: not the handler (its methods take positional arguments and it is never
-  // injected), but the door built in front of it. Same key whether that door is the local
+  // injected), but the facade built in front of it. Same key whether that facade is the local
   // façade or a doublure, which is what makes the topology invisible from a signature.
   const facadeOf = type.name === 'Facade' ? type.generics?.[0]?.name : undefined;
   if (facadeOf) return lowerFirst(facadeOf);
@@ -211,6 +212,28 @@ async function toProvider(filePath: string): Promise<ProviderEntry> {
   return { name, ctor, deps, filePath };
 }
 
+/**
+ * An extension is recognized by its FORM: a module stating `up` or `down`.
+ *
+ * Not a class, unlike every other convention directory — nothing resolves it from a container
+ * and nothing asks for it by type. It is handed to the ascent as a value, which is what
+ * `CreateAppOptions.extensions` already takes, so a file here and a line there declare the
+ * same thing.
+ */
+async function toExtensionEntry(filePath: string): Promise<ExtensionEntry | null> {
+  const exported = await loadDefault(filePath);
+  if (typeof exported !== 'object' || exported === null) return null;
+
+  const stated = exported as { name?: unknown; up?: unknown; down?: unknown };
+  if (typeof stated.up !== 'function' && typeof stated.down !== 'function') return null;
+
+  return {
+    name: typeof stated.name === 'string' ? stated.name : basename(filePath).replace(/\.[^.]+$/, ''),
+    extension: exported as ExtensionEntry['extension'],
+    filePath,
+  };
+}
+
 async function toEntityEntry(filePath: string): Promise<EntityEntry | null> {
   const exported = await loadDefault(filePath);
   if (!isEntityClass(exported)) return null;
@@ -285,6 +308,16 @@ async function inferOperations(
     return map;
   }
 
+  // What every op of this handler can refuse, walked from each `throw` up to whoever reaches
+  // it. Read from the SAME program the signatures came from, so a dependency resolves through
+  // the checker rather than by name — and a guard living in a helper beside the handler is
+  // found, where reading the method's own body would have missed it.
+  const refusals = await parseRefusals(
+    filePath,
+    (name) => name.startsWith(`${handlerName}.`),
+    projectRoot,
+  ).catch(() => new Map<string, ErrorCode[]>());
+
   /**
    * A base class the parse could not open — an installed package, typically, whose source is not
    * in the workspace.
@@ -304,9 +337,11 @@ async function inferOperations(
     // The contract is what carries the description; `signature` is the raw material it
     // was read from. Leaving it only on the signature meant every consumer had to know
     // to look one level down, and only the façade did.
+    const refused = refusals.get(`${handlerName}.${method.name}`);
     const meta: OperationContract = {
       signature: method,
       ...(method.description && { description: method.description }),
+      ...(refused?.length ? { errors: refused } : {}),
     };
 
     // A convention may omit a declaration only when it has one answer. Only values the
@@ -387,7 +422,7 @@ async function toHandlerEntry(
 
   // Read output override from Crud(Entity, Output) — static __output property
   // A handler-wide view, when it is not simply the entity — the two are compared by
-  // identity, which is why both slots are read through the same door.
+  // identity, which is why both slots are read through the same facade.
   const subject = targetOf(ctor);
   const declared = outputOf(ctor);
   const outputOverride = declared && subject && declared !== subject
@@ -525,9 +560,15 @@ async function scanFrond(frondPath: string, name: string, source: FrondDescripto
     return entries.filter((entry): entry is T => entry !== null);
   };
 
+  // vocabulary/ FIRST, and for its effect: a file here calls `Generators.register` or its
+  // neighbours at module level, and an entity below may write the name it just added. Nothing
+  // is kept — the registry holds what the module put in it.
+  for (const filePath of await files(join(frondPath, conventions.dirs.vocabulary))) await loadModule(filePath);
+
   // services/ and repositories/ — two spellings, one provider list.
   const providers = (await Promise.all(providerDirsOf(conventions).map((dir) => collect(dir, toProvider)))).flat();
   const entities = await collect(entitiesDir, toEntityEntry);
+  const extensions = await collect(conventions.dirs.extensions, toExtensionEntry);
   const collectors = await collect(collectorsDir, toCollectorEntry);
   const collectorTypeNames = new Set(collectors.map((collector) => collector.typeName));
   const frondConfig = await loadFrondConfig(frondPath);
@@ -599,6 +640,7 @@ async function scanFrond(frondPath: string, name: string, source: FrondDescripto
     collectors,
     seeds,
     middlewares,
+    ...(extensions.length > 0 ? { extensions } : {}),
     ...(frondConfig?.pipes ? { pipes: frondConfig.pipes } : {}),
     surfaces: frondConfig?.surfaces,
     reads: frondConfig?.reads,

package/src/scan/statement.ts

@@ -3,7 +3,8 @@ import { type ScanResult } from '@fougere/core';
 import { nameOf, type FrondDescriptor } from '@fougere/core/descriptor';
 import { relative } from 'node:path';
 
-import { type Aliases, type Live, operationsOf } from './contract.js';
+import { type Aliases } from './Aliases.js';
+import { operationsOf, type Live } from './Live.js';
 
 /**
  * A file becomes the specifier the PROJECT already uses for it: `@fronds/blog/…`, the import scope

package/dist/scan/contract.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../src/scan/contract.ts"],"names":[],"mappings":"AAAA,oFAAoF;AACpF,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAClE,OAAO,EAA+B,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE/E,qEAAqE;AACrE,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAE1B;;;;;;;GAOG;AACH,MAAM,WAAW,OAAO;IACtB,OAAO,CAAC,KAAK,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAAC;IACzC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3D,uFAAuF;IACvF,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;CAC5C;AAED,eAAO,MAAM,GAAG,UAAW,OAAO,KAAG,MAAuC,CAAC;AAE7E,0DAA0D;AAC1D,wBAAgB,SAAS,CACvB,MAAM,EAAE,UAAU,GAAG,SAAS,EAC9B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,OAAO,GACf,MAAM,GAAG,SAAS,CAiBpB;AAED,+DAA+D;AAC/D,wBAAgB,UAAU,CACxB,EAAE,EAAE,MAAM,EACV,QAAQ,EAAE,iBAAiB,EAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,OAAO,GACf,MAAM,CAYR;AAED,mEAAmE;AACnE,wBAAgB,YAAY,CAC1B,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,EAClD,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,MAAM,GACb,MAAM,CAIR"}

package/dist/scan/contract.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/scan/contract.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAmB,MAAM,iBAAiB,CAAC;AAoB/E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC;AAE7E,0DAA0D;AAC1D,MAAM,UAAU,SAAS,CACvB,MAA8B,EAC9B,UAAkB,EAClB,OAAgB;IAEhB,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,MAAc,CAAC,CAAC;IAC9C,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IAExB,MAAM,IAAI,GAAI,MAA4B,CAAC,IAAI,CAAC;IAChD,IAAI,IAAI,IAAI,IAAI,KAAK,qBAAqB;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,MAAc,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAEnG,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,IAAI,IAAI;QAAE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC;IAEtD,MAAM,IAAI,KAAK,CACb,yDAAyD,UAAU,oBAAoB;UACrF,wEAAwE,CAC3E,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,UAAU,CACxB,EAAU,EACV,QAA2B,EAC3B,UAAkB,EAClB,OAAgB;IAEhB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IAC/D,IAAI,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;IACzC,IAAI,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpF,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAChG,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAChG,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAE1F,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;AACjD,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,YAAY,CAC1B,UAAkD,EAClD,UAAkB,EAClB,OAAgB,EAChB,MAAc;IAEd,MAAM,GAAG,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IAEhG,OAAO,cAAc,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,MAAM,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC;AAC5E,CAAC"}