@azure/provisioning-core 0.1.0-alpha.20261026.1 → 1.0.0-beta.2

package/dist/esm/serialization/ast/expression-rewriter.js

@@ -0,0 +1,257 @@
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+function getExpressionReference(expression) {
+    const path = [];
+    let current = expression;
+    for (;;) {
+        switch (current.kind) {
+            case "identifier":
+                return { identifier: current.id, path: path.reverse(), expression };
+            case "property-access":
+                path.push(current.property);
+                current = current.base;
+                break;
+            case "array-access":
+                if (current.index.kind === "integer") {
+                    path.push(parseInt(current.index.value, 10));
+                }
+                else if (current.index.kind === "string") {
+                    path.push(current.index.value);
+                }
+                else
+                    return undefined;
+                current = current.base;
+                break;
+            default:
+                return undefined;
+        }
+    }
+}
+export function rewriteExpressionReferences(expression, resolve) {
+    function rewriteItems(items, boundIdentifiers) {
+        const rewritten = items.map((item) => rewrite(item, boundIdentifiers));
+        return rewritten.every((item, index) => item === items[index]) ? items : rewritten;
+    }
+    function rewrite(node, boundIdentifiers) {
+        const reference = getExpressionReference(node);
+        if (reference !== undefined && !boundIdentifiers.has(reference.identifier)) {
+            const replacement = resolve(reference);
+            if (replacement !== undefined)
+                return replacement;
+        }
+        switch (node.kind) {
+            case "object": {
+                const entries = Object.entries(node.value);
+                const rewritten = entries.map(([key, value]) => [key, rewrite(value, boundIdentifiers)]);
+                return rewritten.every(([, value], index) => value === entries[index][1])
+                    ? node
+                    : { ...node, value: Object.fromEntries(rewritten) };
+            }
+            case "array": {
+                const items = rewriteItems(node.items, boundIdentifiers);
+                return items === node.items ? node : { ...node, items };
+            }
+            case "property-access": {
+                const base = rewrite(node.base, boundIdentifiers);
+                return base === node.base ? node : { ...node, base };
+            }
+            case "array-access": {
+                const base = rewrite(node.base, boundIdentifiers);
+                const index = rewrite(node.index, boundIdentifiers);
+                return base === node.base && index === node.index ? node : { ...node, base, index };
+            }
+            case "function-call": {
+                const target = typeof node.target === "string" ? node.target : rewrite(node.target, boundIdentifiers);
+                const args = rewriteItems(node.args, boundIdentifiers);
+                return target === node.target && args === node.args ? node : { ...node, target, args };
+            }
+            case "instance-function-call": {
+                const base = rewrite(node.base, boundIdentifiers);
+                const args = rewriteItems(node.args, boundIdentifiers);
+                return base === node.base && args === node.args ? node : { ...node, base, args };
+            }
+            case "binary-operation": {
+                const left = rewrite(node.left, boundIdentifiers);
+                const right = rewrite(node.right, boundIdentifiers);
+                return left === node.left && right === node.right ? node : { ...node, left, right };
+            }
+            case "unary-operation": {
+                const argument = rewrite(node.argument, boundIdentifiers);
+                return argument === node.argument ? node : { ...node, argument };
+            }
+            case "ternary-operation": {
+                const condition = rewrite(node.condition, boundIdentifiers);
+                const trueValue = rewrite(node.trueValue, boundIdentifiers);
+                const falseValue = rewrite(node.falseValue, boundIdentifiers);
+                return condition === node.condition &&
+                    trueValue === node.trueValue &&
+                    falseValue === node.falseValue
+                    ? node
+                    : { ...node, condition, trueValue, falseValue };
+            }
+            case "if-condition": {
+                const condition = rewrite(node.condition, boundIdentifiers);
+                const body = rewrite(node.body, boundIdentifiers);
+                return condition === node.condition && body === node.body
+                    ? node
+                    : { ...node, condition, body };
+            }
+            case "for-expression": {
+                const collection = rewrite(node.collection, boundIdentifiers);
+                const loopBindings = new Set(boundIdentifiers);
+                loopBindings.add(node.itemVariable);
+                if (node.indexVariable !== undefined) {
+                    loopBindings.add(node.indexVariable);
+                }
+                const body = rewrite(node.body, loopBindings);
+                return collection === node.collection && body === node.body
+                    ? node
+                    : { ...node, collection, body };
+            }
+            case "interpolated-string": {
+                const segments = rewriteItems(node.segments, boundIdentifiers);
+                return segments === node.segments ? node : { ...node, segments };
+            }
+            case "identifier":
+            case "null":
+            case "boolean":
+            case "integer":
+            case "string":
+                return node;
+            default: {
+                const exhaustive = node;
+                throw new Error(`Unsupported expression: ${String(exhaustive)}.`);
+            }
+        }
+    }
+    return rewrite(expression, new Set());
+}
+function rewriteArray(items, rewrite) {
+    const rewritten = items.map(rewrite);
+    return rewritten.every((item, index) => item === items[index]) ? items : rewritten;
+}
+function rewriteDecorators(decorators, rewriteExpression) {
+    if (decorators === undefined)
+        return undefined;
+    let metadata = decorators.metadata;
+    if (metadata !== undefined) {
+        const entries = Object.entries(metadata);
+        const rewritten = entries.map(([key, value]) => [key, rewriteExpression(value)]);
+        if (rewritten.some(([, value], index) => value !== entries[index][1])) {
+            metadata = Object.fromEntries(rewritten);
+        }
+    }
+    const allowed = decorators.allowed === undefined
+        ? undefined
+        : rewriteArray(decorators.allowed, rewriteExpression);
+    if (metadata === decorators.metadata && allowed === decorators.allowed) {
+        return decorators;
+    }
+    return {
+        ...decorators,
+        ...(metadata === undefined ? {} : { metadata }),
+        ...(allowed === undefined ? {} : { allowed }),
+    };
+}
+function rewriteTypeMember(node, rewriteExpression) {
+    const valueType = rewriteType(node.valueType, rewriteExpression);
+    const decorators = rewriteDecorators(node.decorators, rewriteExpression);
+    if (valueType === node.valueType && decorators === node.decorators) {
+        return node;
+    }
+    return {
+        ...node,
+        valueType,
+        ...(decorators === undefined ? {} : { decorators }),
+    };
+}
+function rewriteType(node, rewriteExpression) {
+    switch (node.kind) {
+        case "array-type": {
+            const item = rewriteType(node.item, rewriteExpression);
+            return item === node.item ? node : { ...node, item };
+        }
+        case "object-type": {
+            const properties = rewriteArray(node.properties, (property) => rewriteTypeMember(property, rewriteExpression));
+            const additionalProperties = node.additionalProperties === undefined
+                ? undefined
+                : rewriteTypeMember(node.additionalProperties, rewriteExpression);
+            if (properties === node.properties && additionalProperties === node.additionalProperties) {
+                return node;
+            }
+            return {
+                ...node,
+                properties,
+                ...(additionalProperties === undefined ? {} : { additionalProperties }),
+            };
+        }
+        case "object-type-property":
+        case "object-type-additional-properties":
+        case "union-type-member":
+        case "parameterized-type-argument":
+            return rewriteTypeMember(node, rewriteExpression);
+        case "union-type": {
+            const members = rewriteArray(node.members, (member) => rewriteTypeMember(member, rewriteExpression));
+            return members === node.members ? node : { ...node, members };
+        }
+        case "nullable-type": {
+            const base = rewriteType(node.base, rewriteExpression);
+            return base === node.base ? node : { ...node, base };
+        }
+        case "parameterized-type-instantiation": {
+            const base = rewriteType(node.base, rewriteExpression);
+            const args = rewriteArray(node.args, (argument) => rewriteTypeMember(argument, rewriteExpression));
+            return base === node.base && args === node.args ? node : { ...node, base, args };
+        }
+        case "primitive-type":
+        case "type-reference":
+        case "string-type-literal":
+        case "integer-type-literal":
+        case "boolean-type-literal":
+        case "null-type-literal":
+            return node;
+        default: {
+            const exhaustive = node;
+            throw new Error(`Unsupported type: ${String(exhaustive)}.`);
+        }
+    }
+}
+export function rewriteDeclarationExpressions(node, rewriteExpression) {
+    if ("value" in node) {
+        const value = rewriteExpression(node.value);
+        if (("type" in node || "path" in node) &&
+            value.kind !== "object" &&
+            value.kind !== "if-condition" &&
+            value.kind !== "for-expression") {
+            throw new Error(`Rewriting declaration "${node.bicepIdentifier}" produced an invalid resource/module body: "${value.kind}".`);
+        }
+        const valueType = "valueType" in node ? rewriteType(node.valueType, rewriteExpression) : undefined;
+        const decorators = rewriteDecorators(node.decorators, rewriteExpression);
+        if (value === node.value &&
+            decorators === node.decorators &&
+            (!("valueType" in node) || valueType === node.valueType)) {
+            return node;
+        }
+        return {
+            ...node,
+            value,
+            ...(valueType === undefined ? {} : { valueType }),
+            ...(decorators === undefined ? {} : { decorators }),
+        };
+    }
+    const defaultValue = node.defaultValue === undefined ? undefined : rewriteExpression(node.defaultValue);
+    const valueType = rewriteType(node.valueType, rewriteExpression);
+    const decorators = rewriteDecorators(node.decorators, rewriteExpression);
+    if (defaultValue === node.defaultValue &&
+        valueType === node.valueType &&
+        decorators === node.decorators) {
+        return node;
+    }
+    return {
+        ...node,
+        valueType,
+        ...(defaultValue === undefined ? {} : { defaultValue }),
+        ...(decorators === undefined ? {} : { decorators }),
+    };
+}
+//# sourceMappingURL=expression-rewriter.js.map

