@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/attribute-collection-cases/prop-selector.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Tests for A<T>().prop(selector).add(Attr) pattern and AttributeDescriptor forms.
+ */
+export {};
+//# sourceMappingURL=prop-selector.test.d.ts.map

package/dist/ir/validation/attribute-collection-cases/prop-selector.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prop-selector.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/attribute-collection-cases/prop-selector.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/ir/validation/attribute-collection-cases/prop-selector.test.js

@@ -0,0 +1,209 @@
+/**
+ * Tests for A<T>().prop(selector).add(Attr) pattern and AttributeDescriptor forms.
+ */
+import { assertDefined, createModule, describe, expect, it, makeAddDescriptorMarkerCall, makeAttrDescriptorDecl, makeInlineDescriptorMarkerCall, makeLiteral, makePropMarkerCall, makePropMarkerCallWithTarget, makeWrappedSelector, runAttributeCollectionPass, } from "./helpers.js";
+describe("Attribute Collection Pass", () => {
+    describe("A<T>().prop(selector).add(Attr) pattern", () => {
+        it("should attach attribute to the selected property", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "name",
+                            isStatic: false,
+                            isReadonly: false,
+                            accessibility: "public",
+                        },
+                    ],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makePropMarkerCall("User", "name", "DataMemberAttribute"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            const prop = classDecl.members.find((m) => m.kind === "propertyDeclaration");
+            expect(prop && "attributes" in prop ? prop.attributes : undefined).to.have.length(1);
+        });
+        it("should attach attribute to the selected interface property", () => {
+            const module = createModule([
+                {
+                    kind: "interfaceDeclaration",
+                    name: "IUser",
+                    extends: [],
+                    typeParameters: [],
+                    members: [
+                        {
+                            kind: "propertySignature",
+                            name: "name",
+                        },
+                    ],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makePropMarkerCall("IUser", "name", "DataMemberAttribute"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const ifaceDecl = mod.body[0];
+            const prop = ifaceDecl.members.find((m) => m.kind === "propertySignature");
+            expect(prop && "attributes" in prop ? prop.attributes : undefined).to.have.length(1);
+        });
+        it("should support property attribute targets (e.g., field on auto-property)", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "name",
+                            isStatic: false,
+                            isReadonly: false,
+                            accessibility: "public",
+                        },
+                    ],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makePropMarkerCallWithTarget("User", "name", "DataMemberAttribute", makeLiteral("field")),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            const prop = classDecl.members.find((m) => m.kind === "propertyDeclaration");
+            const attr0 = assertDefined(prop && "attributes" in prop ? prop.attributes?.[0] : undefined);
+            expect(attr0.target).to.equal("field");
+        });
+        it("should accept property selectors whose parameter identifier is wrapped in transparent assertions", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "name",
+                            isStatic: false,
+                            isReadonly: false,
+                            accessibility: "public",
+                        },
+                    ],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makePropMarkerCall("User", "name", "DataMemberAttribute", makeWrappedSelector("name")),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            const prop = classDecl.members.find((m) => m.kind === "propertyDeclaration");
+            expect(prop && "attributes" in prop ? prop.attributes : undefined).to.have.length(1);
+        });
+        it("should reject [field: ...] on accessor properties", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "name",
+                            getterBody: { kind: "blockStatement", statements: [] },
+                            isStatic: false,
+                            isReadonly: false,
+                            accessibility: "public",
+                        },
+                    ],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makePropMarkerCallWithTarget("User", "name", "DataMemberAttribute", makeLiteral("field")),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN4005")).to.be.true;
+        });
+        it("should error when the selected property does not exist", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [
+                        {
+                            kind: "propertyDeclaration",
+                            name: "name",
+                            isStatic: false,
+                            isReadonly: false,
+                            accessibility: "public",
+                        },
+                    ],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makePropMarkerCall("User", "missing", "DataMemberAttribute"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN4007")).to.be.true;
+        });
+    });
+    describe("AttributeDescriptor forms", () => {
+        it("should support inline A.attr(...) passed to add()", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makeInlineDescriptorMarkerCall("User", "ObsoleteAttribute"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            expect(classDecl.attributes).to.have.length(1);
+            const attr = assertDefined(classDecl.attributes?.[0]);
+            expect(attr.positionalArgs).to.have.length(1);
+        });
+        it("should support descriptor variables (const d = A.attr(...); add(d))", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                makeAttrDescriptorDecl("d", "ObsoleteAttribute"),
+                makeAddDescriptorMarkerCall("User", "d"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            // Removes both the descriptor declaration and the marker call
+            expect(mod.body).to.have.length(1);
+            const classDecl = mod.body[0];
+            expect(classDecl.attributes).to.have.length(1);
+        });
+    });
+});
+//# sourceMappingURL=prop-selector.test.js.map

