@tsonic/frontend 0.0.1 → 0.0.4

package/dist/types/result.test.js

@@ -0,0 +1,121 @@
+/**
+ * Tests for Result type
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { ok, error, map, flatMap, mapError, unwrapOr, unwrapOrElse, isOk, isError, } from "./result.js";
+describe("Result", () => {
+    describe("ok and error constructors", () => {
+        it("should create ok result", () => {
+            const result = ok(42);
+            expect(result.ok).to.equal(true);
+            if (result.ok) {
+                expect(result.value).to.equal(42);
+            }
+        });
+        it("should create error result", () => {
+            const result = error("Something went wrong");
+            expect(result.ok).to.equal(false);
+            if (!result.ok) {
+                expect(result.error).to.equal("Something went wrong");
+            }
+        });
+    });
+    describe("map", () => {
+        it("should map ok value", () => {
+            const result = ok(5);
+            const mapped = map(result, (x) => x * 2);
+            expect(mapped.ok).to.equal(true);
+            if (mapped.ok) {
+                expect(mapped.value).to.equal(10);
+            }
+        });
+        it("should pass through error", () => {
+            const result = error("Error");
+            const mapped = map(result, (x) => x * 2);
+            expect(mapped.ok).to.equal(false);
+            if (!mapped.ok) {
+                expect(mapped.error).to.equal("Error");
+            }
+        });
+    });
+    describe("flatMap", () => {
+        it("should flatMap ok value", () => {
+            const result = ok(5);
+            const mapped = flatMap(result, (x) => ok(x.toString()));
+            expect(mapped.ok).to.equal(true);
+            if (mapped.ok) {
+                expect(mapped.value).to.equal("5");
+            }
+        });
+        it("should handle flatMap returning error", () => {
+            const result = ok(5);
+            const mapped = flatMap(result, (x) => x > 10 ? ok(x) : error("Too small"));
+            expect(mapped.ok).to.equal(false);
+            if (!mapped.ok) {
+                expect(mapped.error).to.equal("Too small");
+            }
+        });
+        it("should pass through original error", () => {
+            const result = error("Original error");
+            const mapped = flatMap(result, (x) => ok(x * 2));
+            expect(mapped.ok).to.equal(false);
+            if (!mapped.ok) {
+                expect(mapped.error).to.equal("Original error");
+            }
+        });
+    });
+    describe("mapError", () => {
+        it("should map error value", () => {
+            const result = error("Error");
+            const mapped = mapError(result, (e) => e.toUpperCase());
+            expect(mapped.ok).to.equal(false);
+            if (!mapped.ok) {
+                expect(mapped.error).to.equal("ERROR");
+            }
+        });
+        it("should pass through ok value", () => {
+            const result = ok(42);
+            const mapped = mapError(result, (e) => e.toUpperCase());
+            expect(mapped.ok).to.equal(true);
+            if (mapped.ok) {
+                expect(mapped.value).to.equal(42);
+            }
+        });
+    });
+    describe("unwrapOr", () => {
+        it("should return value for ok", () => {
+            const result = ok(42);
+            expect(unwrapOr(result, 0)).to.equal(42);
+        });
+        it("should return default for error", () => {
+            const result = error("Error");
+            expect(unwrapOr(result, 0)).to.equal(0);
+        });
+    });
+    describe("unwrapOrElse", () => {
+        it("should return value for ok", () => {
+            const result = ok(42);
+            expect(unwrapOrElse(result, (_e) => 0)).to.equal(42);
+        });
+        it("should call function for error", () => {
+            const result = error("Error");
+            expect(unwrapOrElse(result, () => 0)).to.equal(0);
+        });
+    });
+    describe("isOk and isError", () => {
+        it("should identify ok results", () => {
+            const okResult = ok(42);
+            const errorResult = error("Error");
+            expect(isOk(okResult)).to.equal(true);
+            expect(isOk(errorResult)).to.equal(false);
+        });
+        it("should identify error results", () => {
+            const okResult = ok(42);
+            const errorResult = error("Error");
+            expect(isError(okResult)).to.equal(false);
+            expect(isError(errorResult)).to.equal(true);
+        });
+    });
+});
+//# sourceMappingURL=result.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"result.test.js","sourceRoot":"","sources":["../../src/types/result.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,EAAE,EACF,KAAK,EACL,GAAG,EACH,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,IAAI,EACJ,OAAO,GACR,MAAM,aAAa,CAAC;AAErB,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,MAAM,GAAG,EAAE,CAAiB,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,KAAK,CAAiB,sBAAsB,CAAC,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACxD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE;QACnB,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG,EAAE,CAAiB,CAAC,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAEzC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG,KAAK,CAAiB,OAAO,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAEzC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,MAAM,GAAG,EAAE,CAAiB,CAAC,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAExD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,EAAE,CAAiB,CAAC,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACnC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CACpC,CAAC;YAEF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,KAAK,CAAiB,gBAAgB,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAEjD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YAClD,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,MAAM,GAAG,KAAK,CAAiB,OAAO,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAExD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACf,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG,EAAE,CAAiB,EAAE,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAExD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;gBACd,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,EAAE,CAAiB,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG,KAAK,CAAiB,OAAO,CAAC,CAAC;YAC9C,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,EAAE,CAAiB,EAAE,CAAC,CAAC;YACtC,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,MAAM,GAAG,KAAK,CAAiB,OAAO,CAAC,CAAC;YAC9C,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,QAAQ,GAAG,EAAE,CAAiB,EAAE,CAAC,CAAC;YACxC,MAAM,WAAW,GAAG,KAAK,CAAiB,OAAO,CAAC,CAAC;YAEnD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,QAAQ,GAAG,EAAE,CAAiB,EAAE,CAAC,CAAC;YACxC,MAAM,WAAW,GAAG,KAAK,CAAiB,OAAO,CAAC,CAAC;YAEnD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/support-types.d.ts

@@ -0,0 +1,103 @@
+/**
+ * Support Types Recognition - Detect and work with _support/types.d.ts marker types.
+ *
+ * This module provides type guards and helpers to recognize special CLR interop types
+ * that don't have JavaScript equivalents: TSByRef, TSUnsafePointer, TSDelegate, etc.
+ *
+ * @see spec/support-types.md for complete documentation
+ */
+import * as ts from "typescript";
+/**
+ * Support type kind enumeration.
+ * Represents the different marker types from _support/types.d.ts.
+ */
+export type SupportTypeKind = "TSByRef" | "TSUnsafePointer" | "TSDelegate" | "TSNullable" | "TSFixed" | "TSStackAlloc";
+/**
+ * Information about a recognized support type.
+ */
+export type SupportTypeInfo = {
+    readonly kind: SupportTypeKind;
+    readonly wrappedType: ts.Type;
+    readonly typeArguments: readonly ts.Type[];
+};
+/**
+ * Check if a type is a support type (TSByRef, TSUnsafePointer, etc.).
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns Support type info if recognized, undefined otherwise
+ */
+export declare const getSupportTypeInfo: (type: ts.Type, _checker: ts.TypeChecker) => SupportTypeInfo | undefined;
+/**
+ * Check if a type is TSByRef<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSByRef<T>
+ */
+export declare const isTSByRef: (type: ts.Type, checker: ts.TypeChecker) => boolean;
+/**
+ * Check if a type is TSUnsafePointer<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSUnsafePointer<T>
+ */
+export declare const isTSUnsafePointer: (type: ts.Type, checker: ts.TypeChecker) => boolean;
+/**
+ * Check if a type is TSDelegate<TArgs, TReturn>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSDelegate<TArgs, TReturn>
+ */
+export declare const isTSDelegate: (type: ts.Type, checker: ts.TypeChecker) => boolean;
+/**
+ * Check if a type is TSNullable<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSNullable<T>
+ */
+export declare const isTSNullable: (type: ts.Type, checker: ts.TypeChecker) => boolean;
+/**
+ * Check if a type is TSFixed<T, N>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSFixed<T, N>
+ */
+export declare const isTSFixed: (type: ts.Type, checker: ts.TypeChecker) => boolean;
+/**
+ * Check if a type is TSStackAlloc<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSStackAlloc<T>
+ */
+export declare const isTSStackAlloc: (type: ts.Type, checker: ts.TypeChecker) => boolean;
+/**
+ * Extract the wrapped type from TSByRef<T>.
+ *
+ * @param type - TypeScript type (must be TSByRef<T>)
+ * @param checker - TypeScript type checker
+ * @returns Wrapped type T, or undefined if not TSByRef
+ */
+export declare const getTSByRefWrappedType: (type: ts.Type, checker: ts.TypeChecker) => ts.Type | undefined;
+/**
+ * Extract the wrapped type from TSUnsafePointer<T>.
+ *
+ * @param type - TypeScript type (must be TSUnsafePointer<T>)
+ * @param checker - TypeScript type checker
+ * @returns Wrapped type T, or undefined if not TSUnsafePointer
+ */
+export declare const getTSUnsafePointerWrappedType: (type: ts.Type, checker: ts.TypeChecker) => ts.Type | undefined;
+/**
+ * Check if any support type is unsupported (unsafe pointers, fixed buffers, stackalloc).
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns Error message if unsupported, undefined if supported
+ */
+export declare const checkUnsupportedSupportType: (type: ts.Type, checker: ts.TypeChecker) => string | undefined;
+//# sourceMappingURL=support-types.d.ts.map

