@tsonic/emitter 0.0.1 → 0.0.2

package/dist/tests/emitter/statement-emission.test.js

@@ -0,0 +1,138 @@
+/**
+ * Tests for Statement Emission
+ * Tests emission of control flow statements (if, for-of)
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../../emitter.js";
+describe("Statement Emission", () => {
+    it("should emit if statements", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "check",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "x" },
+                            type: { kind: "primitiveType", name: "number" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "string" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "ifStatement",
+                                condition: {
+                                    kind: "binary",
+                                    operator: ">",
+                                    left: { kind: "identifier", name: "x" },
+                                    right: { kind: "literal", value: 0 },
+                                },
+                                thenStatement: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "returnStatement",
+                                            expression: { kind: "literal", value: "positive" },
+                                        },
+                                    ],
+                                },
+                                elseStatement: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "returnStatement",
+                                            expression: {
+                                                kind: "literal",
+                                                value: "negative or zero",
+                                            },
+                                        },
+                                    ],
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Binary comparison emits with truthiness check
+        expect(result).to.include("if (x > 0");
+        expect(result).to.include('return "positive"');
+        expect(result).to.include("else");
+        expect(result).to.include('return "negative or zero"');
+    });
+    it("should emit for loops", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "loop",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "forOfStatement",
+                                variable: { kind: "identifierPattern", name: "item" },
+                                expression: { kind: "identifier", name: "items" },
+                                body: {
+                                    kind: "blockStatement",
+                                    statements: [
+                                        {
+                                            kind: "expressionStatement",
+                                            expression: {
+                                                kind: "call",
+                                                callee: {
+                                                    kind: "memberAccess",
+                                                    object: { kind: "identifier", name: "console" },
+                                                    property: "log",
+                                                    isComputed: false,
+                                                    isOptional: false,
+                                                },
+                                                arguments: [{ kind: "identifier", name: "item" }],
+                                                isOptional: false,
+                                            },
+                                        },
+                                    ],
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("foreach (var item in items)");
+        expect(result).to.include("Tsonic.JSRuntime.console.log(item)");
+        expect(result).to.include("using Tsonic.JSRuntime");
+    });
+});
+//# sourceMappingURL=statement-emission.test.js.map

package/dist/tests/emitter/statement-emission.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-emission.test.js","sourceRoot":"","sources":["../../../src/tests/emitter/statement-emission.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,OAAO;oBACb,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACrD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,aAAa;gCACnB,SAAS,EAAE;oCACT,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,GAAG;oCACb,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE;oCACvC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;iCACrC;gCACD,aAAa,EAAE;oCACb,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,iBAAiB;4CACvB,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE;yCACnD;qCACF;iCACF;gCACD,aAAa,EAAE;oCACb,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,iBAAiB;4CACvB,UAAU,EAAE;gDACV,IAAI,EAAE,SAAS;gDACf,KAAK,EAAE,kBAAkB;6CAC1B;yCACF;qCACF;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,gDAAgD;QAChD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC/C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,gBAAgB;gCACtB,QAAQ,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,EAAE;gCACrD,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;gCACjD,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,UAAU,EAAE;wCACV;4CACE,IAAI,EAAE,qBAAqB;4CAC3B,UAAU,EAAE;gDACV,IAAI,EAAE,MAAM;gDACZ,MAAM,EAAE;oDACN,IAAI,EAAE,cAAc;oDACpB,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;oDAC/C,QAAQ,EAAE,KAAK;oDACf,UAAU,EAAE,KAAK;oDACjB,UAAU,EAAE,KAAK;iDAClB;gDACD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gDACjD,UAAU,EAAE,KAAK;6CAClB;yCACF;qCACF;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,oCAAoC,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/emitter/type-emission.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for Type Emission
+ * Tests emission of primitive types and async/Task types
+ */
+export {};
+//# sourceMappingURL=type-emission.test.d.ts.map