package/dist/ir/validation/attribute-collection-cases/prop-selector.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prop-selector.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/attribute-collection-cases/prop-selector.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,EAAE,EACF,2BAA2B,EAC3B,sBAAsB,EACtB,8BAA8B,EAC9B,WAAW,EACX,kBAAkB,EAClB,4BAA4B,EAC5B,mBAAmB,EACnB,0BAA0B,GAC3B,MAAM,cAAc,CAAC;AAGtB,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE,QAAQ;yBACxB;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACiB;gBAClC,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,qBAAqB,CAAC;aAC1D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CACxC,CAAC;YACF,MAAM,CACJ,IAAI,IAAI,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAC3D,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,EAAE;oBACX,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,mBAAmB;4BACzB,IAAI,EAAE,MAAM;yBACb;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACqB;gBACtC,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,qBAAqB,CAAC;aAC3D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAA2B,CAAC;YACxD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CACtC,CAAC;YACF,MAAM,CACJ,IAAI,IAAI,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAC3D,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE,QAAQ;yBACxB;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACiB;gBAClC,4BAA4B,CAC1B,MAAM,EACN,MAAM,EACN,qBAAqB,EACrB,WAAW,CAAC,OAAO,CAAC,CACrB;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CACxC,CAAC;YACF,MAAM,KAAK,GAAG,aAAa,CACzB,IAAI,IAAI,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAChE,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kGAAkG,EAAE,GAAG,EAAE;YAC1G,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE,QAAQ;yBACxB;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACiB;gBAClC,kBAAkB,CAChB,MAAM,EACN,MAAM,EACN,qBAAqB,EACrB,mBAAmB,CAAC,MAAM,CAAC,CAC5B;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CACjC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,CACxC,CAAC;YACF,MAAM,CACJ,IAAI,IAAI,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAC3D,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,MAAM;4BACZ,UAAU,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,EAAE,EAAE;4BACtD,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE,QAAQ;yBACxB;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACiB;gBAClC,4BAA4B,CAC1B,MAAM,EACN,MAAM,EACN,qBAAqB,EACrB,WAAW,CAAC,OAAO,CAAC,CACrB;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,qBAAqB;4BAC3B,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,KAAK;4BACf,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE,QAAQ;yBACxB;qBACF;oBACD,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACiB;gBAClC,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,qBAAqB,CAAC;aAC7D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,8BAA8B,CAAC,MAAM,EAAE,mBAAmB,CAAC;aAC5D,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,8DAA8D;gBAC9D,sBAAsB,CAAC,GAAG,EAAE,mBAAmB,CAAQ;gBACvD,2BAA2B,CAAC,MAAM,EAAE,GAAG,CAAC;aACzC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,8DAA8D;YAC9D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/attribute-collection-cases/type-add.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Tests for A<T>().add(Attr) pattern and alias imports.
+ */
+export {};
+//# sourceMappingURL=type-add.test.d.ts.map

package/dist/ir/validation/attribute-collection-cases/type-add.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-add.test.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/attribute-collection-cases/type-add.test.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/ir/validation/attribute-collection-cases/type-add.test.js