package/dist/esm/serialization/ast/expression-rewriter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-rewriter.js","sourceRoot":"","sources":["../../../../src/serialization/ast/expression-rewriter.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,kCAAkC;AA0BlC,SAAS,sBAAsB,CAAC,UAA0B;IACxD,MAAM,IAAI,GAAwB,EAAE,CAAC;IACrC,IAAI,OAAO,GAAG,UAAU,CAAC;IACzB,SAAS,CAAC;QACR,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,YAAY;gBACf,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,CAAC;YACtE,KAAK,iBAAiB;gBACpB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;gBAC5B,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;gBACvB,MAAM;YACR,KAAK,cAAc;gBACjB,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBACrC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC/C,CAAC;qBAAM,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC3C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACjC,CAAC;;oBAAM,OAAO,SAAS,CAAC;gBACxB,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;gBACvB,MAAM;YACR;gBACE,OAAO,SAAS,CAAC;QACrB,CAAC;IACH,CAAC;AACH,CAAC;AAcD,MAAM,UAAU,2BAA2B,CACzC,UAA0B,EAC1B,OAAoC;IAEpC,SAAS,YAAY,CACnB,KAAgC,EAChC,gBAAqC;QAErC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;QACvE,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,CAAC;IAED,SAAS,OAAO,CAAC,IAAoB,EAAE,gBAAqC;QAC1E,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3E,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;YACvC,IAAI,WAAW,KAAK,SAAS;gBAAE,OAAO,WAAW,CAAC;QACpD,CAAC;QAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAC3B,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAU,CACnE,CAAC;gBACF,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,CAAC;oBACxE,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;YACxD,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;gBACzD,OAAO,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC;YAC1D,CAAC;YACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBAClD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;YACvD,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;gBACpD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACtF,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,MAAM,GACV,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;gBACzF,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACvD,OAAO,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YACzF,CAAC;YACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;gBAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBAClD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACvD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACnF,CAAC;YACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBAClD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;gBACpD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;YACtF,CAAC;YACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;gBAC1D,OAAO,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnE,CAAC;YACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;gBAC5D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;gBAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBAC9D,OAAO,SAAS,KAAK,IAAI,CAAC,SAAS;oBACjC,SAAS,KAAK,IAAI,CAAC,SAAS;oBAC5B,UAAU,KAAK,IAAI,CAAC,UAAU;oBAC9B,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;YACpD,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;gBAC5D,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBAClD,OAAO,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI;oBACvD,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;YACnC,CAAC;YACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBAC9D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;gBAC/C,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACpC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;oBACrC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBACvC,CAAC;gBACD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBAC9C,OAAO,UAAU,KAAK,IAAI,CAAC,UAAU,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI;oBACzD,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;YACpC,CAAC;YACD,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;gBAC/D,OAAO,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC;YACnE,CAAC;YACD,KAAK,YAAY,CAAC;YAClB,KAAK,MAAM,CAAC;YACZ,KAAK,SAAS,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC;YACd,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,UAAU,GAAU,IAAI,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,2BAA2B,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AACxC,CAAC;AAID,SAAS,YAAY,CAAI,KAAmB,EAAE,OAAuB;IACnE,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrC,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACrF,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAsC,EACtC,iBAAqC;IAErC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;IACnC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAU,CAAC,CAAC;QAC1F,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,SAAS;QAC9B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IAC1D,IAAI,QAAQ,KAAK,UAAU,CAAC,QAAQ,IAAI,OAAO,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC;QACvE,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO;QACL,GAAG,UAAU;QACb,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC/C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAKxB,IAAO,EAAE,iBAAqC;IAC9C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACzE,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,IAAI,UAAU,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;QACnE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS;QACT,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAc,EAAE,iBAAqC;IACxE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YACvD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC5D,iBAAiB,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAC/C,CAAC;YACF,MAAM,oBAAoB,GACxB,IAAI,CAAC,oBAAoB,KAAK,SAAS;gBACrC,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;YACtE,IAAI,UAAU,KAAK,IAAI,CAAC,UAAU,IAAI,oBAAoB,KAAK,IAAI,CAAC,oBAAoB,EAAE,CAAC;gBACzF,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU;gBACV,GAAG,CAAC,oBAAoB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,oBAAoB,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,KAAK,sBAAsB,CAAC;QAC5B,KAAK,mCAAmC,CAAC;QACzC,KAAK,mBAAmB,CAAC;QACzB,KAAK,6BAA6B;YAChC,OAAO,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACpD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CACpD,iBAAiB,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAC7C,CAAC;YACF,OAAO,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,CAAC;QAChE,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YACvD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QACD,KAAK,kCAAkC,CAAC,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE,CAChD,iBAAiB,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAC/C,CAAC;YACF,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACnF,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,sBAAsB,CAAC;QAC5B,KAAK,sBAAsB,CAAC;QAC5B,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC;QACd,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;AACH,CAAC;AAgCD,MAAM,UAAU,6BAA6B,CAC3C,IAAqB,EACrB,iBAAqC;IAErC,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IACE,CAAC,MAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC;YAClC,KAAK,CAAC,IAAI,KAAK,QAAQ;YACvB,KAAK,CAAC,IAAI,KAAK,cAAc;YAC7B,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAC/B,CAAC;YACD,MAAM,IAAI,KAAK,CACb,0BAA0B,IAAI,CAAC,eAAe,gDAAgD,KAAK,CAAC,IAAI,IAAI,CAC7G,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,GACb,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QACzE,IACE,KAAK,KAAK,IAAI,CAAC,KAAK;YACpB,UAAU,KAAK,IAAI,CAAC,UAAU;YAC9B,CAAC,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,CAAC,EACxD,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,GAAG,IAAI;YACP,KAAK;YACL,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;YACjD,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;SACpD,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAChB,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACzE,IACE,YAAY,KAAK,IAAI,CAAC,YAAY;QAClC,SAAS,KAAK,IAAI,CAAC,SAAS;QAC5B,UAAU,KAAK,IAAI,CAAC,UAAU,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,SAAS;QACT,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;QACvD,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC","sourcesContent":["// Copyright (c) Microsoft Corporation.\n// Licensed under the MIT License.\n\nimport type {\n  DeclarableBodyNode,\n  DeclarationNode,\n  DecoratorsNode,\n  ExpressionNode,\n  ModuleDeclarationNode,\n  OutputDeclarationNode,\n  ParameterDeclarationNode,\n  ResourceDeclarationNode,\n  TypeNode,\n  VariableDeclarationNode,\n} from \"./index.js\";\n\n/** An identifier-rooted access chain with its static path and original AST node. */\nexport interface ExpressionReference {\n  readonly identifier: string;\n  readonly path: readonly (string | number)[];\n  readonly expression: ExpressionNode;\n}\n\nexport type ExpressionReferenceResolver = (\n  reference: ExpressionReference,\n) => ExpressionNode | undefined;\n\nfunction getExpressionReference(expression: ExpressionNode): ExpressionReference | undefined {\n  const path: (string | number)[] = [];\n  let current = expression;\n  for (;;) {\n    switch (current.kind) {\n      case \"identifier\":\n        return { identifier: current.id, path: path.reverse(), expression };\n      case \"property-access\":\n        path.push(current.property);\n        current = current.base;\n        break;\n      case \"array-access\":\n        if (current.index.kind === \"integer\") {\n          path.push(parseInt(current.index.value, 10));\n        } else if (current.index.kind === \"string\") {\n          path.push(current.index.value);\n        } else return undefined;\n        current = current.base;\n        break;\n      default:\n        return undefined;\n    }\n  }\n}\n\n/**\n * Replaces identifier access chains, preserving unchanged branches and ignoring\n * loop-local references. The resolver receives the original expression.\n */\nexport function rewriteExpressionReferences(\n  expression: DeclarableBodyNode,\n  resolve: ExpressionReferenceResolver,\n): DeclarableBodyNode;\nexport function rewriteExpressionReferences(\n  expression: ExpressionNode,\n  resolve: ExpressionReferenceResolver,\n): ExpressionNode;\nexport function rewriteExpressionReferences(\n  expression: ExpressionNode,\n  resolve: ExpressionReferenceResolver,\n): ExpressionNode {\n  function rewriteItems(\n    items: readonly ExpressionNode[],\n    boundIdentifiers: ReadonlySet<string>,\n  ): readonly ExpressionNode[] {\n    const rewritten = items.map((item) => rewrite(item, boundIdentifiers));\n    return rewritten.every((item, index) => item === items[index]) ? items : rewritten;\n  }\n\n  function rewrite(node: ExpressionNode, boundIdentifiers: ReadonlySet<string>): ExpressionNode {\n    const reference = getExpressionReference(node);\n    if (reference !== undefined && !boundIdentifiers.has(reference.identifier)) {\n      const replacement = resolve(reference);\n      if (replacement !== undefined) return replacement;\n    }\n\n    switch (node.kind) {\n      case \"object\": {\n        const entries = Object.entries(node.value);\n        const rewritten = entries.map(\n          ([key, value]) => [key, rewrite(value, boundIdentifiers)] as const,\n        );\n        return rewritten.every(([, value], index) => value === entries[index]![1])\n          ? node\n          : { ...node, value: Object.fromEntries(rewritten) };\n      }\n      case \"array\": {\n        const items = rewriteItems(node.items, boundIdentifiers);\n        return items === node.items ? node : { ...node, items };\n      }\n      case \"property-access\": {\n        const base = rewrite(node.base, boundIdentifiers);\n        return base === node.base ? node : { ...node, base };\n      }\n      case \"array-access\": {\n        const base = rewrite(node.base, boundIdentifiers);\n        const index = rewrite(node.index, boundIdentifiers);\n        return base === node.base && index === node.index ? node : { ...node, base, index };\n      }\n      case \"function-call\": {\n        const target =\n          typeof node.target === \"string\" ? node.target : rewrite(node.target, boundIdentifiers);\n        const args = rewriteItems(node.args, boundIdentifiers);\n        return target === node.target && args === node.args ? node : { ...node, target, args };\n      }\n      case \"instance-function-call\": {\n        const base = rewrite(node.base, boundIdentifiers);\n        const args = rewriteItems(node.args, boundIdentifiers);\n        return base === node.base && args === node.args ? node : { ...node, base, args };\n      }\n      case \"binary-operation\": {\n        const left = rewrite(node.left, boundIdentifiers);\n        const right = rewrite(node.right, boundIdentifiers);\n        return left === node.left && right === node.right ? node : { ...node, left, right };\n      }\n      case \"unary-operation\": {\n        const argument = rewrite(node.argument, boundIdentifiers);\n        return argument === node.argument ? node : { ...node, argument };\n      }\n      case \"ternary-operation\": {\n        const condition = rewrite(node.condition, boundIdentifiers);\n        const trueValue = rewrite(node.trueValue, boundIdentifiers);\n        const falseValue = rewrite(node.falseValue, boundIdentifiers);\n        return condition === node.condition &&\n          trueValue === node.trueValue &&\n          falseValue === node.falseValue\n          ? node\n          : { ...node, condition, trueValue, falseValue };\n      }\n      case \"if-condition\": {\n        const condition = rewrite(node.condition, boundIdentifiers);\n        const body = rewrite(node.body, boundIdentifiers);\n        return condition === node.condition && body === node.body\n          ? node\n          : { ...node, condition, body };\n      }\n      case \"for-expression\": {\n        const collection = rewrite(node.collection, boundIdentifiers);\n        const loopBindings = new Set(boundIdentifiers);\n        loopBindings.add(node.itemVariable);\n        if (node.indexVariable !== undefined) {\n          loopBindings.add(node.indexVariable);\n        }\n        const body = rewrite(node.body, loopBindings);\n        return collection === node.collection && body === node.body\n          ? node\n          : { ...node, collection, body };\n      }\n      case \"interpolated-string\": {\n        const segments = rewriteItems(node.segments, boundIdentifiers);\n        return segments === node.segments ? node : { ...node, segments };\n      }\n      case \"identifier\":\n      case \"null\":\n      case \"boolean\":\n      case \"integer\":\n      case \"string\":\n        return node;\n      default: {\n        const exhaustive: never = node;\n        throw new Error(`Unsupported expression: ${String(exhaustive)}.`);\n      }\n    }\n  }\n\n  return rewrite(expression, new Set());\n}\n\ntype ExpressionRewriter = (expression: ExpressionNode) => ExpressionNode;\n\nfunction rewriteArray<T>(items: readonly T[], rewrite: (item: T) => T): readonly T[] {\n  const rewritten = items.map(rewrite);\n  return rewritten.every((item, index) => item === items[index]) ? items : rewritten;\n}\n\nfunction rewriteDecorators(\n  decorators: DecoratorsNode | undefined,\n  rewriteExpression: ExpressionRewriter,\n): DecoratorsNode | undefined {\n  if (decorators === undefined) return undefined;\n  let metadata = decorators.metadata;\n  if (metadata !== undefined) {\n    const entries = Object.entries(metadata);\n    const rewritten = entries.map(([key, value]) => [key, rewriteExpression(value)] as const);\n    if (rewritten.some(([, value], index) => value !== entries[index]![1])) {\n      metadata = Object.fromEntries(rewritten);\n    }\n  }\n  const allowed =\n    decorators.allowed === undefined\n      ? undefined\n      : rewriteArray(decorators.allowed, rewriteExpression);\n  if (metadata === decorators.metadata && allowed === decorators.allowed) {\n    return decorators;\n  }\n  return {\n    ...decorators,\n    ...(metadata === undefined ? {} : { metadata }),\n    ...(allowed === undefined ? {} : { allowed }),\n  };\n}\n\nfunction rewriteTypeMember<\n  T extends {\n    readonly valueType: TypeNode;\n    readonly decorators?: DecoratorsNode;\n  },\n>(node: T, rewriteExpression: ExpressionRewriter): T {\n  const valueType = rewriteType(node.valueType, rewriteExpression);\n  const decorators = rewriteDecorators(node.decorators, rewriteExpression);\n  if (valueType === node.valueType && decorators === node.decorators) {\n    return node;\n  }\n  return {\n    ...node,\n    valueType,\n    ...(decorators === undefined ? {} : { decorators }),\n  };\n}\n\nfunction rewriteType(node: TypeNode, rewriteExpression: ExpressionRewriter): TypeNode {\n  switch (node.kind) {\n    case \"array-type\": {\n      const item = rewriteType(node.item, rewriteExpression);\n      return item === node.item ? node : { ...node, item };\n    }\n    case \"object-type\": {\n      const properties = rewriteArray(node.properties, (property) =>\n        rewriteTypeMember(property, rewriteExpression),\n      );\n      const additionalProperties =\n        node.additionalProperties === undefined\n          ? undefined\n          : rewriteTypeMember(node.additionalProperties, rewriteExpression);\n      if (properties === node.properties && additionalProperties === node.additionalProperties) {\n        return node;\n      }\n      return {\n        ...node,\n        properties,\n        ...(additionalProperties === undefined ? {} : { additionalProperties }),\n      };\n    }\n    case \"object-type-property\":\n    case \"object-type-additional-properties\":\n    case \"union-type-member\":\n    case \"parameterized-type-argument\":\n      return rewriteTypeMember(node, rewriteExpression);\n    case \"union-type\": {\n      const members = rewriteArray(node.members, (member) =>\n        rewriteTypeMember(member, rewriteExpression),\n      );\n      return members === node.members ? node : { ...node, members };\n    }\n    case \"nullable-type\": {\n      const base = rewriteType(node.base, rewriteExpression);\n      return base === node.base ? node : { ...node, base };\n    }\n    case \"parameterized-type-instantiation\": {\n      const base = rewriteType(node.base, rewriteExpression);\n      const args = rewriteArray(node.args, (argument) =>\n        rewriteTypeMember(argument, rewriteExpression),\n      );\n      return base === node.base && args === node.args ? node : { ...node, base, args };\n    }\n    case \"primitive-type\":\n    case \"type-reference\":\n    case \"string-type-literal\":\n    case \"integer-type-literal\":\n    case \"boolean-type-literal\":\n    case \"null-type-literal\":\n      return node;\n    default: {\n      const exhaustive: never = node;\n      throw new Error(`Unsupported type: ${String(exhaustive)}.`);\n    }\n  }\n}\n\n/**\n * Applies an expression transformation to a declaration's value, default,\n * decorators, and nested type decorators. The callback rewrites each complete\n * expression subtree; recursive expression traversal is its responsibility.\n * Unchanged branches are shared, and the input declaration is not mutated.\n */\nexport function rewriteDeclarationExpressions(\n  node: ResourceDeclarationNode,\n  rewriteExpression: ExpressionRewriter,\n): ResourceDeclarationNode;\nexport function rewriteDeclarationExpressions(\n  node: ModuleDeclarationNode,\n  rewriteExpression: ExpressionRewriter,\n): ModuleDeclarationNode;\nexport function rewriteDeclarationExpressions(\n  node: OutputDeclarationNode,\n  rewriteExpression: ExpressionRewriter,\n): OutputDeclarationNode;\nexport function rewriteDeclarationExpressions(\n  node: ParameterDeclarationNode,\n  rewriteExpression: ExpressionRewriter,\n): ParameterDeclarationNode;\nexport function rewriteDeclarationExpressions(\n  node: VariableDeclarationNode,\n  rewriteExpression: ExpressionRewriter,\n): VariableDeclarationNode;\nexport function rewriteDeclarationExpressions(\n  node: DeclarationNode,\n  rewriteExpression: ExpressionRewriter,\n): DeclarationNode;\nexport function rewriteDeclarationExpressions(\n  node: DeclarationNode,\n  rewriteExpression: ExpressionRewriter,\n): DeclarationNode {\n  if (\"value\" in node) {\n    const value = rewriteExpression(node.value);\n    if (\n      (\"type\" in node || \"path\" in node) &&\n      value.kind !== \"object\" &&\n      value.kind !== \"if-condition\" &&\n      value.kind !== \"for-expression\"\n    ) {\n      throw new Error(\n        `Rewriting declaration \"${node.bicepIdentifier}\" produced an invalid resource/module body: \"${value.kind}\".`,\n      );\n    }\n    const valueType =\n      \"valueType\" in node ? rewriteType(node.valueType, rewriteExpression) : undefined;\n    const decorators = rewriteDecorators(node.decorators, rewriteExpression);\n    if (\n      value === node.value &&\n      decorators === node.decorators &&\n      (!(\"valueType\" in node) || valueType === node.valueType)\n    ) {\n      return node;\n    }\n    return {\n      ...node,\n      value,\n      ...(valueType === undefined ? {} : { valueType }),\n      ...(decorators === undefined ? {} : { decorators }),\n    };\n  }\n  const defaultValue =\n    node.defaultValue === undefined ? undefined : rewriteExpression(node.defaultValue);\n  const valueType = rewriteType(node.valueType, rewriteExpression);\n  const decorators = rewriteDecorators(node.decorators, rewriteExpression);\n  if (\n    defaultValue === node.defaultValue &&\n    valueType === node.valueType &&\n    decorators === node.decorators\n  ) {\n    return node;\n  }\n  return {\n    ...node,\n    valueType,\n    ...(defaultValue === undefined ? {} : { defaultValue }),\n    ...(decorators === undefined ? {} : { decorators }),\n  };\n}\n"]}

