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

package/subcontexts/transaction-context.d.ts

@@ -0,0 +1,57 @@
+import { bytes, internal, uint64 } from '@algorandfoundation/algorand-typescript';
+import { DecodedLogs, LogDecoding } from '../decode-logs';
+import { AllTransactionFields, ApplicationTransaction, AssetConfigTransaction, AssetFreezeTransaction, AssetTransferTransaction, KeyRegistrationTransaction, PaymentTransaction, Transaction } from '../impl/transactions';
+import { InnerTxn, InnerTxnFields } from '../impl/itxn';
+import { ApplicationInnerTxn, AssetConfigInnerTxn, AssetFreezeInnerTxn, AssetTransferInnerTxn, KeyRegistrationInnerTxn, PaymentInnerTxn } from '../impl/inner-transactions';
+interface ExecutionScope {
+    execute: <TReturn>(body: () => TReturn) => TReturn;
+}
+export declare class TransactionContext {
+    #private;
+    readonly groups: TransactionGroup[];
+    createScope(group: Transaction[], activeTransactionIndex?: number): ExecutionScope;
+    ensureScope(group: Transaction[], activeTransactionIndex?: number): ExecutionScope;
+    get activeGroup(): TransactionGroup;
+    get lastGroup(): TransactionGroup;
+    get lastActive(): Transaction;
+    appendLog(value: internal.primitives.StubBytesCompat): void;
+    exportLogs<const T extends [...LogDecoding[]]>(appId: uint64, ...decoding: T): DecodedLogs<T>;
+}
+export declare class TransactionGroup {
+    activeTransactionIndex: number;
+    latestTimestamp: number;
+    transactions: Transaction[];
+    itxnGroups: ItxnGroup[];
+    constructingItxnGroup: InnerTxnFields[];
+    constructor(transactions: Transaction[], activeTransactionIndex?: number);
+    get activeTransaction(): Transaction;
+    get activeApplicationId(): uint64;
+    get constructingItxn(): InnerTxnFields;
+    getScratchSlot(index: internal.primitives.StubUint64Compat): bytes | uint64;
+    patchActiveTransactionFields(fields: AllTransactionFields): void;
+    beginInnerTransactionGroup(): void;
+    appendInnerTransactionGroup(): void;
+    submitInnerTransactionGroup(): void;
+    getItxnGroup(index?: internal.primitives.StubUint64Compat): ItxnGroup;
+    getApplicationTransaction(index?: internal.primitives.StubUint64Compat): ApplicationTransaction;
+    getAssetConfigTransaction(index?: internal.primitives.StubUint64Compat): AssetConfigTransaction;
+    getAssetTransferTransaction(index?: internal.primitives.StubUint64Compat): AssetTransferTransaction;
+    getAssetFreezeTransaction(index?: internal.primitives.StubUint64Compat): AssetFreezeTransaction;
+    getKeyRegistrationTransaction(index?: internal.primitives.StubUint64Compat): KeyRegistrationTransaction;
+    getPaymentTransaction(index?: internal.primitives.StubUint64Compat): PaymentTransaction;
+    getTransaction(index?: internal.primitives.StubUint64Compat): Transaction;
+    private getTransactionImpl;
+}
+export declare class ItxnGroup {
+    itxns: InnerTxn[];
+    constructor(itxns: InnerTxn[]);
+    getApplicationInnerTxn(index?: internal.primitives.StubUint64Compat): ApplicationInnerTxn;
+    getAssetConfigInnerTxn(index?: internal.primitives.StubUint64Compat): AssetConfigInnerTxn;
+    getAssetTransferInnerTxn(index?: internal.primitives.StubUint64Compat): AssetTransferInnerTxn;
+    getAssetFreezeInnerTxn(index?: internal.primitives.StubUint64Compat): AssetFreezeInnerTxn;
+    getKeyRegistrationInnerTxn(index?: internal.primitives.StubUint64Compat): KeyRegistrationInnerTxn;
+    getPaymentInnerTxn(index?: internal.primitives.StubUint64Compat): PaymentInnerTxn;
+    getInnerTxn(index?: internal.primitives.StubUint64Compat): InnerTxn;
+    private getInnerTxnImpl;
+}
+export {};