package/dist/types/support-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"support-types.d.ts","sourceRoot":"","sources":["../../src/types/support-types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;GAGG;AACH,MAAM,MAAM,eAAe,GACvB,SAAS,GACT,iBAAiB,GACjB,YAAY,GACZ,YAAY,GACZ,SAAS,GACT,cAAc,CAAC;AAEnB;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC;CAC5C,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,EAAE,CAAC,IAAI,EACb,UAAU,EAAE,CAAC,WAAW,KACvB,eAAe,GAAG,SAyCpB,CAAC;AA2BF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,WAAW,KAAG,OAGlE,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,OAGF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,OAGF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,OAGF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC,WAAW,KAAG,OAGlE,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,cAAc,GACzB,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,OAGF,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,EAAE,CAAC,IAAI,GAAG,SAMZ,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B,GACxC,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,EAAE,CAAC,IAAI,GAAG,SAMZ,CAAC;AA6BF;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,GACtC,MAAM,EAAE,CAAC,IAAI,EACb,SAAS,EAAE,CAAC,WAAW,KACtB,MAAM,GAAG,SAoBX,CAAC"}

package/dist/types/support-types.js

@@ -0,0 +1,220 @@
+/**
+ * Support Types Recognition - Detect and work with _support/types.d.ts marker types.
+ *
+ * This module provides type guards and helpers to recognize special CLR interop types
+ * that don't have JavaScript equivalents: TSByRef, TSUnsafePointer, TSDelegate, etc.
+ *
+ * @see spec/support-types.md for complete documentation
+ */
+import * as ts from "typescript";
+/**
+ * Check if a type is a support type (TSByRef, TSUnsafePointer, etc.).
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns Support type info if recognized, undefined otherwise
+ */
+export const getSupportTypeInfo = (type, _checker) => {
+    // Try to get type name from either symbol or aliasSymbol
+    const symbol = type.aliasSymbol || type.symbol;
+    if (!symbol) {
+        return undefined;
+    }
+    const typeName = symbol.getName();
+    // Check if it's a recognized support type
+    const kind = getSupportTypeKind(typeName);
+    if (!kind) {
+        return undefined;
+    }
+    // Extract type arguments - try alias type arguments first, then regular
+    let typeArguments = [];
+    // Type aliases have aliasTypeArguments
+    if (type.aliasTypeArguments && type.aliasTypeArguments.length > 0) {
+        typeArguments = type.aliasTypeArguments;
+    }
+    // Generic type references have typeArguments through TypeReference interface
+    else if (isGenericTypeReference(type)) {
+        typeArguments = getTypeArguments(type);
+    }
+    if (typeArguments.length === 0) {
+        return undefined;
+    }
+    const wrappedType = typeArguments[0];
+    if (!wrappedType) {
+        return undefined;
+    }
+    return {
+        kind,
+        wrappedType,
+        typeArguments,
+    };
+};
+/**
+ * Get support type kind from type name.
+ *
+ * @param typeName - Type symbol name
+ * @returns Support type kind if recognized, undefined otherwise
+ */
+const getSupportTypeKind = (typeName) => {
+    switch (typeName) {
+        case "TSByRef":
+            return "TSByRef";
+        case "TSUnsafePointer":
+            return "TSUnsafePointer";
+        case "TSDelegate":
+            return "TSDelegate";
+        case "TSNullable":
+            return "TSNullable";
+        case "TSFixed":
+            return "TSFixed";
+        case "TSStackAlloc":
+            return "TSStackAlloc";
+        default:
+            return undefined;
+    }
+};
+/**
+ * Check if a type is TSByRef<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSByRef<T>
+ */
+export const isTSByRef = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    return info?.kind === "TSByRef";
+};
+/**
+ * Check if a type is TSUnsafePointer<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSUnsafePointer<T>
+ */
+export const isTSUnsafePointer = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    return info?.kind === "TSUnsafePointer";
+};
+/**
+ * Check if a type is TSDelegate<TArgs, TReturn>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSDelegate<TArgs, TReturn>
+ */
+export const isTSDelegate = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    return info?.kind === "TSDelegate";
+};
+/**
+ * Check if a type is TSNullable<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSNullable<T>
+ */
+export const isTSNullable = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    return info?.kind === "TSNullable";
+};
+/**
+ * Check if a type is TSFixed<T, N>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSFixed<T, N>
+ */
+export const isTSFixed = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    return info?.kind === "TSFixed";
+};
+/**
+ * Check if a type is TSStackAlloc<T>.
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns True if type is TSStackAlloc<T>
+ */
+export const isTSStackAlloc = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    return info?.kind === "TSStackAlloc";
+};
+/**
+ * Extract the wrapped type from TSByRef<T>.
+ *
+ * @param type - TypeScript type (must be TSByRef<T>)
+ * @param checker - TypeScript type checker
+ * @returns Wrapped type T, or undefined if not TSByRef
+ */
+export const getTSByRefWrappedType = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    if (info?.kind === "TSByRef") {
+        return info.wrappedType;
+    }
+    return undefined;
+};
+/**
+ * Extract the wrapped type from TSUnsafePointer<T>.
+ *
+ * @param type - TypeScript type (must be TSUnsafePointer<T>)
+ * @param checker - TypeScript type checker
+ * @returns Wrapped type T, or undefined if not TSUnsafePointer
+ */
+export const getTSUnsafePointerWrappedType = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    if (info?.kind === "TSUnsafePointer") {
+        return info.wrappedType;
+    }
+    return undefined;
+};
+/**
+ * Check if type is a generic type reference with type arguments.
+ *
+ * @param type - TypeScript type
+ * @returns True if type is a generic type reference
+ */
+const isGenericTypeReference = (type) => {
+    return ((type.flags & ts.TypeFlags.Object) !== 0 &&
+        (type.objectFlags & ts.ObjectFlags.Reference) !== 0);
+};
+/**
+ * Get type arguments from a generic type reference.
+ *
+ * @param type - TypeScript type (must be generic reference)
+ * @returns Array of type arguments
+ */
+const getTypeArguments = (type) => {
+    const typeRef = type;
+    if (!typeRef.typeArguments) {
+        return [];
+    }
+    return typeRef.typeArguments;
+};
+/**
+ * Check if any support type is unsupported (unsafe pointers, fixed buffers, stackalloc).
+ *
+ * @param type - TypeScript type to check
+ * @param checker - TypeScript type checker
+ * @returns Error message if unsupported, undefined if supported
+ */
+export const checkUnsupportedSupportType = (type, checker) => {
+    const info = getSupportTypeInfo(type, checker);
+    if (!info) {
+        return undefined;
+    }
+    switch (info.kind) {
+        case "TSUnsafePointer":
+            return "Unsafe pointers are not supported in Tsonic. Use IntPtr for opaque handles.";
+        case "TSFixed":
+            return "Fixed-size buffers (unsafe feature) are not supported. Use arrays or Span<T> instead.";
+        case "TSStackAlloc":
+            return "stackalloc is not supported in Tsonic. Use heap-allocated arrays instead.";
+        case "TSByRef":
+        case "TSDelegate":
+        case "TSNullable":
+            return undefined; // These are supported
+        default:
+            return undefined;
+    }
+};
+//# sourceMappingURL=support-types.js.map