package/dist/esm/serialization/ast/expression-walker.d.ts

@@ -0,0 +1,16 @@
+import type { DeclarationNode, ExpressionNode } from "./index.js";
+/**
+ * Inspects a node; returning false skips its children. boundIdentifiers contains
+ * item and index names introduced by enclosing loops, local to loop bodies.
+ */
+export type ExpressionNodeVisitor = (node: ExpressionNode, boundIdentifiers: ReadonlySet<string>) => boolean | void;
+/** Visits original expression nodes in preorder without rebuilding or replacing them. */
+export declare function walkExpressionNode(expression: ExpressionNode, visitor: ExpressionNodeVisitor): void;
+/**
+ * Visits original expressions in a declaration's value/default, nested type
+ * decorators, then declaration decorators, without rebuilding or mutating nodes.
+ * Each expression is walked in preorder; returning false skips that expression's
+ * children. Loop bindings do not carry into other expression roots.
+ */
+export declare function walkDeclarationExpressions(declaration: DeclarationNode, visitor: ExpressionNodeVisitor): void;
+//# sourceMappingURL=expression-walker.d.ts.map

package/dist/esm/serialization/ast/expression-walker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-walker.d.ts","sourceRoot":"","sources":["../../../../src/serialization/ast/expression-walker.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,eAAe,EAAkB,cAAc,EAAY,MAAM,YAAY,CAAC;AAE5F;;;GAGG;AACH,MAAM,MAAM,qBAAqB,GAAG,CAClC,IAAI,EAAE,cAAc,EACpB,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,KAClC,OAAO,GAAG,IAAI,CAAC;AAEpB,yFAAyF;AACzF,wBAAgB,kBAAkB,CAChC,UAAU,EAAE,cAAc,EAC1B,OAAO,EAAE,qBAAqB,GAC7B,IAAI,CAuEN;AA4DD;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,eAAe,EAC5B,OAAO,EAAE,qBAAqB,GAC7B,IAAI,CAUN"}