package/test-execution-context.d.ts

@@ -0,0 +1,45 @@
+import { Account, Application, Asset, bytes, internal, uint64 } from '@algorandfoundation/algorand-typescript';
+import { DecodedLogs, LogDecoding } from './decode-logs';
+import * as ops from './impl';
+import { ContractContext } from './subcontexts/contract-context';
+import { LedgerContext } from './subcontexts/ledger-context';
+import { TransactionContext } from './subcontexts/transaction-context';
+import { ValueGenerator } from './value-generators';
+import { submitGroup as itxnSubmitGroup, payment as itxnPayment, keyRegistration as itxnKeyRegistration, assetConfig as itxnAssetConfig, assetTransfer as itxnAssetTransfer, assetFreeze as itxnAssetFreeze, applicationCall as itxnApplicationCall } from './impl/inner-transactions';
+export declare class TestExecutionContext implements internal.ExecutionContext {
+    #private;
+    constructor();
+    account(address?: bytes): Account;
+    application(id?: uint64): Application;
+    asset(id?: uint64): Asset;
+    log(value: bytes): void;
+    exportLogs<const T extends [...LogDecoding[]]>(appId: uint64, ...decoding: T): DecodedLogs<T>;
+    get op(): typeof ops;
+    get contract(): ContractContext;
+    get ledger(): LedgerContext;
+    get txn(): TransactionContext;
+    get any(): ValueGenerator;
+    get defaultSender(): Account;
+    get abiMetadata(): {
+        captureMethodConfig: <T extends import("@algorandfoundation/algorand-typescript").Contract>(contract: T, methodName: string, config?: import("@algorandfoundation/algorand-typescript/arc4").AbiMethodConfig<T> | import("@algorandfoundation/algorand-typescript/arc4").BareMethodConfig) => void;
+    };
+    get gtxn(): {
+        Transaction: (index: uint64) => import("./impl/transactions").Transaction;
+        PaymentTxn: (index: uint64) => import("./impl/transactions").PaymentTransaction;
+        KeyRegistrationTxn: (index: uint64) => import("./impl/transactions").KeyRegistrationTransaction;
+        AssetConfigTxn: (index: uint64) => import("./impl/transactions").AssetConfigTransaction;
+        AssetTransferTxn: (index: uint64) => import("./impl/transactions").AssetTransferTransaction;
+        AssetFreezeTxn: (index: uint64) => import("./impl/transactions").AssetFreezeTransaction;
+        ApplicationTxn: (index: uint64) => import("./impl/transactions").ApplicationTransaction;
+    };
+    get itxn(): {
+        submitGroup: typeof itxnSubmitGroup;
+        payment: typeof itxnPayment;
+        keyRegistration: typeof itxnKeyRegistration;
+        assetConfig: typeof itxnAssetConfig;
+        assetTransfer: typeof itxnAssetTransfer;
+        assetFreeze: typeof itxnAssetFreeze;
+        applicationCall: typeof itxnApplicationCall;
+    };
+    reset(): void;
+}

package/test-transformer/errors.d.ts

@@ -0,0 +1,3 @@
+export declare class TransformerError extends Error {
+    constructor(message: string);
+}

package/test-transformer/helpers.d.ts

@@ -0,0 +1,2 @@
+import ts from 'typescript';
+export declare const getPropertyNameAsString: (name: ts.PropertyName) => ts.Identifier | ts.StringLiteral | ts.NoSubstitutionTemplateLiteral;

package/test-transformer/index.d.ts

@@ -0,0 +1,6 @@
+import type ts from 'typescript';
+export interface TransformerConfig {
+    includeExt: string[];
+    testingPackageName: string;
+}
+export declare const puyaTsTransformer: ts.TransformerFactory<ts.SourceFile> & ((config: Partial<TransformerConfig>) => ts.TransformerFactory<ts.SourceFile>);

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

