@tsonic/emitter 0.0.74 → 0.0.75

package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.js

@@ -0,0 +1,304 @@
+/**
+ * Tests for Generic Functions
+ * Covers spec/15-generics.md §3-5 - Generic Functions
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { emitModule } from "../../emitter.js";
+describe("Generic Functions (spec/15 §3-5)", () => {
+    it("should emit generic function with object constraint (class)", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/utils.ts",
+            namespace: "MyApp",
+            className: "utils",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "functionDeclaration",
+                    name: "wrapRef",
+                    typeParameters: [
+                        {
+                            kind: "typeParameter",
+                            name: "T",
+                            constraint: {
+                                kind: "referenceType",
+                                name: "object",
+                                typeArguments: [],
+                            },
+                            default: undefined,
+                            variance: undefined,
+                            isStructuralConstraint: false,
+                        },
+                    ],
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "value" },
+                            type: {
+                                kind: "unionType",
+                                types: [
+                                    { kind: "typeParameterType", name: "T" },
+                                    { kind: "primitiveType", name: "null" },
+                                ],
+                            },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: {
+                        kind: "unionType",
+                        types: [
+                            { kind: "typeParameterType", name: "T" },
+                            { kind: "primitiveType", name: "null" },
+                        ],
+                    },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [
+                            {
+                                kind: "returnStatement",
+                                expression: { kind: "identifier", name: "value" },
+                            },
+                        ],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Should emit where T : class constraint
+        expect(result).to.include("where T : class");
+        // Should use T? for nullable reference type parameter/return
+        expect(result).to.include("T? value");
+        expect(result).to.include("T? wrapRef");
+    });
+    it("should emit generic function with multiple interface constraints", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/utils.ts",
+            namespace: "MyApp",
+            className: "utils",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "interfaceDeclaration",
+                    name: "IComparable",
+                    isExported: false,
+                    isStruct: false,
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                },
+                {
+                    kind: "interfaceDeclaration",
+                    name: "IEquatable",
+                    isExported: false,
+                    isStruct: false,
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                },
+                {
+                    kind: "functionDeclaration",
+                    name: "compare",
+                    typeParameters: [
+                        {
+                            kind: "typeParameter",
+                            name: "T",
+                            constraint: {
+                                kind: "intersectionType",
+                                types: [
+                                    {
+                                        kind: "referenceType",
+                                        name: "IComparable",
+                                        typeArguments: [],
+                                    },
+                                    {
+                                        kind: "referenceType",
+                                        name: "IEquatable",
+                                        typeArguments: [],
+                                    },
+                                ],
+                            },
+                            default: undefined,
+                            variance: undefined,
+                            isStructuralConstraint: false,
+                        },
+                    ],
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "a" },
+                            type: { kind: "typeParameterType", name: "T" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "b" },
+                            type: { kind: "typeParameterType", name: "T" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "boolean" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Should emit where T : IComparable, IEquatable
+        expect(result).to.include("where T : IComparable, IEquatable");
+    });
+    it("should emit generic function with struct + interface constraint", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/utils.ts",
+            namespace: "MyApp",
+            className: "utils",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "interfaceDeclaration",
+                    name: "IFormattable",
+                    isExported: false,
+                    isStruct: false,
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                },
+                {
+                    kind: "functionDeclaration",
+                    name: "format",
+                    typeParameters: [
+                        {
+                            kind: "typeParameter",
+                            name: "T",
+                            constraint: {
+                                kind: "intersectionType",
+                                types: [
+                                    { kind: "referenceType", name: "struct", typeArguments: [] },
+                                    {
+                                        kind: "referenceType",
+                                        name: "IFormattable",
+                                        typeArguments: [],
+                                    },
+                                ],
+                            },
+                            default: undefined,
+                            variance: undefined,
+                            isStructuralConstraint: false,
+                        },
+                    ],
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "value" },
+                            type: { kind: "typeParameterType", name: "T" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "primitiveType", name: "string" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Should emit where T : struct, IFormattable
+        expect(result).to.include("where T : struct, IFormattable");
+    });
+    it("should emit generic function with class + interface constraint", () => {
+        const module = {
+            kind: "module",
+            filePath: "/src/utils.ts",
+            namespace: "MyApp",
+            className: "utils",
+            isStaticContainer: true,
+            imports: [],
+            body: [
+                {
+                    kind: "interfaceDeclaration",
+                    name: "IDisposable",
+                    isExported: false,
+                    isStruct: false,
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                },
+                {
+                    kind: "functionDeclaration",
+                    name: "dispose",
+                    typeParameters: [
+                        {
+                            kind: "typeParameter",
+                            name: "T",
+                            constraint: {
+                                kind: "intersectionType",
+                                types: [
+                                    { kind: "referenceType", name: "object", typeArguments: [] },
+                                    {
+                                        kind: "referenceType",
+                                        name: "IDisposable",
+                                        typeArguments: [],
+                                    },
+                                ],
+                            },
+                            default: undefined,
+                            variance: undefined,
+                            isStructuralConstraint: false,
+                        },
+                    ],
+                    parameters: [
+                        {
+                            kind: "parameter",
+                            pattern: { kind: "identifierPattern", name: "resource" },
+                            type: { kind: "typeParameterType", name: "T" },
+                            isOptional: false,
+                            isRest: false,
+                            passing: "value",
+                        },
+                    ],
+                    returnType: { kind: "voidType" },
+                    body: {
+                        kind: "blockStatement",
+                        statements: [],
+                    },
+                    isExported: true,
+                    isAsync: false,
+                    isGenerator: false,
+                },
+            ],
+            exports: [],
+        };
+        const result = emitModule(module);
+        // Should emit where T : class, IDisposable
+        expect(result).to.include("where T : class, IDisposable");
+    });
+});
+//# sourceMappingURL=class-and-interface-constraints.test.js.map

package/dist/specialization/generic-functions-cases/class-and-interface-constraints.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"class-and-interface-constraints.test.js","sourceRoot":"","sources":["../../../src/specialization/generic-functions-cases/class-and-interface-constraints.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,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE;gCACV,IAAI,EAAE,eAAe;gCACrB,IAAI,EAAE,QAAQ;gCACd,aAAa,EAAE,EAAE;6BAClB;4BACD,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE;gCACJ,IAAI,EAAE,WAAW;gCACjB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;oCACxC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;iCACxC;6BACF;4BACD,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE;wBACV,IAAI,EAAE,WAAW;wBACjB,KAAK,EAAE;4BACL,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BACxC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE;yBACxC;qBACF;oBACD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE;4BACV;gCACE,IAAI,EAAE,iBAAiB;gCACvB,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE;6BAClD;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,yCAAyC;QACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC7C,6DAA6D;QAC7D,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,aAAa;oBACnB,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;oBACf,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;iBACZ;gBACD;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,YAAY;oBAClB,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;oBACf,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;iBACZ;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE;gCACV,IAAI,EAAE,kBAAkB;gCACxB,KAAK,EAAE;oCACL;wCACE,IAAI,EAAE,eAAe;wCACrB,IAAI,EAAE,aAAa;wCACnB,aAAa,EAAE,EAAE;qCAClB;oCACD;wCACE,IAAI,EAAE,eAAe;wCACrB,IAAI,EAAE,YAAY;wCAClB,aAAa,EAAE,EAAE;qCAClB;iCACF;6BACF;4BACD,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,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,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC9C,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,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC9C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oBACtD,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE,EAAE;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,mCAAmC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,cAAc;oBACpB,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;oBACf,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;iBACZ;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,QAAQ;oBACd,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE;gCACV,IAAI,EAAE,kBAAkB;gCACxB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;oCAC5D;wCACE,IAAI,EAAE,eAAe;wCACrB,IAAI,EAAE,cAAc;wCACpB,aAAa,EAAE,EAAE;qCAClB;iCACF;6BACF;4BACD,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,OAAO,EAAE;4BACrD,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC9C,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,EAAE;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,6CAA6C;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAa;YACvB,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,OAAO;YAClB,SAAS,EAAE,OAAO;YAClB,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,EAAE;YACX,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,aAAa;oBACnB,UAAU,EAAE,KAAK;oBACjB,QAAQ,EAAE,KAAK;oBACf,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;iBACZ;gBACD;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,SAAS;oBACf,cAAc,EAAE;wBACd;4BACE,IAAI,EAAE,eAAe;4BACrB,IAAI,EAAE,GAAG;4BACT,UAAU,EAAE;gCACV,IAAI,EAAE,kBAAkB;gCACxB,KAAK,EAAE;oCACL,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,EAAE,EAAE;oCAC5D;wCACE,IAAI,EAAE,eAAe;wCACrB,IAAI,EAAE,aAAa;wCACnB,aAAa,EAAE,EAAE;qCAClB;iCACF;6BACF;4BACD,OAAO,EAAE,SAAS;4BAClB,QAAQ,EAAE,SAAS;4BACnB,sBAAsB,EAAE,KAAK;yBAC9B;qBACF;oBACD,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,WAAW;4BACjB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE;4BACxD,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,GAAG,EAAE;4BAC9C,UAAU,EAAE,KAAK;4BACjB,MAAM,EAAE,KAAK;4BACb,OAAO,EAAE,OAAO;yBACjB;qBACF;oBACD,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE;oBAChC,IAAI,EAAE;wBACJ,IAAI,EAAE,gBAAgB;wBACtB,UAAU,EAAE,EAAE;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,2CAA2C;QAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,8BAA8B,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/specialization/generic-functions.test.d.ts

@@ -1,6 +1,3 @@
-/**
- * Tests for Generic Functions
- * Covers spec/15-generics.md §3-5 - Generic Functions
- */
-export {};
+import "./generic-functions-cases/basics-and-structural.test.js";
+import "./generic-functions-cases/class-and-interface-constraints.test.js";
 //# sourceMappingURL=generic-functions.test.d.ts.map

package/dist/specialization/generic-functions.test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generic-functions.test.d.ts","sourceRoot":"","sources":["../../src/specialization/generic-functions.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}
+{"version":3,"file":"generic-functions.test.d.ts","sourceRoot":"","sources":["../../src/specialization/generic-functions.test.ts"],"names":[],"mappings":"AAAA,OAAO,yDAAyD,CAAC;AACjE,OAAO,mEAAmE,CAAC"}