package/dist/tests/emitter/type-emission.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-emission.test.d.ts","sourceRoot":"","sources":["../../../src/tests/emitter/type-emission.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/tests/emitter/type-emission.test.js

@@ -0,0 +1,109 @@
+/**
+ * Tests for Type Emission
+ * Tests emission of primitive types and async/Task types
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../../emitter.js";
+describe("Type Emission", () => {
+    it("should emit primitive types correctly", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "a" },
+                            type: { kind: "primitiveType", name: "string" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "b" },
+                            type: { kind: "primitiveType", name: "number" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "c" },
+                            type: { kind: "primitiveType", name: "boolean" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "voidType" },
+                    body: { kind: "blockStatement", statements: [] },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("string a");
+        expect(result).to.include("double b");
+        expect(result).to.include("bool c");
+    });
+    it("should emit async functions with Task types", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/test.ts",
+            namespace: "MyApp",
+            className: "test",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "fetchData",
+                    parameters: [],
+                    returnType: {
+                        kind: "referenceType",
+                        name: "Promise",
+                        typeArguments: [{ kind: "primitiveType", name: "string" }],
+                    },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                expression: {
+                                    kind: "await",
+                                    expression: {
+                                        kind: "call",
+                                        callee: { kind: "identifier", name: "getData" },
+                                        arguments: [],
+                                        isOptional: false,
+                                    },
+                                },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: true,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("public static async Task<string> fetchData()");
+        expect(result).to.include("await getData()");
+        expect(result).to.include("using System.Threading.Tasks");
+    });
+});
+//# sourceMappingURL=type-emission.test.js.map

package/dist/tests/emitter/type-emission.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-emission.test.js","sourceRoot":"","sources":["../../../src/tests/emitter/type-emission.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;wBACD;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE;4BAC/C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;wBACD;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACjD,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;4BAChD,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;oBAChD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,WAAW;oBACjB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE;wBACV,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,SAAS;wBACf,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;qBAC3D;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE;oCACV,IAAI,EAAE,OAAO;oCACb,UAAU,EAAE;wCACV,IAAI,EAAE,MAAM;wCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;wCAC/C,SAAS,EAAE,EAAE;wCACb,UAAU,EAAE,KAAK;qCAClB;iCACF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/generics/call-site-rewriting.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for Call-Site Rewriting
+ * Covers spec/15-generics.md §5 - Call-Site Rewriting and Monomorphisation
+ */
+export {};
+//# sourceMappingURL=call-site-rewriting.test.d.ts.map

package/dist/tests/generics/call-site-rewriting.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-rewriting.test.d.ts","sourceRoot":"","sources":["../../../src/tests/generics/call-site-rewriting.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/tests/generics/call-site-rewriting.test.js