@@ -0,0 +1,330 @@
+/**
+ * Tests for A<T>().add(Attr) pattern and alias imports.
+ */
+import { assertDefined, createModule, describe, expect, it, makeCall, makeIdentifier, makeLiteral, makeMarkerCall, makeMemberAccess, makeObject, makeObjectProp, makeRefType, makeTypedIdentifier, makeTypeMarkerCallWithTarget, makeTypeRootCall, makeUnaryTypeof, runAttributeCollectionPass, } from "./helpers.js";
+describe("Attribute Collection Pass", () => {
+    describe("A<T>().add(Attr) pattern", () => {
+        it("should attach attribute to class declaration", () => {
+            // IR representation of:
+            // class User {}
+            // A<User>().add(SerializableAttribute);
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makeMarkerCall("User", "SerializableAttribute", [], "System.SerializableAttribute"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            expect(result.modules).to.have.length(1);
+            const processedModule = assertDefined(result.modules[0]);
+            // Marker statement should be removed
+            expect(processedModule.body).to.have.length(1);
+            const classDecl = processedModule.body[0];
+            expect(classDecl.kind).to.equal("classDeclaration");
+            expect(classDecl.attributes).to.have.length(1);
+            const attr0 = assertDefined(classDecl.attributes?.[0]);
+            expect(attr0.attributeType.kind).to.equal("referenceType");
+        });
+        it("should attach attribute to interface declaration", () => {
+            const module = createModule([
+                {
+                    kind: "interfaceDeclaration",
+                    name: "IUser",
+                    typeParameters: [],
+                    extends: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makeMarkerCall("IUser", "SerializableAttribute", [], "System.SerializableAttribute"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const processedModule = assertDefined(result.modules[0]);
+            const ifaceDecl = processedModule.body[0];
+            expect(ifaceDecl.kind).to.equal("interfaceDeclaration");
+            expect(ifaceDecl.attributes).to.have.length(1);
+        });
+        it("should attach attribute with positional arguments", () => {
+            // IR representation of:
+            // class User {}
+            // A<User>().add(ObsoleteAttribute, "Use NewUser instead");
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makeMarkerCall("User", "ObsoleteAttribute", [{ kind: "literal", value: "Use NewUser instead" }], "System.ObsoleteAttribute"),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            expect(classDecl.attributes).to.have.length(1);
+            const attr = assertDefined(classDecl.attributes?.[0]);
+            expect(attr.positionalArgs).to.have.length(1);
+            expect(attr.positionalArgs[0]).to.deep.equal({
+                kind: "string",
+                value: "Use NewUser instead",
+            });
+        });
+        it("should attach attribute with named arguments", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                {
+                    kind: "expressionStatement",
+                    expression: makeCall(makeMemberAccess(makeTypeRootCall("User"), "add"), [
+                        makeIdentifier("ObsoleteAttribute", "System.ObsoleteAttribute"),
+                        makeObject([
+                            makeObjectProp("IsError", makeLiteral(true)),
+                            makeObjectProp("DiagnosticId", makeLiteral("TSN0000")),
+                        ]),
+                    ]),
+                },
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            expect(classDecl.attributes).to.have.length(1);
+            const attr = assertDefined(classDecl.attributes?.[0]);
+            expect(attr.positionalArgs).to.have.length(0);
+            expect(attr.namedArgs.get("IsError")).to.deep.equal({
+                kind: "boolean",
+                value: true,
+            });
+            expect(attr.namedArgs.get("DiagnosticId")).to.deep.equal({
+                kind: "string",
+                value: "TSN0000",
+            });
+        });
+        it("should attach attribute with mixed positional and named arguments", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                {
+                    kind: "expressionStatement",
+                    expression: makeCall(makeMemberAccess(makeTypeRootCall("User"), "add"), [
+                        makeIdentifier("ObsoleteAttribute", "System.ObsoleteAttribute"),
+                        makeLiteral("Deprecated"),
+                        makeObject([makeObjectProp("IsError", makeLiteral(true))]),
+                    ]),
+                },
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            const attr = assertDefined(classDecl.attributes?.[0]);
+            expect(attr.positionalArgs).to.deep.equal([
+                { kind: "string", value: "Deprecated" },
+            ]);
+            expect(attr.namedArgs.get("IsError")).to.deep.equal({
+                kind: "boolean",
+                value: true,
+            });
+        });
+        it("should attach attribute with typeof argument", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                {
+                    kind: "expressionStatement",
+                    expression: makeCall(makeMemberAccess(makeTypeRootCall("User"), "add"), [
+                        makeIdentifier("TypeConverterAttribute", "System.ComponentModel.TypeConverterAttribute"),
+                        makeUnaryTypeof(makeTypedIdentifier("User", makeRefType("User", "Test.User"))),
+                    ]),
+                },
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            expect(classDecl.attributes).to.have.length(1);
+            const attr = assertDefined(classDecl.attributes?.[0]);
+            expect(attr.positionalArgs).to.have.length(1);
+            expect(attr.positionalArgs[0]).to.deep.equal({
+                kind: "typeof",
+                type: {
+                    kind: "referenceType",
+                    name: "User",
+                    resolvedClrType: "Test.User",
+                },
+            });
+        });
+        it("should attach attribute with enum argument", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                {
+                    kind: "expressionStatement",
+                    expression: makeCall(makeMemberAccess(makeTypeRootCall("User"), "add"), [
+                        makeIdentifier("MyAttr", "Test.MyAttr"),
+                        {
+                            kind: "memberAccess",
+                            object: makeTypedIdentifier("MyEnum", makeRefType("MyEnum", "Test.MyEnum")),
+                            property: "Value",
+                            isComputed: false,
+                            isOptional: false,
+                        },
+                    ]),
+                },
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            const attr = assertDefined(classDecl.attributes?.[0]);
+            expect(attr.positionalArgs).to.deep.equal([
+                {
+                    kind: "enum",
+                    type: {
+                        kind: "referenceType",
+                        name: "MyEnum",
+                        resolvedClrType: "Test.MyEnum",
+                    },
+                    member: "Value",
+                },
+            ]);
+        });
+        it("should use CLR member name for enum arguments when memberBinding is present", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                {
+                    kind: "expressionStatement",
+                    expression: makeCall(makeMemberAccess(makeTypeRootCall("User"), "add"), [
+                        makeIdentifier("MyAttr", "Test.MyAttr"),
+                        {
+                            kind: "memberAccess",
+                            object: makeTypedIdentifier("LayoutKind", makeRefType("LayoutKind", "System.Runtime.InteropServices.LayoutKind")),
+                            property: "sequential",
+                            isComputed: false,
+                            isOptional: false,
+                            memberBinding: {
+                                kind: "property",
+                                assembly: "System.Runtime.InteropServices",
+                                type: "System.Runtime.InteropServices.LayoutKind",
+                                member: "Sequential",
+                            },
+                        },
+                    ]),
+                },
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            const attr = assertDefined(classDecl.attributes?.[0]);
+            expect(attr.positionalArgs).to.deep.equal([
+                {
+                    kind: "enum",
+                    type: {
+                        kind: "referenceType",
+                        name: "LayoutKind",
+                        resolvedClrType: "System.Runtime.InteropServices.LayoutKind",
+                    },
+                    member: "Sequential",
+                },
+            ]);
+        });
+        it("should support explicit type attribute target (type)", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makeTypeMarkerCallWithTarget("User", "SerializableAttribute", makeLiteral("type")),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            const classDecl = mod.body[0];
+            const attr0 = assertDefined(classDecl.attributes?.[0]);
+            expect(attr0.target).to.equal("type");
+        });
+        it("should reject invalid type attribute targets", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makeTypeMarkerCallWithTarget("User", "SerializableAttribute", makeLiteral("return")),
+            ]);
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.false;
+            expect(result.diagnostics.some((d) => d.code === "TSN4005")).to.be.true;
+        });
+    });
+    describe("Alias imports", () => {
+        it("should recognize any local name imported from @tsonic/core/lang.js", () => {
+            const module = createModule([
+                {
+                    kind: "classDeclaration",
+                    name: "User",
+                    implements: [],
+                    members: [],
+                    isExported: true,
+                    isStruct: false,
+                },
+                makeMarkerCall("User", "SerializableAttribute", [], "System.SerializableAttribute", "Attr"),
+            ], "Attr");
+            const result = runAttributeCollectionPass([module]);
+            expect(result.ok).to.be.true;
+            const mod = assertDefined(result.modules[0]);
+            expect(mod.body).to.have.length(1);
+            const classDecl = mod.body[0];
+            expect(classDecl.attributes).to.have.length(1);
+        });
+    });
+});
+//# sourceMappingURL=type-add.test.js.map

