@algorandfoundation/algorand-typescript-testing 1.0.0-alpha.10

package/test-transformer/index.mjs

@@ -0,0 +1,458 @@
+import { TypeResolver, ptypes, SourceLocation, registerPTypes, typeRegistry } from '@algorandfoundation/puya-ts';
+import ts from 'typescript';
+
+function instanceOfAny(x, ...types) {
+    return types.some((t) => x instanceof t);
+}
+
+class TransformerError extends Error {
+    constructor(message) {
+        super(message);
+    }
+}
+
+const getPropertyNameAsString = (name) => {
+    if (ts.isStringLiteralLike(name)) {
+        return name;
+    }
+    if (ts.isIdentifier(name)) {
+        return ts.factory.createStringLiteral(name.text);
+    }
+    throw new TransformerError(`Node ${name.kind} cannot be converted to a static string`);
+};
+const trimGenericTypeName = (typeName) => typeName.replace(/<.*>/, '');
+
+const factory$1 = ts.factory;
+const nodeFactory = {
+    importHelpers(testingPackageName) {
+        return factory$1.createImportDeclaration(undefined, factory$1.createImportClause(false, undefined, factory$1.createNamespaceImport(factory$1.createIdentifier('runtimeHelpers'))), factory$1.createStringLiteral(`${testingPackageName}/runtime-helpers`), undefined);
+    },
+    switchableValue(x) {
+        return factory$1.createCallExpression(factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), factory$1.createIdentifier('switchableValue')), undefined, [x]);
+    },
+    binaryOp(left, right, op) {
+        return factory$1.createCallExpression(factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), factory$1.createIdentifier('binaryOp')), undefined, [left, right, factory$1.createStringLiteral(op)]);
+    },
+    augmentedAssignmentBinaryOp(left, right, op) {
+        return factory$1.createAssignment(left, factory$1.createCallExpression(factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), factory$1.createIdentifier('binaryOp')), undefined, [left, right, factory$1.createStringLiteral(op.replace('=', ''))]));
+    },
+    prefixUnaryOp(operand, op) {
+        return factory$1.createCallExpression(factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), factory$1.createIdentifier('unaryOp')), undefined, [operand, factory$1.createStringLiteral(op)]);
+    },
+    attachMetaData(classIdentifier, method, functionType) {
+        const methodName = getPropertyNameAsString(method.name);
+        const metadata = factory$1.createObjectLiteralExpression([
+            factory$1.createPropertyAssignment('methodName', methodName),
+            factory$1.createPropertyAssignment('methodSelector', methodName),
+            factory$1.createPropertyAssignment('argTypes', factory$1.createArrayLiteralExpression(functionType.parameters.map((p) => factory$1.createStringLiteral(p[1].fullName)))),
+            factory$1.createPropertyAssignment('returnType', factory$1.createStringLiteral(functionType.returnType.fullName)),
+        ]);
+        return factory$1.createExpressionStatement(factory$1.createCallExpression(factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), factory$1.createIdentifier('attachAbiMetadata')), undefined, [classIdentifier, methodName, metadata]));
+    },
+    captureGenericTypeInfo(x, info) {
+        return factory$1.createCallExpression(factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), factory$1.createIdentifier('captureGenericTypeInfo')), undefined, [x, factory$1.createStringLiteral(info)]);
+    },
+    instantiateARC4EncodedType(node, typeInfo) {
+        const infoString = JSON.stringify(typeInfo);
+        const classIdentifier = node.expression.getText().replace('arc4.', '');
+        return factory$1.createNewExpression(factory$1.createIdentifier(`runtimeHelpers.${trimGenericTypeName(typeInfo?.name ?? classIdentifier)}Impl`), node.typeArguments, [infoString ? factory$1.createStringLiteral(infoString) : undefined, ...(node.arguments ?? [])].filter((arg) => !!arg));
+    },
+    callARC4EncodingUtil(node, typeInfo) {
+        const identifierExpression = node.expression;
+        const infoString = JSON.stringify(typeInfo);
+        const updatedPropertyAccessExpression = factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), `${identifierExpression.getText()}Impl`);
+        return factory$1.createCallExpression(updatedPropertyAccessExpression, node.typeArguments, [infoString ? factory$1.createStringLiteral(infoString) : undefined, ...(node.arguments ?? [])].filter((arg) => !!arg));
+    },
+};
+
+function supportedBinaryOpString(x) {
+    switch (x) {
+        case ts.SyntaxKind.MinusToken:
+            return '-';
+        case ts.SyntaxKind.PlusToken:
+            return '+';
+        case ts.SyntaxKind.EqualsEqualsEqualsToken:
+            return '===';
+        case ts.SyntaxKind.ExclamationEqualsEqualsToken:
+            return '!==';
+        case ts.SyntaxKind.GreaterThanToken:
+            return '>';
+        case ts.SyntaxKind.GreaterThanEqualsToken:
+            return '>=';
+        case ts.SyntaxKind.GreaterThanGreaterThanToken:
+            return '>>';
+        case ts.SyntaxKind.LessThanToken:
+            return '<';
+        case ts.SyntaxKind.LessThanEqualsToken:
+            return '<=';
+        case ts.SyntaxKind.LessThanLessThanToken:
+            return '<<';
+        case ts.SyntaxKind.AsteriskToken:
+            return '*';
+        case ts.SyntaxKind.AsteriskAsteriskToken:
+            return '**';
+        case ts.SyntaxKind.SlashToken:
+            return '/';
+        case ts.SyntaxKind.PercentToken:
+            return '%';
+        case ts.SyntaxKind.AmpersandToken:
+            return '&';
+        case ts.SyntaxKind.BarToken:
+            return '|';
+        case ts.SyntaxKind.CaretToken:
+            return '^';
+        case ts.SyntaxKind.AmpersandAmpersandEqualsToken:
+        case ts.SyntaxKind.AmpersandAmpersandToken:
+        case ts.SyntaxKind.AmpersandEqualsToken:
+        case ts.SyntaxKind.BarBarEqualsToken:
+        case ts.SyntaxKind.BarBarToken:
+        case ts.SyntaxKind.BarEqualsToken:
+        case ts.SyntaxKind.CaretEqualsToken:
+        case ts.SyntaxKind.CommaToken:
+        case ts.SyntaxKind.EqualsEqualsToken:
+        case ts.SyntaxKind.EqualsToken:
+        case ts.SyntaxKind.ExclamationEqualsToken:
+        case ts.SyntaxKind.InKeyword:
+        case ts.SyntaxKind.InstanceOfKeyword:
+        case ts.SyntaxKind.QuestionQuestionEqualsToken:
+        case ts.SyntaxKind.QuestionQuestionToken:
+        case ts.SyntaxKind.GreaterThanGreaterThanEqualsToken:
+        case ts.SyntaxKind.LessThanLessThanEqualsToken:
+        case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken:
+        case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken:
+            return undefined;
+    }
+}
+function supportedAugmentedAssignmentBinaryOpString(x) {
+    switch (x) {
+        case ts.SyntaxKind.PlusEqualsToken:
+            return '+=';
+        case ts.SyntaxKind.MinusEqualsToken:
+            return '-=';
+        case ts.SyntaxKind.SlashEqualsToken:
+            return '/=';
+        case ts.SyntaxKind.AsteriskEqualsToken:
+            return '*=';
+        case ts.SyntaxKind.AsteriskAsteriskEqualsToken:
+            return '**=';
+        case ts.SyntaxKind.PercentEqualsToken:
+            return '%=';
+        default:
+            return undefined;
+    }
+}
+function supportedPrefixUnaryOpString(x) {
+    switch (x) {
+        case ts.SyntaxKind.TildeToken:
+            return '~';
+        default:
+            return undefined;
+    }
+}
+
+const { factory } = ts;
+class SourceFileVisitor {
+    context;
+    sourceFile;
+    config;
+    helper;
+    constructor(context, sourceFile, program, config) {
+        this.context = context;
+        this.sourceFile = sourceFile;
+        this.config = config;
+        const typeResolver = new TypeResolver(program.getTypeChecker(), program.getCurrentDirectory());
+        this.helper = {
+            additionalStatements: [],
+            resolveType(node) {
+                try {
+                    return typeResolver.resolve(node, this.sourceLocation(node));
+                }
+                catch {
+                    return ptypes.anyPType;
+                }
+            },
+            sourceLocation(node) {
+                return SourceLocation.fromNode(node, program.getCurrentDirectory());
+            },
+        };
+    }
+    result() {
+        const updatedSourceFile = ts.visitNode(this.sourceFile, this.visit);
+        return factory.updateSourceFile(updatedSourceFile, [
+            nodeFactory.importHelpers(this.config.testingPackageName),
+            ...updatedSourceFile.statements,
+            ...this.helper.additionalStatements,
+        ]);
+    }
+    visit = (node) => {
+        if (ts.isFunctionLike(node)) {
+            return new FunctionLikeDecVisitor(this.context, this.helper, node).result();
+        }
+        if (ts.isClassDeclaration(node)) {
+            return new ClassVisitor(this.context, this.helper, node).result();
+        }
+        // capture generic type info for variable initialising outside class and function declarations
+        // e.g. `const x = new UintN<32>(42)
+        if (ts.isVariableDeclaration(node) && node.initializer) {
+            return new VariableInitializerVisitor(this.context, this.helper, node).result();
+        }
+        return ts.visitEachChild(node, this.visit, this.context);
+    };
+}
+class ExpressionVisitor {
+    context;
+    helper;
+    expressionNode;
+    constructor(context, helper, expressionNode) {
+        this.context = context;
+        this.helper = helper;
+        this.expressionNode = expressionNode;
+    }
+    result() {
+        return this.visit(this.expressionNode);
+    }
+    visit = (node) => {
+        if (ts.isCallExpression(node) || ts.isNewExpression(node)) {
+            let type = this.helper.resolveType(node);
+            // `voted = LocalState<uint64>()` is resolved to FunctionPType with returnType LocalState<uint64>
+            if (type instanceof ptypes.FunctionPType)
+                type = type.returnType;
+            const isGeneric = isGenericType(type);
+            const isArc4Encoded = isArc4EncodedType(type);
+            if (isGeneric || isArc4Encoded) {
+                let updatedNode = node;
+                const info = getGenericTypeInfo(type);
+                if (isArc4EncodedType(type)) {
+                    if (ts.isNewExpression(updatedNode)) {
+                        updatedNode = nodeFactory.instantiateARC4EncodedType(updatedNode, info);
+                    }
+                    else if (ts.isCallExpression(updatedNode) && isCallingARC4EncodingUtils(updatedNode)) {
+                        updatedNode = nodeFactory.callARC4EncodingUtil(updatedNode, info);
+                    }
+                }
+                return isGeneric
+                    ? nodeFactory.captureGenericTypeInfo(ts.visitEachChild(updatedNode, this.visit, this.context), JSON.stringify(info))
+                    : ts.visitEachChild(updatedNode, this.visit, this.context);
+            }
+        }
+        return ts.visitEachChild(node, this.visit, this.context);
+    };
+}
+class VariableInitializerVisitor {
+    context;
+    helper;
+    declarationNode;
+    constructor(context, helper, declarationNode) {
+        this.context = context;
+        this.helper = helper;
+        this.declarationNode = declarationNode;
+    }
+    result() {
+        const initializerNode = this.declarationNode.initializer;
+        if (!initializerNode)
+            return this.declarationNode;
+        const updatedInitializer = new ExpressionVisitor(this.context, this.helper, initializerNode).result();
+        if (updatedInitializer === initializerNode)
+            return this.declarationNode;
+        return factory.updateVariableDeclaration(this.declarationNode, this.declarationNode.name, this.declarationNode.exclamationToken, this.declarationNode.type, updatedInitializer);
+    }
+}
+class FunctionOrMethodVisitor {
+    context;
+    helper;
+    isFunction;
+    constructor(context, helper, isFunction) {
+        this.context = context;
+        this.helper = helper;
+        this.isFunction = isFunction;
+    }
+    visit = (node) => {
+        return ts.visitEachChild(this.updateNode(node), this.visit, this.context);
+    };
+    updateNode(node) {
+        if (ts.isSwitchStatement(node)) {
+            return factory.updateSwitchStatement(node, nodeFactory.switchableValue(node.expression), node.caseBlock);
+        }
+        if (ts.isCaseClause(node)) {
+            return factory.updateCaseClause(node, nodeFactory.switchableValue(node.expression), node.statements);
+        }
+        if (ts.isBinaryExpression(node)) {
+            const opTokenText = supportedBinaryOpString(node.operatorToken.kind);
+            if (opTokenText) {
+                return nodeFactory.binaryOp(node.left, node.right, opTokenText);
+            }
+            const augmentedAssignmentOpTokenText = supportedAugmentedAssignmentBinaryOpString(node.operatorToken.kind);
+            if (augmentedAssignmentOpTokenText) {
+                return nodeFactory.augmentedAssignmentBinaryOp(node.left, node.right, augmentedAssignmentOpTokenText);
+            }
+        }
+        if (ts.isPrefixUnaryExpression(node)) {
+            const tokenText = supportedPrefixUnaryOpString(node.operator);
+            if (tokenText) {
+                return nodeFactory.prefixUnaryOp(node.operand, tokenText);
+            }
+        }
+        /*
+         * capture generic type info in test functions; e.g.
+         * ```
+         *   it('should work', () => {
+         *     ctx.txn.createScope([ctx.any.txn.applicationCall()]).execute(() => {
+         *       const box = Box<uint64>({key: Bytes('test-key')})
+         *     })
+         *   })
+         * ```
+         */
+        if (ts.isVariableDeclaration(node) && node.initializer) {
+            return new VariableInitializerVisitor(this.context, this.helper, node).result();
+        }
+        /*
+         * capture generic type info in test functions and swap arc4 types with implementation; e.g.
+         * ```
+         *  it('should work', () => {
+         *   expect(() => new UintN<32>(2 ** 32)).toThrowError(`expected value <= ${2 ** 32 - 1}`)
+         *   expect(UintN.fromBytes<UintN<32>>('').bytes).toEqual(Bytes())
+         * })
+         * ```
+         */
+        if (ts.isNewExpression(node)) {
+            return new ExpressionVisitor(this.context, this.helper, node).result();
+        }
+        if (ts.isCallExpression(node) && isCallingARC4EncodingUtils(node)) {
+            return new ExpressionVisitor(this.context, this.helper, node).result();
+        }
+        return node;
+    }
+}
+class FunctionLikeDecVisitor extends FunctionOrMethodVisitor {
+    funcNode;
+    constructor(context, helper, funcNode) {
+        super(context, helper, true);
+        this.funcNode = funcNode;
+    }
+    result() {
+        return ts.visitNode(this.funcNode, this.visit);
+    }
+}
+class MethodDecVisitor extends FunctionOrMethodVisitor {
+    methodNode;
+    constructor(context, helper, methodNode) {
+        super(context, helper);
+        this.methodNode = methodNode;
+    }
+    result() {
+        return ts.visitNode(this.methodNode, this.visit);
+    }
+}
+class ClassVisitor {
+    context;
+    helper;
+    classDec;
+    isArc4;
+    constructor(context, helper, classDec) {
+        this.context = context;
+        this.helper = helper;
+        this.classDec = classDec;
+        const classType = helper.resolveType(classDec);
+        this.isArc4 = classType instanceof ptypes.ContractClassPType && classType.isARC4;
+    }
+    result() {
+        return this.visit(this.classDec);
+    }
+    visit = (node) => {
+        if (ts.isMethodDeclaration(node)) {
+            if (this.classDec.name && this.isArc4) {
+                const methodType = this.helper.resolveType(node);
+                if (methodType instanceof ptypes.FunctionPType) {
+                    this.helper.additionalStatements.push(nodeFactory.attachMetaData(this.classDec.name, node, methodType));
+                }
+            }
+            return new MethodDecVisitor(this.context, this.helper, node).result();
+        }
+        if (ts.isCallExpression(node)) {
+            return new ExpressionVisitor(this.context, this.helper, node).result();
+        }
+        return ts.visitEachChild(node, this.visit, this.context);
+    };
+}
+const isGenericType = (type) => instanceOfAny(type, ptypes.ARC4StructType, ptypes.ARC4TupleType, ptypes.BoxMapPType, ptypes.BoxPType, ptypes.DynamicArrayType, ptypes.GlobalStateType, ptypes.LocalStateType, ptypes.StaticArrayType, ptypes.UFixedNxMType, ptypes.UintNType);
+const isArc4EncodedType = (type) => instanceOfAny(type, ptypes.ARC4StructType, ptypes.ARC4TupleType, ptypes.DynamicArrayType, ptypes.StaticArrayType, ptypes.UFixedNxMType, ptypes.UintNType) ||
+    type === ptypes.ARC4StringType ||
+    type === ptypes.ARC4BooleanType;
+const getGenericTypeInfo = (type) => {
+    let typeName = type?.name ?? type?.toString() ?? 'unknown';
+    let genericArgs = [];
+    if (instanceOfAny(type, ptypes.LocalStateType, ptypes.GlobalStateType, ptypes.BoxPType)) {
+        genericArgs.push(getGenericTypeInfo(type.contentType));
+    }
+    else if (type instanceof ptypes.BoxMapPType) {
+        genericArgs.push(getGenericTypeInfo(type.keyType));
+        genericArgs.push(getGenericTypeInfo(type.contentType));
+    }
+    else if (instanceOfAny(type, ptypes.StaticArrayType, ptypes.DynamicArrayType)) {
+        const entries = [];
+        entries.push(['elementType', getGenericTypeInfo(type.elementType)]);
+        if (instanceOfAny(type, ptypes.StaticArrayType)) {
+            entries.push(['size', { name: type.arraySize.toString() }]);
+        }
+        genericArgs = Object.fromEntries(entries);
+    }
+    else if (type instanceof ptypes.UFixedNxMType) {
+        genericArgs = { n: { name: type.n.toString() }, m: { name: type.m.toString() } };
+    }
+    else if (type instanceof ptypes.UintNType) {
+        genericArgs.push({ name: type.n.toString() });
+    }
+    else if (type instanceof ptypes.ARC4StructType) {
+        typeName = 'Struct';
+        genericArgs = Object.fromEntries(Object.entries(type.fields)
+            .map(([key, value]) => [key, getGenericTypeInfo(value)])
+            .filter((x) => !!x));
+    }
+    else if (type instanceof ptypes.ARC4TupleType) {
+        genericArgs.push(...type.items.map(getGenericTypeInfo));
+    }
+    const result = { name: typeName };
+    if (genericArgs && (genericArgs.length || Object.keys(genericArgs).length)) {
+        result.genericArgs = genericArgs;
+    }
+    return result;
+};
+const isCallingARC4EncodingUtils = (node) => {
+    if (node.expression.kind !== ts.SyntaxKind.Identifier)
+        return false;
+    const identityExpression = node.expression;
+    const utilMethods = ['interpretAsArc4', 'decodeArc4', 'encodeArc4'];
+    return utilMethods.includes(identityExpression.text);
+};
+
+const defaultTransformerConfig = {
+    includeExt: ['.algo.ts', '.spec.ts'],
+    testingPackageName: '@algorandfoundation/algorand-typescript-testing',
+};
+const createProgramFactory = (config) => {
+    function programFactory(program) {
+        registerPTypes(typeRegistry);
+        return (context) => {
+            return (sourceFile) => {
+                if (!config.includeExt.some((i) => sourceFile.fileName.endsWith(i)))
+                    return sourceFile;
+                return new SourceFileVisitor(context, sourceFile, program, config).result();
+            };
+        };
+    }
+    return programFactory;
+};
+function programTransformer(config) {
+    return {
+        type: 'program',
+        factory: createProgramFactory({ ...defaultTransformerConfig, ...config }),
+    };
+}
+programTransformer.type = 'program';
+programTransformer.factory = createProgramFactory(defaultTransformerConfig);
+// Typescript.d.ts typings require a TransformerFactory however rollup plugin supports a program transformer
+// https://github.com/rollup/plugins/blob/master/packages/typescript/src/customTransformers.ts
+const puyaTsTransformer = programTransformer;
+
+export { puyaTsTransformer };
+//# sourceMappingURL=index.mjs.map

