@tsonic/emitter 0.0.62 → 0.0.64

package/dist/statements/control/conditionals/guard-analysis.js

@@ -0,0 +1,591 @@
+/**
+ * Guard analysis and type narrowing helpers for conditional statements.
+ *
+ * Contains the 5 guard types (GuardInfo, InstanceofGuardInfo, InGuardInfo,
+ * DiscriminantEqualityGuardInfo, NullableGuardInfo) and all detection/analysis
+ * helper functions used by the if-statement emitter.
+ */
+import { emitExpressionAst } from "../../../expression-emitter.js";
+import { emitIdentifier } from "../../../expressions/identifiers.js";
+import { extractCalleeNameFromAst } from "../../../core/format/backend-ast/utils.js";
+/**
+ * Extract the identifier string from an expression AST that is known to be
+ * an identifierExpression. Falls back to extractCalleeNameFromAst for other shapes.
+ */
+const extractIdentifierText = (ast) => extractCalleeNameFromAst(ast);
+import { resolveTypeAlias, stripNullish, findUnionMemberIndex, getPropertyType, getAllPropertySignatures, isDefinitelyValueType, } from "../../../core/semantic/type-resolution.js";
+import { escapeCSharpIdentifier } from "../../../emitter-types/index.js";
+import { emitRemappedLocalName } from "../../../core/format/local-names.js";
+/**
+ * Check if a local nominal type (class/interface) has a property with the given TS name.
+ */
+const hasLocalProperty = (type, propertyName, context) => {
+    if (!context.localTypes)
+        return false;
+    const info = context.localTypes.get(type.name);
+    if (!info)
+        return false;
+    if (info.kind === "interface") {
+        const props = getAllPropertySignatures(type, context);
+        return props?.some((p) => p.name === propertyName) ?? false;
+    }
+    if (info.kind === "class") {
+        return info.members.some((m) => m.kind === "propertyDeclaration" && m.name === propertyName);
+    }
+    return false;
+};
+/**
+ * Check if a nominal type has a property, including cross-module local types.
+ *
+ * For same-module types, consult `context.localTypes`.
+ * For cross-module types, consult the batch `typeMemberIndex` and resolve the
+ * member's fully-qualified name deterministically.
+ */
+const hasProperty = (type, propertyName, context) => {
+    if (hasLocalProperty(type, propertyName, context)) {
+        return true;
+    }
+    const index = context.options.typeMemberIndex;
+    if (!index)
+        return false;
+    const stripGlobalPrefix = (name) => name.startsWith("global::") ? name.slice("global::".length) : name;
+    const candidates = [];
+    if (type.resolvedClrType) {
+        candidates.push(stripGlobalPrefix(type.resolvedClrType));
+    }
+    else if (type.name.includes(".")) {
+        candidates.push(type.name);
+    }
+    else {
+        // Resolve by suffix match in the type member index.
+        const matches = [];
+        for (const fqn of index.keys()) {
+            if (fqn.endsWith(`.${type.name}`) ||
+                fqn.endsWith(`.${type.name}__Alias`)) {
+                matches.push(fqn);
+            }
+        }
+        if (matches.length === 1) {
+            // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+            candidates.push(matches[0]);
+        }
+        else if (matches.length > 1) {
+            const list = matches.sort().join(", ");
+            throw new Error(`ICE: Ambiguous union member type '${type.name}' for \`in\` narrowing. Candidates: ${list}`);
+        }
+    }
+    return candidates.some((fqn) => {
+        const perType = index.get(fqn);
+        return perType?.has(propertyName) ?? false;
+    });
+};
+/**
+ * Resolve a reference type's LocalTypeInfo map (possibly from a different module).
+ *
+ * This is required for airplane-grade narrowing features that depend on member *types*
+ * (not just member names), e.g. discriminant literal equality checks.
+ */
+const resolveLocalTypesForReference = (type, context) => {
+    const lookupName = type.name.includes(".")
+        ? (type.name.split(".").pop() ?? type.name)
+        : type.name;
+    if (context.localTypes?.has(lookupName)) {
+        return context.localTypes;
+    }
+    const moduleMap = context.options.moduleMap;
+    if (!moduleMap)
+        return undefined;
+    const matches = [];
+    for (const m of moduleMap.values()) {
+        if (!m.localTypes)
+            continue;
+        if (m.localTypes.has(lookupName)) {
+            matches.push({
+                namespace: m.namespace,
+                localTypes: m.localTypes,
+            });
+        }
+    }
+    if (matches.length === 0)
+        return undefined;
+    // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+    if (matches.length === 1)
+        return matches[0].localTypes;
+    // Disambiguate by CLR FQN when available.
+    const fqn = type.resolvedClrType ?? (type.name.includes(".") ? type.name : undefined);
+    if (fqn && fqn.includes(".")) {
+        const lastDot = fqn.lastIndexOf(".");
+        const ns = fqn.slice(0, lastDot);
+        const filtered = matches.filter((m) => m.namespace === ns);
+        // eslint-disable-next-line @typescript-eslint/no-non-null-assertion
+        if (filtered.length === 1)
+            return filtered[0].localTypes;
+    }
+    // Ambiguous: refuse to guess.
+    return undefined;
+};
+/**
+ * Extract the set of allowed discriminant literal values from a type.
+ *
+ * Airplane-grade rule:
+ * - The discriminant property must be typed as a literal or a union of literals.
+ * - If it includes any non-literal members (including null/undefined), we refuse to treat
+ *   it as a discriminant for equality-guard narrowing.
+ */
+const tryGetLiteralSet = (type, context) => {
+    const resolved = resolveTypeAlias(type, context);
+    if (resolved.kind === "literalType") {
+        return new Set([resolved.value]);
+    }
+    if (resolved.kind === "unionType") {
+        const out = new Set();
+        for (const t of resolved.types) {
+            const r = resolveTypeAlias(t, context);
+            if (r.kind !== "literalType")
+                return undefined;
+            out.add(r.value);
+        }
+        return out;
+    }
+    return undefined;
+};
+/**
+ * Try to extract guard info from `x.prop === <literal>` or `x.prop !== <literal>`.
+ *
+ * This supports airplane-grade discriminated union narrowing without relying on
+ * TypeScript flow analysis, by mapping the literal to exactly one union member.
+ */
+export const tryResolveDiscriminantEqualityGuard = (condition, context) => {
+    // Normalize `!(x.prop === lit)` to `x.prop !== lit` (and vice versa).
+    if (condition.kind === "unary" && condition.operator === "!") {
+        const inner = tryResolveDiscriminantEqualityGuard(condition.expression, context);
+        if (!inner)
+            return undefined;
+        const flipped = inner.operator === "==="
+            ? "!=="
+            : inner.operator === "!=="
+                ? "==="
+                : inner.operator === "=="
+                    ? "!="
+                    : inner.operator === "!="
+                        ? "=="
+                        : inner.operator;
+        return { ...inner, operator: flipped };
+    }
+    if (condition.kind !== "binary")
+        return undefined;
+    if (condition.operator !== "===" &&
+        condition.operator !== "!==" &&
+        condition.operator !== "==" &&
+        condition.operator !== "!=") {
+        return undefined;
+    }
+    const extract = (left, right) => {
+        if (left.kind !== "memberAccess")
+            return undefined;
+        if (left.isOptional)
+            return undefined;
+        if (left.isComputed)
+            return undefined;
+        if (left.object.kind !== "identifier")
+            return undefined;
+        if (typeof left.property !== "string")
+            return undefined;
+        if (right.kind !== "literal")
+            return undefined;
+        if (typeof right.value !== "string" &&
+            typeof right.value !== "number" &&
+            typeof right.value !== "boolean") {
+            return undefined;
+        }
+        return {
+            receiver: left.object,
+            propertyName: left.property,
+            literal: right.value,
+        };
+    };
+    const direct = extract(condition.left, condition.right);
+    const swapped = direct ? undefined : extract(condition.right, condition.left);
+    const match = direct ?? swapped;
+    if (!match)
+        return undefined;
+    const { receiver, propertyName, literal } = match;
+    const originalName = receiver.name;
+    // If this identifier is already narrowed (union guard emitted earlier), do NOT try to
+    // apply another union narrowing rule. This avoids mis-emitting `.IsN()` on a narrowed member type.
+    if (context.narrowedBindings?.has(originalName))
+        return undefined;
+    const unionSourceType = receiver.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
+    if (resolved.kind !== "unionType")
+        return undefined;
+    const unionArity = resolved.types.length;
+    if (unionArity < 2 || unionArity > 8)
+        return undefined;
+    // Find which union members have a discriminant property type that includes the literal.
+    const matchingMembers = [];
+    for (let i = 0; i < resolved.types.length; i++) {
+        const member = resolved.types[i];
+        if (!member)
+            continue;
+        let propType;
+        if (member.kind === "objectType") {
+            const prop = member.members.find((m) => m.kind === "propertySignature" && m.name === propertyName);
+            propType = prop?.type;
+        }
+        else if (member.kind === "referenceType") {
+            const localTypes = resolveLocalTypesForReference(member, context);
+            if (!localTypes)
+                continue;
+            const lookupName = member.name.includes(".")
+                ? (member.name.split(".").pop() ?? member.name)
+                : member.name;
+            // Use the target module's localTypes for property type resolution.
+            propType = getPropertyType({ ...member, name: lookupName }, propertyName, { ...context, localTypes });
+        }
+        else {
+            continue;
+        }
+        if (!propType)
+            continue;
+        const literals = tryGetLiteralSet(propType, context);
+        if (!literals)
+            continue;
+        if (literals.has(literal)) {
+            matchingMembers.push(i + 1);
+        }
+    }
+    // Only support the common airplane-grade case: exactly one matching member.
+    if (matchingMembers.length !== 1)
+        return undefined;
+    const memberN = matchingMembers[0];
+    if (!memberN)
+        return undefined;
+    const nextId = (context.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...context, tempVarId: nextId };
+    const narrowedName = `${originalName}__${memberN}_${nextId}`;
+    const escapedOrig = emitRemappedLocalName(originalName, context);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
+    const memberType = resolved.types[memberN - 1];
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: memberType,
+    });
+    return {
+        originalName,
+        propertyName,
+        literal,
+        operator: condition.operator,
+        memberN,
+        unionArity,
+        ctxWithId,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+    };
+};
+/**
+ * Try to extract guard info from an `("prop" in x)` binary expression.
+ */
+export const tryResolveInGuard = (condition, context) => {
+    if (condition.kind !== "binary")
+        return undefined;
+    if (condition.operator !== "in")
+        return undefined;
+    // LHS must be a string literal
+    if (condition.left.kind !== "literal")
+        return undefined;
+    if (typeof condition.left.value !== "string")
+        return undefined;
+    // RHS must be an identifier (the name we can narrow)
+    if (condition.right.kind !== "identifier")
+        return undefined;
+    const propertyName = condition.left.value;
+    const originalName = condition.right.name;
+    const unionSourceType = condition.right.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
+    if (resolved.kind !== "unionType")
+        return undefined;
+    const unionArity = resolved.types.length;
+    if (unionArity < 2 || unionArity > 8)
+        return undefined;
+    // Find which union members contain the property.
+    const matchingMembers = [];
+    for (let i = 0; i < resolved.types.length; i++) {
+        const member = resolved.types[i];
+        if (!member || member.kind !== "referenceType")
+            continue;
+        if (hasProperty(member, propertyName, context)) {
+            matchingMembers.push(i + 1);
+        }
+    }
+    // Only support the common "exactly one matching member" narrowing case.
+    if (matchingMembers.length !== 1)
+        return undefined;
+    const memberN = matchingMembers[0];
+    if (!memberN)
+        return undefined;
+    const nextId = (context.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...context, tempVarId: nextId };
+    const narrowedName = `${originalName}__${memberN}_${nextId}`;
+    const [rhsAst] = emitIdentifier(condition.right, context);
+    const escapedOrig = extractIdentifierText(rhsAst);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
+    const memberType = resolved.types[memberN - 1];
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: memberType,
+    });
+    return {
+        originalName,
+        propertyName,
+        memberN,
+        unionArity,
+        ctxWithId,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+    };
+};
+/**
+ * Conservative check: does a statement definitely terminate control flow?
+ * Used to apply post-if narrowing in patterns like:
+ *   if (guard(x)) return ...;
+ *   // x is now narrowed in the remainder of the block (2-member unions only)
+ */
+export const isDefinitelyTerminating = (stmt) => {
+    if (stmt.kind === "returnStatement" || stmt.kind === "throwStatement") {
+        return true;
+    }
+    if (stmt.kind === "blockStatement") {
+        const last = stmt.statements[stmt.statements.length - 1];
+        return last ? isDefinitelyTerminating(last) : false;
+    }
+    return false;
+};
+/**
+ * Try to extract guard info from a predicate call expression.
+ * Returns GuardInfo if:
+ * - call.narrowing is typePredicate
+ * - predicate arg is identifier
+ * - arg.inferredType resolves to unionType
+ * - targetType exists in union
+ */
+export const tryResolvePredicateGuard = (call, context) => {
+    const narrowing = call.narrowing;
+    if (!narrowing || narrowing.kind !== "typePredicate")
+        return undefined;
+    const arg = call.arguments[narrowing.argIndex];
+    if (!arg ||
+        ("kind" in arg && arg.kind === "spread") ||
+        arg.kind !== "identifier") {
+        return undefined;
+    }
+    const originalName = arg.name;
+    const unionSourceType = arg.inferredType;
+    if (!unionSourceType)
+        return undefined;
+    const resolved = resolveTypeAlias(stripNullish(unionSourceType), context);
+    if (resolved.kind !== "unionType")
+        return undefined;
+    const idx = findUnionMemberIndex(resolved, narrowing.targetType, context);
+    if (idx === undefined)
+        return undefined;
+    const memberN = idx + 1;
+    const unionArity = resolved.types.length;
+    const nextId = (context.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...context, tempVarId: nextId };
+    const narrowedName = `${originalName}__${memberN}_${nextId}`;
+    const [argAst] = emitIdentifier(arg, context);
+    const escapedOrig = extractIdentifierText(argAst);
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const narrowedMap = new Map(ctxWithId.narrowedBindings ?? []);
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: narrowing.targetType,
+    });
+    return {
+        originalName,
+        targetType: narrowing.targetType,
+        memberN,
+        unionArity,
+        ctxWithId,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+    };
+};
+/**
+ * Try to extract guard info from an `instanceof` binary expression.
+ * Returns guard info if:
+ * - condition is `binary` with operator `instanceof`
+ * - lhs is identifier
+ *
+ * Note: rhs is emitted as a type name (C# pattern).
+ */
+export const tryResolveInstanceofGuard = (condition, context) => {
+    if (condition.kind !== "binary")
+        return undefined;
+    if (condition.operator !== "instanceof")
+        return undefined;
+    if (condition.left.kind !== "identifier")
+        return undefined;
+    const originalName = condition.left.name;
+    const [lhsAst, ctxAfterLhs] = emitIdentifier(condition.left, context);
+    const escapedOrig = extractIdentifierText(lhsAst);
+    const nextId = (ctxAfterLhs.tempVarId ?? 0) + 1;
+    const ctxWithId = { ...ctxAfterLhs, tempVarId: nextId };
+    // Emit RHS as a type name (e.g., global::System.String)
+    const [rhsAst, ctxAfterRhs] = emitExpressionAst(condition.right, ctxWithId);
+    const rhsTypeText = extractIdentifierText(rhsAst);
+    // Pattern variable name for the narrowed value.
+    const narrowedName = `${originalName}__is_${nextId}`;
+    const escapedNarrow = escapeCSharpIdentifier(narrowedName);
+    const narrowedMap = new Map(ctxAfterRhs.narrowedBindings ?? []);
+    narrowedMap.set(originalName, {
+        kind: "rename",
+        name: narrowedName,
+        type: condition.right.inferredType ?? undefined,
+    });
+    return {
+        originalName,
+        rhsTypeText,
+        ctxWithId,
+        ctxAfterRhs,
+        narrowedName,
+        escapedOrig,
+        escapedNarrow,
+        narrowedMap,
+        targetType: condition.right.inferredType ?? undefined,
+    };
+};
+/**
+ * Check if an expression represents null or undefined.
+ * Handles both literal form (from null/undefined keyword) and identifier form
+ * (when TypeScript parses "undefined" as an identifier rather than keyword).
+ */
+export const isNullOrUndefined = (expr) => {
+    // Literal form: null or undefined keyword
+    if (expr.kind === "literal" &&
+        (expr.value === null || expr.value === undefined)) {
+        return true;
+    }
+    // Identifier form: the identifier "undefined"
+    // (TypeScript sometimes parses undefined as identifier)
+    if (expr.kind === "identifier" && expr.name === "undefined") {
+        return true;
+    }
+    return false;
+};
+export const getMemberAccessNarrowKey = (expr) => {
+    if (expr.isComputed)
+        return undefined;
+    if (typeof expr.property !== "string")
+        return undefined;
+    const obj = expr.object;
+    if (obj.kind === "identifier") {
+        return `${obj.name}.${expr.property}`;
+    }
+    if (obj.kind === "memberAccess") {
+        const prefix = getMemberAccessNarrowKey(obj);
+        return prefix ? `${prefix}.${expr.property}` : undefined;
+    }
+    if (obj.kind === "this") {
+        return `this.${expr.property}`;
+    }
+    return undefined;
+};
+/**
+ * Try to extract nullable guard info from a simple comparison expression.
+ * This is the core check for patterns like: id !== undefined, id !== null, id != null
+ */
+export const tryResolveSimpleNullableGuard = (condition) => {
+    if (condition.kind !== "binary")
+        return undefined;
+    const op = condition.operator;
+    const isNotEqual = op === "!==" || op === "!=";
+    const isEqual = op === "===" || op === "==";
+    if (!isNotEqual && !isEqual)
+        return undefined;
+    // Find operand (identifier or member access) and null/undefined expression
+    let operand;
+    let key;
+    if (isNullOrUndefined(condition.right) &&
+        (condition.left.kind === "identifier" ||
+            condition.left.kind === "memberAccess")) {
+        operand = condition.left;
+    }
+    else if (isNullOrUndefined(condition.left) &&
+        (condition.right.kind === "identifier" ||
+            condition.right.kind === "memberAccess")) {
+        operand = condition.right;
+    }
+    if (!operand)
+        return undefined;
+    if (operand.kind === "identifier") {
+        key = operand.name;
+    }
+    else {
+        key = getMemberAccessNarrowKey(operand);
+    }
+    if (!key)
+        return undefined;
+    const idType = operand.inferredType;
+    if (!idType)
+        return undefined;
+    // Check if type is nullable (has null or undefined in union)
+    const stripped = stripNullish(idType);
+    if (stripped === idType)
+        return undefined; // Not a nullable type
+    // Check if it's a value type that needs .Value
+    const isValueType = isDefinitelyValueType(stripped);
+    return {
+        key,
+        targetExpr: operand,
+        strippedType: stripped,
+        narrowsInThen: isNotEqual,
+        isValueType,
+    };
+};
+/**
+ * Try to extract nullable guard info from a condition.
+ * Detects patterns like: id !== undefined, id !== null, id != null
+ * Also searches inside && (logical AND) conditions recursively.
+ *
+ * For compound conditions like `method === "GET" && id !== undefined`,
+ * we search both sides of the && for a nullable guard pattern.
+ *
+ * Returns guard info if the condition is a null/undefined check on an identifier
+ * with a nullable type that is a value type (needs .Value in C#).
+ */
+export const tryResolveNullableGuard = (condition, _context) => {
+    // First try the simple case
+    const simple = tryResolveSimpleNullableGuard(condition);
+    if (simple)
+        return simple;
+    // If this is a && logical expression, search inside it
+    if (condition.kind === "logical" && condition.operator === "&&") {
+        // Check left side
+        const leftGuard = tryResolveNullableGuard(condition.left, _context);
+        if (leftGuard)
+            return leftGuard;
+        // Check right side
+        const rightGuard = tryResolveNullableGuard(condition.right, _context);
+        if (rightGuard)
+            return rightGuard;
+    }
+    return undefined;
+};
+//# sourceMappingURL=guard-analysis.js.map

