@tsonic/frontend 0.0.14 → 0.0.16

package/dist/ir/type-system/internal/universe/unified-universe.js

@@ -0,0 +1,319 @@
+/**
+ * Unified Type Universe
+ *
+ * Merges source-authored types (from TypeRegistry) and assembly-authored
+ * types (from ClrCatalog) into a single unified lookup table.
+ *
+ * INVARIANT INV-CLR: This is THE source of truth for all type queries.
+ * No fallback paths allowed. If a type isn't in this catalog, it doesn't exist.
+ *
+ * Design:
+ * - Source types get stableIds generated as "{projectName}:{fullyQualifiedName}"
+ * - Assembly types keep their original stableIds from metadata.json
+ * - Lookups by tsName, clrName, or stableId all work uniformly
+ */
+import { makeTypeId, PRIMITIVE_TO_STABLE_ID } from "./types.js";
+// ═══════════════════════════════════════════════════════════════════════════
+// SOURCE TYPE → NOMINAL ENTRY CONVERSION
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Generate stableId for a source type.
+ */
+const makeSourceStableId = (projectName, fullyQualifiedName) => {
+    return `${projectName}:${fullyQualifiedName}`;
+};
+/**
+ * Extract name from IrParameter pattern.
+ */
+const getParameterName = (param, index) => {
+    if (param.pattern.kind === "identifierPattern" && param.pattern.name) {
+        return param.pattern.name;
+    }
+    return `p${index}`;
+};
+/**
+ * Convert MemberInfo from TypeRegistry to MemberEntry for unified catalog.
+ */
+const convertMemberInfo = (memberInfo, parentFQName) => {
+    // Determine member kind
+    const memberKind = memberInfo.kind === "method"
+        ? "method"
+        : memberInfo.kind === "indexSignature"
+            ? "property" // Treat index signatures as properties
+            : "property";
+    return {
+        tsName: memberInfo.name,
+        clrName: toPascalCase(memberInfo.name), // Convert to C# naming convention
+        memberKind,
+        type: memberInfo.type,
+        signatures: memberInfo.methodSignatures?.map((sig) => ({
+            stableId: `${parentFQName}::${memberInfo.name}`,
+            parameters: sig.parameters.map((p, i) => ({
+                name: getParameterName(p, i),
+                type: p.type ?? { kind: "unknownType" }, // Default to unknown if no type
+                mode: "value",
+                isOptional: p.isOptional ?? false,
+                isRest: p.isRest ?? false,
+            })),
+            returnType: sig.returnType ?? { kind: "voidType" },
+            typeParameters: sig.typeParameters?.map((tp) => ({
+                name: tp.name,
+                constraint: tp.constraint,
+                defaultType: tp.default,
+            })) ?? [],
+            parameterCount: sig.parameters.length,
+            isStatic: false, // Source methods are instance by default unless marked
+            isExtensionMethod: false,
+            normalizedSignature: `${memberInfo.name}|${sig.parameters.map((p) => p.type?.kind ?? "unknown").join(",")}`,
+        })),
+        isStatic: false, // Would need to check actual declaration
+        isReadonly: memberInfo.isReadonly,
+        isAbstract: false,
+        isVirtual: false,
+        isOverride: false,
+        isIndexer: memberInfo.kind === "indexSignature",
+        hasGetter: true,
+        hasSetter: !memberInfo.isReadonly,
+        stableId: `${parentFQName}::${memberInfo.name}`,
+    };
+};
+/**
+ * Convert HeritageInfo from TypeRegistry to HeritageEdge for unified catalog.
+ */
+const convertHeritageInfo = (heritageInfo, projectName) => {
+    // Determine the target type's stableId
+    // This is tricky - we need to figure out if it's a source type or assembly type
+    const targetName = heritageInfo.typeName;
+    // Check if it's a primitive that maps to a CLR type
+    const primitiveStableId = PRIMITIVE_TO_STABLE_ID.get(targetName.toLowerCase());
+    // For now, assume source types for unresolved names
+    const targetStableId = primitiveStableId
+        ? primitiveStableId
+        : makeSourceStableId(projectName, targetName);
+    // Extract type arguments from the baseType if it's a reference type
+    const typeArguments = [];
+    if (heritageInfo.baseType.kind === "referenceType" &&
+        heritageInfo.baseType.typeArguments) {
+        typeArguments.push(...heritageInfo.baseType.typeArguments);
+    }
+    return {
+        kind: heritageInfo.kind,
+        targetStableId,
+        typeArguments,
+    };
+};
+/**
+ * Convert TypeRegistryEntry to NominalEntry for unified catalog.
+ */
+const convertRegistryEntry = (entry, projectName) => {
+    const stableId = makeSourceStableId(projectName, entry.fullyQualifiedName);
+    const typeId = makeTypeId(stableId, entry.fullyQualifiedName, // CLR name = FQ name for source types
+    projectName, entry.name // TS name = simple name
+    );
+    // Convert kind
+    const kindMap = {
+        class: "class",
+        interface: "interface",
+        typeAlias: "interface", // Type aliases treated as interfaces
+    };
+    const kind = kindMap[entry.kind] ?? "class";
+    // Convert members
+    const members = new Map();
+    for (const [name, memberInfo] of entry.members) {
+        members.set(name, convertMemberInfo(memberInfo, entry.fullyQualifiedName));
+    }
+    // Convert heritage
+    const heritage = entry.heritage.map((h) => convertHeritageInfo(h, projectName));
+    // Convert type parameters
+    const typeParameters = entry.typeParameters.map((tp) => ({
+        name: tp.name,
+        constraint: tp.constraint,
+        defaultType: tp.defaultType,
+    }));
+    return {
+        typeId,
+        kind,
+        typeParameters,
+        heritage,
+        members,
+        origin: "source",
+        accessibility: "public", // Source types are public by default
+        isAbstract: false, // Would need AST info
+        isSealed: false,
+        isStatic: false,
+    };
+};
+/**
+ * Convert camelCase to PascalCase for C# naming.
+ */
+const toPascalCase = (name) => {
+    return name.charAt(0).toUpperCase() + name.slice(1);
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// UNIFIED CATALOG BUILDER
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Build a unified type catalog from source and assembly catalogs.
+ *
+ * @param sourceRegistry - TypeRegistry containing source-authored types
+ * @param assemblyCatalog - AssemblyTypeCatalog containing CLR metadata types
+ * @param projectName - Project name for generating source type stableIds
+ * @returns UnifiedTypeCatalog with merged type information
+ */
+export const buildUnifiedUniverse = (sourceRegistry, assemblyCatalog, projectName = "project") => {
+    // Start with assembly entries (these are the "ground truth" for CLR types)
+    const entries = new Map(assemblyCatalog.entries);
+    const tsNameToTypeId = new Map(assemblyCatalog.tsNameToTypeId);
+    const clrNameToTypeId = new Map(assemblyCatalog.clrNameToTypeId);
+    // Add source types if registry is provided
+    if (sourceRegistry) {
+        for (const fqName of sourceRegistry.getAllTypeNames()) {
+            const entry = sourceRegistry.resolveNominal(fqName);
+            if (!entry)
+                continue;
+            const nominalEntry = convertRegistryEntry(entry, projectName);
+            // Add to maps (source types won't collide with assembly types by stableId)
+            entries.set(nominalEntry.typeId.stableId, nominalEntry);
+            tsNameToTypeId.set(nominalEntry.typeId.tsName, nominalEntry.typeId);
+            clrNameToTypeId.set(nominalEntry.typeId.clrName, nominalEntry.typeId);
+        }
+    }
+    // Build the catalog interface
+    const catalog = {
+        getByTypeId: (typeId) => entries.get(typeId.stableId),
+        getByStableId: (stableId) => entries.get(stableId),
+        resolveTsName: (tsName) => tsNameToTypeId.get(tsName),
+        resolveClrName: (clrName) => clrNameToTypeId.get(clrName),
+        getMembers: (typeId) => {
+            const entry = entries.get(typeId.stableId);
+            return entry?.members ?? new Map();
+        },
+        getMember: (typeId, memberName) => {
+            const entry = entries.get(typeId.stableId);
+            return entry?.members.get(memberName);
+        },
+        getHeritage: (typeId) => {
+            const entry = entries.get(typeId.stableId);
+            return entry?.heritage ?? [];
+        },
+        getTypeParameters: (typeId) => {
+            const entry = entries.get(typeId.stableId);
+            return entry?.typeParameters ?? [];
+        },
+        hasType: (stableId) => entries.has(stableId),
+        getAllTypeIds: () => {
+            const typeIds = [];
+            for (const entry of entries.values()) {
+                typeIds.push(entry.typeId);
+            }
+            return typeIds;
+        },
+    };
+    return catalog;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// PRIMITIVE TYPE NORMALIZATION
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Normalize a primitive IrType to its canonical nominal TypeId.
+ *
+ * This is the key function for unifying primitive types with their CLR counterparts:
+ * - primitiveType("string") → TypeId for System.String
+ * - primitiveType("int") → TypeId for System.Int32
+ * - primitiveType("number") → TypeId for System.Double
+ * - primitiveType("boolean") → TypeId for System.Boolean
+ *
+ * @param type - The IrType to normalize
+ * @param catalog - The unified catalog to look up TypeIds
+ * @returns The TypeId if this is a primitive that maps to a nominal, undefined otherwise
+ */
+export const normalizePrimitiveToTypeId = (type, catalog) => {
+    if (type.kind !== "primitiveType")
+        return undefined;
+    const stableId = PRIMITIVE_TO_STABLE_ID.get(type.name);
+    if (!stableId)
+        return undefined;
+    const entry = catalog.getByStableId(stableId);
+    return entry?.typeId;
+};
+/**
+ * Get the TypeId for an IrType, normalizing primitives as needed.
+ *
+ * @param type - The IrType to get a TypeId for
+ * @param catalog - The unified catalog
+ * @returns The TypeId if this type has one, undefined for structural types
+ */
+export const getTypeId = (type, catalog) => {
+    // Handle primitives by normalizing to nominal
+    if (type.kind === "primitiveType") {
+        return normalizePrimitiveToTypeId(type, catalog);
+    }
+    // Handle reference types - look up by name
+    if (type.kind === "referenceType") {
+        // Try clrName first (most specific)
+        if (type.resolvedClrType) {
+            const typeId = catalog.resolveClrName(type.resolvedClrType);
+            if (typeId)
+                return typeId;
+        }
+        // Try tsName
+        const typeId = catalog.resolveTsName(type.name);
+        if (typeId)
+            return typeId;
+        // Try as clrName
+        return catalog.resolveClrName(type.name);
+    }
+    // Arrays, tuples, functions, unions, intersections, etc. don't have TypeIds
+    return undefined;
+};
+// ═══════════════════════════════════════════════════════════════════════════
+// MEMBER LOOKUP WITH INHERITANCE
+// ═══════════════════════════════════════════════════════════════════════════
+/**
+ * Look up a member on a type, walking the inheritance chain if necessary.
+ *
+ * @param typeId - The type to start from
+ * @param memberName - The member name (TS name)
+ * @param catalog - The unified catalog
+ * @returns The member entry if found, undefined otherwise
+ */
+export const lookupMemberWithInheritance = (typeId, memberName, catalog) => {
+    // Check this type first
+    const member = catalog.getMember(typeId, memberName);
+    if (member)
+        return member;
+    // Walk inheritance chain
+    const heritage = catalog.getHeritage(typeId);
+    for (const edge of heritage) {
+        const parentEntry = catalog.getByStableId(edge.targetStableId);
+        if (!parentEntry)
+            continue;
+        const result = lookupMemberWithInheritance(parentEntry.typeId, memberName, catalog);
+        if (result)
+            return result;
+    }
+    return undefined;
+};
+/**
+ * Get the declared type of a member, normalizing primitives.
+ *
+ * This is the primary entry point for type queries about members.
+ * Returns the IrType of the member, with primitives normalized.
+ *
+ * @param receiverType - The type of the receiver (object being accessed)
+ * @param memberName - The member name (TS name)
+ * @param catalog - The unified catalog
+ * @returns The member's IrType if found, undefined otherwise
+ */
+export const getMemberDeclaredType = (receiverType, memberName, catalog) => {
+    // Get TypeId for the receiver (normalizing primitives)
+    const typeId = getTypeId(receiverType, catalog);
+    if (!typeId)
+        return undefined;
+    // Look up member with inheritance
+    const member = lookupMemberWithInheritance(typeId, memberName, catalog);
+    if (!member)
+        return undefined;
+    return member.type;
+};
+//# sourceMappingURL=unified-universe.js.map

package/dist/ir/type-system/internal/universe/unified-universe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unified-universe.js","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/universe/unified-universe.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAaH,OAAO,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAQhE,8EAA8E;AAC9E,yCAAyC;AACzC,8EAA8E;AAE9E;;GAEG;AACH,MAAM,kBAAkB,GAAG,CACzB,WAAmB,EACnB,kBAA0B,EAClB,EAAE;IACV,OAAO,GAAG,WAAW,IAAI,kBAAkB,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,KAEC,EACD,KAAa,EACL,EAAE;IACV,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,mBAAmB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACrE,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;IAC5B,CAAC;IACD,OAAO,IAAI,KAAK,EAAE,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CACxB,UAAsB,EACtB,YAAoB,EACP,EAAE;IACf,wBAAwB;IACxB,MAAM,UAAU,GACd,UAAU,CAAC,IAAI,KAAK,QAAQ;QAC1B,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,gBAAgB;YACpC,CAAC,CAAC,UAAU,CAAC,uCAAuC;YACpD,CAAC,CAAC,UAAU,CAAC;IAEnB,OAAO;QACL,MAAM,EAAE,UAAU,CAAC,IAAI;QACvB,OAAO,EAAE,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,kCAAkC;QAC1E,UAAU;QACV,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,UAAU,EAAE,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACrD,QAAQ,EAAE,GAAG,YAAY,KAAK,UAAU,CAAC,IAAI,EAAE;YAC/C,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACxC,IAAI,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5B,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,aAAsB,EAAE,EAAE,gCAAgC;gBAClF,IAAI,EAAE,OAAgB;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU,IAAI,KAAK;gBACjC,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,KAAK;aAC1B,CAAC,CAAC;YACH,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE;YAC3D,cAAc,EACZ,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC/B,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,WAAW,EAAE,EAAE,CAAC,OAAO;aACxB,CAAC,CAAC,IAAI,EAAE;YACX,cAAc,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM;YACrC,QAAQ,EAAE,KAAK,EAAE,uDAAuD;YACxE,iBAAiB,EAAE,KAAK;YACxB,mBAAmB,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,IAAI,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;SAC5G,CAAC,CAAC;QACH,QAAQ,EAAE,KAAK,EAAE,yCAAyC;QAC1D,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,KAAK;QAChB,UAAU,EAAE,KAAK;QACjB,SAAS,EAAE,UAAU,CAAC,IAAI,KAAK,gBAAgB;QAC/C,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,CAAC,UAAU,CAAC,UAAU;QACjC,QAAQ,EAAE,GAAG,YAAY,KAAK,UAAU,CAAC,IAAI,EAAE;KAChD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,mBAAmB,GAAG,CAC1B,YAA0B,EAC1B,WAAmB,EACL,EAAE;IAChB,uCAAuC;IACvC,gFAAgF;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,QAAQ,CAAC;IAEzC,oDAAoD;IACpD,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,GAAG,CAClD,UAAU,CAAC,WAAW,EAAE,CACzB,CAAC;IAEF,oDAAoD;IACpD,MAAM,cAAc,GAAG,iBAAiB;QACtC,CAAC,CAAC,iBAAiB;QACnB,CAAC,CAAC,kBAAkB,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAEhD,oEAAoE;IACpE,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,IACE,YAAY,CAAC,QAAQ,CAAC,IAAI,KAAK,eAAe;QAC9C,YAAY,CAAC,QAAQ,CAAC,aAAa,EACnC,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI;QACvB,cAAc;QACd,aAAa;KACd,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAC3B,KAAwB,EACxB,WAAmB,EACL,EAAE;IAChB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAE3E,MAAM,MAAM,GAAG,UAAU,CACvB,QAAQ,EACR,KAAK,CAAC,kBAAkB,EAAE,sCAAsC;IAChE,WAAW,EACX,KAAK,CAAC,IAAI,CAAC,wBAAwB;KACpC,CAAC;IAEF,eAAe;IACf,MAAM,OAAO,GAAgC;QAC3C,KAAK,EAAE,OAAO;QACd,SAAS,EAAE,WAAW;QACtB,SAAS,EAAE,WAAW,EAAE,qCAAqC;KAC9D,CAAC;IACF,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC;IAE5C,kBAAkB;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,iBAAiB,CAAC,UAAU,EAAE,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC7E,CAAC;IAED,mBAAmB;IACnB,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxC,mBAAmB,CAAC,CAAC,EAAE,WAAW,CAAC,CACpC,CAAC;IAEF,0BAA0B;IAC1B,MAAM,cAAc,GAAyB,KAAK,CAAC,cAAc,CAAC,GAAG,CACnE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACP,IAAI,EAAE,EAAE,CAAC,IAAI;QACb,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,WAAW,EAAE,EAAE,CAAC,WAAW;KAC5B,CAAC,CACH,CAAC;IAEF,OAAO;QACL,MAAM;QACN,IAAI;QACJ,cAAc;QACd,QAAQ;QACR,OAAO;QACP,MAAM,EAAE,QAAQ;QAChB,aAAa,EAAE,QAAQ,EAAE,qCAAqC;QAC9D,UAAU,EAAE,KAAK,EAAE,sBAAsB;QACzC,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,KAAK;KAChB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE;IAC5C,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC;AAEF,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,cAAwC,EACxC,eAAoC,EACpC,cAAsB,SAAS,EACX,EAAE;IACtB,2EAA2E;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAuB,eAAe,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,eAAe,CAAC,cAAc,CAC/B,CAAC;IACF,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,eAAe,CAAC,eAAe,CAChC,CAAC;IAEF,2CAA2C;IAC3C,IAAI,cAAc,EAAE,CAAC;QACnB,KAAK,MAAM,MAAM,IAAI,cAAc,CAAC,eAAe,EAAE,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,cAAc,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,MAAM,YAAY,GAAG,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YAE9D,2EAA2E;YAC3E,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YACxD,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;YACpE,eAAe,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,MAAM,OAAO,GAAuB;QAClC,WAAW,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;QAE7D,aAAa,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAE1D,aAAa,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;QAE7D,cAAc,EAAE,CAAC,OAAe,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC;QAEjE,UAAU,EAAE,CAAC,MAAc,EAAE,EAAE;YAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,OAAO,IAAI,IAAI,GAAG,EAAE,CAAC;QACrC,CAAC;QAED,SAAS,EAAE,CAAC,MAAc,EAAE,UAAkB,EAAE,EAAE;YAChD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;QAED,WAAW,EAAE,CAAC,MAAc,EAAE,EAAE;YAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,QAAQ,IAAI,EAAE,CAAC;QAC/B,CAAC;QAED,iBAAiB,EAAE,CAAC,MAAc,EAAE,EAAE;YACpC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,OAAO,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC;QACrC,CAAC;QAED,OAAO,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAEpD,aAAa,EAAE,GAAG,EAAE;YAClB,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBACrC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;IAEF,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,IAAY,EACZ,OAA2B,EACP,EAAE;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO,KAAK,EAAE,MAAM,CAAC;AACvB,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,IAAY,EACZ,OAA2B,EACP,EAAE;IACtB,8CAA8C;IAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAED,2CAA2C;IAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,oCAAoC;QACpC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YAC5D,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAC;QAC5B,CAAC;QAED,aAAa;QACb,MAAM,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,iBAAiB;QACjB,OAAO,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,4EAA4E;IAC5E,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,MAAc,EACd,UAAkB,EAClB,OAA2B,EACF,EAAE;IAC3B,wBAAwB;IACxB,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACrD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,yBAAyB;IACzB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC/D,IAAI,CAAC,WAAW;YAAE,SAAS;QAE3B,MAAM,MAAM,GAAG,2BAA2B,CACxC,WAAW,CAAC,MAAM,EAClB,UAAU,EACV,OAAO,CACR,CAAC;QACF,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;IAC5B,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,YAAoB,EACpB,UAAkB,EAClB,OAA2B,EACP,EAAE;IACtB,uDAAuD;IACvD,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,kCAAkC;IAClC,MAAM,MAAM,GAAG,2BAA2B,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC,CAAC"}