package/dist/ir/validation/attribute-collection-cases/type-add.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-add.test.js","sourceRoot":"","sources":["../../../../src/ir/validation/attribute-collection-cases/type-add.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,EAAE,EACF,QAAQ,EACR,cAAc,EACd,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,cAAc,EACd,WAAW,EACX,mBAAmB,EACnB,4BAA4B,EAC5B,gBAAgB,EAChB,eAAe,EACf,0BAA0B,GAC3B,MAAM,cAAc,CAAC;AAGtB,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,wBAAwB;YACxB,gBAAgB;YAChB,wCAAwC;YACxC,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CACZ,MAAM,EACN,uBAAuB,EACvB,EAAE,EACF,8BAA8B,CAC/B;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAEzC,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,qCAAqC;YACrC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAE/C,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YAChE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,sBAAsB;oBAC5B,IAAI,EAAE,OAAO;oBACb,cAAc,EAAE,EAAE;oBAClB,OAAO,EAAE,EAAE;oBACX,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACqB;gBACtC,cAAc,CACZ,OAAO,EACP,uBAAuB,EACvB,EAAE,EACF,8BAA8B,CAC/B;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAA2B,CAAC;YACpE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACxD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,wBAAwB;YACxB,gBAAgB;YAChB,2DAA2D;YAC3D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CACZ,MAAM,EACN,mBAAmB,EACnB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,qBAAqB,EAAE,CAAC,EACnD,0BAA0B,CAC3B;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3C,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,qBAAqB;aAC7B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EACjD;wBACE,cAAc,CAAC,mBAAmB,EAAE,0BAA0B,CAAC;wBAC/D,UAAU,CAAC;4BACT,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;4BAC5C,cAAc,CAAC,cAAc,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;yBACvD,CAAC;qBACH,CACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAClD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACvD,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,SAAS;aACjB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC3E,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EACjD;wBACE,cAAc,CAAC,mBAAmB,EAAE,0BAA0B,CAAC;wBAC/D,WAAW,CAAC,YAAY,CAAC;wBACzB,UAAU,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;qBAC3D,CACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAE7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACxC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE;aACxC,CAAC,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAClD,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,IAAI;aACZ,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EACjD;wBACE,cAAc,CACZ,wBAAwB,EACxB,8CAA8C,CAC/C;wBACD,eAAe,CACb,mBAAmB,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAC9D;qBACF,CACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC3C,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE;oBACJ,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,MAAM;oBACZ,eAAe,EAAE,WAAW;iBAC7B;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EACjD;wBACE,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC;wBACvC;4BACE,IAAI,EAAE,cAAuB;4BAC7B,MAAM,EAAE,mBAAmB,CACzB,QAAQ,EACR,WAAW,CAAC,QAAQ,EAAE,aAAa,CAAC,CACrC;4BACD,QAAQ,EAAE,OAAO;4BACjB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;yBAClB;qBACF,CACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACxC;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,QAAQ;wBACd,eAAe,EAAE,aAAa;qBAC/B;oBACD,MAAM,EAAE,OAAO;iBAChB;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;YACrF,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB;oBACE,IAAI,EAAE,qBAAqB;oBAC3B,UAAU,EAAE,QAAQ,CAClB,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,EACjD;wBACE,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC;wBACvC;4BACE,IAAI,EAAE,cAAuB;4BAC7B,MAAM,EAAE,mBAAmB,CACzB,YAAY,EACZ,WAAW,CACT,YAAY,EACZ,2CAA2C,CAC5C,CACF;4BACD,QAAQ,EAAE,YAAY;4BACtB,UAAU,EAAE,KAAK;4BACjB,UAAU,EAAE,KAAK;4BACjB,aAAa,EAAE;gCACb,IAAI,EAAE,UAAU;gCAChB,QAAQ,EAAE,gCAAgC;gCAC1C,IAAI,EAAE,2CAA2C;gCACjD,MAAM,EAAE,YAAY;6BACrB;yBACF;qBACF,CACF;iBACF;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,IAAI,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC;gBACxC;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE;wBACJ,IAAI,EAAE,eAAe;wBACrB,IAAI,EAAE,YAAY;wBAClB,eAAe,EAAE,2CAA2C;qBAC7D;oBACD,MAAM,EAAE,YAAY;iBACrB;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,4BAA4B,CAC1B,MAAM,EACN,uBAAuB,EACvB,WAAW,CAAC,MAAM,CAAC,CACpB;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,KAAK,GAAG,aAAa,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,YAAY,CAAC;gBAC1B;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,4BAA4B,CAC1B,MAAM,EACN,uBAAuB,EACvB,WAAW,CAAC,QAAQ,CAAC,CACtB;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC1E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG,YAAY,CACzB;gBACE;oBACE,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,MAAM;oBACZ,UAAU,EAAE,EAAE;oBACd,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,IAAI;oBAChB,QAAQ,EAAE,KAAK;iBACM;gBACvB,cAAc,CACZ,MAAM,EACN,uBAAuB,EACvB,EAAE,EACF,8BAA8B,EAC9B,MAAM,CACP;aACF,EACD,MAAM,CACP,CAAC;YAEF,MAAM,MAAM,GAAG,0BAA0B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YAC7B,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAuB,CAAC;YACpD,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/ir/validation/attribute-collection-pass.d.ts

