@tsonic/frontend 0.0.1 → 0.0.2

package/dist/symbol-table/queries.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Symbol table query functions
+ */
+import { Symbol, SymbolTable } from "./types.js";
+/**
+ * Find symbols by name, optionally filtered by module
+ */
+export declare const findSymbol: (table: SymbolTable, name: string, module?: string) => readonly Symbol[];
+/**
+ * Get all exported symbols from a module
+ */
+export declare const getExportedSymbols: (table: SymbolTable, module: string) => readonly Symbol[];
+/**
+ * Check if a module exports a symbol with the given name
+ */
+export declare const hasExportedSymbol: (table: SymbolTable, module: string, name: string) => boolean;
+//# sourceMappingURL=queries.d.ts.map

package/dist/symbol-table/queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../../src/symbol-table/queries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEjD;;GAEG;AACH,eAAO,MAAM,UAAU,GACrB,OAAO,WAAW,EAClB,MAAM,MAAM,EACZ,SAAS,MAAM,KACd,SAAS,MAAM,EAMjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,OAAO,WAAW,EAClB,QAAQ,MAAM,KACb,SAAS,MAAM,EAEjB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,WAAW,EAClB,QAAQ,MAAM,EACd,MAAM,MAAM,KACX,OAGF,CAAC"}

package/dist/symbol-table/queries.js

@@ -0,0 +1,27 @@
+/**
+ * Symbol table query functions
+ */
+/**
+ * Find symbols by name, optionally filtered by module
+ */
+export const findSymbol = (table, name, module) => {
+    if (module) {
+        const moduleSymbols = table.moduleSymbols.get(module) ?? [];
+        return moduleSymbols.filter((s) => s.name === name);
+    }
+    return table.symbols.get(name) ?? [];
+};
+/**
+ * Get all exported symbols from a module
+ */
+export const getExportedSymbols = (table, module) => {
+    return table.exportedSymbols.get(module) ?? [];
+};
+/**
+ * Check if a module exports a symbol with the given name
+ */
+export const hasExportedSymbol = (table, module, name) => {
+    const exported = getExportedSymbols(table, module);
+    return exported.some((s) => s.name === name);
+};
+//# sourceMappingURL=queries.js.map

package/dist/symbol-table/queries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.js","sourceRoot":"","sources":["../../src/symbol-table/queries.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAkB,EAClB,IAAY,EACZ,MAAe,EACI,EAAE;IACrB,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5D,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAkB,EAClB,MAAc,EACK,EAAE;IACrB,OAAO,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AACjD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAkB,EAClB,MAAc,EACd,IAAY,EACH,EAAE;IACX,MAAM,QAAQ,GAAG,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACnD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC/C,CAAC,CAAC"}