package/test-transformer/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","sources":["../../src/typescript-helpers.ts","../../src/test-transformer/errors.ts","../../src/test-transformer/helpers.ts","../../src/test-transformer/node-factory.ts","../../src/test-transformer/supported-binary-op-string.ts","../../src/test-transformer/visitors.ts","../../src/test-transformer/index.ts"],"sourcesContent":["// Sometimes only an 'any' will do. Don't use this just to be lazy though\n/* eslint-disable-next-line @typescript-eslint/no-explicit-any */\nexport type DeliberateAny = any\nexport type AnyFunction = (...args: DeliberateAny[]) => DeliberateAny\nexport type Mutable<T> = {\n  -readonly [P in keyof T]: T[P]\n}\n\nexport type KeyIsFunction<TKey extends keyof TObj, TObj> = TKey extends DeliberateAny\n  ? TObj[TKey] extends AnyFunction\n    ? TKey\n    : never\n  : never\nexport type KeyIsNotFunction<TKey extends keyof TObj, TObj> = TKey extends DeliberateAny\n  ? TObj[TKey] extends AnyFunction\n    ? never\n    : TKey\n  : never\nexport type ObjectKeys<T> = KeyIsNotFunction<keyof T, T>\nexport type FunctionKeys<T> = KeyIsFunction<keyof T, T>\n\nexport function instanceOfAny<T extends Array<{ new (...args: DeliberateAny[]): DeliberateAny }>>(\n  x: unknown,\n  ...types: T\n): x is InstanceType<T[number]> {\n  return types.some((t) => x instanceof t)\n}\n\nexport interface IConstructor<T> {\n  new (...args: DeliberateAny[]): T\n}\n","export class TransformerError extends Error {\n  constructor(message: string) {\n    super(message)\n  }\n}\n","import ts from 'typescript'\nimport { TransformerError } from './errors'\n\nexport const getPropertyNameAsString = (name: ts.PropertyName): ts.Identifier | ts.StringLiteral | ts.NoSubstitutionTemplateLiteral => {\n  if (ts.isStringLiteralLike(name)) {\n    return name\n  }\n  if (ts.isIdentifier(name)) {\n    return ts.factory.createStringLiteral(name.text)\n  }\n  throw new TransformerError(`Node ${name.kind} cannot be converted to a static string`)\n}\n\nexport const trimGenericTypeName = (typeName: string) => typeName.replace(/<.*>/, '')\n","import { ptypes } from '@algorandfoundation/puya-ts'\nimport ts from 'typescript'\nimport { TypeInfo } from '../encoders'\nimport type { DeliberateAny } from '../typescript-helpers'\nimport { getPropertyNameAsString, trimGenericTypeName } from './helpers'\n\nconst factory = ts.factory\nexport const nodeFactory = {\n  importHelpers(testingPackageName: string) {\n    return factory.createImportDeclaration(\n      undefined,\n      factory.createImportClause(false, undefined, factory.createNamespaceImport(factory.createIdentifier('runtimeHelpers'))),\n      factory.createStringLiteral(`${testingPackageName}/runtime-helpers`),\n      undefined,\n    )\n  },\n\n  switchableValue(x: ts.Expression) {\n    return factory.createCallExpression(\n      factory.createPropertyAccessExpression(factory.createIdentifier('runtimeHelpers'), factory.createIdentifier('switchableValue')),\n      undefined,\n      [x],\n    )\n  },\n  binaryOp(left: ts.Expression, right: ts.Expression, op: string) {\n    return factory.createCallExpression(\n      factory.createPropertyAccessExpression(factory.createIdentifier('runtimeHelpers'), factory.createIdentifier('binaryOp')),\n      undefined,\n      [left, right, factory.createStringLiteral(op)],\n    )\n  },\n  augmentedAssignmentBinaryOp(left: ts.Expression, right: ts.Expression, op: string) {\n    return factory.createAssignment(\n      left,\n      factory.createCallExpression(\n        factory.createPropertyAccessExpression(factory.createIdentifier('runtimeHelpers'), factory.createIdentifier('binaryOp')),\n        undefined,\n        [left, right, factory.createStringLiteral(op.replace('=', ''))],\n      ),\n    )\n  },\n\n  prefixUnaryOp(operand: ts.Expression, op: string) {\n    return factory.createCallExpression(\n      factory.createPropertyAccessExpression(factory.createIdentifier('runtimeHelpers'), factory.createIdentifier('unaryOp')),\n      undefined,\n      [operand, factory.createStringLiteral(op)],\n    )\n  },\n\n  attachMetaData(classIdentifier: ts.Identifier, method: ts.MethodDeclaration, functionType: ptypes.FunctionPType) {\n    const methodName = getPropertyNameAsString(method.name)\n    const metadata = factory.createObjectLiteralExpression([\n      factory.createPropertyAssignment('methodName', methodName),\n      factory.createPropertyAssignment('methodSelector', methodName),\n      factory.createPropertyAssignment(\n        'argTypes',\n        factory.createArrayLiteralExpression(functionType.parameters.map((p) => factory.createStringLiteral(p[1].fullName))),\n      ),\n      factory.createPropertyAssignment('returnType', factory.createStringLiteral(functionType.returnType.fullName)),\n    ])\n    return factory.createExpressionStatement(\n      factory.createCallExpression(\n        factory.createPropertyAccessExpression(factory.createIdentifier('runtimeHelpers'), factory.createIdentifier('attachAbiMetadata')),\n        undefined,\n        [classIdentifier, methodName, metadata],\n      ),\n    )\n  },\n\n  captureGenericTypeInfo(x: ts.Expression, info: string) {\n    return factory.createCallExpression(\n      factory.createPropertyAccessExpression(\n        factory.createIdentifier('runtimeHelpers'),\n        factory.createIdentifier('captureGenericTypeInfo'),\n      ),\n      undefined,\n      [x, factory.createStringLiteral(info)],\n    )\n  },\n\n  instantiateARC4EncodedType(node: ts.NewExpression, typeInfo?: TypeInfo) {\n    const infoString = JSON.stringify(typeInfo)\n    const classIdentifier = node.expression.getText().replace('arc4.', '')\n    return factory.createNewExpression(\n      factory.createIdentifier(`runtimeHelpers.${trimGenericTypeName(typeInfo?.name ?? classIdentifier)}Impl`),\n      node.typeArguments,\n      [infoString ? factory.createStringLiteral(infoString) : undefined, ...(node.arguments ?? [])].filter((arg) => !!arg),\n    )\n  },\n\n  callARC4EncodingUtil(node: ts.CallExpression, typeInfo?: TypeInfo) {\n    const identifierExpression = node.expression as ts.Identifier\n    const infoString = JSON.stringify(typeInfo)\n    const updatedPropertyAccessExpression = factory.createPropertyAccessExpression(\n      factory.createIdentifier('runtimeHelpers'),\n      `${identifierExpression.getText()}Impl`,\n    )\n\n    return factory.createCallExpression(\n      updatedPropertyAccessExpression,\n      node.typeArguments,\n      [infoString ? factory.createStringLiteral(infoString) : undefined, ...(node.arguments ?? [])].filter((arg) => !!arg),\n    )\n  },\n} satisfies Record<string, (...args: DeliberateAny[]) => ts.Node>\n","import type { BinaryOperator, PrefixUnaryOperator } from 'typescript'\nimport ts from 'typescript'\n\nexport function supportedBinaryOpString(x: BinaryOperator): string | undefined {\n  switch (x) {\n    case ts.SyntaxKind.MinusToken:\n      return '-'\n    case ts.SyntaxKind.PlusToken:\n      return '+'\n    case ts.SyntaxKind.EqualsEqualsEqualsToken:\n      return '==='\n    case ts.SyntaxKind.ExclamationEqualsEqualsToken:\n      return '!=='\n    case ts.SyntaxKind.GreaterThanToken:\n      return '>'\n    case ts.SyntaxKind.GreaterThanEqualsToken:\n      return '>='\n    case ts.SyntaxKind.GreaterThanGreaterThanToken:\n      return '>>'\n    case ts.SyntaxKind.LessThanToken:\n      return '<'\n    case ts.SyntaxKind.LessThanEqualsToken:\n      return '<='\n    case ts.SyntaxKind.LessThanLessThanToken:\n      return '<<'\n    case ts.SyntaxKind.AsteriskToken:\n      return '*'\n    case ts.SyntaxKind.AsteriskAsteriskToken:\n      return '**'\n    case ts.SyntaxKind.SlashToken:\n      return '/'\n    case ts.SyntaxKind.PercentToken:\n      return '%'\n    case ts.SyntaxKind.AmpersandToken:\n      return '&'\n    case ts.SyntaxKind.BarToken:\n      return '|'\n    case ts.SyntaxKind.CaretToken:\n      return '^'\n    case ts.SyntaxKind.AmpersandAmpersandEqualsToken:\n    case ts.SyntaxKind.AmpersandAmpersandToken:\n    case ts.SyntaxKind.AmpersandEqualsToken:\n    case ts.SyntaxKind.BarBarEqualsToken:\n    case ts.SyntaxKind.BarBarToken:\n    case ts.SyntaxKind.BarEqualsToken:\n    case ts.SyntaxKind.CaretEqualsToken:\n    case ts.SyntaxKind.CommaToken:\n    case ts.SyntaxKind.EqualsEqualsToken:\n    case ts.SyntaxKind.EqualsToken:\n    case ts.SyntaxKind.ExclamationEqualsToken:\n    case ts.SyntaxKind.InKeyword:\n    case ts.SyntaxKind.InstanceOfKeyword:\n    case ts.SyntaxKind.QuestionQuestionEqualsToken:\n    case ts.SyntaxKind.QuestionQuestionToken:\n    case ts.SyntaxKind.GreaterThanGreaterThanEqualsToken:\n    case ts.SyntaxKind.LessThanLessThanEqualsToken:\n    case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken:\n    case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken:\n      return undefined\n  }\n}\n\nexport function supportedAugmentedAssignmentBinaryOpString(x: BinaryOperator): string | undefined {\n  switch (x) {\n    case ts.SyntaxKind.PlusEqualsToken:\n      return '+='\n    case ts.SyntaxKind.MinusEqualsToken:\n      return '-='\n    case ts.SyntaxKind.SlashEqualsToken:\n      return '/='\n    case ts.SyntaxKind.AsteriskEqualsToken:\n      return '*='\n    case ts.SyntaxKind.AsteriskAsteriskEqualsToken:\n      return '**='\n    case ts.SyntaxKind.PercentEqualsToken:\n      return '%='\n    default:\n      return undefined\n  }\n}\n\nexport function supportedPrefixUnaryOpString(x: PrefixUnaryOperator): string | undefined {\n  switch (x) {\n    case ts.SyntaxKind.TildeToken:\n      return '~'\n    default:\n      return undefined\n  }\n}\n","import { ptypes, SourceLocation, TypeResolver } from '@algorandfoundation/puya-ts'\nimport ts from 'typescript'\nimport type { TypeInfo } from '../encoders'\nimport { instanceOfAny } from '../typescript-helpers'\nimport { TransformerConfig } from './index'\nimport { nodeFactory } from './node-factory'\nimport {\n  supportedAugmentedAssignmentBinaryOpString,\n  supportedBinaryOpString,\n  supportedPrefixUnaryOpString,\n} from './supported-binary-op-string'\n\nconst { factory } = ts\n\ntype VisitorHelper = {\n  additionalStatements: ts.Statement[]\n  resolveType(node: ts.Node): ptypes.PType\n  sourceLocation(node: ts.Node): SourceLocation\n}\n\nexport class SourceFileVisitor {\n  private helper: VisitorHelper\n  constructor(\n    private context: ts.TransformationContext,\n    private sourceFile: ts.SourceFile,\n    program: ts.Program,\n    private config: TransformerConfig,\n  ) {\n    const typeResolver = new TypeResolver(program.getTypeChecker(), program.getCurrentDirectory())\n\n    this.helper = {\n      additionalStatements: [],\n      resolveType(node: ts.Node): ptypes.PType {\n        try {\n          return typeResolver.resolve(node, this.sourceLocation(node))\n        } catch {\n          return ptypes.anyPType\n        }\n      },\n      sourceLocation(node: ts.Node): SourceLocation {\n        return SourceLocation.fromNode(node, program.getCurrentDirectory())\n      },\n    }\n  }\n\n  public result(): ts.SourceFile {\n    const updatedSourceFile = ts.visitNode(this.sourceFile, this.visit) as ts.SourceFile\n\n    return factory.updateSourceFile(updatedSourceFile, [\n      nodeFactory.importHelpers(this.config.testingPackageName),\n      ...updatedSourceFile.statements,\n      ...this.helper.additionalStatements,\n    ])\n  }\n\n  private visit = (node: ts.Node): ts.Node => {\n    if (ts.isFunctionLike(node)) {\n      return new FunctionLikeDecVisitor(this.context, this.helper, node).result()\n    }\n    if (ts.isClassDeclaration(node)) {\n      return new ClassVisitor(this.context, this.helper, node).result()\n    }\n\n    // capture generic type info for variable initialising outside class and function declarations\n    // e.g. `const x = new UintN<32>(42)\n    if (ts.isVariableDeclaration(node) && node.initializer) {\n      return new VariableInitializerVisitor(this.context, this.helper, node).result()\n    }\n\n    return ts.visitEachChild(node, this.visit, this.context)\n  }\n}\n\nclass ExpressionVisitor {\n  constructor(\n    private context: ts.TransformationContext,\n    private helper: VisitorHelper,\n    private expressionNode: ts.Expression,\n  ) {}\n\n  public result(): ts.Expression {\n    return this.visit(this.expressionNode) as ts.Expression\n  }\n\n  private visit = (node: ts.Node): ts.Node => {\n    if (ts.isCallExpression(node) || ts.isNewExpression(node)) {\n      let type = this.helper.resolveType(node)\n\n      // `voted = LocalState<uint64>()` is resolved to FunctionPType with returnType LocalState<uint64>\n      if (type instanceof ptypes.FunctionPType) type = type.returnType\n\n      const isGeneric = isGenericType(type)\n      const isArc4Encoded = isArc4EncodedType(type)\n      if (isGeneric || isArc4Encoded) {\n        let updatedNode = node\n        const info = getGenericTypeInfo(type)\n        if (isArc4EncodedType(type)) {\n          if (ts.isNewExpression(updatedNode)) {\n            updatedNode = nodeFactory.instantiateARC4EncodedType(updatedNode, info)\n          } else if (ts.isCallExpression(updatedNode) && isCallingARC4EncodingUtils(updatedNode)) {\n            updatedNode = nodeFactory.callARC4EncodingUtil(updatedNode, info)\n          }\n        }\n        return isGeneric\n          ? nodeFactory.captureGenericTypeInfo(ts.visitEachChild(updatedNode, this.visit, this.context), JSON.stringify(info))\n          : ts.visitEachChild(updatedNode, this.visit, this.context)\n      }\n    }\n    return ts.visitEachChild(node, this.visit, this.context)\n  }\n}\nclass VariableInitializerVisitor {\n  constructor(\n    private context: ts.TransformationContext,\n    private helper: VisitorHelper,\n    private declarationNode: ts.VariableDeclaration,\n  ) {}\n\n  public result(): ts.VariableDeclaration {\n    const initializerNode = this.declarationNode.initializer\n    if (!initializerNode) return this.declarationNode\n\n    const updatedInitializer = new ExpressionVisitor(this.context, this.helper, initializerNode).result()\n    if (updatedInitializer === initializerNode) return this.declarationNode\n    return factory.updateVariableDeclaration(\n      this.declarationNode,\n      this.declarationNode.name,\n      this.declarationNode.exclamationToken,\n      this.declarationNode.type,\n      updatedInitializer,\n    )\n  }\n}\n\nclass FunctionOrMethodVisitor {\n  constructor(\n    protected context: ts.TransformationContext,\n    protected helper: VisitorHelper,\n    private isFunction?: boolean,\n  ) {}\n  protected visit = (node: ts.Node): ts.Node => {\n    return ts.visitEachChild(this.updateNode(node), this.visit, this.context)\n  }\n\n  protected updateNode(node: ts.Node): ts.Node {\n    if (ts.isSwitchStatement(node)) {\n      return factory.updateSwitchStatement(node, nodeFactory.switchableValue(node.expression), node.caseBlock)\n    }\n\n    if (ts.isCaseClause(node)) {\n      return factory.updateCaseClause(node, nodeFactory.switchableValue(node.expression), node.statements)\n    }\n\n    if (ts.isBinaryExpression(node)) {\n      const opTokenText = supportedBinaryOpString(node.operatorToken.kind)\n      if (opTokenText) {\n        return nodeFactory.binaryOp(node.left, node.right, opTokenText)\n      }\n      const augmentedAssignmentOpTokenText = supportedAugmentedAssignmentBinaryOpString(node.operatorToken.kind)\n      if (augmentedAssignmentOpTokenText) {\n        return nodeFactory.augmentedAssignmentBinaryOp(node.left, node.right, augmentedAssignmentOpTokenText)\n      }\n    }\n    if (ts.isPrefixUnaryExpression(node)) {\n      const tokenText = supportedPrefixUnaryOpString(node.operator)\n      if (tokenText) {\n        return nodeFactory.prefixUnaryOp(node.operand, tokenText)\n      }\n    }\n\n    /*\n     * capture generic type info in test functions; e.g.\n     * ```\n     *   it('should work', () => {\n     *     ctx.txn.createScope([ctx.any.txn.applicationCall()]).execute(() => {\n     *       const box = Box<uint64>({key: Bytes('test-key')})\n     *     })\n     *   })\n     * ```\n     */\n    if (ts.isVariableDeclaration(node) && node.initializer) {\n      return new VariableInitializerVisitor(this.context, this.helper, node).result()\n    }\n\n    /*\n     * capture generic type info in test functions and swap arc4 types with implementation; e.g.\n     * ```\n     *  it('should work', () => {\n     *   expect(() => new UintN<32>(2 ** 32)).toThrowError(`expected value <= ${2 ** 32 - 1}`)\n     *   expect(UintN.fromBytes<UintN<32>>('').bytes).toEqual(Bytes())\n     * })\n     * ```\n     */\n    if (ts.isNewExpression(node)) {\n      return new ExpressionVisitor(this.context, this.helper, node).result()\n    }\n    if (ts.isCallExpression(node) && isCallingARC4EncodingUtils(node)) {\n      return new ExpressionVisitor(this.context, this.helper, node).result()\n    }\n\n    return node\n  }\n}\n\nclass FunctionLikeDecVisitor extends FunctionOrMethodVisitor {\n  constructor(\n    context: ts.TransformationContext,\n    helper: VisitorHelper,\n    private funcNode: ts.SignatureDeclaration,\n  ) {\n    super(context, helper, true)\n  }\n\n  public result(): ts.SignatureDeclaration {\n    return ts.visitNode(this.funcNode, this.visit) as ts.SignatureDeclaration\n  }\n}\nclass MethodDecVisitor extends FunctionOrMethodVisitor {\n  constructor(\n    context: ts.TransformationContext,\n    helper: VisitorHelper,\n    private methodNode: ts.MethodDeclaration,\n  ) {\n    super(context, helper)\n  }\n\n  public result(): ts.MethodDeclaration {\n    return ts.visitNode(this.methodNode, this.visit) as ts.MethodDeclaration\n  }\n}\n\nclass ClassVisitor {\n  private isArc4: boolean\n  constructor(\n    private context: ts.TransformationContext,\n    private helper: VisitorHelper,\n    private classDec: ts.ClassDeclaration,\n  ) {\n    const classType = helper.resolveType(classDec)\n    this.isArc4 = classType instanceof ptypes.ContractClassPType && classType.isARC4\n  }\n\n  public result(): ts.ClassDeclaration {\n    return this.visit(this.classDec) as ts.ClassDeclaration\n  }\n\n  private visit = (node: ts.Node): ts.Node => {\n    if (ts.isMethodDeclaration(node)) {\n      if (this.classDec.name && this.isArc4) {\n        const methodType = this.helper.resolveType(node)\n        if (methodType instanceof ptypes.FunctionPType) {\n          this.helper.additionalStatements.push(nodeFactory.attachMetaData(this.classDec.name, node, methodType))\n        }\n      }\n\n      return new MethodDecVisitor(this.context, this.helper, node).result()\n    }\n\n    if (ts.isCallExpression(node)) {\n      return new ExpressionVisitor(this.context, this.helper, node).result()\n    }\n    return ts.visitEachChild(node, this.visit, this.context)\n  }\n}\n\nconst isGenericType = (type: ptypes.PType): boolean =>\n  instanceOfAny(\n    type,\n    ptypes.ARC4StructType,\n    ptypes.ARC4TupleType,\n    ptypes.BoxMapPType,\n    ptypes.BoxPType,\n    ptypes.DynamicArrayType,\n    ptypes.GlobalStateType,\n    ptypes.LocalStateType,\n    ptypes.StaticArrayType,\n    ptypes.UFixedNxMType,\n    ptypes.UintNType,\n  )\n\nconst isArc4EncodedType = (type: ptypes.PType): boolean =>\n  instanceOfAny(\n    type,\n    ptypes.ARC4StructType,\n    ptypes.ARC4TupleType,\n    ptypes.DynamicArrayType,\n    ptypes.StaticArrayType,\n    ptypes.UFixedNxMType,\n    ptypes.UintNType,\n  ) ||\n  type === ptypes.ARC4StringType ||\n  type === ptypes.ARC4BooleanType\n\nconst getGenericTypeInfo = (type: ptypes.PType): TypeInfo => {\n  let typeName = type?.name ?? type?.toString() ?? 'unknown'\n  let genericArgs: TypeInfo[] | Record<string, TypeInfo> = []\n\n  if (instanceOfAny(type, ptypes.LocalStateType, ptypes.GlobalStateType, ptypes.BoxPType)) {\n    genericArgs.push(getGenericTypeInfo(type.contentType))\n  } else if (type instanceof ptypes.BoxMapPType) {\n    genericArgs.push(getGenericTypeInfo(type.keyType))\n    genericArgs.push(getGenericTypeInfo(type.contentType))\n  } else if (instanceOfAny(type, ptypes.StaticArrayType, ptypes.DynamicArrayType)) {\n    const entries = []\n    entries.push(['elementType', getGenericTypeInfo(type.elementType)])\n    if (instanceOfAny(type, ptypes.StaticArrayType)) {\n      entries.push(['size', { name: type.arraySize.toString() }])\n    }\n    genericArgs = Object.fromEntries(entries)\n  } else if (type instanceof ptypes.UFixedNxMType) {\n    genericArgs = { n: { name: type.n.toString() }, m: { name: type.m.toString() } }\n  } else if (type instanceof ptypes.UintNType) {\n    genericArgs.push({ name: type.n.toString() })\n  } else if (type instanceof ptypes.ARC4StructType) {\n    typeName = 'Struct'\n    genericArgs = Object.fromEntries(\n      Object.entries(type.fields)\n        .map(([key, value]) => [key, getGenericTypeInfo(value)])\n        .filter((x) => !!x),\n    )\n  } else if (type instanceof ptypes.ARC4TupleType) {\n    genericArgs.push(...type.items.map(getGenericTypeInfo))\n  }\n\n  const result: TypeInfo = { name: typeName }\n  if (genericArgs && (genericArgs.length || Object.keys(genericArgs).length)) {\n    result.genericArgs = genericArgs\n  }\n  return result\n}\n\nconst isCallingARC4EncodingUtils = (node: ts.CallExpression) => {\n  if (node.expression.kind !== ts.SyntaxKind.Identifier) return false\n  const identityExpression = node.expression as ts.Identifier\n  const utilMethods = ['interpretAsArc4', 'decodeArc4', 'encodeArc4']\n  return utilMethods.includes(identityExpression.text)\n}\n","import { registerPTypes, typeRegistry } from '@algorandfoundation/puya-ts'\nimport type ts from 'typescript'\nimport type { DeliberateAny } from '../typescript-helpers'\nimport { SourceFileVisitor } from './visitors'\n\nexport interface TransformerConfig {\n  includeExt: string[]\n  testingPackageName: string\n}\nconst defaultTransformerConfig: TransformerConfig = {\n  includeExt: ['.algo.ts', '.spec.ts'],\n  testingPackageName: '@algorandfoundation/algorand-typescript-testing',\n}\n\nconst createProgramFactory = (config: TransformerConfig) => {\n  function programFactory(program: ts.Program): ts.TransformerFactory<ts.SourceFile> {\n    registerPTypes(typeRegistry)\n    return (context) => {\n      return (sourceFile) => {\n        if (!config.includeExt.some((i) => sourceFile.fileName.endsWith(i))) return sourceFile\n        return new SourceFileVisitor(context, sourceFile, program, config).result()\n      }\n    }\n  }\n  return programFactory\n}\n\nfunction programTransformer(config: Partial<TransformerConfig>) {\n  return {\n    type: 'program',\n    factory: createProgramFactory({ ...defaultTransformerConfig, ...config }),\n  }\n}\nprogramTransformer.type = 'program'\nprogramTransformer.factory = createProgramFactory(defaultTransformerConfig)\n\n// Typescript.d.ts typings require a TransformerFactory however rollup plugin supports a program transformer\n// https://github.com/rollup/plugins/blob/master/packages/typescript/src/customTransformers.ts\nexport const puyaTsTransformer: ts.TransformerFactory<ts.SourceFile> &\n  ((config: Partial<TransformerConfig>) => ts.TransformerFactory<ts.SourceFile>) = programTransformer as DeliberateAny\n"],"names":["factory"],"mappings":";;;SAqBgB,aAAa,CAC3B,CAAU,EACV,GAAG,KAAQ,EAAA;AAEX,IAAA,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AAC1C;;AC1BM,MAAO,gBAAiB,SAAQ,KAAK,CAAA;AACzC,IAAA,WAAA,CAAY,OAAe,EAAA;QACzB,KAAK,CAAC,OAAO,CAAC;;AAEjB;;ACDM,MAAM,uBAAuB,GAAG,CAAC,IAAqB,KAAyE;AACpI,IAAA,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE;AAChC,QAAA,OAAO,IAAI;;AAEb,IAAA,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE;QACzB,OAAO,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;;IAElD,MAAM,IAAI,gBAAgB,CAAC,CAAA,KAAA,EAAQ,IAAI,CAAC,IAAI,CAAyC,uCAAA,CAAA,CAAC;AACxF,CAAC;AAEM,MAAM,mBAAmB,GAAG,CAAC,QAAgB,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;;ACPrF,MAAMA,SAAO,GAAG,EAAE,CAAC,OAAO;AACnB,MAAM,WAAW,GAAG;AACzB,IAAA,aAAa,CAAC,kBAA0B,EAAA;AACtC,QAAA,OAAOA,SAAO,CAAC,uBAAuB,CACpC,SAAS,EACTA,SAAO,CAAC,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAEA,SAAO,CAAC,qBAAqB,CAACA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAAC,CAAC,EACvHA,SAAO,CAAC,mBAAmB,CAAC,GAAG,kBAAkB,CAAA,gBAAA,CAAkB,CAAC,EACpE,SAAS,CACV;KACF;AAED,IAAA,eAAe,CAAC,CAAgB,EAAA;AAC9B,QAAA,OAAOA,SAAO,CAAC,oBAAoB,CACjCA,SAAO,CAAC,8BAA8B,CAACA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAEA,SAAO,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,EAC/H,SAAS,EACT,CAAC,CAAC,CAAC,CACJ;KACF;AACD,IAAA,QAAQ,CAAC,IAAmB,EAAE,KAAoB,EAAE,EAAU,EAAA;AAC5D,QAAA,OAAOA,SAAO,CAAC,oBAAoB,CACjCA,SAAO,CAAC,8BAA8B,CAACA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAEA,SAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,EACxH,SAAS,EACT,CAAC,IAAI,EAAE,KAAK,EAAEA,SAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,CAC/C;KACF;AACD,IAAA,2BAA2B,CAAC,IAAmB,EAAE,KAAoB,EAAE,EAAU,EAAA;QAC/E,OAAOA,SAAO,CAAC,gBAAgB,CAC7B,IAAI,EACJA,SAAO,CAAC,oBAAoB,CAC1BA,SAAO,CAAC,8BAA8B,CAACA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAEA,SAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,EACxH,SAAS,EACT,CAAC,IAAI,EAAE,KAAK,EAAEA,SAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAChE,CACF;KACF;IAED,aAAa,CAAC,OAAsB,EAAE,EAAU,EAAA;AAC9C,QAAA,OAAOA,SAAO,CAAC,oBAAoB,CACjCA,SAAO,CAAC,8BAA8B,CAACA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAEA,SAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,EACvH,SAAS,EACT,CAAC,OAAO,EAAEA,SAAO,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,CAC3C;KACF;AAED,IAAA,cAAc,CAAC,eAA8B,EAAE,MAA4B,EAAE,YAAkC,EAAA;QAC7G,MAAM,UAAU,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;AACvD,QAAA,MAAM,QAAQ,GAAGA,SAAO,CAAC,6BAA6B,CAAC;AACrD,YAAAA,SAAO,CAAC,wBAAwB,CAAC,YAAY,EAAE,UAAU,CAAC;AAC1D,YAAAA,SAAO,CAAC,wBAAwB,CAAC,gBAAgB,EAAE,UAAU,CAAC;AAC9D,YAAAA,SAAO,CAAC,wBAAwB,CAC9B,UAAU,EACVA,SAAO,CAAC,4BAA4B,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,KAAKA,SAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CACrH;AACD,YAAAA,SAAO,CAAC,wBAAwB,CAAC,YAAY,EAAEA,SAAO,CAAC,mBAAmB,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;AAC9G,SAAA,CAAC;AACF,QAAA,OAAOA,SAAO,CAAC,yBAAyB,CACtCA,SAAO,CAAC,oBAAoB,CAC1BA,SAAO,CAAC,8BAA8B,CAACA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAEA,SAAO,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,CAAC,EACjI,SAAS,EACT,CAAC,eAAe,EAAE,UAAU,EAAE,QAAQ,CAAC,CACxC,CACF;KACF;IAED,sBAAsB,CAAC,CAAgB,EAAE,IAAY,EAAA;AACnD,QAAA,OAAOA,SAAO,CAAC,oBAAoB,CACjCA,SAAO,CAAC,8BAA8B,CACpCA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAC1CA,SAAO,CAAC,gBAAgB,CAAC,wBAAwB,CAAC,CACnD,EACD,SAAS,EACT,CAAC,CAAC,EAAEA,SAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CACvC;KACF;IAED,0BAA0B,CAAC,IAAsB,EAAE,QAAmB,EAAA;QACpE,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;AAC3C,QAAA,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;AACtE,QAAA,OAAOA,SAAO,CAAC,mBAAmB,CAChCA,SAAO,CAAC,gBAAgB,CAAC,CAAkB,eAAA,EAAA,mBAAmB,CAAC,QAAQ,EAAE,IAAI,IAAI,eAAe,CAAC,CAAA,IAAA,CAAM,CAAC,EACxG,IAAI,CAAC,aAAa,EAClB,CAAC,UAAU,GAAGA,SAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,GAAG,SAAS,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CACrH;KACF;IAED,oBAAoB,CAAC,IAAuB,EAAE,QAAmB,EAAA;AAC/D,QAAA,MAAM,oBAAoB,GAAG,IAAI,CAAC,UAA2B;QAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;QAC3C,MAAM,+BAA+B,GAAGA,SAAO,CAAC,8BAA8B,CAC5EA,SAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAC1C,GAAG,oBAAoB,CAAC,OAAO,EAAE,CAAA,IAAA,CAAM,CACxC;QAED,OAAOA,SAAO,CAAC,oBAAoB,CACjC,+BAA+B,EAC/B,IAAI,CAAC,aAAa,EAClB,CAAC,UAAU,GAAGA,SAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,GAAG,SAAS,EAAE,IAAI,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CACrH;KACF;CAC8D;;ACtG3D,SAAU,uBAAuB,CAAC,CAAiB,EAAA;IACvD,QAAQ,CAAC;AACP,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;AAC1B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;AACxC,YAAA,OAAO,KAAK;AACd,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;AAC7C,YAAA,OAAO,KAAK;AACd,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;AACjC,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;AACvC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;AAC5C,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;AAC9B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;AACpC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;AACtC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;AAC9B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;AACtC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;AAC7B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;AAC/B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,QAAQ;AACzB,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B;AAChD,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;AAC1C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,oBAAoB;AACvC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;AACpC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;AAC9B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;AACjC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;AACnC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC7B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;AACpC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;AAC9B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;AACzC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;AAC5B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB;AACpC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;AAC9C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;AACxC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iCAAiC;AACpD,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;AAC9C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,4CAA4C;AAC/D,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,sCAAsC;AACvD,YAAA,OAAO,SAAS;;AAEtB;AAEM,SAAU,0CAA0C,CAAC,CAAiB,EAAA;IAC1E,QAAQ,CAAC;AACP,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe;AAChC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;AACjC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;AACjC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;AACpC,YAAA,OAAO,IAAI;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;AAC5C,YAAA,OAAO,KAAK;AACd,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,kBAAkB;AACnC,YAAA,OAAO,IAAI;AACb,QAAA;AACE,YAAA,OAAO,SAAS;;AAEtB;AAEM,SAAU,4BAA4B,CAAC,CAAsB,EAAA;IACjE,QAAQ,CAAC;AACP,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG;AACZ,QAAA;AACE,YAAA,OAAO,SAAS;;AAEtB;;AC5EA,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE;MAQT,iBAAiB,CAAA;AAGlB,IAAA,OAAA;AACA,IAAA,UAAA;AAEA,IAAA,MAAA;AALF,IAAA,MAAM;AACd,IAAA,WAAA,CACU,OAAiC,EACjC,UAAyB,EACjC,OAAmB,EACX,MAAyB,EAAA;QAHzB,IAAO,CAAA,OAAA,GAAP,OAAO;QACP,IAAU,CAAA,UAAA,GAAV,UAAU;QAEV,IAAM,CAAA,MAAA,GAAN,MAAM;AAEd,QAAA,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,OAAO,CAAC,mBAAmB,EAAE,CAAC;QAE9F,IAAI,CAAC,MAAM,GAAG;AACZ,YAAA,oBAAoB,EAAE,EAAE;AACxB,YAAA,WAAW,CAAC,IAAa,EAAA;AACvB,gBAAA,IAAI;AACF,oBAAA,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;;AAC5D,gBAAA,MAAM;oBACN,OAAO,MAAM,CAAC,QAAQ;;aAEzB;AACD,YAAA,cAAc,CAAC,IAAa,EAAA;gBAC1B,OAAO,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,mBAAmB,EAAE,CAAC;aACpE;SACF;;IAGI,MAAM,GAAA;AACX,QAAA,MAAM,iBAAiB,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAkB;AAEpF,QAAA,OAAO,OAAO,CAAC,gBAAgB,CAAC,iBAAiB,EAAE;YACjD,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC;YACzD,GAAG,iBAAiB,CAAC,UAAU;AAC/B,YAAA,GAAG,IAAI,CAAC,MAAM,CAAC,oBAAoB;AACpC,SAAA,CAAC;;AAGI,IAAA,KAAK,GAAG,CAAC,IAAa,KAAa;AACzC,QAAA,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE;AAC3B,YAAA,OAAO,IAAI,sBAAsB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;AAE7E,QAAA,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE;AAC/B,YAAA,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;;;QAKnE,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE;AACtD,YAAA,OAAO,IAAI,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;AAGjF,QAAA,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;AAC1D,KAAC;AACF;AAED,MAAM,iBAAiB,CAAA;AAEX,IAAA,OAAA;AACA,IAAA,MAAA;AACA,IAAA,cAAA;AAHV,IAAA,WAAA,CACU,OAAiC,EACjC,MAAqB,EACrB,cAA6B,EAAA;QAF7B,IAAO,CAAA,OAAA,GAAP,OAAO;QACP,IAAM,CAAA,MAAA,GAAN,MAAM;QACN,IAAc,CAAA,cAAA,GAAd,cAAc;;IAGjB,MAAM,GAAA;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAkB;;AAGjD,IAAA,KAAK,GAAG,CAAC,IAAa,KAAa;AACzC,QAAA,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE;YACzD,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;;AAGxC,YAAA,IAAI,IAAI,YAAY,MAAM,CAAC,aAAa;AAAE,gBAAA,IAAI,GAAG,IAAI,CAAC,UAAU;AAEhE,YAAA,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC;AACrC,YAAA,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,CAAC;AAC7C,YAAA,IAAI,SAAS,IAAI,aAAa,EAAE;gBAC9B,IAAI,WAAW,GAAG,IAAI;AACtB,gBAAA,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC;AACrC,gBAAA,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE;AAC3B,oBAAA,IAAI,EAAE,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE;wBACnC,WAAW,GAAG,WAAW,CAAC,0BAA0B,CAAC,WAAW,EAAE,IAAI,CAAC;;AAClE,yBAAA,IAAI,EAAE,CAAC,gBAAgB,CAAC,WAAW,CAAC,IAAI,0BAA0B,CAAC,WAAW,CAAC,EAAE;wBACtF,WAAW,GAAG,WAAW,CAAC,oBAAoB,CAAC,WAAW,EAAE,IAAI,CAAC;;;AAGrE,gBAAA,OAAO;sBACH,WAAW,CAAC,sBAAsB,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;AACnH,sBAAE,EAAE,CAAC,cAAc,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;;;AAGhE,QAAA,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;AAC1D,KAAC;AACF;AACD,MAAM,0BAA0B,CAAA;AAEpB,IAAA,OAAA;AACA,IAAA,MAAA;AACA,IAAA,eAAA;AAHV,IAAA,WAAA,CACU,OAAiC,EACjC,MAAqB,EACrB,eAAuC,EAAA;QAFvC,IAAO,CAAA,OAAA,GAAP,OAAO;QACP,IAAM,CAAA,MAAA,GAAN,MAAM;QACN,IAAe,CAAA,eAAA,GAAf,eAAe;;IAGlB,MAAM,GAAA;AACX,QAAA,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW;AACxD,QAAA,IAAI,CAAC,eAAe;YAAE,OAAO,IAAI,CAAC,eAAe;AAEjD,QAAA,MAAM,kBAAkB,GAAG,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,MAAM,EAAE;QACrG,IAAI,kBAAkB,KAAK,eAAe;YAAE,OAAO,IAAI,CAAC,eAAe;AACvE,QAAA,OAAO,OAAO,CAAC,yBAAyB,CACtC,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,eAAe,CAAC,IAAI,EACzB,IAAI,CAAC,eAAe,CAAC,gBAAgB,EACrC,IAAI,CAAC,eAAe,CAAC,IAAI,EACzB,kBAAkB,CACnB;;AAEJ;AAED,MAAM,uBAAuB,CAAA;AAEf,IAAA,OAAA;AACA,IAAA,MAAA;AACF,IAAA,UAAA;AAHV,IAAA,WAAA,CACY,OAAiC,EACjC,MAAqB,EACvB,UAAoB,EAAA;QAFlB,IAAO,CAAA,OAAA,GAAP,OAAO;QACP,IAAM,CAAA,MAAA,GAAN,MAAM;QACR,IAAU,CAAA,UAAA,GAAV,UAAU;;AAEV,IAAA,KAAK,GAAG,CAAC,IAAa,KAAa;AAC3C,QAAA,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;AAC3E,KAAC;AAES,IAAA,UAAU,CAAC,IAAa,EAAA;AAChC,QAAA,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE;AAC9B,YAAA,OAAO,OAAO,CAAC,qBAAqB,CAAC,IAAI,EAAE,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;;AAG1G,QAAA,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE;AACzB,YAAA,OAAO,OAAO,CAAC,gBAAgB,CAAC,IAAI,EAAE,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC;;AAGtG,QAAA,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE;YAC/B,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;YACpE,IAAI,WAAW,EAAE;AACf,gBAAA,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC;;YAEjE,MAAM,8BAA8B,GAAG,0CAA0C,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;YAC1G,IAAI,8BAA8B,EAAE;AAClC,gBAAA,OAAO,WAAW,CAAC,2BAA2B,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,8BAA8B,CAAC;;;AAGzG,QAAA,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE;YACpC,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC7D,IAAI,SAAS,EAAE;gBACb,OAAO,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC;;;AAI7D;;;;;;;;;AASG;QACH,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE;AACtD,YAAA,OAAO,IAAI,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;AAGjF;;;;;;;;AAQG;AACH,QAAA,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE;AAC5B,YAAA,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;AAExE,QAAA,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,0BAA0B,CAAC,IAAI,CAAC,EAAE;AACjE,YAAA,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;AAGxE,QAAA,OAAO,IAAI;;AAEd;AAED,MAAM,sBAAuB,SAAQ,uBAAuB,CAAA;AAIhD,IAAA,QAAA;AAHV,IAAA,WAAA,CACE,OAAiC,EACjC,MAAqB,EACb,QAAiC,EAAA;AAEzC,QAAA,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC;QAFpB,IAAQ,CAAA,QAAA,GAAR,QAAQ;;IAKX,MAAM,GAAA;AACX,QAAA,OAAO,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAA4B;;AAE5E;AACD,MAAM,gBAAiB,SAAQ,uBAAuB,CAAA;AAI1C,IAAA,UAAA;AAHV,IAAA,WAAA,CACE,OAAiC,EACjC,MAAqB,EACb,UAAgC,EAAA;AAExC,QAAA,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;QAFd,IAAU,CAAA,UAAA,GAAV,UAAU;;IAKb,MAAM,GAAA;AACX,QAAA,OAAO,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAyB;;AAE3E;AAED,MAAM,YAAY,CAAA;AAGN,IAAA,OAAA;AACA,IAAA,MAAA;AACA,IAAA,QAAA;AAJF,IAAA,MAAM;AACd,IAAA,WAAA,CACU,OAAiC,EACjC,MAAqB,EACrB,QAA6B,EAAA;QAF7B,IAAO,CAAA,OAAA,GAAP,OAAO;QACP,IAAM,CAAA,MAAA,GAAN,MAAM;QACN,IAAQ,CAAA,QAAA,GAAR,QAAQ;QAEhB,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC;AAC9C,QAAA,IAAI,CAAC,MAAM,GAAG,SAAS,YAAY,MAAM,CAAC,kBAAkB,IAAI,SAAS,CAAC,MAAM;;IAG3E,MAAM,GAAA;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAwB;;AAGjD,IAAA,KAAK,GAAG,CAAC,IAAa,KAAa;AACzC,QAAA,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE;YAChC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE;gBACrC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC;AAChD,gBAAA,IAAI,UAAU,YAAY,MAAM,CAAC,aAAa,EAAE;oBAC9C,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;;;AAI3G,YAAA,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;AAGvE,QAAA,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE;AAC7B,YAAA,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE;;AAExE,QAAA,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC;AAC1D,KAAC;AACF;AAED,MAAM,aAAa,GAAG,CAAC,IAAkB,KACvC,aAAa,CACX,IAAI,EACJ,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,WAAW,EAClB,MAAM,CAAC,QAAQ,EACf,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,SAAS,CACjB;AAEH,MAAM,iBAAiB,GAAG,CAAC,IAAkB,KAC3C,aAAa,CACX,IAAI,EACJ,MAAM,CAAC,cAAc,EACrB,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,gBAAgB,EACvB,MAAM,CAAC,eAAe,EACtB,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,SAAS,CACjB;IACD,IAAI,KAAK,MAAM,CAAC,cAAc;AAC9B,IAAA,IAAI,KAAK,MAAM,CAAC,eAAe;AAEjC,MAAM,kBAAkB,GAAG,CAAC,IAAkB,KAAc;AAC1D,IAAA,IAAI,QAAQ,GAAG,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,QAAQ,EAAE,IAAI,SAAS;IAC1D,IAAI,WAAW,GAA0C,EAAE;AAE3D,IAAA,IAAI,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE;QACvF,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;;AACjD,SAAA,IAAI,IAAI,YAAY,MAAM,CAAC,WAAW,EAAE;QAC7C,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClD,WAAW,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;;AACjD,SAAA,IAAI,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,gBAAgB,CAAC,EAAE;QAC/E,MAAM,OAAO,GAAG,EAAE;AAClB,QAAA,OAAO,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,kBAAkB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QACnE,IAAI,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,eAAe,CAAC,EAAE;AAC/C,YAAA,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;;AAE7D,QAAA,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC;;AACpC,SAAA,IAAI,IAAI,YAAY,MAAM,CAAC,aAAa,EAAE;AAC/C,QAAA,WAAW,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,EAAE;;AAC3E,SAAA,IAAI,IAAI,YAAY,MAAM,CAAC,SAAS,EAAE;AAC3C,QAAA,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;;AACxC,SAAA,IAAI,IAAI,YAAY,MAAM,CAAC,cAAc,EAAE;QAChD,QAAQ,GAAG,QAAQ;AACnB,QAAA,WAAW,GAAG,MAAM,CAAC,WAAW,CAC9B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM;AACvB,aAAA,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CACtB;;AACI,SAAA,IAAI,IAAI,YAAY,MAAM,CAAC,aAAa,EAAE;AAC/C,QAAA,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;;AAGzD,IAAA,MAAM,MAAM,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE;AAC3C,IAAA,IAAI,WAAW,KAAK,WAAW,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,EAAE;AAC1E,QAAA,MAAM,CAAC,WAAW,GAAG,WAAW;;AAElC,IAAA,OAAO,MAAM;AACf,CAAC;AAED,MAAM,0BAA0B,GAAG,CAAC,IAAuB,KAAI;IAC7D,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAAE,QAAA,OAAO,KAAK;AACnE,IAAA,MAAM,kBAAkB,GAAG,IAAI,CAAC,UAA2B;IAC3D,MAAM,WAAW,GAAG,CAAC,iBAAiB,EAAE,YAAY,EAAE,YAAY,CAAC;IACnE,OAAO,WAAW,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC;AACtD,CAAC;;ACvUD,MAAM,wBAAwB,GAAsB;AAClD,IAAA,UAAU,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;AACpC,IAAA,kBAAkB,EAAE,iDAAiD;CACtE;AAED,MAAM,oBAAoB,GAAG,CAAC,MAAyB,KAAI;IACzD,SAAS,cAAc,CAAC,OAAmB,EAAA;QACzC,cAAc,CAAC,YAAY,CAAC;QAC5B,OAAO,CAAC,OAAO,KAAI;YACjB,OAAO,CAAC,UAAU,KAAI;gBACpB,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAAE,oBAAA,OAAO,UAAU;AACtF,gBAAA,OAAO,IAAI,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE;AAC7E,aAAC;AACH,SAAC;;AAEH,IAAA,OAAO,cAAc;AACvB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAkC,EAAA;IAC5D,OAAO;AACL,QAAA,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,oBAAoB,CAAC,EAAE,GAAG,wBAAwB,EAAE,GAAG,MAAM,EAAE,CAAC;KAC1E;AACH;AACA,kBAAkB,CAAC,IAAI,GAAG,SAAS;AACnC,kBAAkB,CAAC,OAAO,GAAG,oBAAoB,CAAC,wBAAwB,CAAC;AAE3E;AACA;AACO,MAAM,iBAAiB,GACqD;;;;"}