@@ -5,10 +5,11 @@
  * attached to the corresponding declarations, removing the marker statements.
  *
  * Supported patterns:
- * - A.on(Class).type.add(AttrCtor, ...args)           - Type attribute
- * - A.on(Class).ctor.add(AttrCtor, ...args)           - Constructor attribute
- * - A.on(Class).method(x => x.method).add(AttrCtor)   - Method attribute
- * - A.on(Class).prop(x => x.prop).add(AttrCtor)       - Property attribute
+ * - A<T>().add(AttrCtor, ...args)                     - Class/interface attribute
+ * - A<T>().ctor.add(AttrCtor, ...args)                - Constructor attribute
+ * - A<T>().method(x => x.method).add(AttrCtor)        - Method attribute
+ * - A<T>().prop(x => x.prop).add(AttrCtor)            - Property attribute
+ * - A(fn).add(AttrCtor, ...args)                      - Function attribute
  * - add(A.attr(AttrCtor, ...args))                    - Descriptor form
  * - add(descriptor) where `const descriptor = A.attr(...)`
  *

package/dist/ir/validation/attribute-collection-pass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"attribute-collection-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACL,0BAA0B,EAC1B,KAAK,yBAAyB,GAC/B,MAAM,wCAAwC,CAAC"}
+{"version":3,"file":"attribute-collection-pass.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,0BAA0B,EAC1B,KAAK,yBAAyB,GAC/B,MAAM,wCAAwC,CAAC"}