package/dist/esm/serialization/ast/expression-walker.js

@@ -0,0 +1,154 @@
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+/** Visits original expression nodes in preorder without rebuilding or replacing them. */
+export function walkExpressionNode(expression, visitor) {
+    function visit(node, boundIdentifiers) {
+        if (visitor(node, boundIdentifiers) === false)
+            return;
+        switch (node.kind) {
+            case "object":
+                for (const value of Object.values(node.value)) {
+                    visit(value, boundIdentifiers);
+                }
+                break;
+            case "array":
+                for (const item of node.items)
+                    visit(item, boundIdentifiers);
+                break;
+            case "property-access":
+                visit(node.base, boundIdentifiers);
+                break;
+            case "array-access":
+                visit(node.base, boundIdentifiers);
+                visit(node.index, boundIdentifiers);
+                break;
+            case "function-call":
+                if (typeof node.target !== "string") {
+                    visit(node.target, boundIdentifiers);
+                }
+                for (const argument of node.args)
+                    visit(argument, boundIdentifiers);
+                break;
+            case "instance-function-call":
+                visit(node.base, boundIdentifiers);
+                for (const argument of node.args)
+                    visit(argument, boundIdentifiers);
+                break;
+            case "binary-operation":
+                visit(node.left, boundIdentifiers);
+                visit(node.right, boundIdentifiers);
+                break;
+            case "unary-operation":
+                visit(node.argument, boundIdentifiers);
+                break;
+            case "ternary-operation":
+                visit(node.condition, boundIdentifiers);
+                visit(node.trueValue, boundIdentifiers);
+                visit(node.falseValue, boundIdentifiers);
+                break;
+            case "if-condition":
+                visit(node.condition, boundIdentifiers);
+                visit(node.body, boundIdentifiers);
+                break;
+            case "for-expression": {
+                visit(node.collection, boundIdentifiers);
+                const loopBindings = new Set(boundIdentifiers);
+                loopBindings.add(node.itemVariable);
+                if (node.indexVariable !== undefined) {
+                    loopBindings.add(node.indexVariable);
+                }
+                visit(node.body, loopBindings);
+                break;
+            }
+            case "interpolated-string":
+                for (const segment of node.segments)
+                    visit(segment, boundIdentifiers);
+                break;
+            case "identifier":
+            case "null":
+            case "boolean":
+            case "integer":
+            case "string":
+                break;
+            default: {
+                const exhaustive = node;
+                throw new Error(`Unsupported expression: ${String(exhaustive)}.`);
+            }
+        }
+    }
+    visit(expression, new Set());
+}
+function walkDecoratorExpressions(decorators, visitor) {
+    for (const expression of Object.values(decorators?.metadata ?? {})) {
+        walkExpressionNode(expression, visitor);
+    }
+    for (const expression of decorators?.allowed ?? []) {
+        walkExpressionNode(expression, visitor);
+    }
+}
+function walkTypeExpressions(type, visitor) {
+    switch (type.kind) {
+        case "array-type":
+            walkTypeExpressions(type.item, visitor);
+            break;
+        case "object-type":
+            for (const property of type.properties) {
+                walkTypeExpressions(property, visitor);
+            }
+            if (type.additionalProperties !== undefined) {
+                walkTypeExpressions(type.additionalProperties, visitor);
+            }
+            break;
+        case "object-type-property":
+        case "object-type-additional-properties":
+            walkTypeExpressions(type.valueType, visitor);
+            walkDecoratorExpressions(type.decorators, visitor);
+            break;
+        case "union-type-member":
+        case "parameterized-type-argument":
+            walkTypeExpressions(type.valueType, visitor);
+            break;
+        case "union-type":
+            for (const member of type.members)
+                walkTypeExpressions(member, visitor);
+            break;
+        case "nullable-type":
+            walkTypeExpressions(type.base, visitor);
+            break;
+        case "parameterized-type-instantiation":
+            walkTypeExpressions(type.base, visitor);
+            for (const argument of type.args)
+                walkTypeExpressions(argument, visitor);
+            break;
+        case "primitive-type":
+        case "type-reference":
+        case "string-type-literal":
+        case "integer-type-literal":
+        case "boolean-type-literal":
+        case "null-type-literal":
+            break;
+        default: {
+            const exhaustive = type;
+            throw new Error(`Unsupported type: ${String(exhaustive)}.`);
+        }
+    }
+}
+/**
+ * Visits original expressions in a declaration's value/default, nested type
+ * decorators, then declaration decorators, without rebuilding or mutating nodes.
+ * Each expression is walked in preorder; returning false skips that expression's
+ * children. Loop bindings do not carry into other expression roots.
+ */
+export function walkDeclarationExpressions(declaration, visitor) {
+    if ("value" in declaration) {
+        walkExpressionNode(declaration.value, visitor);
+    }
+    else if (declaration.defaultValue !== undefined) {
+        walkExpressionNode(declaration.defaultValue, visitor);
+    }
+    if ("valueType" in declaration) {
+        walkTypeExpressions(declaration.valueType, visitor);
+    }
+    walkDecoratorExpressions(declaration.decorators, visitor);
+}
+//# sourceMappingURL=expression-walker.js.map

