@tsonic/frontend 0.0.74 → 0.0.75

package/dist/program/binding-registry.d.ts

@@ -1,6 +1,10 @@
 /**
  * Binding Registry - runtime registry of all loaded bindings
  * Supports simple (global/module) and hierarchical (namespace/type/member) formats
+ *
+ * This file is a thin facade. Heavy logic lives in:
+ *   - binding-registry-resolution.ts  (member & extension-method resolution)
+ *   - binding-registry-loading.ts     (addBindings ingestion)
  */
 import type { MemberBinding, TypeBinding, NamespaceBinding, SimpleBindingDescriptor, TsbindgenExport, BindingFile } from "./binding-types.js";
 export declare const simpleBindingContributesTypeIdentity: (descriptor: SimpleBindingDescriptor) => boolean;
@@ -10,16 +14,20 @@ export declare const simpleBindingContributesTypeIdentity: (descriptor: SimpleBi
  */
 export declare class BindingRegistry {
     private readonly loadedBindingFiles;
+    private readonly sourceOwnedTypeAliases;
     private readonly simpleBindings;
-    private readonly simpleBindingsLowercase;
+    private readonly simpleGlobalBindings;
+    private readonly simpleModuleBindings;
     private readonly namespaces;
     private readonly types;
     private readonly typeLookupAliasMap;
     private readonly members;
     private readonly memberOverloads;
     private readonly clrMemberOverloads;
+    private readonly clrTypeNamesByAlias;
     private readonly tsbindgenExports;
     private readonly tsSupertypes;
+    private readonly tsBaseTypes;
     private readonly clrTypeNames;
     /**
      * Extension method index for instance-style calls.
@@ -32,24 +40,8 @@ export declare class BindingRegistry {
      * Values are one or more candidates (overloads share the same target).
      */
     private readonly extensionMethods;
-    private getExtensionMethodCandidates;
-    private addSupertype;
-    private getDirectSupertypes;
-    /**
-     * Resolve an extension method binding target by extension interface name.
-     *
-     * @param extensionInterfaceName - e.g. "__Ext_System_Linq_IEnumerable_1"
-     * @param methodTsName - e.g. "where"
-     */
-    resolveExtensionMethod(extensionInterfaceName: string, methodTsName: string, callArgumentCount?: number): MemberBinding | undefined;
-    /**
-     * Resolve an extension method binding target by explicit (namespaceKey, receiverTypeName).
-     *
-     * Used when extension methods are emitted as method-table members with explicit `this:`
-     * receiver constraints (the declaring interface name no longer encodes the receiver type).
-     */
-    resolveExtensionMethodByKey(namespaceKey: string, receiverTypeName: string, methodTsName: string, callArgumentCount?: number): MemberBinding | undefined;
-    private parseExtensionInterfaceName;
+    /** Snapshot of mutable state for use by extracted pure resolution functions. */
+    private get state();
     /**
      * Load a binding manifest file and add its bindings to the registry
      * Supports simple, full, and tsbindgen formats
@@ -58,7 +50,14 @@ export declare class BindingRegistry {
     /**
      * Look up a simple global/module binding
      */
+    getExactBinding(name: string): SimpleBindingDescriptor | undefined;
+    getExactBindingByKind(name: string, kind: SimpleBindingDescriptor["kind"]): SimpleBindingDescriptor | undefined;
+    /**
+     * Look up a simple global/module binding by exact authored name.
+     */
     getBinding(name: string): SimpleBindingDescriptor | undefined;
+    getBindingByKind(name: string, kind: SimpleBindingDescriptor["kind"]): SimpleBindingDescriptor | undefined;
+    hasSourceOwnedTypeAlias(typeAlias: string): boolean;
     /**
      * Look up a namespace binding by TS alias
      */
@@ -82,13 +81,27 @@ export declare class BindingRegistry {
      * modifiers (tsbindgen provides these via `parameterModifiers`). This accessor
      * preserves overload sets so the call converter can select the correct one.
      */
-    getMemberOverloads(typeAlias: string, memberAlias: string): readonly MemberBinding[] | undefined;
+    getMemberOverloads(typeAlias: string, memberAlias: string, preferredClrOwner?: string): readonly MemberBinding[] | undefined;
     /**
      * Look up all member bindings for a CLR member target.
      *
      * Keyed by declaring assembly, CLR type, and CLR member name.
      */
     getClrMemberOverloads(assembly: string, clrType: string, clrMember: string): readonly MemberBinding[] | undefined;
+    /**
+     * Resolve an extension method binding target by extension interface name.
+     *
+     * @param extensionInterfaceName - e.g. "__Ext_System_Linq_IEnumerable_1"
+     * @param methodTsName - e.g. "where"
+     */
+    resolveExtensionMethod(extensionInterfaceName: string, methodTsName: string, callArgumentCount?: number): MemberBinding | undefined;
+    /**
+     * Resolve an extension method binding target by explicit (namespaceKey, receiverTypeName).
+     *
+     * Used when extension methods are emitted as method-table members with explicit `this:`
+     * receiver constraints (the declaring interface name no longer encodes the receiver type).
+     */
+    resolveExtensionMethodByKey(namespaceKey: string, receiverTypeName: string, methodTsName: string, callArgumentCount?: number): MemberBinding | undefined;
     /**
      * Look up a tsbindgen flattened named export by CLR namespace + export name.
      */
@@ -97,6 +110,7 @@ export declare class BindingRegistry {
      * Get all loaded simple bindings
      */
     getAllBindings(): readonly [string, SimpleBindingDescriptor][];
+    isTypeOrSubtype(typeAlias: string, superAlias: string): boolean;
     /**
      * Get all loaded namespaces
      */
@@ -122,7 +136,5 @@ export declare class BindingRegistry {
      * Clear all loaded bindings
      */
     clear(): void;
-    private resolveLookupAlias;
-    private resolveSimpleBindingAlias;
 }
 //# sourceMappingURL=binding-registry.d.ts.map

package/dist/program/binding-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"binding-registry.d.ts","sourceRoot":"","sources":["../../src/program/binding-registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAEV,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,EACf,WAAW,EACZ,MAAM,oBAAoB,CAAC;AAM5B,eAAO,MAAM,oCAAoC,GAC/C,YAAY,uBAAuB,KAClC,OAOF,CAAC;AAEF;;;GAGG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAqB;IAGxD,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA8C;IAC7E,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAGpC;IAGJ,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuC;IAClE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkC;IACxD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAA6B;IAChE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;IAC5D,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAsC;IACtE,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAsC;IACzE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAG7B;IACJ,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAkC;IAC/D,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAqB;IAElD;;;;;;;;;OASG;IACH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAG7B;IAEJ,OAAO,CAAC,4BAA4B;IAWpC,OAAO,CAAC,YAAY;IASpB,OAAO,CAAC,mBAAmB;IAM3B;;;;;OAKG;IACH,sBAAsB,CACpB,sBAAsB,EAAE,MAAM,EAC9B,YAAY,EAAE,MAAM,EACpB,iBAAiB,CAAC,EAAE,MAAM,GACzB,aAAa,GAAG,SAAS;IAY5B;;;;;OAKG;IACH,2BAA2B,CACzB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,YAAY,EAAE,MAAM,EACpB,iBAAiB,CAAC,EAAE,MAAM,GACzB,aAAa,GAAG,SAAS;IAiJ5B,OAAO,CAAC,2BAA2B;IA4BnC;;;OAGG;IACH,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,GAAG,IAAI;IAkR3D;;OAEG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS;IAO7D;;OAEG;IACH,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAI3D;;OAEG;IACH,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIjD;;OAEG;IACH,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO;IAI5C;;OAEG;IACH,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS;IA6B5E;;;;;;OAMG;IACH,kBAAkB,CAChB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,GAClB,SAAS,aAAa,EAAE,GAAG,SAAS;IA+BvC;;;;OAIG;IACH,qBAAqB,CACnB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAChB,SAAS,aAAa,EAAE,GAAG,SAAS;IAMvC;;OAEG;IACH,kBAAkB,CAChB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,eAAe,GAAG,SAAS;IAI9B;;OAEG;IACH,cAAc,IAAI,SAAS,CAAC,MAAM,EAAE,uBAAuB,CAAC,EAAE;IAI9D;;OAEG;IACH,gBAAgB,IAAI,SAAS,gBAAgB,EAAE;IAI/C;;;OAGG;IACH,WAAW,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC;IAI/C;;;;;;;;;;OAUG;IACH,iBAAiB,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC;IAoBrD;;OAEG;IACH,KAAK,IAAI,IAAI;IAgBb,OAAO,CAAC,kBAAkB;IAI1B,OAAO,CAAC,yBAAyB;CASlC"}
+{"version":3,"file":"binding-registry.d.ts","sourceRoot":"","sources":["../../src/program/binding-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,uBAAuB,EACvB,eAAe,EACf,WAAW,EACZ,MAAM,oBAAoB,CAAC;AAgB5B,eAAO,MAAM,oCAAoC,GAC/C,YAAY,uBAAuB,KAClC,OAOF,CAAC;AAUF;;;GAGG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAqB;IACxD,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAqB;IAG5D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAA8C;IAC7E,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAGjC;IACJ,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAGjC;IAGJ,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuC;IAClE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAkC;IACxD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAA6B;IAChE,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;IAC5D,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAsC;IACtE,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAsC;IACzE,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAkC;IACtE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAG7B;IACJ,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAkC;IAC/D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IACzD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAqB;IAElD;;;;;;;;;OASG;IACH,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAG7B;IAEJ,gFAAgF;IAChF,OAAO,KAAK,KAAK,GAchB;IAED;;;OAGG;IACH,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,GAAG,IAAI;IA0B3D;;OAEG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS;IAIlE,qBAAqB,CACnB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,GACpC,uBAAuB,GAAG,SAAS;IAMtC;;OAEG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS;IAI7D,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,GACpC,uBAAuB,GAAG,SAAS;IAMtC,uBAAuB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAInD;;OAEG;IACH,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS;IAI3D;;OAEG;IACH,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAIjD;;OAEG;IACH,cAAc,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO;IAI5C;;OAEG;IACH,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS;IAK5E;;;;;;OAMG;IACH,kBAAkB,CAChB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,EACnB,iBAAiB,CAAC,EAAE,MAAM,GACzB,SAAS,aAAa,EAAE,GAAG,SAAS;IASvC;;;;OAIG;IACH,qBAAqB,CACnB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,GAChB,SAAS,aAAa,EAAE,GAAG,SAAS;IAMvC;;;;;OAKG;IACH,sBAAsB,CACpB,sBAAsB,EAAE,MAAM,EAC9B,YAAY,EAAE,MAAM,EACpB,iBAAiB,CAAC,EAAE,MAAM,GACzB,aAAa,GAAG,SAAS;IAS5B;;;;;OAKG;IACH,2BAA2B,CACzB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,YAAY,EAAE,MAAM,EACpB,iBAAiB,CAAC,EAAE,MAAM,GACzB,aAAa,GAAG,SAAS;IAU5B;;OAEG;IACH,kBAAkB,CAChB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,eAAe,GAAG,SAAS;IAI9B;;OAEG;IACH,cAAc,IAAI,SAAS,CAAC,MAAM,EAAE,uBAAuB,CAAC,EAAE;IAI9D,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO;IAI/D;;OAEG;IACH,gBAAgB,IAAI,SAAS,gBAAgB,EAAE;IAI/C;;;OAGG;IACH,WAAW,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC;IAI/C;;;;;;;;;;OAUG;IACH,iBAAiB,IAAI,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC;IAsBrD;;OAEG;IACH,KAAK,IAAI,IAAI;CAkBd"}