@tsonic/frontend 0.0.61 → 0.0.63

package/dist/ir/validation/attribute-collection/arg-extractor.d.ts

@@ -0,0 +1,58 @@
+/**
+ * Attribute Collection — Argument Extraction & Descriptor Parsing
+ *
+ * Extracts attribute arguments from IR expressions and parses
+ * attribute descriptor calls (A.attr(AttrCtor, ...args)).
+ * Also contains shared constants, types, and utility functions
+ * used across the attribute collection pass.
+ */
+import { Diagnostic, SourceLocation } from "../../../types/diagnostic.js";
+import { IrModule, IrExpression, IrIdentifierExpression, IrAttributeTarget, IrAttributeArg, IrType } from "../../types.js";
+export declare const ATTRIBUTES_IMPORT_SPECIFIER = "@tsonic/core/lang.js";
+export declare const ATTRIBUTE_TARGETS_EXPORT_NAME = "AttributeTargets";
+export declare const ATTRIBUTE_TARGETS: readonly IrAttributeTarget[];
+export declare const ATTRIBUTE_TARGETS_SET: Set<IrAttributeTarget>;
+export type ParseResult<T> = {
+    readonly kind: "notMatch";
+} | {
+    readonly kind: "ok";
+    readonly value: T;
+} | {
+    readonly kind: "error";
+    readonly diagnostic: Diagnostic;
+};
+export type ParsedAttributeDescriptor = {
+    readonly attributeType: IrType;
+    readonly positionalArgs: readonly IrAttributeArg[];
+    readonly namedArgs: ReadonlyMap<string, IrAttributeArg>;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Intermediate representation of a detected attribute marker call
+ */
+export type AttributeMarker = {
+    readonly targetName: string;
+    readonly targetSelector: "type" | "ctor" | "method" | "prop";
+    readonly selectedMemberName?: string;
+    readonly attributeTarget?: IrAttributeTarget;
+    readonly attributeType: IrType;
+    readonly positionalArgs: readonly IrAttributeArg[];
+    readonly namedArgs: ReadonlyMap<string, IrAttributeArg>;
+    readonly sourceSpan?: SourceLocation;
+};
+/**
+ * Create a source location for error reporting
+ */
+export declare const createLocation: (filePath: string, sourceSpan?: SourceLocation) => SourceLocation;
+export declare const isAttributesApiIdentifier: (expr: IrExpression, apiNames: ReadonlySet<string>) => expr is IrIdentifierExpression;
+export declare const getAttributesApiLocalNames: (module: IrModule) => ReadonlySet<string>;
+export declare const getAttributeTargetsApiLocalNames: (module: IrModule) => ReadonlySet<string>;
+/**
+ * Try to extract an attribute argument from an IR expression.
+ * Returns undefined if the expression is not a valid attribute argument.
+ */
+export declare const tryExtractAttributeArg: (expr: IrExpression) => IrAttributeArg | undefined;
+export declare const resolveClrTypeForAttributeCtor: (ctorIdent: IrIdentifierExpression, module: IrModule) => string | undefined;
+export declare const makeAttributeType: (ctorIdent: IrIdentifierExpression, module: IrModule) => ParseResult<IrType>;
+export declare const parseAttrDescriptorCall: (expr: IrExpression, module: IrModule, apiNames: ReadonlySet<string>) => ParseResult<ParsedAttributeDescriptor>;
+//# sourceMappingURL=arg-extractor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"arg-extractor.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/attribute-collection/arg-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,UAAU,EAEV,cAAc,EACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,QAAQ,EACR,YAAY,EAGZ,sBAAsB,EACtB,iBAAiB,EACjB,cAAc,EAEd,MAAM,EAGP,MAAM,gBAAgB,CAAC;AAMxB,eAAO,MAAM,2BAA2B,yBAAyB,CAAC;AAClE,eAAO,MAAM,6BAA6B,qBAAqB,CAAC;AAEhE,eAAO,MAAM,iBAAiB,EAAE,SAAS,iBAAiB,EAUzD,CAAC;AAEF,eAAO,MAAM,qBAAqB,wBAEjC,CAAC;AAMF,MAAM,MAAM,WAAW,CAAC,CAAC,IACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAC1C;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAEhE,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,SAAS,cAAc,EAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACxD,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC7D,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,eAAe,CAAC,EAAE,iBAAiB,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,SAAS,cAAc,EAAE,CAAC;IACnD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACxD,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAAC;AAMF;;GAEG;AACH,eAAO,MAAM,cAAc,GACzB,UAAU,MAAM,EAChB,aAAa,cAAc,KAC1B,cAC8D,CAAC;AAElE,eAAO,MAAM,yBAAyB,GACpC,MAAM,YAAY,EAClB,UAAU,WAAW,CAAC,MAAM,CAAC,KAC5B,IAAI,IAAI,sBAC4C,CAAC;AAExD,eAAO,MAAM,0BAA0B,GACrC,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,CAWpB,CAAC;AAEF,eAAO,MAAM,gCAAgC,GAC3C,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,CAWpB,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,GACjC,MAAM,YAAY,KACjB,cAAc,GAAG,SAuEnB,CAAC;AAMF,eAAO,MAAM,8BAA8B,GACzC,WAAW,sBAAsB,EACjC,QAAQ,QAAQ,KACf,MAAM,GAAG,SAeX,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC5B,WAAW,sBAAsB,EACjC,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,CAiCpB,CAAC;AAMF,eAAO,MAAM,uBAAuB,GAClC,MAAM,YAAY,EAClB,QAAQ,QAAQ,EAChB,UAAU,WAAW,CAAC,MAAM,CAAC,KAC5B,WAAW,CAAC,yBAAyB,CA+IvC,CAAC"}

package/dist/ir/validation/attribute-collection/arg-extractor.js

@@ -0,0 +1,284 @@
+/**
+ * Attribute Collection — Argument Extraction & Descriptor Parsing
+ *
+ * Extracts attribute arguments from IR expressions and parses
+ * attribute descriptor calls (A.attr(AttrCtor, ...args)).
+ * Also contains shared constants, types, and utility functions
+ * used across the attribute collection pass.
+ */
+import { createDiagnostic, } from "../../../types/diagnostic.js";
+// ═══════════════════════════════════════════════════════════════════════════
+// CONSTANTS
+// ═══════════════════════════════════════════════════════════════════════════
+export const ATTRIBUTES_IMPORT_SPECIFIER = "@tsonic/core/lang.js";
+export const ATTRIBUTE_TARGETS_EXPORT_NAME = "AttributeTargets";
+export const ATTRIBUTE_TARGETS = [
+    "assembly",
+    "module",
+    "type",
+    "method",
+    "property",
+    "field",
+    "event",
+    "param",
+    "return",
+];
+export const ATTRIBUTE_TARGETS_SET = new Set(ATTRIBUTE_TARGETS);
+// ═══════════════════════════════════════════════════════════════════════════
+// UTILITY FUNCTIONS
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Create a source location for error reporting
+ */
+export const createLocation = (filePath, sourceSpan) => sourceSpan ?? { file: filePath, line: 1, column: 1, length: 1 };
+export const isAttributesApiIdentifier = (expr, apiNames) => expr.kind === "identifier" && apiNames.has(expr.name);
+export const getAttributesApiLocalNames = (module) => {
+    const names = new Set();
+    for (const imp of module.imports) {
+        if (imp.source !== ATTRIBUTES_IMPORT_SPECIFIER)
+            continue;
+        for (const spec of imp.specifiers) {
+            if (spec.kind !== "named")
+                continue;
+            if (spec.name !== "attributes")
+                continue;
+            names.add(spec.localName);
+        }
+    }
+    return names;
+};
+export const getAttributeTargetsApiLocalNames = (module) => {
+    const names = new Set();
+    for (const imp of module.imports) {
+        if (imp.source !== ATTRIBUTES_IMPORT_SPECIFIER)
+            continue;
+        for (const spec of imp.specifiers) {
+            if (spec.kind !== "named")
+                continue;
+            if (spec.name !== ATTRIBUTE_TARGETS_EXPORT_NAME)
+                continue;
+            names.add(spec.localName);
+        }
+    }
+    return names;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// ARGUMENT EXTRACTION
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Try to extract an attribute argument from an IR expression.
+ * Returns undefined if the expression is not a valid attribute argument.
+ */
+export const tryExtractAttributeArg = (expr) => {
+    const tryExtractPrimitive = (e) => {
+        const extracted = tryExtractAttributeArg(e);
+        if (!extracted)
+            return undefined;
+        if (extracted.kind === "array")
+            return undefined;
+        return extracted;
+    };
+    if (expr.kind === "literal") {
+        if (typeof expr.value === "string") {
+            return { kind: "string", value: expr.value };
+        }
+        if (typeof expr.value === "number") {
+            return { kind: "number", value: expr.value };
+        }
+        if (typeof expr.value === "boolean") {
+            return { kind: "boolean", value: expr.value };
+        }
+    }
+    // Arrays of compile-time constants are valid attribute arguments in C#.
+    // Example: [Index(new[] { "PropertyId", "Ts" })]
+    if (expr.kind === "array") {
+        const arr = expr;
+        const elements = [];
+        if (arr.elements.length === 0)
+            return undefined;
+        for (const el of arr.elements) {
+            if (!el || el.kind === "spread") {
+                return undefined;
+            }
+            const v = tryExtractPrimitive(el);
+            if (!v)
+                return undefined;
+            elements.push(v);
+        }
+        return { kind: "array", elements };
+    }
+    // typeof(SomeType) → C# typeof(SomeType) attribute argument
+    if (expr.kind === "unary" && expr.operator === "typeof") {
+        const targetType = expr.expression.inferredType;
+        if (targetType && targetType.kind !== "unknownType") {
+            return { kind: "typeof", type: targetType };
+        }
+    }
+    // Enum.Member → enum literal argument
+    if (expr.kind === "memberAccess" &&
+        !expr.isComputed &&
+        typeof expr.property === "string") {
+        const object = expr.object;
+        const enumType = expr.inferredType && expr.inferredType.kind === "referenceType"
+            ? expr.inferredType
+            : object.kind === "identifier" &&
+                object.inferredType &&
+                object.inferredType.kind === "referenceType"
+                ? object.inferredType
+                : undefined;
+        if (enumType) {
+            const binding = expr.memberBinding;
+            const member = binding?.member ?? expr.property;
+            return { kind: "enum", type: enumType, member };
+        }
+    }
+    return undefined;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// CLR TYPE RESOLUTION
+// ═══════════════════════════════════════════════════════════════════════════
+export const resolveClrTypeForAttributeCtor = (ctorIdent, module) => {
+    if (ctorIdent.resolvedClrType)
+        return ctorIdent.resolvedClrType;
+    // Prefer CLR imports: these are the authoritative mapping for runtime type names.
+    for (const imp of module.imports) {
+        if (!imp.isClr)
+            continue;
+        if (!imp.resolvedNamespace)
+            continue;
+        for (const spec of imp.specifiers) {
+            if (spec.kind !== "named")
+                continue;
+            if (spec.localName !== ctorIdent.name)
+                continue;
+            return `${imp.resolvedNamespace}.${spec.name}`;
+        }
+    }
+    return undefined;
+};
+export const makeAttributeType = (ctorIdent, module) => {
+    const resolvedClrType = resolveClrTypeForAttributeCtor(ctorIdent, module);
+    if (resolvedClrType) {
+        return {
+            kind: "ok",
+            value: {
+                kind: "referenceType",
+                name: ctorIdent.name,
+                resolvedClrType,
+            },
+        };
+    }
+    // Allow locally-emitted attribute types (non-ambient class declarations).
+    const hasLocalClass = module.body.some((s) => s.kind === "classDeclaration" && s.name === ctorIdent.name);
+    if (hasLocalClass) {
+        return {
+            kind: "ok",
+            value: { kind: "referenceType", name: ctorIdent.name },
+        };
+    }
+    return {
+        kind: "error",
+        diagnostic: createDiagnostic("TSN4004", "error", `Missing CLR binding for attribute constructor '${ctorIdent.name}'. Import the attribute type from a CLR bindings module (e.g., @tsonic/dotnet) or define it as a local class.`, createLocation(module.filePath, ctorIdent.sourceSpan)),
+    };
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// DESCRIPTOR PARSING
+// ═══════════════════════════════════════════════════════════════════════════
+export const parseAttrDescriptorCall = (expr, module, apiNames) => {
+    if (expr.kind !== "call")
+        return { kind: "notMatch" };
+    const call = expr;
+    if (call.callee.kind !== "memberAccess")
+        return { kind: "notMatch" };
+    const member = call.callee;
+    if (member.isComputed || typeof member.property !== "string")
+        return { kind: "notMatch" };
+    if (member.property !== "attr")
+        return { kind: "notMatch" };
+    if (!isAttributesApiIdentifier(member.object, apiNames))
+        return { kind: "notMatch" };
+    if (call.arguments.length < 1) {
+        return {
+            kind: "error",
+            diagnostic: createDiagnostic("TSN4005", "error", `Invalid attribute marker: A.attr(AttrCtor, ...args) requires at least the attribute constructor`, createLocation(module.filePath, call.sourceSpan)),
+        };
+    }
+    const rawArgs = [];
+    for (const arg of call.arguments) {
+        if (!arg || arg.kind === "spread") {
+            return {
+                kind: "error",
+                diagnostic: createDiagnostic("TSN4006", "error", `Invalid attribute argument: spreads are not allowed in attributes`, createLocation(module.filePath, call.sourceSpan)),
+            };
+        }
+        rawArgs.push(arg);
+    }
+    const ctorExpr = rawArgs[0];
+    if (!ctorExpr || ctorExpr.kind !== "identifier") {
+        return {
+            kind: "error",
+            diagnostic: createDiagnostic("TSN4005", "error", `Invalid attribute marker: A.attr(...) attribute constructor must be an identifier`, createLocation(module.filePath, call.sourceSpan)),
+        };
+    }
+    const attributeCtor = ctorExpr;
+    const attributeTypeResult = makeAttributeType(attributeCtor, module);
+    if (attributeTypeResult.kind !== "ok") {
+        return attributeTypeResult;
+    }
+    const positionalArgs = [];
+    const namedArgs = new Map();
+    let sawNamed = false;
+    for (const arg of rawArgs.slice(1)) {
+        if (arg.kind === "object") {
+            sawNamed = true;
+            const obj = arg;
+            for (const prop of obj.properties) {
+                if (prop.kind === "spread") {
+                    return {
+                        kind: "error",
+                        diagnostic: createDiagnostic("TSN4006", "error", `Invalid attribute argument: spreads are not allowed in named arguments`, createLocation(module.filePath, obj.sourceSpan)),
+                    };
+                }
+                if (prop.kind !== "property" || typeof prop.key !== "string") {
+                    return {
+                        kind: "error",
+                        diagnostic: createDiagnostic("TSN4006", "error", `Invalid attribute argument: named arguments must be simple { Name: value } properties`, createLocation(module.filePath, obj.sourceSpan)),
+                    };
+                }
+                const v = tryExtractAttributeArg(prop.value);
+                if (!v) {
+                    return {
+                        kind: "error",
+                        diagnostic: createDiagnostic("TSN4006", "error", `Invalid attribute argument: named argument '${prop.key}' must be a compile-time constant`, createLocation(module.filePath, prop.value.sourceSpan)),
+                    };
+                }
+                namedArgs.set(prop.key, v);
+            }
+            continue;
+        }
+        if (sawNamed) {
+            return {
+                kind: "error",
+                diagnostic: createDiagnostic("TSN4006", "error", `Invalid attribute argument: positional arguments cannot appear after named arguments`, createLocation(module.filePath, arg.sourceSpan)),
+            };
+        }
+        const v = tryExtractAttributeArg(arg);
+        if (!v) {
+            return {
+                kind: "error",
+                diagnostic: createDiagnostic("TSN4006", "error", `Invalid attribute argument: attribute arguments must be compile-time constants (string/number/boolean/typeof/enum/array)`, createLocation(module.filePath, arg.sourceSpan)),
+            };
+        }
+        positionalArgs.push(v);
+    }
+    return {
+        kind: "ok",
+        value: {
+            attributeType: attributeTypeResult.value,
+            positionalArgs,
+            namedArgs,
+            sourceSpan: call.sourceSpan,
+        },
+    };
+};
+//# sourceMappingURL=arg-extractor.js.map

package/dist/ir/validation/attribute-collection/arg-extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arg-extractor.js","sourceRoot":"","sources":["../../../../src/ir/validation/attribute-collection/arg-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAEL,gBAAgB,GAEjB,MAAM,8BAA8B,CAAC;AAetC,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,CAAC,MAAM,2BAA2B,GAAG,sBAAsB,CAAC;AAClE,MAAM,CAAC,MAAM,6BAA6B,GAAG,kBAAkB,CAAC;AAEhE,MAAM,CAAC,MAAM,iBAAiB,GAAiC;IAC7D,UAAU;IACV,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,UAAU;IACV,OAAO;IACP,OAAO;IACP,OAAO;IACP,QAAQ;CACT,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAC1C,iBAAiB,CAClB,CAAC;AAgCF,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,QAAgB,EAChB,UAA2B,EACX,EAAE,CAClB,UAAU,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAElE,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAkB,EAClB,QAA6B,EACG,EAAE,CAClC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAExD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAAgB,EACK,EAAE;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,MAAM,KAAK,2BAA2B;YAAE,SAAS;QACzD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACpC,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY;gBAAE,SAAS;YACzC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAC9C,MAAgB,EACK,EAAE;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,MAAM,KAAK,2BAA2B;YAAE,SAAS;QACzD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACpC,IAAI,IAAI,CAAC,IAAI,KAAK,6BAA6B;gBAAE,SAAS;YAC1D,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAkB,EACU,EAAE;IAC9B,MAAM,mBAAmB,GAAG,CAC1B,CAAe,EACsB,EAAE;QACvC,MAAM,SAAS,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QACjC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,SAAS,CAAC;QACjD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAChD,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,iDAAiD;IACjD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAyB,CAAC;QACtC,MAAM,QAAQ,GAA8B,EAAE,CAAC;QAC/C,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAChD,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC9B,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,CAAC,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC;gBAAE,OAAO,SAAS,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IACrC,CAAC;IAED,4DAA4D;IAC5D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAChD,IAAI,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACpD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,IACE,IAAI,CAAC,IAAI,KAAK,cAAc;QAC5B,CAAC,IAAI,CAAC,UAAU;QAChB,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EACjC,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,MAAM,QAAQ,GACZ,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe;YAC7D,CAAC,CAAC,IAAI,CAAC,YAAY;YACnB,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;gBAC1B,MAAM,CAAC,YAAY;gBACnB,MAAM,CAAC,YAAY,CAAC,IAAI,KAAK,eAAe;gBAC9C,CAAC,CAAC,MAAM,CAAC,YAAY;gBACrB,CAAC,CAAC,SAAS,CAAC;QAElB,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,OAAO,GAAI,IAA2B,CAAC,aAAa,CAAC;YAC3D,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC;YAChD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QAClD,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,SAAiC,EACjC,MAAgB,EACI,EAAE;IACtB,IAAI,SAAS,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC,eAAe,CAAC;IAEhE,kFAAkF;IAClF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,CAAC,GAAG,CAAC,KAAK;YAAE,SAAS;QACzB,IAAI,CAAC,GAAG,CAAC,iBAAiB;YAAE,SAAS;QACrC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACpC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,IAAI;gBAAE,SAAS;YAChD,OAAO,GAAG,GAAG,CAAC,iBAAiB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACjD,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAiC,EACjC,MAAgB,EACK,EAAE;IACvB,MAAM,eAAe,GAAG,8BAA8B,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC1E,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO;YACL,IAAI,EAAE,IAAI;YACV,KAAK,EAAE;gBACL,IAAI,EAAE,eAAe;gBACrB,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,eAAe;aAChB;SACF,CAAC;IACJ,CAAC;IAED,0EAA0E;IAC1E,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAClE,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;YACL,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE;SACvD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,kDAAkD,SAAS,CAAC,IAAI,+GAA+G,EAC/K,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,CACtD;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,IAAkB,EAClB,MAAgB,EAChB,QAA6B,EACW,EAAE;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAEtD,MAAM,IAAI,GAAG,IAAwB,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAErE,MAAM,MAAM,GAAG,IAAI,CAAC,MAA4B,CAAC;IACjD,IAAI,MAAM,CAAC,UAAU,IAAI,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;QAC1D,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC5D,IAAI,CAAC,yBAAyB,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAE9B,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,iGAAiG,EACjG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CACjD;SACF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,mEAAmE,EACnE,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CACjD;aACF,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAChD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,mFAAmF,EACnF,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CAAC,CACjD;SACF,CAAC;IACJ,CAAC;IAED,MAAM,aAAa,GAAG,QAAkC,CAAC;IACzD,MAAM,mBAAmB,GAAG,iBAAiB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACrE,IAAI,mBAAmB,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtC,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,MAAM,cAAc,GAAqB,EAAE,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAC;IACpD,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1B,QAAQ,GAAG,IAAI,CAAC;YAChB,MAAM,GAAG,GAAG,GAAyB,CAAC;YACtC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3B,OAAO;wBACL,IAAI,EAAE,OAAO;wBACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,wEAAwE,EACxE,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAChD;qBACF,CAAC;gBACJ,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;oBAC7D,OAAO;wBACL,IAAI,EAAE,OAAO;wBACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,uFAAuF,EACvF,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAChD;qBACF,CAAC;gBACJ,CAAC;gBACD,MAAM,CAAC,GAAG,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC7C,IAAI,CAAC,CAAC,EAAE,CAAC;oBACP,OAAO;wBACL,IAAI,EAAE,OAAO;wBACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,+CAA+C,IAAI,CAAC,GAAG,mCAAmC,EAC1F,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CACvD;qBACF,CAAC;gBACJ,CAAC;gBACD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC7B,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,sFAAsF,EACtF,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAChD;aACF,CAAC;QACJ,CAAC;QAED,MAAM,CAAC,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,UAAU,EAAE,gBAAgB,CAC1B,SAAS,EACT,OAAO,EACP,0HAA0H,EAC1H,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAChD;aACF,CAAC;QACJ,CAAC;QACD,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,IAAI;QACV,KAAK,EAAE;YACL,aAAa,EAAE,mBAAmB,CAAC,KAAK;YACxC,cAAc;YACd,SAAS;YACT,UAAU,EAAE,IAAI,CAAC,UAAU;SAC5B;KACF,CAAC;AACJ,CAAC,CAAC"}

package/dist/ir/validation/attribute-collection/marker-parser.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Attribute Collection — API Detection & Pattern Matching
+ *
+ * Detects attribute API usage patterns and parses marker call chains
+ * like A.on(Target).type.add(AttrCtor, ...args).
+ */
+import { SourceLocation } from "../../../types/diagnostic.js";
+import { IrModule, IrExpression, IrCallExpression, IrIdentifierExpression, IrAttributeTarget } from "../../types.js";
+import { type ParseResult, type ParsedAttributeDescriptor, type AttributeMarker } from "./arg-extractor.js";
+export declare const parseAttributeTarget: (expr: IrExpression, module: IrModule, attributeTargetsApiNames: ReadonlySet<string>) => ParseResult<IrAttributeTarget>;
+export declare const getMemberName: (expr: IrExpression) => string | undefined;
+export declare const looksLikeAttributesApiUsage: (expr: IrExpression, apiNames: ReadonlySet<string>) => boolean;
+export declare const parseOnCall: (expr: IrExpression, module: IrModule, apiNames: ReadonlySet<string>) => ParseResult<{
+    readonly target: IrIdentifierExpression;
+    readonly sourceSpan?: SourceLocation;
+}>;
+export declare const parseSelector: (selector: IrExpression, module: IrModule) => ParseResult<string>;
+/**
+ * Try to detect if a call expression is an attribute marker pattern.
+ *
+ * Patterns:
+ * - A.on(Target).type.add(...)
+ * - A.on(Target).ctor.add(...)
+ * - A.on(Target).method(selector).add(...)
+ * - A.on(Target).prop(selector).add(...)
+ */
+export declare const tryDetectAttributeMarker: (call: IrCallExpression, module: IrModule, apiNames: ReadonlySet<string>, attributeTargetsApiNames: ReadonlySet<string>, descriptors: ReadonlyMap<string, ParsedAttributeDescriptor>) => ParseResult<AttributeMarker>;
+//# sourceMappingURL=marker-parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"marker-parser.d.ts","sourceRoot":"","sources":["../../../../src/ir/validation/attribute-collection/marker-parser.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAoB,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAChF,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,gBAAgB,EAEhB,sBAAsB,EACtB,iBAAiB,EAIlB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAIL,KAAK,WAAW,EAChB,KAAK,yBAAyB,EAC9B,KAAK,eAAe,EAMrB,MAAM,oBAAoB,CAAC;AAM5B,eAAO,MAAM,oBAAoB,GAC/B,MAAM,YAAY,EAClB,QAAQ,QAAQ,EAChB,0BAA0B,WAAW,CAAC,MAAM,CAAC,KAC5C,WAAW,CAAC,iBAAiB,CA0C/B,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,MAAM,YAAY,KAAG,MAAM,GAAG,SAK3D,CAAC;AAMF,eAAO,MAAM,2BAA2B,GACtC,MAAM,YAAY,EAClB,UAAU,WAAW,CAAC,MAAM,CAAC,KAC5B,OAmDF,CAAC;AAMF,eAAO,MAAM,WAAW,GACtB,MAAM,YAAY,EAClB,QAAQ,QAAQ,EAChB,UAAU,WAAW,CAAC,MAAM,CAAC,KAC5B,WAAW,CAAC;IACb,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;CACtC,CAwDA,CAAC;AAEF,eAAO,MAAM,aAAa,GACxB,UAAU,YAAY,EACtB,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,CA8EpB,CAAC;AAMF;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,GACnC,MAAM,gBAAgB,EACtB,QAAQ,QAAQ,EAChB,UAAU,WAAW,CAAC,MAAM,CAAC,EAC7B,0BAA0B,WAAW,CAAC,MAAM,CAAC,EAC7C,aAAa,WAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,KAC1D,WAAW,CAAC,eAAe,CAkT7B,CAAC"}