@@ -0,0 +1,10 @@
+import { FunctionPType } from '@algorandfoundation/puya-ts';
+import ts from 'typescript';
+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;
+    prefixUnaryOp(operand: ts.Expression, op: string): ts.CallExpression;
+    attachMetaData(classIdentifier: ts.Identifier, method: ts.MethodDeclaration, functionType: FunctionPType): ts.ExpressionStatement;
+    captureGenericTypeInfo(x: ts.Expression, type: string): ts.CallExpression;
+};

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

@@ -0,0 +1,3 @@
+import type { BinaryOperator, PrefixUnaryOperator } from 'typescript';
+export declare function supportedBinaryOpString(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/test-transformer.mjs

@@ -0,0 +1,297 @@
+import { TypeResolver, anyPType, SourceLocation, ContractClassPType, FunctionPType, typeRegistry, registerPTypes } from '@algorandfoundation/puya-ts';
+import ts from 'typescript';
+
+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 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)]);
+    },
+    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, type) {
+        return factory$1.createCallExpression(factory$1.createPropertyAccessExpression(factory$1.createIdentifier('runtimeHelpers'), factory$1.createIdentifier('captureGenericTypeInfo')), undefined, [x, factory$1.createStringLiteral(type)]);
+    },
+};
+
+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.AsteriskAsteriskEqualsToken:
+        case ts.SyntaxKind.AsteriskEqualsToken:
+        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.PercentEqualsToken:
+        case ts.SyntaxKind.PlusEqualsToken:
+        case ts.SyntaxKind.QuestionQuestionEqualsToken:
+        case ts.SyntaxKind.MinusEqualsToken:
+        case ts.SyntaxKind.SlashEqualsToken:
+        case ts.SyntaxKind.QuestionQuestionToken:
+        case ts.SyntaxKind.GreaterThanGreaterThanEqualsToken:
+        case ts.SyntaxKind.LessThanLessThanEqualsToken:
+        case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanEqualsToken:
+        case ts.SyntaxKind.GreaterThanGreaterThanGreaterThanToken:
+            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 anyPType;
+                }
+            },
+            sourceLocation(node) {
+                return SourceLocation.fromNode(sourceFile, 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, node).result();
+        }
+        if (ts.isClassDeclaration(node)) {
+            return new ClassVisitor(this.context, this.helper, node).result();
+        }
+        return ts.visitEachChild(node, this.visit, this.context);
+    };
+}
+class FunctionOrMethodVisitor {
+    context;
+    constructor(context) {
+        this.context = context;
+    }
+    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 tokenText = supportedBinaryOpString(node.operatorToken.kind);
+            if (tokenText) {
+                return nodeFactory.binaryOp(node.left, node.right, tokenText);
+            }
+        }
+        if (ts.isPrefixUnaryExpression(node)) {
+            const tokenText = supportedPrefixUnaryOpString(node.operator);
+            if (tokenText) {
+                return nodeFactory.prefixUnaryOp(node.operand, tokenText);
+            }
+        }
+        return node;
+    }
+}
+class FunctionLikeDecVisitor extends FunctionOrMethodVisitor {
+    funcNode;
+    constructor(context, funcNode) {
+        super(context);
+        this.funcNode = funcNode;
+    }
+    result() {
+        return ts.visitNode(this.funcNode, this.visit);
+    }
+}
+class MethodDecVisitor extends FunctionOrMethodVisitor {
+    methodNode;
+    constructor(context, methodNode) {
+        super(context);
+        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 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 FunctionPType) {
+                    this.helper.additionalStatements.push(nodeFactory.attachMetaData(this.classDec.name, node, methodType));
+                }
+            }
+            return new MethodDecVisitor(this.context, node).result();
+        }
+        if (ts.isCallExpression(node)) {
+            let type = this.helper.resolveType(node);
+            // `voted = LocalState<uint64>()` is resolved to FunctionPType with returnType LocalState<uint64>
+            if (type instanceof FunctionPType)
+                type = type.returnType;
+            if (typeRegistry.isGeneric(type)) {
+                const typeName = type.name;
+                return nodeFactory.captureGenericTypeInfo(ts.visitEachChild(node, this.visit, this.context), typeName);
+            }
+        }
+        return ts.visitEachChild(node, this.visit, this.context);
+    };
+}
+
+const defaultTransformerConfig = {
+    includeExt: ['.algo.ts', '.spec.ts'],
+    testingPackageName: '@algorandfoundation/algorand-typescript-testing',
+};
+// const programTransformer = {
+//   type: 'program',
+//   factory(program: ts.Program): ts.TransformerFactory<ts.SourceFile> {
+//     registerPTypes(typeRegistry)
+//     return (context) => {
+//       return (sourceFile) => {
+//         if (!includes.some((i) => sourceFile.fileName.endsWith(i))) return sourceFile
+//         return new SourceFileVisitor(context, sourceFile, program).result()
+//       }
+//     }
+//   },
+// }
+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=test-transformer.mjs.map