package/test-transformer/node-factory.d.ts

@@ -0,0 +1,14 @@
+import { ptypes } from '@algorandfoundation/puya-ts';
+import ts from 'typescript';
+import { TypeInfo } from '../encoders';
+export declare const nodeFactory: {
+    importHelpers(testingPackageName: string): ts.ImportDeclaration;
+    switchableValue(x: ts.Expression): ts.CallExpression;
+    binaryOp(left: ts.Expression, right: ts.Expression, op: string): ts.CallExpression;
+    augmentedAssignmentBinaryOp(left: ts.Expression, right: ts.Expression, op: string): ts.AssignmentExpression<ts.EqualsToken>;
+    prefixUnaryOp(operand: ts.Expression, op: string): ts.CallExpression;
+    attachMetaData(classIdentifier: ts.Identifier, method: ts.MethodDeclaration, functionType: ptypes.FunctionPType): ts.ExpressionStatement;
+    captureGenericTypeInfo(x: ts.Expression, info: string): ts.CallExpression;
+    instantiateARC4EncodedType(node: ts.NewExpression, typeInfo?: TypeInfo): ts.NewExpression;
+    callARC4EncodingUtil(node: ts.CallExpression, typeInfo?: TypeInfo): ts.CallExpression;
+};

package/test-transformer/supported-binary-op-string.d.ts