@@ -0,0 +1,92 @@
+/**
+ * Tests for Call-Site Rewriting
+ * Covers spec/15-generics.md §5 - Call-Site Rewriting and Monomorphisation
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../../emitter.js";
+describe("Call-Site Rewriting (spec/15 §5)", () => {
+    it("should emit call with explicit type arguments", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/main.ts",
+            namespace: "MyApp",
+            className: "main",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: {
+                                    kind: "call",
+                                    callee: { kind: "identifier", name: "identity" },
+                                    arguments: [{ kind: "literal", value: "hello" }],
+                                    isOptional: false,
+                                    typeArguments: [{ kind: "primitiveType", name: "string" }],
+                                    requiresSpecialization: false,
+                                },
+                            },
+                        ],
+                    },
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("identity<string>(");
+    });
+    it("should emit specialized call when requiresSpecialization is true", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/main.ts",
+            namespace: "MyApp",
+            className: "main",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "test",
+                    parameters: [],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "expressionStatement",
+                                expression: {
+                                    kind: "call",
+                                    callee: { kind: "identifier", name: "process" },
+                                    arguments: [{ kind: "literal", value: "data" }],
+                                    isOptional: false,
+                                    typeArguments: [{ kind: "primitiveType", name: "string" }],
+                                    requiresSpecialization: true,
+                                },
+                            },
+                        ],
+                    },
+                    isExported: false,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Should generate specialized name
+        expect(result).to.include("process__string(");
+        expect(result).not.to.include("process<string>(");
+    });
+});
+//# sourceMappingURL=call-site-rewriting.test.js.map

package/dist/tests/generics/call-site-rewriting.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"call-site-rewriting.test.js","sourceRoot":"","sources":["../../../src/tests/generics/call-site-rewriting.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE;oCAChD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;oCAChD,UAAU,EAAE,KAAK;oCACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oCAC1D,sBAAsB,EAAE,KAAK;iCAC9B;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,cAAc;YACxB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,MAAM;YACjB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,qBAAqB;gCAC3B,UAAU,EAAE;oCACV,IAAI,EAAE,MAAM;oCACZ,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;oCAC/C,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;oCAC/C,UAAU,EAAE,KAAK;oCACjB,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;oCAC1D,sBAAsB,EAAE,IAAI;iCAC7B;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE,KAAK;oBACjB,OAAO,EAAE,KAAK;oBACd,WAAW,EAAE,KAAK;iBACnB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,mCAAmC;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/generics/generic-classes.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for Generic Classes
+ * Covers spec/15-generics.md §3-5 - Generic Classes
+ */
+export {};
+//# sourceMappingURL=generic-classes.test.d.ts.map

package/dist/tests/generics/generic-classes.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generic-classes.test.d.ts","sourceRoot":"","sources":["../../../src/tests/generics/generic-classes.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/tests/generics/generic-classes.test.js

@@ -0,0 +1,55 @@
+/**
+ * Tests for Generic Classes
+ * Covers spec/15-generics.md §3-5 - Generic Classes
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../../emitter.js";
+describe("Generic Classes (spec/15 §3-5)", () => {
+    it("should emit generic class with type parameter", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/Box.ts",
+            namespace: "MyApp",
+            className: "Box",
+            isStaticContainer: false,
+            imports: [],
+            body: [
+                {
+                    kind: "classDeclaration",
+                    name: "Box",
+                    typeParameters: [
+                        {
+                            kind: "typeParameter",
+                            name: "T",
+                            constraint: undefined,
+                            default: undefined,
+                            variance: undefined,
+                            isStructuralConstraint: false,
+                        },
+                    ],
+                    isStruct: false,
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "value",
+                            type: { kind: "referenceType", name: "T", typeArguments: [] },
+                            initializer: undefined,
+                            accessibility: "public",
+                            isStatic: false,
+                            isReadonly: false,
+                        },
+                    ],
+                    superClass: undefined,
+                    implements: [],
+                    isExported: true,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        expect(result).to.include("public class Box<T>");
+        expect(result).to.include("public T value");
+    });
+});
+//# sourceMappingURL=generic-classes.test.js.map

package/dist/tests/generics/generic-classes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generic-classes.test.js","sourceRoot":"","sources":["../../../src/tests/generics/generic-classes.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,aAAa;YACvB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,KAAK;YAChB,iBAAiB,EAAE,KAAK;YACxB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,KAAK;oBACX,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE,SAAS;4BACrB,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,QAAQ,EAAE,KAAK;oBACf,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,OAAO;4BACb,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE;4BAC7D,WAAW,EAAE,SAAS;4BACtB,aAAa,EAAE,QAAQ;4BACvB,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;yBAClB;qBACF;oBACD,UAAU,EAAE,SAAS;oBACrB,UAAU,EAAE,EAAE;oBACd,UAAU,EAAE,IAAI;iBACjB;aACF;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QAEF,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAElC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/generics/generic-functions.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Tests for Generic Functions
+ * Covers spec/15-generics.md §3-5 - Generic Functions
+ */
+export {};
+//# sourceMappingURL=generic-functions.test.d.ts.map

package/dist/tests/generics/generic-functions.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generic-functions.test.d.ts","sourceRoot":"","sources":["../../../src/tests/generics/generic-functions.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}