package/dist/symbol-table/types.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Symbol table type definitions
+ */
+import * as ts from "typescript";
+export type SymbolKind = "class" | "interface" | "function" | "variable" | "type" | "enum" | "namespace";
+export type Symbol = {
+    readonly name: string;
+    readonly kind: SymbolKind;
+    readonly isExported: boolean;
+    readonly module: string;
+    readonly tsSymbol?: ts.Symbol;
+};
+export type SymbolTable = {
+    readonly symbols: ReadonlyMap<string, readonly Symbol[]>;
+    readonly moduleSymbols: ReadonlyMap<string, readonly Symbol[]>;
+    readonly exportedSymbols: ReadonlyMap<string, readonly Symbol[]>;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/symbol-table/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/symbol-table/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,MAAM,MAAM,UAAU,GAClB,OAAO,GACP,WAAW,GACX,UAAU,GACV,UAAU,GACV,MAAM,GACN,MAAM,GACN,WAAW,CAAC;AAEhB,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACzD,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC/D,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;CAClE,CAAC"}

package/dist/symbol-table/types.js

@@ -0,0 +1,5 @@
+/**
+ * Symbol table type definitions
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/symbol-table/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/symbol-table/types.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/{src/symbol-table.ts → dist/symbol-table.d.ts}

@@ -2,13 +2,6 @@
  * Symbol table for tracking cross-module references
  * Main dispatcher - re-exports from symbol-table/ subdirectory
  */
-
 export type { SymbolKind, Symbol, SymbolTable } from "./symbol-table/index.js";
-export {
-  createSymbolTable,
-  addSymbol,
-  buildSymbolTable,
-  findSymbol,
-  getExportedSymbols,
-  hasExportedSymbol,
-} from "./symbol-table/index.js";
+export { createSymbolTable, addSymbol, buildSymbolTable, findSymbol, getExportedSymbols, hasExportedSymbol, } from "./symbol-table/index.js";
+//# sourceMappingURL=symbol-table.d.ts.map

package/dist/symbol-table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-table.d.ts","sourceRoot":"","sources":["../src/symbol-table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC/E,OAAO,EACL,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EAChB,UAAU,EACV,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC"}

package/dist/symbol-table.js

@@ -0,0 +1,6 @@
+/**
+ * Symbol table for tracking cross-module references
+ * Main dispatcher - re-exports from symbol-table/ subdirectory
+ */
+export { createSymbolTable, addSymbol, buildSymbolTable, findSymbol, getExportedSymbols, hasExportedSymbol, } from "./symbol-table/index.js";
+//# sourceMappingURL=symbol-table.js.map

package/dist/symbol-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-table.js","sourceRoot":"","sources":["../src/symbol-table.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EAChB,UAAU,EACV,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC"}

package/dist/types/bindings.d.ts

@@ -0,0 +1,153 @@
+/**
+ * Type definitions for .NET bindings.json files generated by tsbindgen.
+ *
+ * These types represent runtime binding information used for reflection-based dispatch.
+ * All property names use camelCase (JavaScript convention).
+ *
+ * The bindings format uses a dual-version structure:
+ * - V1 Definitions: Full method signatures for reference
+ * - V2 Exposures: Lightweight binding info for runtime dispatch
+ *
+ * @see spec/bindings.md for complete schema documentation
+ */
+/**
+ * Root bindings file structure.
+ * Represents a single namespace with all its type bindings.
+ */
+export type BindingsFile = {
+    readonly namespace: string;
+    readonly types: TypeBinding[];
+};
+/**
+ * Complete binding information for a CLR type.
+ * Includes both V1 definitions and V2 exposures.
+ */
+export type TypeBinding = {
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly assemblyName: string;
+    readonly metadataToken: number;
+    readonly methods?: MethodBinding[];
+    readonly properties?: PropertyBinding[];
+    readonly fields?: FieldBinding[];
+    readonly events?: EventBinding[];
+    readonly exposedMethods?: ExposedMethodBinding[];
+    readonly exposedProperties?: ExposedPropertyBinding[];
+    readonly exposedFields?: ExposedFieldBinding[];
+    readonly exposedEvents?: ExposedEventBinding[];
+};
+/**
+ * V1 Definition: Complete method signature.
+ * Used for type checking and reference.
+ */
+export type MethodBinding = {
+    readonly name: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly arity: number;
+    readonly parameters: ParameterBinding[];
+    readonly returnType: string;
+    readonly metadataToken: number;
+};
+/**
+ * V1 Definition: Property information.
+ */
+export type PropertyBinding = {
+    readonly name: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly type: string;
+    readonly hasGetter: boolean;
+    readonly hasSetter: boolean;
+    readonly getterToken?: number;
+    readonly setterToken?: number;
+};
+/**
+ * V1 Definition: Field information.
+ */
+export type FieldBinding = {
+    readonly name: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly type: string;
+    readonly metadataToken: number;
+};
+/**
+ * V1 Definition: Event information.
+ */
+export type EventBinding = {
+    readonly name: string;
+    readonly clrName: string;
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly type: string;
+    readonly adderToken: number;
+    readonly removerToken: number;
+};
+/**
+ * Parameter binding information.
+ */
+export type ParameterBinding = {
+    readonly name: string;
+    readonly type: string;
+    readonly isRef: boolean;
+    readonly isOut: boolean;
+    readonly isIn?: boolean;
+    readonly isParams: boolean;
+};
+/**
+ * V2 Exposure: Lightweight method binding for runtime dispatch.
+ * Optimized format with minimal data for fast lookups.
+ */
+export type ExposedMethodBinding = {
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly arity: number;
+    readonly overloads: MethodOverloadBinding[];
+};
+/**
+ * Method overload binding.
+ * One entry per unique parameter count.
+ */
+export type MethodOverloadBinding = {
+    readonly parameterCount: number;
+    readonly metadataToken: number;
+};
+/**
+ * V2 Exposure: Lightweight property binding for runtime access.
+ */
+export type ExposedPropertyBinding = {
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly getterToken?: number;
+    readonly setterToken?: number;
+};
+/**
+ * V2 Exposure: Lightweight field binding for runtime access.
+ */
+export type ExposedFieldBinding = {
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly metadataToken: number;
+};
+/**
+ * V2 Exposure: Lightweight event binding for runtime access.
+ */
+export type ExposedEventBinding = {
+    readonly tsEmitName: string;
+    readonly isStatic: boolean;
+    readonly adderToken: number;
+    readonly removerToken: number;
+};
+/**
+ * Helper type: Extract V1 definitions from a type binding.
+ */
+export type V1Definitions = Pick<TypeBinding, "methods" | "properties" | "fields" | "events">;
+/**
+ * Helper type: Extract V2 exposures from a type binding.
+ */
+export type V2Exposures = Pick<TypeBinding, "exposedMethods" | "exposedProperties" | "exposedFields" | "exposedEvents">;
+//# sourceMappingURL=bindings.d.ts.map

package/dist/types/bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.d.ts","sourceRoot":"","sources":["../../src/types/bindings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC;CAC/B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAC;IACjC,QAAQ,CAAC,cAAc,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACjD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACtD,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,EAAE,CAAC;IAC/C,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,EAAE,CAAC;CAChD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,qBAAqB,EAAE,CAAC;CAC7C,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,IAAI,CAC9B,WAAW,EACX,SAAS,GAAG,YAAY,GAAG,QAAQ,GAAG,QAAQ,CAC/C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,IAAI,CAC5B,WAAW,EACX,gBAAgB,GAAG,mBAAmB,GAAG,eAAe,GAAG,eAAe,CAC3E,CAAC"}

package/dist/types/bindings.js

@@ -0,0 +1,14 @@
+/**
+ * Type definitions for .NET bindings.json files generated by tsbindgen.
+ *
+ * These types represent runtime binding information used for reflection-based dispatch.
+ * All property names use camelCase (JavaScript convention).
+ *
+ * The bindings format uses a dual-version structure:
+ * - V1 Definitions: Full method signatures for reference
+ * - V2 Exposures: Lightweight binding info for runtime dispatch
+ *
+ * @see spec/bindings.md for complete schema documentation
+ */
+export {};
+//# sourceMappingURL=bindings.js.map

package/dist/types/bindings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bindings.js","sourceRoot":"","sources":["../../src/types/bindings.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}