@@ -0,0 +1,4 @@
+import type { BinaryOperator, PrefixUnaryOperator } from 'typescript';
+export declare function supportedBinaryOpString(x: BinaryOperator): string | undefined;
+export declare function supportedAugmentedAssignmentBinaryOpString(x: BinaryOperator): string | undefined;
+export declare function supportedPrefixUnaryOpString(x: PrefixUnaryOperator): string | undefined;

package/test-transformer/visitors.d.ts

@@ -0,0 +1,11 @@
+import ts from 'typescript';
+import { TransformerConfig } from './index';
+export declare class SourceFileVisitor {
+    private context;
+    private sourceFile;
+    private config;
+    private helper;
+    constructor(context: ts.TransformationContext, sourceFile: ts.SourceFile, program: ts.Program, config: TransformerConfig);
+    result(): ts.SourceFile;
+    private visit;
+}

package/typescript-helpers.d.ts

@@ -0,0 +1,15 @@
+export type DeliberateAny = any;
+export type AnyFunction = (...args: DeliberateAny[]) => DeliberateAny;
+export type Mutable<T> = {
+    -readonly [P in keyof T]: T[P];
+};
+export type KeyIsFunction<TKey extends keyof TObj, TObj> = TKey extends DeliberateAny ? TObj[TKey] extends AnyFunction ? TKey : never : never;
+export type KeyIsNotFunction<TKey extends keyof TObj, TObj> = TKey extends DeliberateAny ? TObj[TKey] extends AnyFunction ? never : TKey : never;
+export type ObjectKeys<T> = KeyIsNotFunction<keyof T, T>;
+export type FunctionKeys<T> = KeyIsFunction<keyof T, T>;
+export declare function instanceOfAny<T extends Array<{
+    new (...args: DeliberateAny[]): DeliberateAny;
+}>>(x: unknown, ...types: T): x is InstanceType<T[number]>;
+export interface IConstructor<T> {
+    new (...args: DeliberateAny[]): T;
+}

