@tsonic/frontend 0.0.1 → 0.0.4

package/src/symbol-table/creation.ts

@@ -1,42 +0,0 @@
-/**
- * Symbol table creation and modification
- */
-
-import { Symbol, SymbolTable } from "./types.js";
-
-/**
- * Create an empty symbol table
- */
-export const createSymbolTable = (): SymbolTable => ({
-  symbols: new Map(),
-  moduleSymbols: new Map(),
-  exportedSymbols: new Map(),
-});
-
-/**
- * Add a symbol to the table (immutable)
- */
-export const addSymbol = (table: SymbolTable, symbol: Symbol): SymbolTable => {
-  // Add to symbols map (by name)
-  const symbolsByName = table.symbols.get(symbol.name) ?? [];
-  const newSymbolsByName = new Map(table.symbols);
-  newSymbolsByName.set(symbol.name, [...symbolsByName, symbol]);
-
-  // Add to module symbols map
-  const moduleSymbols = table.moduleSymbols.get(symbol.module) ?? [];
-  const newModuleSymbols = new Map(table.moduleSymbols);
-  newModuleSymbols.set(symbol.module, [...moduleSymbols, symbol]);
-
-  // Add to exported symbols if exported
-  let newExportedSymbols = new Map(table.exportedSymbols);
-  if (symbol.isExported) {
-    const exportedSymbols = table.exportedSymbols.get(symbol.module) ?? [];
-    newExportedSymbols.set(symbol.module, [...exportedSymbols, symbol]);
-  }
-
-  return {
-    symbols: newSymbolsByName,
-    moduleSymbols: newModuleSymbols,
-    exportedSymbols: newExportedSymbols,
-  };
-};

package/src/symbol-table/helpers.ts

@@ -1,18 +0,0 @@
-/**
- * Symbol table helper functions
- */
-
-import * as ts from "typescript";
-
-/**
- * Check if a node has an export modifier
- */
-export const hasExportModifier = (node: ts.Node): boolean => {
-  if (!ts.canHaveModifiers(node)) {
-    return false;
-  }
-  const modifiers = ts.getModifiers(node);
-  return (
-    modifiers?.some((m) => m.kind === ts.SyntaxKind.ExportKeyword) ?? false
-  );
-};

package/src/symbol-table/queries.ts

@@ -1,42 +0,0 @@
-/**
- * Symbol table query functions
- */
-
-import { Symbol, SymbolTable } from "./types.js";
-
-/**
- * Find symbols by name, optionally filtered by module
- */
-export const findSymbol = (
-  table: SymbolTable,
-  name: string,
-  module?: string
-): readonly Symbol[] => {
-  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: SymbolTable,
-  module: string
-): readonly Symbol[] => {
-  return table.exportedSymbols.get(module) ?? [];
-};
-
-/**
- * Check if a module exports a symbol with the given name
- */
-export const hasExportedSymbol = (
-  table: SymbolTable,
-  module: string,
-  name: string
-): boolean => {
-  const exported = getExportedSymbols(table, module);
-  return exported.some((s) => s.name === name);
-};

package/src/symbol-table/types.ts