package/dist/types/support-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"support-types.js","sourceRoot":"","sources":["../../src/types/support-types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAuBjC;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,IAAa,EACb,QAAwB,EACK,EAAE;IAC/B,yDAAyD;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,MAAM,CAAC;IAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;IAElC,0CAA0C;IAC1C,MAAM,IAAI,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IACxE,IAAI,aAAa,GAAuB,EAAE,CAAC;IAE3C,uCAAuC;IACvC,IAAI,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClE,aAAa,GAAG,IAAI,CAAC,kBAAkB,CAAC;IAC1C,CAAC;IACD,6EAA6E;SACxE,IAAI,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI;QACJ,WAAW;QACX,aAAa;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,CAAC,QAAgB,EAA+B,EAAE;IAC3E,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,iBAAiB,CAAC;QAC3B,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,cAAc;YACjB,OAAO,cAAc,CAAC;QACxB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAa,EAAE,OAAuB,EAAW,EAAE;IAC3E,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAa,EACb,OAAuB,EACd,EAAE;IACX,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,EAAE,IAAI,KAAK,iBAAiB,CAAC;AAC1C,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAa,EACb,OAAuB,EACd,EAAE;IACX,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC;AACrC,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAa,EACb,OAAuB,EACd,EAAE;IACX,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC;AACrC,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAa,EAAE,OAAuB,EAAW,EAAE;IAC3E,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAa,EACb,OAAuB,EACd,EAAE;IACX,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,IAAI,EAAE,IAAI,KAAK,cAAc,CAAC;AACvC,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAa,EACb,OAAuB,EACF,EAAE;IACvB,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,IAAa,EACb,OAAuB,EACF,EAAE;IACvB,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,IAAI,EAAE,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC,WAAW,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,sBAAsB,GAAG,CAAC,IAAa,EAAW,EAAE;IACxD,OAAO,CACL,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;QACxC,CAAE,IAAsB,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CACvE,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,gBAAgB,GAAG,CAAC,IAAa,EAAsB,EAAE;IAC7D,MAAM,OAAO,GAAG,IAAwB,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,OAAO,CAAC,aAAa,CAAC;AAC/B,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,IAAa,EACb,OAAuB,EACH,EAAE;IACtB,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB;YACpB,OAAO,6EAA6E,CAAC;QACvF,KAAK,SAAS;YACZ,OAAO,uFAAuF,CAAC;QACjG,KAAK,cAAc;YACjB,OAAO,2EAA2E,CAAC;QACrF,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,YAAY;YACf,OAAO,SAAS,CAAC,CAAC,sBAAsB;QAC1C;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC"}