package/dist/ir/validation/attribute-collection-pass.js

@@ -5,10 +5,11 @@
  * attached to the corresponding declarations, removing the marker statements.
  *
  * Supported patterns:
- * - A.on(Class).type.add(AttrCtor, ...args)           - Type attribute
- * - A.on(Class).ctor.add(AttrCtor, ...args)           - Constructor attribute
- * - A.on(Class).method(x => x.method).add(AttrCtor)   - Method attribute
- * - A.on(Class).prop(x => x.prop).add(AttrCtor)       - Property attribute
+ * - A<T>().add(AttrCtor, ...args)                     - Class/interface attribute
+ * - A<T>().ctor.add(AttrCtor, ...args)                - Constructor attribute
+ * - A<T>().method(x => x.method).add(AttrCtor)        - Method attribute
+ * - A<T>().prop(x => x.prop).add(AttrCtor)            - Property attribute
+ * - A(fn).add(AttrCtor, ...args)                      - Function attribute
  * - add(A.attr(AttrCtor, ...args))                    - Descriptor form
  * - add(descriptor) where `const descriptor = A.attr(...)`
  *

package/dist/ir/validation/attribute-collection-pass.js.map

@@ -1 +1 @@
-{"version":3,"file":"attribute-collection-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACL,0BAA0B,GAE3B,MAAM,wCAAwC,CAAC"}
+{"version":3,"file":"attribute-collection-pass.js","sourceRoot":"","sources":["../../../src/ir/validation/attribute-collection-pass.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,0BAA0B,GAE3B,MAAM,wCAAwC,CAAC"}