@@ -1,28 +0,0 @@
-/**
- * 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; // File path
-  readonly tsSymbol?: ts.Symbol; // Optional reference to TypeScript symbol
-};
-
-export type SymbolTable = {
-  readonly symbols: ReadonlyMap<string, readonly Symbol[]>; // Name to symbols
-  readonly moduleSymbols: ReadonlyMap<string, readonly Symbol[]>; // Module path to symbols
-  readonly exportedSymbols: ReadonlyMap<string, readonly Symbol[]>; // Module path to exported symbols
-};

package/src/types/bindings.ts

@@ -1,172 +0,0 @@
-/**
- * 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[]; // V1: Full signatures
-  readonly properties?: PropertyBinding[]; // V1: Property info
-  readonly fields?: FieldBinding[]; // V1: Field info
-  readonly events?: EventBinding[]; // V1: Event info
-  readonly exposedMethods?: ExposedMethodBinding[]; // V2: Runtime dispatch
-  readonly exposedProperties?: ExposedPropertyBinding[]; // V2: Runtime access
-  readonly exposedFields?: ExposedFieldBinding[]; // V2: Runtime access
-  readonly exposedEvents?: ExposedEventBinding[]; // V2: Runtime access
-};
-
-/**
- * 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"
->;

package/src/types/diagnostic.test.ts

@@ -1,164 +0,0 @@
-/**
- * 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);
-    });
-  });
-});

package/src/types/diagnostic.ts

@@ -1,153 +0,0 @@
-/**
- * Diagnostic types for Tsonic compiler
- */
-
-export type DiagnosticSeverity = "error" | "warning" | "info";
-
-export type DiagnosticCode =
-  | "TSN1001" // Local import missing .ts extension
-  | "TSN1002" // Circular dependency detected
-  | "TSN1003" // Case mismatch in import path
-  | "TSN1004" // Module not found
-  | "TSN1005" // Conflicting exports
-  | "TSN1006" // Invalid namespace
-  | "TSN2001" // Unsupported TypeScript feature
-  | "TSN2002" // Invalid type mapping
-  | "TSN2003" // File name conflicts with exported member name
-  | "TSN3001" // C# reserved keyword used
-  | "TSN3002" // Invalid C# identifier
-  | "TSN3011" // Promise chaining (.then/.catch/.finally) not supported
-  | "TSN4001" // .NET interop error
-  | "TSN4002" // Missing .NET type declaration
-  | "TSN5001" // NativeAOT limitation
-  | "TSN5002" // Runtime implementation missing
-  | "TSN6001" // Internal compiler error
-  | "TSN7101" // Recursive mapped types not supported
-  | "TSN7102" // Conditional types using infer not supported
-  | "TSN7103" // `this` typing not supported
-  | "TSN7104" // Generic constructor constraints with rest parameters not supported
-  | "TSN7105" // Cannot determine required type specialisations
-  | "TSN7201" // Recursive structural alias not supported
-  | "TSN7202" // Conditional alias cannot be resolved
-  | "TSN7203" // Symbol keys not supported
-  | "TSN7204" // Variadic generic interface not supported
-  | "TSN7301" // Class cannot implement nominalized interface
-  // Static/AOT safety errors (TSN7401-TSN7499)
-  | "TSN7401" // 'any' type not supported - requires explicit type
-  | "TSN7403" // Object literal requires contextual nominal type
-  | "TSN7405" // Untyped lambda parameter - requires explicit type annotation
-  | "TSN7413" // Dictionary key must be string type
-  // Metadata loading errors (TSN9001-TSN9018)
-  | "TSN9001" // Metadata file not found
-  | "TSN9002" // Failed to read metadata file
-  | "TSN9003" // Invalid JSON in metadata file
-  | "TSN9004" // Metadata file must be an object
-  | "TSN9005" // Missing or invalid 'namespace' field
-  | "TSN9006" // Missing or invalid 'contributingAssemblies' field
-  | "TSN9007" // All 'contributingAssemblies' must be strings
-  | "TSN9008" // Missing or invalid 'types' field
-  | "TSN9009" // Invalid type: must be an object
-  | "TSN9010" // Invalid type: missing or invalid field
-  | "TSN9011" // Invalid type: 'kind' must be one of ...
-  | "TSN9012" // Invalid type: 'accessibility' must be one of ...
-  | "TSN9013" // Invalid type: field must be a boolean
-  | "TSN9014" // Invalid type: 'arity' must be a non-negative number
-  | "TSN9015" // Invalid type: field must be an array
-  | "TSN9016" // Metadata directory not found
-  | "TSN9017" // Not a directory
-  | "TSN9018" // No .metadata.json files found
-  // Bindings loading errors (TSN9101-TSN9114)
-  | "TSN9101" // Bindings file not found
-  | "TSN9102" // Failed to read bindings file
-  | "TSN9103" // Invalid JSON in bindings file
-  | "TSN9104" // Bindings file must be an object
-  | "TSN9105" // Missing or invalid 'namespace' field
-  | "TSN9106" // Missing or invalid 'types' field
-  | "TSN9107" // Invalid type binding: must be an object
-  | "TSN9108" // Invalid type binding: missing or invalid field
-  | "TSN9109" // Invalid type binding: 'metadataToken' must be a number
-  | "TSN9110" // Invalid type binding: V1 field must be an array if present
-  | "TSN9111" // Invalid type binding: V2 field must be an array if present
-  | "TSN9112" // Bindings directory not found
-  | "TSN9113" // Not a directory
-  | "TSN9114"; // No .bindings.json files found
-
-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 const createDiagnostic = (
-  code: DiagnosticCode,
-  severity: DiagnosticSeverity,
-  message: string,
-  location?: SourceLocation,
-  hint?: string,
-  relatedLocations?: readonly SourceLocation[]
-): Diagnostic => ({
-  code,
-  severity,
-  message,
-  location,
-  hint,
-  relatedLocations,
-});
-
-export const isError = (diagnostic: Diagnostic): boolean =>
-  diagnostic.severity === "error";
-
-export const formatDiagnostic = (diagnostic: Diagnostic): string => {
-  const parts: string[] = [];
-
-  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 type DiagnosticsCollector = {
-  readonly diagnostics: readonly Diagnostic[];
-  readonly hasErrors: boolean;
-};
-
-export const createDiagnosticsCollector = (): DiagnosticsCollector => ({
-  diagnostics: [],
-  hasErrors: false,
-});
-
-export const addDiagnostic = (
-  collector: DiagnosticsCollector,
-  diagnostic: Diagnostic
-): DiagnosticsCollector => ({
-  diagnostics: [...collector.diagnostics, diagnostic],
-  hasErrors: collector.hasErrors || isError(diagnostic),
-});
-
-export const mergeDiagnostics = (
-  collector1: DiagnosticsCollector,
-  collector2: DiagnosticsCollector
-): DiagnosticsCollector => ({
-  diagnostics: [...collector1.diagnostics, ...collector2.diagnostics],
-  hasErrors: collector1.hasErrors || collector2.hasErrors,
-});