package/dist/types/support-types.test.d.ts

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

package/dist/types/support-types.test.d.ts.map

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

package/dist/types/support-types.test.js

@@ -0,0 +1,53 @@
+/**
+ * Tests for support types recognition using real TypeScript types.
+ */
+import { describe, it, before, after } from "mocha";
+import { strict as assert } from "assert";
+import { checkUnsupportedSupportType } from "./support-types.js";
+import { createTestHarness, getSupportTypes, } from "./test-harness.js";
+describe("Support Types", () => {
+    let harness;
+    let types;
+    before(() => {
+        // Create test harness with real TypeScript program
+        harness = createTestHarness();
+        types = getSupportTypes(harness);
+    });
+    after(() => {
+        // Clean up temporary files
+        harness.cleanup();
+    });
+    describe("checkUnsupportedSupportType", () => {
+        it("should detect TSUnsafePointer as unsupported", () => {
+            const error = checkUnsupportedSupportType(types.unsafePointer, harness.checker);
+            assert.ok(error);
+            if (error)
+                assert.match(error, /unsafe pointer/i);
+        });
+        it("should detect TSFixed as unsupported", () => {
+            const error = checkUnsupportedSupportType(types.fixed, harness.checker);
+            assert.ok(error);
+            if (error)
+                assert.match(error, /fixed-size buffer/i);
+        });
+        it("should detect TSStackAlloc as unsupported", () => {
+            const error = checkUnsupportedSupportType(types.stackAlloc, harness.checker);
+            assert.ok(error);
+            if (error)
+                assert.match(error, /stackalloc/i);
+        });
+        it("should allow TSByRef (supported)", () => {
+            const error = checkUnsupportedSupportType(types.byRef, harness.checker);
+            assert.equal(error, undefined);
+        });
+        it("should allow TSNullable (supported)", () => {
+            const error = checkUnsupportedSupportType(types.nullable, harness.checker);
+            assert.equal(error, undefined);
+        });
+        it("should allow TSDelegate (supported)", () => {
+            const error = checkUnsupportedSupportType(types.delegate, harness.checker);
+            assert.equal(error, undefined);
+        });
+    });
+});
+//# sourceMappingURL=support-types.test.js.map