package/util.d.ts

@@ -0,0 +1,29 @@
+import { bytes, internal } from '@algorandfoundation/algorand-typescript';
+import { DeliberateAny } from './typescript-helpers';
+export declare const nameOfType: (x: unknown) => string;
+export declare function iterBigInt(start: bigint, end: bigint): Generator<bigint>;
+export declare const asBigInt: (v: internal.primitives.StubUint64Compat) => bigint;
+export declare const asNumber: (v: internal.primitives.StubUint64Compat) => number;
+export declare function extractGenericTypeArgs(t: string): string[];
+export declare const asUint64Cls: (val: internal.primitives.StubUint64Compat) => internal.primitives.Uint64Cls;
+export declare const asBigUintCls: (val: internal.primitives.StubBigUintCompat) => internal.primitives.BigUintCls;
+export declare const asBytesCls: (val: internal.primitives.StubBytesCompat | Uint8Array) => internal.primitives.BytesCls;
+export declare const asUint64: (val: internal.primitives.StubUint64Compat) => import("@algorandfoundation/algorand-typescript").uint64;
+export declare const asBigUint: (val: internal.primitives.StubBigUintCompat) => import("@algorandfoundation/algorand-typescript").biguint;
+export declare const asBytes: (val: internal.primitives.StubBytesCompat | Uint8Array) => bytes;
+export declare const asUint8Array: (val: internal.primitives.StubBytesCompat | Uint8Array) => Uint8Array;
+export declare const toBytes: (val: unknown) => bytes;
+export declare const asMaybeUint64Cls: (val: DeliberateAny) => internal.primitives.Uint64Cls | undefined;
+export declare const asMaybeBigUintCls: (val: DeliberateAny) => internal.primitives.BigUintCls | undefined;
+export declare const asMaybeBytesCls: (val: DeliberateAny) => internal.primitives.BytesCls | undefined;
+export declare const binaryStringToBytes: (s: string) => internal.primitives.BytesCls;
+export declare const getRandomNumber: (min: number, max: number) => number;
+export declare const getRandomBigInt: (min: number | bigint, max: number | bigint) => bigint;
+export declare const getRandomBytes: (length: number) => internal.primitives.BytesCls;
+type LazyInstance<T> = () => T;
+export declare const Lazy: <T>(factory: () => T) => LazyInstance<T>;
+export declare const getObjectReference: (obj: DeliberateAny) => bigint;
+export declare const combineIntoMaxBytePages: (pages: bytes[]) => bytes[];
+export declare const conactUint8Arrays: (...values: Uint8Array[]) => Uint8Array;
+export declare const uint8ArrayToNumber: (value: Uint8Array) => number;
+export {};

package/value-generators/avm.d.ts

@@ -0,0 +1,23 @@
+import { Account, Application, Asset, bytes, internal, uint64 } from '@algorandfoundation/algorand-typescript';
+import { AccountData } from '../impl/account';
+import { ApplicationData } from '../impl/application';
+import { AssetData } from '../impl/asset';
+type AccountContextData = Partial<AccountData['account']> & {
+    address?: Account;
+    optedAssetBalances?: Map<internal.primitives.StubUint64Compat, internal.primitives.StubUint64Compat>;
+    optedApplications?: Application[];
+};
+type AssetContextData = Partial<AssetData> & {
+    assetId?: internal.primitives.StubUint64Compat;
+};
+type ApplicationContextData = Partial<ApplicationData['application']> & {
+    applicationId?: internal.primitives.StubUint64Compat;
+};
+export declare class AvmValueGenerator {
+    uint64(minValue?: number | bigint, maxValue?: number | bigint): uint64;
+    bytes(length?: number): bytes;
+    account(input?: AccountContextData): Account;
+    asset(input?: AssetContextData): Asset;
+    application(input?: ApplicationContextData): Application;
+}
+export {};