package/dist/statements/control/conditionals/guard-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"guard-analysis.js","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/guard-analysis.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAQH,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,EAAE,wBAAwB,EAAE,MAAM,2CAA2C,CAAC;AAGrF;;;GAGG;AACH,MAAM,qBAAqB,GAAG,CAAC,GAAwB,EAAU,EAAE,CACjE,wBAAwB,CAAC,GAAG,CAAC,CAAC;AAChC,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,oBAAoB,EACpB,eAAe,EACf,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAuG5E;;GAEG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAgD,EAChD,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,IAAI,CAAC,OAAO,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAEtC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAExB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACtD,OAAO,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,KAAK,CAAC;IAC9D,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CACnE,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,GAAG,CAClB,IAAgD,EAChD,YAAoB,EACpB,OAAuB,EACd,EAAE;IACX,IAAI,gBAAgB,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC;IAC9C,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAEzB,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAU,EAAE,CACjD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAErE,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC;IAC3D,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;SAAM,CAAC;QACN,oDAAoD;QACpD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/B,IACE,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC7B,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,SAAS,CAAC,EACpC,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,oEAAoE;YACpE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;QAC/B,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,IAAI,KAAK,CACb,qCAAqC,IAAI,CAAC,IAAI,uCAAuC,IAAI,EAAE,CAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;QAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,OAAO,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,6BAA6B,GAAG,CACpC,IAAgD,EAChD,OAAuB,EACyB,EAAE;IAClD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QACxC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IAEd,IAAI,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,UAAU,CAAC;IAC5B,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IAEjC,MAAM,OAAO,GAGP,EAAE,CAAC;IACT,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QACnC,IAAI,CAAC,CAAC,CAAC,UAAU;YAAE,SAAS;QAC5B,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,UAAU,EAAE,CAAC,CAAC,UAAU;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,oEAAoE;IACpE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAExD,0CAA0C;IAC1C,MAAM,GAAG,GACP,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC5E,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC;QAC3D,oEAAoE;QACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC;IAC5D,CAAC;IAED,8BAA8B;IAC9B,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAY,EACZ,OAAuB,EAC6B,EAAE;IACtD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAEjD,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACpC,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAA6B,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,SAAS,CAAC;YAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mCAAmC,GAAG,CACjD,SAAuB,EACvB,OAAuB,EACoB,EAAE;IAC7C,sEAAsE;IACtE,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,mCAAmC,CAC/C,SAAS,CAAC,UAAU,EACpB,OAAO,CACR,CAAC;QACF,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,OAAO,GACX,KAAK,CAAC,QAAQ,KAAK,KAAK;YACtB,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK;gBACxB,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;oBACvB,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI;wBACvB,CAAC,CAAC,IAAI;wBACN,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;QAE3B,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,OAAgC,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IACE,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,KAAK;QAC5B,SAAS,CAAC,QAAQ,KAAK,IAAI;QAC3B,SAAS,CAAC,QAAQ,KAAK,IAAI,EAC3B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,CACd,IAAkB,EAClB,KAAmB,EAOP,EAAE;QACd,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,SAAS,CAAC;QACnD,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACxD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC/C,IACE,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;YAC/B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,EAChC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,MAAM;YACrB,YAAY,EAAE,IAAI,CAAC,QAAQ;YAC3B,OAAO,EAAE,KAAK,CAAC,KAAK;SACrB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,IAAI,OAAO,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IAEnC,sFAAsF;IACtF,mGAAmG;IACnG,IAAI,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IAElE,MAAM,eAAe,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC9C,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,wFAAwF;IACxF,MAAM,eAAe,GAAa,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM;YAAE,SAAS;QAEtB,IAAI,QAA4B,CAAC;QAEjC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAyD,EAAE,CAC3D,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAC5D,CAAC;YACF,QAAQ,GAAG,IAAI,EAAE,IAAI,CAAC;QACxB,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC3C,MAAM,UAAU,GAAG,6BAA6B,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAClE,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC;gBAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;YAEhB,mEAAmE;YACnE,QAAQ,GAAG,eAAe,CACxB,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAC/B,YAAY,EACZ,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAC3B,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,SAAS;QACX,CAAC;QAED,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,MAAM,WAAW,GAAG,qBAAqB,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC/C,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,UAAU;KACjB,CAAC,CAAC;IAEH,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,OAAO;QACP,UAAU;QACV,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,SAAuB,EACvB,OAAuB,EACE,EAAE;IAC3B,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAElD,+BAA+B;IAC/B,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE/D,qDAAqD;IACrD,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE5D,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;IAC1C,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;IAE1C,MAAM,eAAe,GAAG,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC;IACrD,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvD,iDAAiD;IACjD,MAAM,eAAe,GAAa,EAAE,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QACzD,IAAI,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,CAAC;YAC/C,eAAe,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEnD,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,MAAM,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC9D,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC/C,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,UAAU;KACjB,CAAC,CAAC;IAEH,OAAO;QACL,YAAY;QACZ,YAAY;QACZ,OAAO;QACP,UAAU;QACV,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAiB,EAAW,EAAE;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACtE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAA6C,EAC7C,OAAuB,EACA,EAAE;IACzB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvE,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC/C,IACE,CAAC,GAAG;QACJ,CAAC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC;QACxC,GAAG,CAAC,IAAI,KAAK,YAAY,EACzB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAC9B,MAAM,eAAe,GAAG,GAAG,CAAC,YAAY,CAAC;IACzC,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,SAAS,CAAC;IAEpD,MAAM,GAAG,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1E,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExC,MAAM,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC;IACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IAEzC,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAmB,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpE,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,OAAO,IAAI,MAAM,EAAE,CAAC;IAC7D,MAAM,CAAC,MAAM,CAAC,GAAG,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAC9D,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,SAAS,CAAC,UAAU;KAC3B,CAAC,CAAC;IAEH,OAAO;QACL,YAAY;QACZ,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,OAAO;QACP,UAAU;QACV,SAAS;QACT,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,SAAuB,EACvB,OAAuB,EACU,EAAE;IACnC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,SAAS,CAAC,QAAQ,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAC1D,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,SAAS,CAAC;IAE3D,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;IACzC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAElD,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,SAAS,GAAmB,EAAE,GAAG,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAExE,wDAAwD;IACxD,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,GAAG,iBAAiB,CAAC,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAElD,gDAAgD;IAChD,MAAM,YAAY,GAAG,GAAG,YAAY,QAAQ,MAAM,EAAE,CAAC;IACrD,MAAM,aAAa,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IAE3D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC;IAChE,WAAW,CAAC,GAAG,CAAC,YAAY,EAAE;QAC5B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,YAAY,IAAI,SAAS;KAChD,CAAC,CAAC;IAEH,OAAO;QACL,YAAY;QACZ,WAAW;QACX,SAAS;QACT,WAAW;QACX,YAAY;QACZ,WAAW;QACX,aAAa;QACb,WAAW;QACX,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,YAAY,IAAI,SAAS;KACtD,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAkB,EAAW,EAAE;IAC/D,0CAA0C;IAC1C,IACE,IAAI,CAAC,IAAI,KAAK,SAAS;QACvB,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,EACjD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8CAA8C;IAC9C,wDAAwD;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAqD,EACjC,EAAE;IACtB,IAAI,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IACtC,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAExD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC;IACxB,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC9B,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;IACjC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,SAAuB,EACQ,EAAE;IACjC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAElD,MAAM,EAAE,GAAG,SAAS,CAAC,QAAQ,CAAC;IAC9B,MAAM,UAAU,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;IAC/C,MAAM,OAAO,GAAG,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC;IAC5C,IAAI,CAAC,UAAU,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE9C,2EAA2E;IAC3E,IAAI,OAES,CAAC;IACd,IAAI,GAAuB,CAAC;IAE5B,IACE,iBAAiB,CAAC,SAAS,CAAC,KAAK,CAAC;QAClC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY;YACnC,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,EACzC,CAAC;QACD,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC;IAC3B,CAAC;SAAM,IACL,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC;QACjC,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;YACpC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,EAC1C,CAAC;QACD,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC;IAC5B,CAAC;IAED,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAE/B,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC;IACrB,CAAC;SAAM,CAAC;QACN,GAAG,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAE3B,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC;IACpC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,QAAQ,KAAK,MAAM;QAAE,OAAO,SAAS,CAAC,CAAC,sBAAsB;IAEjE,+CAA+C;IAC/C,MAAM,WAAW,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IAEpD,OAAO;QACL,GAAG;QACH,UAAU,EAAE,OAAO;QACnB,YAAY,EAAE,QAAQ;QACtB,aAAa,EAAE,UAAU;QACzB,WAAW;KACZ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,SAAuB,EACvB,QAAwB,EACO,EAAE;IACjC,4BAA4B;IAC5B,MAAM,MAAM,GAAG,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,uDAAuD;IACvD,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChE,kBAAkB;QAClB,MAAM,SAAS,GAAG,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACpE,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;QAEhC,mBAAmB;QACnB,MAAM,UAAU,GAAG,uBAAuB,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACtE,IAAI,UAAU;YAAE,OAAO,UAAU,CAAC;IACpC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/statements/control/conditionals/if-emitter.d.ts

@@ -0,0 +1,14 @@
+/**
+ * If-statement emitter with union/instanceof/nullable guard narrowing.
+ * Returns CSharpStatementAst nodes.
+ */
+import { IrStatement } from "@tsonic/frontend";
+import { EmitterContext } from "../../../types.js";
+import type { CSharpStatementAst } from "../../../core/format/backend-ast/types.js";
+/**
+ * Emit an if statement as AST
+ */
+export declare const emitIfStatementAst: (stmt: Extract<IrStatement, {
+    kind: "ifStatement";
+}>, context: EmitterContext) => [readonly CSharpStatementAst[], EmitterContext];
+//# sourceMappingURL=if-emitter.d.ts.map

package/dist/statements/control/conditionals/if-emitter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"if-emitter.d.ts","sourceRoot":"","sources":["../../../../src/statements/control/conditionals/if-emitter.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGnD,OAAO,KAAK,EAEV,kBAAkB,EAEnB,MAAM,2CAA2C,CAAC;AAsJnD;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACnD,SAAS,cAAc,KACtB,CAAC,SAAS,kBAAkB,EAAE,EAAE,cAAc,CA22BhD,CAAC"}