package/dist/types/support-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"support-types.test.js","sourceRoot":"","sources":["../../src/types/support-types.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,OAAO,CAAC;AACpD,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EACL,iBAAiB,EACjB,eAAe,GAEhB,MAAM,mBAAmB,CAAC;AAE3B,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAI,OAAoB,CAAC;IACzB,IAAI,KAAyC,CAAC;IAE9C,MAAM,CAAC,GAAG,EAAE;QACV,mDAAmD;QACnD,OAAO,GAAG,iBAAiB,EAAE,CAAC;QAC9B,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,EAAE;QACT,2BAA2B;QAC3B,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,KAAK,GAAG,2BAA2B,CACvC,KAAK,CAAC,aAAa,EACnB,OAAO,CAAC,OAAO,CAChB,CAAC;YAEF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACjB,IAAI,KAAK;gBAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,KAAK,GAAG,2BAA2B,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YAExE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACjB,IAAI,KAAK;gBAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,KAAK,GAAG,2BAA2B,CACvC,KAAK,CAAC,UAAU,EAChB,OAAO,CAAC,OAAO,CAChB,CAAC;YAEF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACjB,IAAI,KAAK;gBAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,KAAK,GAAG,2BAA2B,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YAExE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,KAAK,GAAG,2BAA2B,CACvC,KAAK,CAAC,QAAQ,EACd,OAAO,CAAC,OAAO,CAChB,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,KAAK,GAAG,2BAA2B,CACvC,KAAK,CAAC,QAAQ,EACd,OAAO,CAAC,OAAO,CAChB,CAAC;YAEF,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/types/test-harness.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Test harness for support types tests.
+ * Creates a real TypeScript program with support type definitions
+ * and provides helpers to extract ts.Type objects.
+ */
+import * as ts from "typescript";
+export type TestHarness = {
+    readonly program: ts.Program;
+    readonly checker: ts.TypeChecker;
+    readonly sourceFile: ts.SourceFile;
+    readonly cleanup: () => void;
+};
+/**
+ * Create a test harness with a real TypeScript program.
+ * Returns program, checker, and source file for testing.
+ */
+export declare const createTestHarness: () => TestHarness;
+/**
+ * Extract the type of a variable declaration by name.
+ * Gets the type from the type annotation node, not the inferred type.
+ */
+export declare const getVariableType: (sourceFile: ts.SourceFile, checker: ts.TypeChecker, variableName: string) => ts.Type | undefined;
+/**
+ * Get all support type instances from the test harness.
+ */
+export declare const getSupportTypes: (harness: TestHarness) => {
+    byRef: ts.Type;
+    unsafePointer: ts.Type;
+    delegate: ts.Type;
+    nullable: ts.Type;
+    fixed: ts.Type;
+    stackAlloc: ts.Type;
+};
+//# sourceMappingURL=test-harness.d.ts.map

package/dist/types/test-harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-harness.d.ts","sourceRoot":"","sources":["../../src/types/test-harness.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAiCjC,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC;CAC9B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,iBAAiB,QAAO,WA2CpC,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,EAAE,CAAC,WAAW,EACvB,cAAc,MAAM,KACnB,EAAE,CAAC,IAAI,GAAG,SAmBZ,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,WAAW,KACnB;IACD,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC;IACf,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC;IACvB,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC;IAClB,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC;IAClB,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC;IACf,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;CA4CrB,CAAC"}