package/test-transformer.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-transformer.mjs","sources":["../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":["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","import { FunctionPType } from '@algorandfoundation/puya-ts'\nimport ts from 'typescript'\nimport type { DeliberateAny } from '../typescript-helpers'\nimport { getPropertyNameAsString } 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\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: 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, type: string) {\n    return factory.createCallExpression(\n      factory.createPropertyAccessExpression(\n        factory.createIdentifier('runtimeHelpers'),\n        factory.createIdentifier('captureGenericTypeInfo'),\n      ),\n      undefined,\n      [x, factory.createStringLiteral(type)],\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.AsteriskAsteriskEqualsToken:\n    case ts.SyntaxKind.AsteriskEqualsToken:\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.PercentEqualsToken:\n    case ts.SyntaxKind.PlusEqualsToken:\n    case ts.SyntaxKind.QuestionQuestionEqualsToken:\n    case ts.SyntaxKind.MinusEqualsToken:\n    case ts.SyntaxKind.SlashEqualsToken:\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 supportedPrefixUnaryOpString(x: PrefixUnaryOperator): string | undefined {\n  switch (x) {\n    case ts.SyntaxKind.TildeToken:\n      return '~'\n    default:\n      return undefined\n  }\n}\n","import { anyPType, ContractClassPType, FunctionPType, PType, SourceLocation, typeRegistry, TypeResolver } from '@algorandfoundation/puya-ts'\nimport ts from 'typescript'\nimport { TransformerConfig } from './index'\nimport { nodeFactory } from './node-factory'\nimport { supportedBinaryOpString, supportedPrefixUnaryOpString } from './supported-binary-op-string'\n\nconst { factory } = ts\n\ntype VisitorHelper = {\n  additionalStatements: ts.Statement[]\n  resolveType(node: ts.Node): 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): PType {\n        try {\n          return typeResolver.resolve(node, this.sourceLocation(node))\n        } catch {\n          return anyPType\n        }\n      },\n      sourceLocation(node: ts.Node): SourceLocation {\n        return SourceLocation.fromNode(sourceFile, 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, node).result()\n    }\n    if (ts.isClassDeclaration(node)) {\n      return new ClassVisitor(this.context, this.helper, node).result()\n    }\n\n    return ts.visitEachChild(node, this.visit, this.context)\n  }\n}\n\nclass FunctionOrMethodVisitor {\n  constructor(protected context: ts.TransformationContext) {}\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 tokenText = supportedBinaryOpString(node.operatorToken.kind)\n      if (tokenText) {\n        return nodeFactory.binaryOp(node.left, node.right, tokenText)\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    return node\n  }\n}\n\nclass FunctionLikeDecVisitor extends FunctionOrMethodVisitor {\n  constructor(\n    context: ts.TransformationContext,\n    private funcNode: ts.SignatureDeclaration,\n  ) {\n    super(context)\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    private methodNode: ts.MethodDeclaration,\n  ) {\n    super(context)\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 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 FunctionPType) {\n          this.helper.additionalStatements.push(nodeFactory.attachMetaData(this.classDec.name, node, methodType))\n        }\n      }\n\n      return new MethodDecVisitor(this.context, node).result()\n    }\n\n    if (ts.isCallExpression(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 FunctionPType) type = type.returnType\n\n      if (typeRegistry.isGeneric(type)) {\n        const typeName = type.name\n        return nodeFactory.captureGenericTypeInfo(ts.visitEachChild(node, this.visit, this.context), typeName)\n      }\n    }\n    return ts.visitEachChild(node, this.visit, this.context)\n  }\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\n// const programTransformer = {\n//   type: 'program',\n//   factory(program: ts.Program): ts.TransformerFactory<ts.SourceFile> {\n//     registerPTypes(typeRegistry)\n//     return (context) => {\n//       return (sourceFile) => {\n//         if (!includes.some((i) => sourceFile.fileName.endsWith(i))) return sourceFile\n//         return new SourceFileVisitor(context, sourceFile, program).result()\n//       }\n//     }\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":";;;AAAM,MAAO,gBAAiB,SAAQ,KAAK,CAAA;AACzC,IAAA,WAAA,CAAY,OAAe,EAAA;QACzB,KAAK,CAAC,OAAO,CAAC,CAAA;KACf;AACF;;ACDM,MAAM,uBAAuB,GAAG,CAAC,IAAqB,KAAyE;AACpI,IAAA,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE;AAChC,QAAA,OAAO,IAAI,CAAA;KACZ;AACD,IAAA,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE;QACzB,OAAO,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;KACjD;IACD,MAAM,IAAI,gBAAgB,CAAC,CAAA,KAAA,EAAQ,IAAI,CAAC,IAAI,CAAyC,uCAAA,CAAA,CAAC,CAAA;AACxF,CAAC;;ACND,MAAMA,SAAO,GAAG,EAAE,CAAC,OAAO,CAAA;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,CAAA;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,CAAA;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,CAAA;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,CAAA;KACF;AAED,IAAA,cAAc,CAAC,eAA8B,EAAE,MAA4B,EAAE,YAA2B,EAAA;QACtG,MAAM,UAAU,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;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,CAAA;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,CAAA;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,CAAA;KACF;CAC8D;;AClE3D,SAAU,uBAAuB,CAAC,CAAiB,EAAA;IACvD,QAAQ,CAAC;AACP,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;AAC1B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;AACxC,YAAA,OAAO,KAAK,CAAA;AACd,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B;AAC7C,YAAA,OAAO,KAAK,CAAA;AACd,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;AACjC,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;AACvC,YAAA,OAAO,IAAI,CAAA;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;AAC5C,YAAA,OAAO,IAAI,CAAA;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;AAC9B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB;AACpC,YAAA,OAAO,IAAI,CAAA;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;AACtC,YAAA,OAAO,IAAI,CAAA;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;AAC9B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;AACtC,YAAA,OAAO,IAAI,CAAA;AACb,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY;AAC7B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc;AAC/B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,QAAQ;AACzB,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,6BAA6B,CAAC;AACjD,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC;AAC3C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC;AACxC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;AAC/C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC;AACvC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;AACrC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AAC/B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC;AAClC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;AACpC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;AAC9B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;AACrC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;AAC/B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;AAC1C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC;AAC7B,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;AACrC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC;AACtC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;AACnC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;AAC/C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;AACpC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC;AACpC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC;AACzC,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,iCAAiC,CAAC;AACrD,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B,CAAC;AAC/C,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,4CAA4C,CAAC;AAChE,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,sCAAsC;AACvD,YAAA,OAAO,SAAS,CAAA;KACnB;AACH,CAAC;AAEK,SAAU,4BAA4B,CAAC,CAAsB,EAAA;IACjE,QAAQ,CAAC;AACP,QAAA,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU;AAC3B,YAAA,OAAO,GAAG,CAAA;AACZ,QAAA;AACE,YAAA,OAAO,SAAS,CAAA;KACnB;AACH;;ACrEA,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;MAQT,iBAAiB,CAAA;AAGlB,IAAA,OAAA,CAAA;AACA,IAAA,UAAA,CAAA;AAEA,IAAA,MAAA,CAAA;AALF,IAAA,MAAM,CAAe;AAC7B,IAAA,WAAA,CACU,OAAiC,EACjC,UAAyB,EACjC,OAAmB,EACX,MAAyB,EAAA;QAHzB,IAAO,CAAA,OAAA,GAAP,OAAO,CAA0B;QACjC,IAAU,CAAA,UAAA,GAAV,UAAU,CAAe;QAEzB,IAAM,CAAA,MAAA,GAAN,MAAM,CAAmB;AAEjC,QAAA,MAAM,YAAY,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAA;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,CAAA;iBAC7D;AAAC,gBAAA,MAAM;AACN,oBAAA,OAAO,QAAQ,CAAA;iBAChB;aACF;AACD,YAAA,cAAc,CAAC,IAAa,EAAA;AAC1B,gBAAA,OAAO,cAAc,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAA;aAChF;SACF,CAAA;KACF;IAEM,MAAM,GAAA;AACX,QAAA,MAAM,iBAAiB,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAkB,CAAA;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,CAAA;KACH;AAEO,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,CAAC,MAAM,EAAE,CAAA;SAC/D;AACD,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,CAAA;SAClE;AAED,QAAA,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;AAC1D,KAAC,CAAA;AACF,CAAA;AAED,MAAM,uBAAuB,CAAA;AACL,IAAA,OAAA,CAAA;AAAtB,IAAA,WAAA,CAAsB,OAAiC,EAAA;QAAjC,IAAO,CAAA,OAAA,GAAP,OAAO,CAA0B;KAAI;AACjD,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,CAAA;AAC3E,KAAC,CAAA;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,CAAA;SACzG;AAED,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,CAAA;SACrG;AAED,QAAA,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE;YAC/B,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAA;YAClE,IAAI,SAAS,EAAE;AACb,gBAAA,OAAO,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;aAC9D;SACF;AACD,QAAA,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE;YACpC,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC7D,IAAI,SAAS,EAAE;gBACb,OAAO,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;aAC1D;SACF;AACD,QAAA,OAAO,IAAI,CAAA;KACZ;AACF,CAAA;AAED,MAAM,sBAAuB,SAAQ,uBAAuB,CAAA;AAGhD,IAAA,QAAA,CAAA;IAFV,WACE,CAAA,OAAiC,EACzB,QAAiC,EAAA;QAEzC,KAAK,CAAC,OAAO,CAAC,CAAA;QAFN,IAAQ,CAAA,QAAA,GAAR,QAAQ,CAAyB;KAG1C;IAEM,MAAM,GAAA;AACX,QAAA,OAAO,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAA4B,CAAA;KAC1E;AACF,CAAA;AACD,MAAM,gBAAiB,SAAQ,uBAAuB,CAAA;AAG1C,IAAA,UAAA,CAAA;IAFV,WACE,CAAA,OAAiC,EACzB,UAAgC,EAAA;QAExC,KAAK,CAAC,OAAO,CAAC,CAAA;QAFN,IAAU,CAAA,UAAA,GAAV,UAAU,CAAsB;KAGzC;IAEM,MAAM,GAAA;AACX,QAAA,OAAO,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAyB,CAAA;KACzE;AACF,CAAA;AAED,MAAM,YAAY,CAAA;AAGN,IAAA,OAAA,CAAA;AACA,IAAA,MAAA,CAAA;AACA,IAAA,QAAA,CAAA;AAJF,IAAA,MAAM,CAAS;AACvB,IAAA,WAAA,CACU,OAAiC,EACjC,MAAqB,EACrB,QAA6B,EAAA;QAF7B,IAAO,CAAA,OAAA,GAAP,OAAO,CAA0B;QACjC,IAAM,CAAA,MAAA,GAAN,MAAM,CAAe;QACrB,IAAQ,CAAA,QAAA,GAAR,QAAQ,CAAqB;QAErC,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC9C,IAAI,CAAC,MAAM,GAAG,SAAS,YAAY,kBAAkB,IAAI,SAAS,CAAC,MAAM,CAAA;KAC1E;IAEM,MAAM,GAAA;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAwB,CAAA;KACxD;AAEO,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,CAAA;AAChD,gBAAA,IAAI,UAAU,YAAY,aAAa,EAAE;oBACvC,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAA;iBACxG;aACF;AAED,YAAA,OAAO,IAAI,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAA;SACzD;AAED,QAAA,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE;YAC7B,IAAI,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;;YAGxC,IAAI,IAAI,YAAY,aAAa;AAAE,gBAAA,IAAI,GAAG,IAAI,CAAC,UAAU,CAAA;AAEzD,YAAA,IAAI,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;AAChC,gBAAA,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAA;gBAC1B,OAAO,WAAW,CAAC,sBAAsB,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAA;aACvG;SACF;AACD,QAAA,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;AAC1D,KAAC,CAAA;AACF;;ACpJD,MAAM,wBAAwB,GAAsB;AAClD,IAAA,UAAU,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;AACpC,IAAA,kBAAkB,EAAE,iDAAiD;CACtE,CAAA;AAED;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA,MAAM,oBAAoB,GAAG,CAAC,MAAyB,KAAI;IACzD,SAAS,cAAc,CAAC,OAAmB,EAAA;QACzC,cAAc,CAAC,YAAY,CAAC,CAAA;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,CAAA;AACtF,gBAAA,OAAO,IAAI,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,CAAA;AAC7E,aAAC,CAAA;AACH,SAAC,CAAA;KACF;AACD,IAAA,OAAO,cAAc,CAAA;AACvB,CAAC,CAAA;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,CAAA;AACH,CAAC;AACD,kBAAkB,CAAC,IAAI,GAAG,SAAS,CAAA;AACnC,kBAAkB,CAAC,OAAO,GAAG,oBAAoB,CAAC,wBAAwB,CAAC,CAAA;AAE3E;AACA;AACO,MAAM,iBAAiB,GACqD;;;;"}