package/dist/esm/serialization/ast/expression-walker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expression-walker.js","sourceRoot":"","sources":["../../../../src/serialization/ast/expression-walker.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,kCAAkC;AAalC,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAChC,UAA0B,EAC1B,OAA8B;IAE9B,SAAS,KAAK,CAAC,IAAoB,EAAE,gBAAqC;QACxE,IAAI,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,KAAK,KAAK;YAAE,OAAO;QACtD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ;gBACX,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC9C,KAAK,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;gBACjC,CAAC;gBACD,MAAM;YACR,KAAK,OAAO;gBACV,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;oBAAE,KAAK,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,iBAAiB;gBACpB,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACnC,MAAM;YACR,KAAK,cAAc;gBACjB,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;gBACpC,MAAM;YACR,KAAK,eAAe;gBAClB,IAAI,OAAO,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;gBACvC,CAAC;gBACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;gBACpE,MAAM;YACR,KAAK,wBAAwB;gBAC3B,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACnC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI;oBAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;gBACpE,MAAM;YACR,KAAK,kBAAkB;gBACrB,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACnC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;gBACpC,MAAM;YACR,KAAK,iBAAiB;gBACpB,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;gBACvC,MAAM;YACR,KAAK,mBAAmB;gBACtB,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBACzC,MAAM;YACR,KAAK,cAAc;gBACjB,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;gBACnC,MAAM;YACR,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;gBACzC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;gBAC/C,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACpC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;oBACrC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBACvC,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;gBAC/B,MAAM;YACR,CAAC;YACD,KAAK,qBAAqB;gBACxB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ;oBAAE,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;gBACtE,MAAM;YACR,KAAK,YAAY,CAAC;YAClB,KAAK,MAAM,CAAC;YACZ,KAAK,SAAS,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ;gBACX,MAAM;YACR,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,UAAU,GAAU,IAAI,CAAC;gBAC/B,MAAM,IAAI,KAAK,CAAC,2BAA2B,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAAsC,EACtC,OAA8B;IAE9B,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QACnE,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,UAAU,EAAE,OAAO,IAAI,EAAE,EAAE,CAAC;QACnD,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAc,EAAE,OAA8B;IACzE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,YAAY;YACf,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM;QACR,KAAK,aAAa;YAChB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACvC,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACzC,CAAC;YACD,IAAI,IAAI,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBAC5C,mBAAmB,CAAC,IAAI,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;YAC1D,CAAC;YACD,MAAM;QACR,KAAK,sBAAsB,CAAC;QAC5B,KAAK,mCAAmC;YACtC,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC7C,wBAAwB,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACnD,MAAM;QACR,KAAK,mBAAmB,CAAC;QACzB,KAAK,6BAA6B;YAChC,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC7C,MAAM;QACR,KAAK,YAAY;YACf,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;gBAAE,mBAAmB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACxE,MAAM;QACR,KAAK,eAAe;YAClB,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM;QACR,KAAK,kCAAkC;YACrC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,IAAI;gBAAE,mBAAmB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACzE,MAAM;QACR,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,sBAAsB,CAAC;QAC5B,KAAK,sBAAsB,CAAC;QAC5B,KAAK,mBAAmB;YACtB,MAAM;QACR,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,WAA4B,EAC5B,OAA8B;IAE9B,IAAI,OAAO,IAAI,WAAW,EAAE,CAAC;QAC3B,kBAAkB,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC;SAAM,IAAI,WAAW,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAClD,kBAAkB,CAAC,WAAW,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,WAAW,IAAI,WAAW,EAAE,CAAC;QAC/B,mBAAmB,CAAC,WAAW,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,wBAAwB,CAAC,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAC5D,CAAC","sourcesContent":["// Copyright (c) Microsoft Corporation.\n// Licensed under the MIT License.\n\nimport type { DeclarationNode, DecoratorsNode, ExpressionNode, TypeNode } from \"./index.js\";\n\n/**\n * Inspects a node; returning false skips its children. boundIdentifiers contains\n * item and index names introduced by enclosing loops, local to loop bodies.\n */\nexport type ExpressionNodeVisitor = (\n  node: ExpressionNode,\n  boundIdentifiers: ReadonlySet<string>,\n) => boolean | void;\n\n/** Visits original expression nodes in preorder without rebuilding or replacing them. */\nexport function walkExpressionNode(\n  expression: ExpressionNode,\n  visitor: ExpressionNodeVisitor,\n): void {\n  function visit(node: ExpressionNode, boundIdentifiers: ReadonlySet<string>): void {\n    if (visitor(node, boundIdentifiers) === false) return;\n    switch (node.kind) {\n      case \"object\":\n        for (const value of Object.values(node.value)) {\n          visit(value, boundIdentifiers);\n        }\n        break;\n      case \"array\":\n        for (const item of node.items) visit(item, boundIdentifiers);\n        break;\n      case \"property-access\":\n        visit(node.base, boundIdentifiers);\n        break;\n      case \"array-access\":\n        visit(node.base, boundIdentifiers);\n        visit(node.index, boundIdentifiers);\n        break;\n      case \"function-call\":\n        if (typeof node.target !== \"string\") {\n          visit(node.target, boundIdentifiers);\n        }\n        for (const argument of node.args) visit(argument, boundIdentifiers);\n        break;\n      case \"instance-function-call\":\n        visit(node.base, boundIdentifiers);\n        for (const argument of node.args) visit(argument, boundIdentifiers);\n        break;\n      case \"binary-operation\":\n        visit(node.left, boundIdentifiers);\n        visit(node.right, boundIdentifiers);\n        break;\n      case \"unary-operation\":\n        visit(node.argument, boundIdentifiers);\n        break;\n      case \"ternary-operation\":\n        visit(node.condition, boundIdentifiers);\n        visit(node.trueValue, boundIdentifiers);\n        visit(node.falseValue, boundIdentifiers);\n        break;\n      case \"if-condition\":\n        visit(node.condition, boundIdentifiers);\n        visit(node.body, boundIdentifiers);\n        break;\n      case \"for-expression\": {\n        visit(node.collection, boundIdentifiers);\n        const loopBindings = new Set(boundIdentifiers);\n        loopBindings.add(node.itemVariable);\n        if (node.indexVariable !== undefined) {\n          loopBindings.add(node.indexVariable);\n        }\n        visit(node.body, loopBindings);\n        break;\n      }\n      case \"interpolated-string\":\n        for (const segment of node.segments) visit(segment, boundIdentifiers);\n        break;\n      case \"identifier\":\n      case \"null\":\n      case \"boolean\":\n      case \"integer\":\n      case \"string\":\n        break;\n      default: {\n        const exhaustive: never = node;\n        throw new Error(`Unsupported expression: ${String(exhaustive)}.`);\n      }\n    }\n  }\n  visit(expression, new Set());\n}\n\nfunction walkDecoratorExpressions(\n  decorators: DecoratorsNode | undefined,\n  visitor: ExpressionNodeVisitor,\n): void {\n  for (const expression of Object.values(decorators?.metadata ?? {})) {\n    walkExpressionNode(expression, visitor);\n  }\n  for (const expression of decorators?.allowed ?? []) {\n    walkExpressionNode(expression, visitor);\n  }\n}\n\nfunction walkTypeExpressions(type: TypeNode, visitor: ExpressionNodeVisitor): void {\n  switch (type.kind) {\n    case \"array-type\":\n      walkTypeExpressions(type.item, visitor);\n      break;\n    case \"object-type\":\n      for (const property of type.properties) {\n        walkTypeExpressions(property, visitor);\n      }\n      if (type.additionalProperties !== undefined) {\n        walkTypeExpressions(type.additionalProperties, visitor);\n      }\n      break;\n    case \"object-type-property\":\n    case \"object-type-additional-properties\":\n      walkTypeExpressions(type.valueType, visitor);\n      walkDecoratorExpressions(type.decorators, visitor);\n      break;\n    case \"union-type-member\":\n    case \"parameterized-type-argument\":\n      walkTypeExpressions(type.valueType, visitor);\n      break;\n    case \"union-type\":\n      for (const member of type.members) walkTypeExpressions(member, visitor);\n      break;\n    case \"nullable-type\":\n      walkTypeExpressions(type.base, visitor);\n      break;\n    case \"parameterized-type-instantiation\":\n      walkTypeExpressions(type.base, visitor);\n      for (const argument of type.args) walkTypeExpressions(argument, visitor);\n      break;\n    case \"primitive-type\":\n    case \"type-reference\":\n    case \"string-type-literal\":\n    case \"integer-type-literal\":\n    case \"boolean-type-literal\":\n    case \"null-type-literal\":\n      break;\n    default: {\n      const exhaustive: never = type;\n      throw new Error(`Unsupported type: ${String(exhaustive)}.`);\n    }\n  }\n}\n\n/**\n * Visits original expressions in a declaration's value/default, nested type\n * decorators, then declaration decorators, without rebuilding or mutating nodes.\n * Each expression is walked in preorder; returning false skips that expression's\n * children. Loop bindings do not carry into other expression roots.\n */\nexport function walkDeclarationExpressions(\n  declaration: DeclarationNode,\n  visitor: ExpressionNodeVisitor,\n): void {\n  if (\"value\" in declaration) {\n    walkExpressionNode(declaration.value, visitor);\n  } else if (declaration.defaultValue !== undefined) {\n    walkExpressionNode(declaration.defaultValue, visitor);\n  }\n  if (\"valueType\" in declaration) {\n    walkTypeExpressions(declaration.valueType, visitor);\n  }\n  walkDecoratorExpressions(declaration.decorators, visitor);\n}\n"]}