package/dist/types/diagnostic.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Diagnostic types for Tsonic compiler
+ */
+export type DiagnosticSeverity = "error" | "warning" | "info";
+export type DiagnosticCode = "TSN1001" | "TSN1002" | "TSN1003" | "TSN1004" | "TSN1005" | "TSN1006" | "TSN2001" | "TSN2002" | "TSN2003" | "TSN3001" | "TSN3002" | "TSN3011" | "TSN4001" | "TSN4002" | "TSN5001" | "TSN5002" | "TSN6001" | "TSN7101" | "TSN7102" | "TSN7103" | "TSN7104" | "TSN7105" | "TSN7201" | "TSN7202" | "TSN7203" | "TSN7204" | "TSN7301" | "TSN7401" | "TSN7403" | "TSN7405" | "TSN7413" | "TSN9001" | "TSN9002" | "TSN9003" | "TSN9004" | "TSN9005" | "TSN9006" | "TSN9007" | "TSN9008" | "TSN9009" | "TSN9010" | "TSN9011" | "TSN9012" | "TSN9013" | "TSN9014" | "TSN9015" | "TSN9016" | "TSN9017" | "TSN9018" | "TSN9101" | "TSN9102" | "TSN9103" | "TSN9104" | "TSN9105" | "TSN9106" | "TSN9107" | "TSN9108" | "TSN9109" | "TSN9110" | "TSN9111" | "TSN9112" | "TSN9113" | "TSN9114";
+export type SourceLocation = {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+    readonly length: number;
+};
+export type Diagnostic = {
+    readonly code: DiagnosticCode;
+    readonly severity: DiagnosticSeverity;
+    readonly message: string;
+    readonly location?: SourceLocation;
+    readonly hint?: string;
+    readonly relatedLocations?: readonly SourceLocation[];
+};
+export declare const createDiagnostic: (code: DiagnosticCode, severity: DiagnosticSeverity, message: string, location?: SourceLocation, hint?: string, relatedLocations?: readonly SourceLocation[]) => Diagnostic;
+export declare const isError: (diagnostic: Diagnostic) => boolean;
+export declare const formatDiagnostic: (diagnostic: Diagnostic) => string;
+export type DiagnosticsCollector = {
+    readonly diagnostics: readonly Diagnostic[];
+    readonly hasErrors: boolean;
+};
+export declare const createDiagnosticsCollector: () => DiagnosticsCollector;
+export declare const addDiagnostic: (collector: DiagnosticsCollector, diagnostic: Diagnostic) => DiagnosticsCollector;
+export declare const mergeDiagnostics: (collector1: DiagnosticsCollector, collector2: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=diagnostic.d.ts.map

package/dist/types/diagnostic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../src/types/diagnostic.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE9D,MAAM,MAAM,cAAc,GACtB,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GAET,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GAET,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GAET,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,GACT,SAAS,CAAC;AAEd,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CACvD,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,MAAM,cAAc,EACpB,UAAU,kBAAkB,EAC5B,SAAS,MAAM,EACf,WAAW,cAAc,EACzB,OAAO,MAAM,EACb,mBAAmB,SAAS,cAAc,EAAE,KAC3C,UAOD,CAAC;AAEH,eAAO,MAAM,OAAO,GAAI,YAAY,UAAU,KAAG,OAChB,CAAC;AAElC,eAAO,MAAM,gBAAgB,GAAI,YAAY,UAAU,KAAG,MAiBzD,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B,CAAC;AAEF,eAAO,MAAM,0BAA0B,QAAO,oBAG5C,CAAC;AAEH,eAAO,MAAM,aAAa,GACxB,WAAW,oBAAoB,EAC/B,YAAY,UAAU,KACrB,oBAGD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAC3B,YAAY,oBAAoB,EAChC,YAAY,oBAAoB,KAC/B,oBAGD,CAAC"}

package/dist/types/diagnostic.js

@@ -0,0 +1,37 @@
+/**
+ * Diagnostic types for Tsonic compiler
+ */
+export const createDiagnostic = (code, severity, message, location, hint, relatedLocations) => ({
+    code,
+    severity,
+    message,
+    location,
+    hint,
+    relatedLocations,
+});
+export const isError = (diagnostic) => diagnostic.severity === "error";
+export const formatDiagnostic = (diagnostic) => {
+    const parts = [];
+    if (diagnostic.location) {
+        parts.push(`${diagnostic.location.file}:${diagnostic.location.line}:${diagnostic.location.column}`);
+    }
+    parts.push(`${diagnostic.severity} ${diagnostic.code}:`);
+    parts.push(diagnostic.message);
+    if (diagnostic.hint) {
+        parts.push(`Hint: ${diagnostic.hint}`);
+    }
+    return parts.join(" ");
+};
+export const createDiagnosticsCollector = () => ({
+    diagnostics: [],
+    hasErrors: false,
+});
+export const addDiagnostic = (collector, diagnostic) => ({
+    diagnostics: [...collector.diagnostics, diagnostic],
+    hasErrors: collector.hasErrors || isError(diagnostic),
+});
+export const mergeDiagnostics = (collector1, collector2) => ({
+    diagnostics: [...collector1.diagnostics, ...collector2.diagnostics],
+    hasErrors: collector1.hasErrors || collector2.hasErrors,
+});
+//# sourceMappingURL=diagnostic.js.map

package/dist/types/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../src/types/diagnostic.ts"],"names":[],"mappings":"AAAA;;GAEG;AAwFH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAoB,EACpB,QAA4B,EAC5B,OAAe,EACf,QAAyB,EACzB,IAAa,EACb,gBAA4C,EAChC,EAAE,CAAC,CAAC;IAChB,IAAI;IACJ,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,IAAI;IACJ,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,UAAsB,EAAW,EAAE,CACzD,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC;AAElC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,UAAsB,EAAU,EAAE;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,UAAU,CAAC,QAAQ,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,CACxF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAE/B,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAOF,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAyB,EAAE,CAAC,CAAC;IACrE,WAAW,EAAE,EAAE;IACf,SAAS,EAAE,KAAK;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,SAA+B,EAC/B,UAAsB,EACA,EAAE,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,UAAU,CAAC;IACnD,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,OAAO,CAAC,UAAU,CAAC;CACtD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,UAAgC,EAChC,UAAgC,EACV,EAAE,CAAC,CAAC;IAC1B,WAAW,EAAE,CAAC,GAAG,UAAU,CAAC,WAAW,EAAE,GAAG,UAAU,CAAC,WAAW,CAAC;IACnE,SAAS,EAAE,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS;CACxD,CAAC,CAAC"}

package/dist/types/diagnostic.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Tests for diagnostic types
+ */
+export {};
+//# sourceMappingURL=diagnostic.test.d.ts.map

package/dist/types/diagnostic.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.test.d.ts","sourceRoot":"","sources":["../../src/types/diagnostic.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/diagnostic.test.js

@@ -0,0 +1,94 @@
+/**
+ * Tests for diagnostic types
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { createDiagnostic, formatDiagnostic, createDiagnosticsCollector, addDiagnostic, mergeDiagnostics, isError, } from "./diagnostic.js";
+describe("Diagnostics", () => {
+    describe("createDiagnostic", () => {
+        it("should create a diagnostic with all fields", () => {
+            const diagnostic = createDiagnostic("TSN1001", "error", "Test error", {
+                file: "test.ts",
+                line: 10,
+                column: 5,
+                length: 10,
+            }, "Try this instead", []);
+            expect(diagnostic.code).to.equal("TSN1001");
+            expect(diagnostic.severity).to.equal("error");
+            expect(diagnostic.message).to.equal("Test error");
+            expect(diagnostic.location?.file).to.equal("test.ts");
+            expect(diagnostic.hint).to.equal("Try this instead");
+        });
+        it("should create a diagnostic without optional fields", () => {
+            const diagnostic = createDiagnostic("TSN1002", "warning", "Test warning");
+            expect(diagnostic.code).to.equal("TSN1002");
+            expect(diagnostic.severity).to.equal("warning");
+            expect(diagnostic.location).to.equal(undefined);
+            expect(diagnostic.hint).to.equal(undefined);
+        });
+    });
+    describe("formatDiagnostic", () => {
+        it("should format diagnostic with location", () => {
+            const diagnostic = createDiagnostic("TSN1001", "error", "Missing .ts extension", {
+                file: "/src/index.ts",
+                line: 5,
+                column: 10,
+                length: 15,
+            });
+            const formatted = formatDiagnostic(diagnostic);
+            expect(formatted).to.equal("/src/index.ts:5:10 error TSN1001: Missing .ts extension");
+        });
+        it("should format diagnostic without location", () => {
+            const diagnostic = createDiagnostic("TSN2001", "warning", "Generic warning");
+            const formatted = formatDiagnostic(diagnostic);
+            expect(formatted).to.equal("warning TSN2001: Generic warning");
+        });
+        it("should include hint if present", () => {
+            const diagnostic = createDiagnostic("TSN1001", "error", "Missing extension", undefined, "Add .ts extension");
+            const formatted = formatDiagnostic(diagnostic);
+            expect(formatted).to.include("Hint: Add .ts extension");
+        });
+    });
+    describe("DiagnosticsCollector", () => {
+        it("should start with empty diagnostics", () => {
+            const collector = createDiagnosticsCollector();
+            expect(collector.diagnostics).to.have.length(0);
+            expect(collector.hasErrors).to.equal(false);
+        });
+        it("should add diagnostics immutably", () => {
+            const collector1 = createDiagnosticsCollector();
+            const diagnostic = createDiagnostic("TSN1001", "error", "Test");
+            const collector2 = addDiagnostic(collector1, diagnostic);
+            expect(collector1.diagnostics).to.have.length(0);
+            expect(collector2.diagnostics).to.have.length(1);
+            expect(collector2.hasErrors).to.equal(true);
+        });
+        it("should track hasErrors correctly", () => {
+            let collector = createDiagnosticsCollector();
+            collector = addDiagnostic(collector, createDiagnostic("TSN1001", "warning", "Warning"));
+            expect(collector.hasErrors).to.equal(false);
+            collector = addDiagnostic(collector, createDiagnostic("TSN1002", "error", "Error"));
+            expect(collector.hasErrors).to.equal(true);
+            collector = addDiagnostic(collector, createDiagnostic("TSN1003", "info", "Info"));
+            expect(collector.hasErrors).to.equal(true); // Still has errors
+        });
+        it("should merge collectors", () => {
+            const collector1 = addDiagnostic(createDiagnosticsCollector(), createDiagnostic("TSN1001", "error", "Error 1"));
+            const collector2 = addDiagnostic(createDiagnosticsCollector(), createDiagnostic("TSN1002", "warning", "Warning 1"));
+            const merged = mergeDiagnostics(collector1, collector2);
+            expect(merged.diagnostics).to.have.length(2);
+            expect(merged.hasErrors).to.equal(true);
+        });
+    });
+    describe("isError", () => {
+        it("should identify error diagnostics", () => {
+            const error = createDiagnostic("TSN1001", "error", "Test");
+            const warning = createDiagnostic("TSN1002", "warning", "Test");
+            const info = createDiagnostic("TSN1003", "info", "Test");
+            expect(isError(error)).to.equal(true);
+            expect(isError(warning)).to.equal(false);
+            expect(isError(info)).to.equal(false);
+        });
+    });
+});
+//# sourceMappingURL=diagnostic.test.js.map

package/dist/types/diagnostic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.test.js","sourceRoot":"","sources":["../../src/types/diagnostic.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAChB,0BAA0B,EAC1B,aAAa,EACb,gBAAgB,EAChB,OAAO,GACR,MAAM,iBAAiB,CAAC;AAEzB,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,UAAU,GAAG,gBAAgB,CACjC,SAAS,EACT,OAAO,EACP,YAAY,EACZ;gBACE,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,EAAE;gBACR,MAAM,EAAE,CAAC;gBACT,MAAM,EAAE,EAAE;aACX,EACD,kBAAkB,EAClB,EAAE,CACH,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YAClD,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACtD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,UAAU,GAAG,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;YAE1E,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC5C,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,UAAU,GAAG,gBAAgB,CACjC,SAAS,EACT,OAAO,EACP,uBAAuB,EACvB;gBACE,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,EAAE;aACX,CACF,CAAC;YAEF,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CACxB,yDAAyD,CAC1D,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,UAAU,GAAG,gBAAgB,CACjC,SAAS,EACT,SAAS,EACT,iBAAiB,CAClB,CAAC;YAEF,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,UAAU,GAAG,gBAAgB,CACjC,SAAS,EACT,OAAO,EACP,mBAAmB,EACnB,SAAS,EACT,mBAAmB,CACpB,CAAC;YAEF,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;YAC/C,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAChD,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,UAAU,GAAG,0BAA0B,EAAE,CAAC;YAChD,MAAM,UAAU,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAEhE,MAAM,UAAU,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAEzD,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,IAAI,SAAS,GAAG,0BAA0B,EAAE,CAAC;YAE7C,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,CAClD,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAE5C,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAC9C,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAE3C,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAC5C,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB;QACjE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,UAAU,GAAG,aAAa,CAC9B,0BAA0B,EAAE,EAC5B,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAChD,CAAC;YAEF,MAAM,UAAU,GAAG,aAAa,CAC9B,0BAA0B,EAAE,EAC5B,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,CACpD,CAAC;YAEF,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YAExD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAG,gBAAgB,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;YAC/D,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YAEzD,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/explicit-views.d.ts

@@ -0,0 +1,97 @@
+/**
+ * Explicit Interface Views - Handle As_IInterface pattern for explicit implementations.
+ *
+ * C# supports explicit interface implementation (EII), where a class implements
+ * an interface member explicitly. TypeScript doesn't support EII, so tsbindgen
+ * generates special As_IInterface properties that return views of the object.
+ *
+ * Example:
+ * TypeScript: list.As_ICollection.CopyTo(array, 0)
+ * C#:         ((ICollection<T>)list).CopyTo(array, 0)
+ *
+ * @see spec/explicit-interface-views.md for complete documentation
+ */
+import type { ExplicitView } from "./metadata.ts";
+/**
+ * Check if a property name matches the explicit view pattern (As_IInterface).
+ *
+ * @param propertyName - Property name to check
+ * @returns True if matches As_IInterface pattern
+ */
+export declare const isExplicitViewProperty: (propertyName: string) => boolean;
+/**
+ * Extract interface name from an explicit view property name.
+ *
+ * @param viewPropertyName - Property name (e.g., "As_ICollection")
+ * @returns Interface name (e.g., "ICollection"), or undefined if not a view property
+ */
+export declare const extractInterfaceNameFromView: (viewPropertyName: string) => string | undefined;
+/**
+ * Build explicit view property name from interface name.
+ *
+ * @param interfaceName - Interface name (e.g., "ICollection")
+ * @returns View property name (e.g., "As_ICollection")
+ */
+export declare const buildViewPropertyName: (interfaceName: string) => string;
+/**
+ * Find explicit view for a given interface in type metadata.
+ *
+ * @param explicitViews - Array of explicit views from metadata
+ * @param interfaceName - CLR interface name to find (e.g., "System.Collections.ICollection")
+ * @returns Explicit view if found, undefined otherwise
+ */
+export declare const findExplicitView: (explicitViews: readonly ExplicitView[] | undefined, interfaceName: string) => ExplicitView | undefined;
+/**
+ * Check if a member is in an explicit view (view-only member).
+ *
+ * @param explicitViews - Array of explicit views from metadata
+ * @param memberName - CLR member name to check
+ * @returns True if member appears in any view
+ */
+export declare const isMemberInExplicitView: (explicitViews: readonly ExplicitView[] | undefined, memberName: string) => boolean;
+/**
+ * Get all interface names that have explicit views.
+ *
+ * @param explicitViews - Array of explicit views from metadata
+ * @returns Array of interface CLR names
+ */
+export declare const getExplicitViewInterfaces: (explicitViews: readonly ExplicitView[] | undefined) => readonly string[];
+/**
+ * Information about an explicit view member access.
+ */
+export type ExplicitViewAccess = {
+    readonly interfaceName: string;
+    readonly interfaceTsName: string;
+    readonly memberName: string;
+    readonly memberKind: "Method" | "Property" | "Event";
+};
+/**
+ * Parse an explicit view member access expression.
+ *
+ * Example: obj.As_ICollection.CopyTo
+ * Returns: { interfaceName: "ICollection", memberName: "CopyTo", ... }
+ *
+ * @param viewPropertyName - View property name (e.g., "As_ICollection")
+ * @param memberName - Member being accessed (e.g., "CopyTo")
+ * @param explicitViews - Array of explicit views from metadata
+ * @returns View access info if valid, undefined if invalid
+ */
+export declare const parseExplicitViewAccess: (viewPropertyName: string, memberName: string, explicitViews: readonly ExplicitView[] | undefined) => ExplicitViewAccess | undefined;
+/**
+ * Generate C# interface cast expression for explicit view access.
+ *
+ * @param objectExpression - C# expression for the object
+ * @param interfaceName - CLR interface name (e.g., "System.Collections.ICollection")
+ * @returns C# cast expression (e.g., "((ICollection)obj)")
+ */
+export declare const generateInterfaceCast: (objectExpression: string, interfaceName: string) => string;
+/**
+ * Generate C# interface cast with generics.
+ *
+ * @param objectExpression - C# expression for the object
+ * @param interfaceName - CLR interface name (e.g., "System.Collections.Generic.ICollection`1")
+ * @param genericArguments - Generic type arguments in C# syntax (e.g., ["string"])
+ * @returns C# cast expression (e.g., "((ICollection<string>)obj)")
+ */
+export declare const generateGenericInterfaceCast: (objectExpression: string, interfaceName: string, genericArguments: readonly string[]) => string;
+//# sourceMappingURL=explicit-views.d.ts.map

package/dist/types/explicit-views.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explicit-views.d.ts","sourceRoot":"","sources":["../../src/types/explicit-views.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AASlD;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,GAAI,cAAc,MAAM,KAAG,OAE7D,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,4BAA4B,GACvC,kBAAkB,MAAM,KACvB,MAAM,GAAG,SAMX,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,GAAI,eAAe,MAAM,KAAG,MAE7D,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAC3B,eAAe,SAAS,YAAY,EAAE,GAAG,SAAS,EAClD,eAAe,MAAM,KACpB,YAAY,GAAG,SAMjB,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,GACjC,eAAe,SAAS,YAAY,EAAE,GAAG,SAAS,EAClD,YAAY,MAAM,KACjB,OAYF,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,GACpC,eAAe,SAAS,YAAY,EAAE,GAAG,SAAS,KACjD,SAAS,MAAM,EAMjB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;CACtD,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,uBAAuB,GAClC,kBAAkB,MAAM,EACxB,YAAY,MAAM,EAClB,eAAe,SAAS,YAAY,EAAE,GAAG,SAAS,KACjD,kBAAkB,GAAG,SA8BvB,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,GAChC,kBAAkB,MAAM,EACxB,eAAe,MAAM,KACpB,MAKF,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,4BAA4B,GACvC,kBAAkB,MAAM,EACxB,eAAe,MAAM,EACrB,kBAAkB,SAAS,MAAM,EAAE,KAClC,MAcF,CAAC"}