package/typescript-helpers.d.ts

@@ -0,0 +1,9 @@
+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>;

package/util.d.ts

@@ -0,0 +1,26 @@
+import { internal, bytes } 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) => 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) => bytes;
+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 {};

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?: internal.primitives.StubBytesCompat;
+    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 {};

package/value-generators/index.d.ts

@@ -0,0 +1,6 @@
+import { AvmValueGenerator } from './avm';
+import { TxnValueGenerator } from './txn';
+export declare class ValueGenerator extends AvmValueGenerator {
+    txn: TxnValueGenerator;
+    constructor();
+}

package/value-generators/txn.d.ts

@@ -0,0 +1,10 @@
+import { gtxn } from '@algorandfoundation/algorand-typescript';
+import { ApplicationTransaction, ApplicationTransactionFields, AssetConfigTransaction, AssetFreezeTransaction, AssetTransferTransaction, KeyRegistrationTransaction, PaymentTransaction, TxnFields } from '../impl/transactions';
+export declare class TxnValueGenerator {
+    applicationCall(fields?: ApplicationTransactionFields): ApplicationTransaction;
+    payment(fields?: TxnFields<gtxn.PaymentTxn>): PaymentTransaction;
+    keyRegistration(fields?: TxnFields<gtxn.KeyRegistrationTxn>): KeyRegistrationTransaction;
+    assetConfig(fields?: TxnFields<gtxn.AssetConfigTxn>): AssetConfigTransaction;
+    assetTransfer(fields?: TxnFields<gtxn.AssetTransferTxn>): AssetTransferTransaction;
+    assetFreeze(fields?: TxnFields<gtxn.AssetFreezeTxn>): AssetFreezeTransaction;
+}