@algorandfoundation/puya-ts 1.2.0-beta.2 → 1.2.0-beta.21

package/analyserService.mjs

@@ -1,7 +1,8 @@
 import 'crypto';
 import 'node:worker_threads';
-export { c as createAnalyserService } from './analyser-service-DSK9g7zQ.js';
-import './options-Cbipn6vL.js';
+export { c as createAnalyserService } from './analyser-service-CGprVWba.js';
+import './contract-class-model-CLKobHyV.js';
+import './options-B93nVWrL.js';
 import 'pathe';
 import 'typescript';
 import 'node:util';
@@ -13,14 +14,14 @@ import 'url';
 import 'fs';
 import 'child_process';
 import 'glob';
-import 'arcsecond';
 import 'node:fs';
-import 'tslib';
-import 'node:buffer';
 import 'node:crypto';
+import 'polytype';
 import 'node:async_hooks';
+import 'arcsecond';
+import 'tslib';
+import 'node:buffer';
 import 'cross-spawn';
 import 'change-case';
-import 'polytype';
 import 'minimatch';
 //# sourceMappingURL=analyserService.mjs.map

package/analyserService.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"analyserService.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"analyserService.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;"}

package/arc4-clientgen-C7FQSt3R.js

@@ -0,0 +1,324 @@
+import * as abi from '@algorandfoundation/algokit-utils/abi';
+import { existsSync } from 'fs';
+import { writeFile, readFile } from 'fs/promises';
+import { C as ContractReference, b as ContractClassModel, A as AbsolutePath, l as logger, c as CodeError, d as Constants, I as InternalError, e as accountPType, f as applicationPType, g as assetPType, v as voidPType, h as anyGtxnType, p as paymentGtxnType, k as keyRegistrationGtxnType, i as assetConfigGtxnType, j as assetTransferGtxnType, m as assetFreezeGtxnType, n as applicationCallGtxnType, O as OnCompletionAction } from './contract-class-model-CLKobHyV.js';
+
+const AUTO_GENERATED_COMMENT = '// This file is auto-generated, do not modify';
+const DISABLE_ESLINT_PRAGMA = '/* eslint-disable */';
+const ARC4_PYTYPE_MAPPING = new Map([
+    ['account', accountPType],
+    ['application', applicationPType],
+    ['asset', assetPType],
+    ['void', voidPType],
+    ['txn', anyGtxnType],
+    ['pay', paymentGtxnType],
+    ['keyreg', keyRegistrationGtxnType],
+    ['acfg', assetConfigGtxnType],
+    ['axfer', assetTransferGtxnType],
+    ['afrz', assetFreezeGtxnType],
+    ['appl', applicationCallGtxnType],
+]);
+function resolveClients(compilationSet, filePaths, arc56Contracts) {
+    const sourceFileToOutDir = new Map();
+    for (const { sourceFile, outDir } of filePaths) {
+        sourceFileToOutDir.set(sourceFile.toString(), outDir);
+    }
+    const arc56Files = [];
+    for (const ref of compilationSet.compilationOutputSet) {
+        if (!(ref instanceof ContractReference)) {
+            continue;
+        }
+        const model = compilationSet.get(ref);
+        if (!(model instanceof ContractClassModel)) {
+            continue;
+        }
+        if (!model.type.isARC4) {
+            continue;
+        }
+        const sourceFile = AbsolutePath.resolve({ path: ref.moduleName });
+        const outDir = sourceFileToOutDir.get(sourceFile.toString());
+        if (outDir === undefined) {
+            logger.error(undefined, `Could not find a source file for the contract ${ref.className} at ${ref.moduleName}`);
+            continue;
+        }
+        const spec = arc56Contracts[ref.id];
+        if (spec === undefined) {
+            logger.error(undefined, `Could not find a generated spec for the contract ${ref.className} at ${ref.moduleName}`);
+            continue;
+        }
+        const name = model.options?.name || model.name;
+        arc56Files.push({
+            spec,
+            outFile: outDir.join(`${name}.client.ts`),
+        });
+    }
+    return arc56Files;
+}
+function writeARC4Clients(compilationSet, filePaths, arc56Contracts) {
+    const clientFiles = resolveClients(compilationSet, filePaths, arc56Contracts);
+    return Promise.all(clientFiles.map(async (clientTask) => {
+        await writeARC4Client(clientTask.spec, clientTask.outFile);
+    }));
+}
+async function writeARC4Client(spec, outFile) {
+    if (await shouldWriteFile(outFile)) {
+        logger.info(undefined, `Writing ${outFile.relativeTo('.')}`);
+        const typescriptClient = generateClientFor(spec);
+        await writeFile(outFile.toString(), typescriptClient, { encoding: 'utf-8' });
+    }
+    else {
+        logger.error(undefined, `Not outputting ${outFile.relativeTo('.')} since content does not appear to be auto-generated`);
+    }
+}
+async function shouldWriteFile(outFile) {
+    const filePath = outFile.toString();
+    // FIXME: There's a TOCTOU bug here...
+    if (!existsSync(filePath)) {
+        return true;
+    }
+    const contents = await readFile(filePath, { encoding: 'utf-8' });
+    return contents.startsWith(AUTO_GENERATED_COMMENT);
+}
+function generateClientFor(contract) {
+    const typeImports = new Set();
+    const imports = new Set();
+    const structToClass = new Map();
+    const reservedClassNames = new Set();
+    const reservedMethodNames = new Set();
+    const classDecls = [];
+    function useImport(name, asValue) {
+        if (asValue) {
+            if (typeImports.has(name))
+                typeImports.delete(name);
+            imports.add(name);
+        }
+        else if (!imports.has(name)) {
+            typeImports.add(name);
+        }
+    }
+    function indent(...texts) {
+        const INDENT = '  ';
+        return INDENT + texts.join('\n').replaceAll(/\n+/g, `$&${INDENT}`);
+    }
+    function classNameFor(name) {
+        const base_name = name;
+        let seq = 1;
+        while (reservedClassNames.has(name)) {
+            seq++;
+            name = `${base_name}${seq}`;
+        }
+        reservedClassNames.add(name);
+        return name;
+    }
+    function methodNameFor(name) {
+        const base_name = name;
+        let seq = 1;
+        while (reservedMethodNames.has(name)) {
+            seq++;
+            name = `${base_name}${seq}`;
+        }
+        reservedMethodNames.add(name);
+        return name;
+    }
+    function typeNameToAlgoTSName(typeName) {
+        const knownMapping = ARC4_PYTYPE_MAPPING.get(typeName);
+        if (knownMapping !== undefined) {
+            const { name, module } = knownMapping;
+            if (module === Constants.moduleNames.algoTs.gtxn) {
+                useImport('gtxn', false);
+                return `gtxn.${name}`;
+            }
+            else if (module === Constants.moduleNames.algoTs.reference) {
+                useImport(name, false);
+                return name;
+            }
+            else if (module === 'lib.d.ts') {
+                // The TypeScript prelude is always imported
+                return name;
+            }
+            throw new InternalError(`Cannot import ${name}: The module ${module} is unsupported`);
+        }
+        return ARC4ToAlgoTSName(abi.ABIType.from(typeName));
+    }
+    function ARC4ToAlgoTSName(type) {
+        useImport('arc4', false);
+        if (type instanceof abi.ABIBoolType)
+            return 'arc4.Bool';
+        if (type instanceof abi.ABIStringType)
+            return 'arc4.Str';
+        if (type instanceof abi.ABIAddressType)
+            return 'arc4.Address';
+        if (type instanceof abi.ABIByteType)
+            return 'arc4.Byte';
+        if (type instanceof abi.ABIUintType)
+            return `arc4.Uint<${type.bitSize}>`;
+        if (type instanceof abi.ABIUfixedType)
+            return `arc4.UFixed<${type.bitSize}, ${type.precision}>`;
+        if (type instanceof abi.ABIArrayStaticType) {
+            const elementType = ARC4ToAlgoTSName(type.childType);
+            return `arc4.StaticArray<${elementType}, ${type.length}>`;
+        }
+        if (type instanceof abi.ABIArrayDynamicType) {
+            if (type.childType instanceof abi.ABIByteType)
+                return 'arc4.DynamicBytes';
+            const elementType = ARC4ToAlgoTSName(type.childType);
+            return `arc4.DynamicArray<${elementType}>`;
+        }
+        if (type instanceof abi.ABITupleType) {
+            const tupleTypes = type.childTypes.map(ARC4ToAlgoTSName);
+            return `arc4.Tuple<readonly [${tupleTypes.join(', ')}]>`;
+        }
+        throw new CodeError(`unknown ARC-4 type '${type}'`);
+    }
+    function getClientType(type) {
+        // map ABI / AVM type to algots type
+        if (type === 'AVMUint64') {
+            useImport('uint64', false);
+            return 'uint64';
+        }
+        else if (type === 'AVMBytes') {
+            useImport('bytes', false);
+            return 'bytes';
+        }
+        else if (type in contract.structs) {
+            return structToClass.get(type) || prepareStructClass(type, contract.structs[type]);
+        }
+        else {
+            return typeNameToAlgoTSName(type);
+        }
+    }
+    function prepareStructClass(name, fields) {
+        useImport('arc4', true);
+        const className = classNameFor(name);
+        structToClass.set(name, className);
+        const lines = ['', `export class ${className} extends arc4.Struct<{`];
+        for (const field of fields) {
+            let type;
+            if (typeof field.type === 'string') {
+                type = getClientType(field.type);
+            }
+            else {
+                // generate anonymous struct type
+                const anonStruct = `${name}_${field.name}`;
+                type = prepareStructClass(anonStruct, field.type);
+            }
+            lines.push(indent(`${field.name}: ${type}`));
+        }
+        lines.push('}> {}');
+        classDecls.push(...lines);
+        return className;
+    }
+    function tsdoc(description) {
+        if (description === undefined || description === null) {
+            return [];
+        }
+        return ['/**', ` * ${description.replaceAll(/\n+/g, '$& * ')}`, ' */'];
+    }
+    function compatibleActions(create, call) {
+        if (create.length === 0) {
+            return true;
+        }
+        if (call.length === 0) {
+            return true;
+        }
+        // if both collections are present, then they are compatible if everything in
+        // create is also in call
+        const createSet = new Set(create);
+        const callSet = new Set(call);
+        return createSet.symmetricDifference(callSet).size === 0;
+    }
+    function ARC4MethodToTSDecorator(name, method) {
+        useImport('abimethod', true);
+        const abimethodArgs = [];
+        if (method.name !== name) {
+            abimethodArgs.push(`name: '${method.name}'`);
+        }
+        if (method.readonly) {
+            abimethodArgs.push('readonly: true');
+        }
+        // if any alias types are encountered, force index encoding
+        const argTypes = new Set(method.args.map((v) => v.type));
+        const aliasTypes = new Set(['asset', 'application', 'account']);
+        if (argTypes.intersection(aliasTypes).size !== 0) {
+            abimethodArgs.push("resourceEncoding: 'index'");
+        }
+        if (!compatibleActions(method.actions.create, method.actions.call)) {
+            // TODO: support this, once decorators support it
+            throw new CodeError(`unsupported on completion combination for generating an ARC-4 client for method: ${method.name}`);
+        }
+        const actions = [...method.actions.create, ...method.actions.call];
+        actions.sort((a, b) => OnCompletionAction[a] - OnCompletionAction[b]);
+        const uniqueActions = new Set(actions);
+        if (!(uniqueActions.size === 1 && uniqueActions.has('NoOp'))) {
+            abimethodArgs.push(`allowActions: [${actions.map((v) => `'${v}'`).join(', ')}]`);
+        }
+        if (method.actions.create.length !== 0 && method.actions.call.length !== 0) {
+            abimethodArgs.push("onCreate: 'allow'");
+        }
+        else if (method.actions.create.length !== 0) {
+            abimethodArgs.push("onCreate: 'require'");
+        }
+        else ;
+        const args = abimethodArgs.length === 0 ? '' : `{ ${abimethodArgs.join(', ')} }`;
+        return `@abimethod(${args})`;
+    }
+    function genArg(arg) {
+        const argType = getClientType(arg.struct || arg.type);
+        return `${arg.name}: ${argType},`;
+    }
+    function genMethod(method) {
+        useImport('err', true);
+        const return_type = getClientType(method.returns.struct || method.returns.type);
+        const method_name = methodNameFor(method.name);
+        const args = method.args.map(genArg);
+        let arglist;
+        if (args.length === 0) {
+            // No args -> inline arglist
+            arglist = '()';
+        }
+        else if (args.length === 1) {
+            // One arg -> inline arglist (remove trailing comma)
+            arglist = `(${args[0].slice(0, -1)})`;
+        }
+        else {
+            // At least two args -> multiline arglist
+            arglist = `(\n${indent(...args)}\n)`;
+        }
+        return indent(...tsdoc(method.desc), ARC4MethodToTSDecorator(method_name, method), `${method_name}${arglist}: ${return_type} {`, indent("err('stub only')"), '}');
+    }
+    function genMethods() {
+        const methods = [];
+        if (contract.methods.length !== 0) {
+            methods.push(genMethod(contract.methods[0]));
+        }
+        for (const method of contract.methods.slice(1)) {
+            methods.push(`\n${genMethod(method)}`);
+        }
+        return methods;
+    }
+    // generate class definitions for any referenced structs in methods
+    // don't generate from self.contract.structs as it may contain other struct definitions
+    const clientClass = classNameFor(contract.name);
+    const docs = tsdoc(contract.desc);
+    const methods = genMethods();
+    useImport('Contract', true);
+    const sortedTypeImports = [...typeImports].toSorted().join(', ');
+    const sortedImports = [...imports].toSorted().join(', ');
+    const lines = [];
+    // Header
+    lines.push(AUTO_GENERATED_COMMENT);
+    lines.push(DISABLE_ESLINT_PRAGMA);
+    if (sortedTypeImports.length !== 0)
+        lines.push(`import type { ${sortedTypeImports} } from '@algorandfoundation/algorand-typescript'`);
+    if (sortedImports.length !== 0)
+        lines.push(`import { ${sortedImports} } from '@algorandfoundation/algorand-typescript'`);
+    lines.push(
+    // Struct declarations
+    ...classDecls, '', 
+    // Contract definition
+    ...docs, `export abstract class ${clientClass} extends Contract {`, ...methods, '}', '');
+    return lines.join('\n');
+}
+
+export { writeARC4Clients as a, writeARC4Client as w };
+//# sourceMappingURL=arc4-clientgen-C7FQSt3R.js.map

package/arc4-clientgen-C7FQSt3R.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arc4-clientgen-C7FQSt3R.js","sources":["../src/arc4-clientgen.ts"],"sourcesContent":["import * as abi from '@algorandfoundation/algokit-utils/abi'\nimport { existsSync } from 'fs'\nimport { readFile, writeFile } from 'fs/promises'\nimport { ContractReference, OnCompletionAction } from './awst/models'\nimport type { CompilationSet } from './awst_build/models/contract-class-model'\nimport { ContractClassModel } from './awst_build/models/contract-class-model'\nimport type { ABICompatiblePType } from './awst_build/ptypes'\nimport * as ptype from './awst_build/ptypes'\nimport { Constants } from './constants'\nimport { CodeError, InternalError } from './errors'\nimport { logger } from './logger'\nimport type { AlgoFile } from './options'\nimport { AbsolutePath } from './util/absolute-path'\n\ntype Arc56Arg = abi.Arc56Method['args'][number]\n\ntype ClientTask = {\n  spec: abi.Arc56Contract\n  outFile: AbsolutePath\n}\n\nconst AUTO_GENERATED_COMMENT = '// This file is auto-generated, do not modify'\nconst DISABLE_ESLINT_PRAGMA = '/* eslint-disable */'\n\nconst ARC4_PYTYPE_MAPPING = new Map<string, ABICompatiblePType>([\n  ['account', ptype.accountPType],\n  ['application', ptype.applicationPType],\n  ['asset', ptype.assetPType],\n  ['void', ptype.voidPType],\n  ['txn', ptype.anyGtxnType],\n  ['pay', ptype.paymentGtxnType],\n  ['keyreg', ptype.keyRegistrationGtxnType],\n  ['acfg', ptype.assetConfigGtxnType],\n  ['axfer', ptype.assetTransferGtxnType],\n  ['afrz', ptype.assetFreezeGtxnType],\n  ['appl', ptype.applicationCallGtxnType],\n])\n\nfunction resolveClients(\n  compilationSet: CompilationSet,\n  filePaths: AlgoFile[],\n  arc56Contracts: Record<string, abi.Arc56Contract>,\n): ClientTask[] {\n  const sourceFileToOutDir = new Map<string, AbsolutePath>()\n  for (const { sourceFile, outDir } of filePaths) {\n    sourceFileToOutDir.set(sourceFile.toString(), outDir)\n  }\n\n  const arc56Files = []\n  for (const ref of compilationSet.compilationOutputSet) {\n    if (!(ref instanceof ContractReference)) {\n      continue\n    }\n    const model = compilationSet.get(ref)\n    if (!(model instanceof ContractClassModel)) {\n      continue\n    }\n    if (!model.type.isARC4) {\n      continue\n    }\n\n    const sourceFile = AbsolutePath.resolve({ path: ref.moduleName })\n    const outDir = sourceFileToOutDir.get(sourceFile.toString())\n    if (outDir === undefined) {\n      logger.error(undefined, `Could not find a source file for the contract ${ref.className} at ${ref.moduleName}`)\n      continue\n    }\n\n    const spec = arc56Contracts[ref.id]\n    if (spec === undefined) {\n      logger.error(undefined, `Could not find a generated spec for the contract ${ref.className} at ${ref.moduleName}`)\n      continue\n    }\n\n    const name = model.options?.name || model.name\n    arc56Files.push({\n      spec,\n      outFile: outDir.join(`${name}.client.ts`),\n    })\n  }\n  return arc56Files\n}\n\nexport function writeARC4Clients(compilationSet: CompilationSet, filePaths: AlgoFile[], arc56Contracts: Record<string, abi.Arc56Contract>) {\n  const clientFiles = resolveClients(compilationSet, filePaths, arc56Contracts)\n  return Promise.all(\n    clientFiles.map(async (clientTask) => {\n      await writeARC4Client(clientTask.spec, clientTask.outFile)\n    }),\n  )\n}\n\nexport async function writeARC4Client(spec: abi.Arc56Contract, outFile: AbsolutePath) {\n  if (await shouldWriteFile(outFile)) {\n    logger.info(undefined, `Writing ${outFile.relativeTo('.')}`)\n    const typescriptClient = generateClientFor(spec)\n    await writeFile(outFile.toString(), typescriptClient, { encoding: 'utf-8' })\n  } else {\n    logger.error(undefined, `Not outputting ${outFile.relativeTo('.')} since content does not appear to be auto-generated`)\n  }\n}\n\nasync function shouldWriteFile(outFile: AbsolutePath): Promise<boolean> {\n  const filePath = outFile.toString()\n  // FIXME: There's a TOCTOU bug here...\n  if (!existsSync(filePath)) {\n    return true\n  }\n  const contents = await readFile(filePath, { encoding: 'utf-8' })\n  return contents.startsWith(AUTO_GENERATED_COMMENT)\n}\n\nfunction generateClientFor(contract: abi.Arc56Contract): string {\n  const typeImports = new Set<string>()\n  const imports = new Set<string>()\n  const structToClass = new Map<string, string>()\n  const reservedClassNames = new Set<string>()\n  const reservedMethodNames = new Set<string>()\n  const classDecls: string[] = []\n\n  function useImport(name: string, asValue: boolean) {\n    if (asValue) {\n      if (typeImports.has(name)) typeImports.delete(name)\n      imports.add(name)\n    } else if (!imports.has(name)) {\n      typeImports.add(name)\n    }\n  }\n  function indent(...texts: string[]): string {\n    const INDENT = '  '\n    return INDENT + texts.join('\\n').replaceAll(/\\n+/g, `$&${INDENT}`)\n  }\n\n  function classNameFor(name: string): string {\n    const base_name = name\n    let seq = 1\n    while (reservedClassNames.has(name)) {\n      seq++\n      name = `${base_name}${seq}`\n    }\n\n    reservedClassNames.add(name)\n    return name\n  }\n\n  function methodNameFor(name: string): string {\n    const base_name = name\n    let seq = 1\n    while (reservedMethodNames.has(name)) {\n      seq++\n      name = `${base_name}${seq}`\n    }\n\n    reservedMethodNames.add(name)\n    return name\n  }\n\n  function typeNameToAlgoTSName(typeName: string): string {\n    const knownMapping = ARC4_PYTYPE_MAPPING.get(typeName)\n    if (knownMapping !== undefined) {\n      const { name, module } = knownMapping\n      if (module === Constants.moduleNames.algoTs.gtxn) {\n        useImport('gtxn', false)\n        return `gtxn.${name}`\n      } else if (module === Constants.moduleNames.algoTs.reference) {\n        useImport(name, false)\n        return name\n      } else if (module === 'lib.d.ts') {\n        // The TypeScript prelude is always imported\n        return name\n      }\n\n      throw new InternalError(`Cannot import ${name}: The module ${module} is unsupported`)\n    }\n    return ARC4ToAlgoTSName(abi.ABIType.from(typeName))\n  }\n\n  function ARC4ToAlgoTSName(type: abi.ABIType): string {\n    useImport('arc4', false)\n    if (type instanceof abi.ABIBoolType) return 'arc4.Bool'\n    if (type instanceof abi.ABIStringType) return 'arc4.Str'\n    if (type instanceof abi.ABIAddressType) return 'arc4.Address'\n    if (type instanceof abi.ABIByteType) return 'arc4.Byte'\n    if (type instanceof abi.ABIUintType) return `arc4.Uint<${type.bitSize}>`\n    if (type instanceof abi.ABIUfixedType) return `arc4.UFixed<${type.bitSize}, ${type.precision}>`\n    if (type instanceof abi.ABIArrayStaticType) {\n      const elementType = ARC4ToAlgoTSName(type.childType)\n      return `arc4.StaticArray<${elementType}, ${type.length}>`\n    }\n    if (type instanceof abi.ABIArrayDynamicType) {\n      if (type.childType instanceof abi.ABIByteType) return 'arc4.DynamicBytes'\n\n      const elementType = ARC4ToAlgoTSName(type.childType)\n      return `arc4.DynamicArray<${elementType}>`\n    }\n    if (type instanceof abi.ABITupleType) {\n      const tupleTypes = type.childTypes.map(ARC4ToAlgoTSName)\n      return `arc4.Tuple<readonly [${tupleTypes.join(', ')}]>`\n    }\n    throw new CodeError(`unknown ARC-4 type '${type}'`)\n  }\n\n  function getClientType(type: string): string {\n    // map ABI / AVM type to algots type\n    if (type === 'AVMUint64') {\n      useImport('uint64', false)\n      return 'uint64'\n    } else if (type === 'AVMBytes') {\n      useImport('bytes', false)\n      return 'bytes'\n    } else if (type in contract.structs) {\n      return structToClass.get(type) || prepareStructClass(type, contract.structs[type])\n    } else {\n      return typeNameToAlgoTSName(type)\n    }\n  }\n\n  function prepareStructClass(name: string, fields: abi.StructField[]) {\n    useImport('arc4', true)\n\n    const className = classNameFor(name)\n    structToClass.set(name, className)\n    const lines = ['', `export class ${className} extends arc4.Struct<{`]\n    for (const field of fields) {\n      let type: string\n      if (typeof field.type === 'string') {\n        type = getClientType(field.type)\n      } else {\n        // generate anonymous struct type\n        const anonStruct = `${name}_${field.name}`\n        type = prepareStructClass(anonStruct, field.type)\n      }\n      lines.push(indent(`${field.name}: ${type}`))\n    }\n    lines.push('}> {}')\n    classDecls.push(...lines)\n    return className\n  }\n\n  function tsdoc(description: string | undefined | null): string[] {\n    if (description === undefined || description === null) {\n      return []\n    }\n    return ['/**', ` * ${description.replaceAll(/\\n+/g, '$& * ')}`, ' */']\n  }\n\n  function compatibleActions(create: string[], call: string[]): boolean {\n    if (create.length === 0) {\n      return true\n    }\n    if (call.length === 0) {\n      return true\n    }\n    // if both collections are present, then they are compatible if everything in\n    // create is also in call\n    const createSet = new Set(create)\n    const callSet = new Set(call)\n    return createSet.symmetricDifference(callSet).size === 0\n  }\n\n  function ARC4MethodToTSDecorator(name: string, method: abi.Arc56Method): string {\n    useImport('abimethod', true)\n\n    const abimethodArgs: string[] = []\n    if (method.name !== name) {\n      abimethodArgs.push(`name: '${method.name}'`)\n    }\n    if (method.readonly) {\n      abimethodArgs.push('readonly: true')\n    }\n    // if any alias types are encountered, force index encoding\n    const argTypes = new Set(method.args.map((v) => v.type))\n    const aliasTypes = new Set(['asset', 'application', 'account'])\n    if (argTypes.intersection(aliasTypes).size !== 0) {\n      abimethodArgs.push(\"resourceEncoding: 'index'\")\n    }\n    if (!compatibleActions(method.actions.create, method.actions.call)) {\n      // TODO: support this, once decorators support it\n      throw new CodeError(`unsupported on completion combination for generating an ARC-4 client for method: ${method.name}`)\n    }\n    const actions = [...method.actions.create, ...method.actions.call]\n    actions.sort((a, b) => OnCompletionAction[a] - OnCompletionAction[b])\n    const uniqueActions = new Set(actions)\n\n    if (!(uniqueActions.size === 1 && uniqueActions.has('NoOp'))) {\n      abimethodArgs.push(`allowActions: [${actions.map((v) => `'${v}'`).join(', ')}]`)\n    }\n    if (method.actions.create.length !== 0 && method.actions.call.length !== 0) {\n      abimethodArgs.push(\"onCreate: 'allow'\")\n    } else if (method.actions.create.length !== 0) {\n      abimethodArgs.push(\"onCreate: 'require'\")\n    } else {\n      // disallow is default\n    }\n    const args = abimethodArgs.length === 0 ? '' : `{ ${abimethodArgs.join(', ')} }`\n    return `@abimethod(${args})`\n  }\n\n  function genArg(arg: Arc56Arg): string {\n    const argType = getClientType(arg.struct || arg.type)\n    return `${arg.name}: ${argType},`\n  }\n\n  function genMethod(method: abi.Arc56Method): string {\n    useImport('err', true)\n\n    const return_type = getClientType(method.returns.struct || method.returns.type)\n    const method_name = methodNameFor(method.name)\n    const args = method.args.map(genArg)\n    let arglist: string\n    if (args.length === 0) {\n      // No args -> inline arglist\n      arglist = '()'\n    } else if (args.length === 1) {\n      // One arg -> inline arglist (remove trailing comma)\n      arglist = `(${args[0].slice(0, -1)})`\n    } else {\n      // At least two args -> multiline arglist\n      arglist = `(\\n${indent(...args)}\\n)`\n    }\n\n    return indent(\n      ...tsdoc(method.desc),\n      ARC4MethodToTSDecorator(method_name, method),\n      `${method_name}${arglist}: ${return_type} {`,\n      indent(\"err('stub only')\"),\n      '}',\n    )\n  }\n\n  function genMethods(): string[] {\n    const methods = []\n    if (contract.methods.length !== 0) {\n      methods.push(genMethod(contract.methods[0]))\n    }\n    for (const method of contract.methods.slice(1)) {\n      methods.push(`\\n${genMethod(method)}`)\n    }\n    return methods\n  }\n\n  // generate class definitions for any referenced structs in methods\n  // don't generate from self.contract.structs as it may contain other struct definitions\n  const clientClass = classNameFor(contract.name)\n  const docs = tsdoc(contract.desc)\n  const methods = genMethods()\n  useImport('Contract', true)\n\n  const sortedTypeImports = [...typeImports].toSorted().join(', ')\n  const sortedImports = [...imports].toSorted().join(', ')\n  const lines = []\n  // Header\n  lines.push(AUTO_GENERATED_COMMENT)\n  lines.push(DISABLE_ESLINT_PRAGMA)\n  if (sortedTypeImports.length !== 0) lines.push(`import type { ${sortedTypeImports} } from '@algorandfoundation/algorand-typescript'`)\n  if (sortedImports.length !== 0) lines.push(`import { ${sortedImports} } from '@algorandfoundation/algorand-typescript'`)\n\n  lines.push(\n    // Struct declarations\n    ...classDecls,\n    '',\n    // Contract definition\n    ...docs,\n    `export abstract class ${clientClass} extends Contract {`,\n    ...methods,\n    '}',\n    '',\n  )\n  return lines.join('\\n')\n}\n"],"names":["ptype.accountPType","ptype.applicationPType","ptype.assetPType","ptype.voidPType","ptype.anyGtxnType","ptype.paymentGtxnType","ptype.keyRegistrationGtxnType","ptype.assetConfigGtxnType","ptype.assetTransferGtxnType","ptype.assetFreezeGtxnType","ptype.applicationCallGtxnType"],"mappings":";;;;;AAqBA,MAAM,sBAAsB,GAAG,+CAA+C;AAC9E,MAAM,qBAAqB,GAAG,sBAAsB;AAEpD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAA6B;AAC9D,IAAA,CAAC,SAAS,EAAEA,YAAkB,CAAC;AAC/B,IAAA,CAAC,aAAa,EAAEC,gBAAsB,CAAC;AACvC,IAAA,CAAC,OAAO,EAAEC,UAAgB,CAAC;AAC3B,IAAA,CAAC,MAAM,EAAEC,SAAe,CAAC;AACzB,IAAA,CAAC,KAAK,EAAEC,WAAiB,CAAC;AAC1B,IAAA,CAAC,KAAK,EAAEC,eAAqB,CAAC;AAC9B,IAAA,CAAC,QAAQ,EAAEC,uBAA6B,CAAC;AACzC,IAAA,CAAC,MAAM,EAAEC,mBAAyB,CAAC;AACnC,IAAA,CAAC,OAAO,EAAEC,qBAA2B,CAAC;AACtC,IAAA,CAAC,MAAM,EAAEC,mBAAyB,CAAC;AACnC,IAAA,CAAC,MAAM,EAAEC,uBAA6B,CAAC;AACxC,CAAA,CAAC;AAEF,SAAS,cAAc,CACrB,cAA8B,EAC9B,SAAqB,EACrB,cAAiD,EAAA;AAEjD,IAAA,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAwB;IAC1D,KAAK,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,SAAS,EAAE;QAC9C,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC;IACvD;IAEA,MAAM,UAAU,GAAG,EAAE;AACrB,IAAA,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,oBAAoB,EAAE;AACrD,QAAA,IAAI,EAAE,GAAG,YAAY,iBAAiB,CAAC,EAAE;YACvC;QACF;QACA,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;AACrC,QAAA,IAAI,EAAE,KAAK,YAAY,kBAAkB,CAAC,EAAE;YAC1C;QACF;AACA,QAAA,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE;YACtB;QACF;AAEA,QAAA,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;QACjE,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;AAC5D,QAAA,IAAI,MAAM,KAAK,SAAS,EAAE;AACxB,YAAA,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAA,8CAAA,EAAiD,GAAG,CAAC,SAAS,OAAO,GAAG,CAAC,UAAU,CAAA,CAAE,CAAC;YAC9G;QACF;QAEA,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;AACnC,QAAA,IAAI,IAAI,KAAK,SAAS,EAAE;AACtB,YAAA,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAA,iDAAA,EAAoD,GAAG,CAAC,SAAS,OAAO,GAAG,CAAC,UAAU,CAAA,CAAE,CAAC;YACjH;QACF;QAEA,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,IAAI,KAAK,CAAC,IAAI;QAC9C,UAAU,CAAC,IAAI,CAAC;YACd,IAAI;YACJ,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA,EAAG,IAAI,YAAY,CAAC;AAC1C,SAAA,CAAC;IACJ;AACA,IAAA,OAAO,UAAU;AACnB;SAEgB,gBAAgB,CAAC,cAA8B,EAAE,SAAqB,EAAE,cAAiD,EAAA;IACvI,MAAM,WAAW,GAAG,cAAc,CAAC,cAAc,EAAE,SAAS,EAAE,cAAc,CAAC;AAC7E,IAAA,OAAO,OAAO,CAAC,GAAG,CAChB,WAAW,CAAC,GAAG,CAAC,OAAO,UAAU,KAAI;QACnC,MAAM,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC;IAC5D,CAAC,CAAC,CACH;AACH;AAEO,eAAe,eAAe,CAAC,IAAuB,EAAE,OAAqB,EAAA;AAClF,IAAA,IAAI,MAAM,eAAe,CAAC,OAAO,CAAC,EAAE;AAClC,QAAA,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAA,QAAA,EAAW,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA,CAAE,CAAC;AAC5D,QAAA,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,IAAI,CAAC;AAChD,QAAA,MAAM,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,gBAAgB,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC9E;SAAO;AACL,QAAA,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAA,eAAA,EAAkB,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA,mDAAA,CAAqD,CAAC;IACzH;AACF;AAEA,eAAe,eAAe,CAAC,OAAqB,EAAA;AAClD,IAAA,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE;;AAEnC,IAAA,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE;AACzB,QAAA,OAAO,IAAI;IACb;AACA,IAAA,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAChE,IAAA,OAAO,QAAQ,CAAC,UAAU,CAAC,sBAAsB,CAAC;AACpD;AAEA,SAAS,iBAAiB,CAAC,QAA2B,EAAA;AACpD,IAAA,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU;AACrC,IAAA,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU;AACjC,IAAA,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB;AAC/C,IAAA,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU;AAC5C,IAAA,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAU;IAC7C,MAAM,UAAU,GAAa,EAAE;AAE/B,IAAA,SAAS,SAAS,CAAC,IAAY,EAAE,OAAgB,EAAA;QAC/C,IAAI,OAAO,EAAE;AACX,YAAA,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;AAAE,gBAAA,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;AACnD,YAAA,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QACnB;aAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;AAC7B,YAAA,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;QACvB;IACF;IACA,SAAS,MAAM,CAAC,GAAG,KAAe,EAAA;QAChC,MAAM,MAAM,GAAG,IAAI;AACnB,QAAA,OAAO,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,MAAM,CAAA,CAAE,CAAC;IACpE;IAEA,SAAS,YAAY,CAAC,IAAY,EAAA;QAChC,MAAM,SAAS,GAAG,IAAI;QACtB,IAAI,GAAG,GAAG,CAAC;AACX,QAAA,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;AACnC,YAAA,GAAG,EAAE;AACL,YAAA,IAAI,GAAG,CAAA,EAAG,SAAS,CAAA,EAAG,GAAG,EAAE;QAC7B;AAEA,QAAA,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;AAC5B,QAAA,OAAO,IAAI;IACb;IAEA,SAAS,aAAa,CAAC,IAAY,EAAA;QACjC,MAAM,SAAS,GAAG,IAAI;QACtB,IAAI,GAAG,GAAG,CAAC;AACX,QAAA,OAAO,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;AACpC,YAAA,GAAG,EAAE;AACL,YAAA,IAAI,GAAG,CAAA,EAAG,SAAS,CAAA,EAAG,GAAG,EAAE;QAC7B;AAEA,QAAA,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC;AAC7B,QAAA,OAAO,IAAI;IACb;IAEA,SAAS,oBAAoB,CAAC,QAAgB,EAAA;QAC5C,MAAM,YAAY,GAAG,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC;AACtD,QAAA,IAAI,YAAY,KAAK,SAAS,EAAE;AAC9B,YAAA,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,YAAY;YACrC,IAAI,MAAM,KAAK,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE;AAChD,gBAAA,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC;gBACxB,OAAO,CAAA,KAAA,EAAQ,IAAI,CAAA,CAAE;YACvB;iBAAO,IAAI,MAAM,KAAK,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE;AAC5D,gBAAA,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC;AACtB,gBAAA,OAAO,IAAI;YACb;AAAO,iBAAA,IAAI,MAAM,KAAK,UAAU,EAAE;;AAEhC,gBAAA,OAAO,IAAI;YACb;YAEA,MAAM,IAAI,aAAa,CAAC,CAAA,cAAA,EAAiB,IAAI,CAAA,aAAA,EAAgB,MAAM,CAAA,eAAA,CAAiB,CAAC;QACvF;QACA,OAAO,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrD;IAEA,SAAS,gBAAgB,CAAC,IAAiB,EAAA;AACzC,QAAA,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC;AACxB,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,WAAW;AAAE,YAAA,OAAO,WAAW;AACvD,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,aAAa;AAAE,YAAA,OAAO,UAAU;AACxD,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,cAAc;AAAE,YAAA,OAAO,cAAc;AAC7D,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,WAAW;AAAE,YAAA,OAAO,WAAW;AACvD,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,WAAW;AAAE,YAAA,OAAO,CAAA,UAAA,EAAa,IAAI,CAAC,OAAO,GAAG;AACxE,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,aAAa;YAAE,OAAO,CAAA,YAAA,EAAe,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,SAAS,CAAA,CAAA,CAAG;AAC/F,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,kBAAkB,EAAE;YAC1C,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC;AACpD,YAAA,OAAO,oBAAoB,WAAW,CAAA,EAAA,EAAK,IAAI,CAAC,MAAM,GAAG;QAC3D;AACA,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,mBAAmB,EAAE;AAC3C,YAAA,IAAI,IAAI,CAAC,SAAS,YAAY,GAAG,CAAC,WAAW;AAAE,gBAAA,OAAO,mBAAmB;YAEzE,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC;YACpD,OAAO,CAAA,kBAAA,EAAqB,WAAW,CAAA,CAAA,CAAG;QAC5C;AACA,QAAA,IAAI,IAAI,YAAY,GAAG,CAAC,YAAY,EAAE;YACpC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC;YACxD,OAAO,CAAA,qBAAA,EAAwB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC1D;AACA,QAAA,MAAM,IAAI,SAAS,CAAC,uBAAuB,IAAI,CAAA,CAAA,CAAG,CAAC;IACrD;IAEA,SAAS,aAAa,CAAC,IAAY,EAAA;;AAEjC,QAAA,IAAI,IAAI,KAAK,WAAW,EAAE;AACxB,YAAA,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC;AAC1B,YAAA,OAAO,QAAQ;QACjB;AAAO,aAAA,IAAI,IAAI,KAAK,UAAU,EAAE;AAC9B,YAAA,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC;AACzB,YAAA,OAAO,OAAO;QAChB;AAAO,aAAA,IAAI,IAAI,IAAI,QAAQ,CAAC,OAAO,EAAE;AACnC,YAAA,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpF;aAAO;AACL,YAAA,OAAO,oBAAoB,CAAC,IAAI,CAAC;QACnC;IACF;AAEA,IAAA,SAAS,kBAAkB,CAAC,IAAY,EAAE,MAAyB,EAAA;AACjE,QAAA,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;AAEvB,QAAA,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC;AACpC,QAAA,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,EAAE,EAAE,CAAA,aAAA,EAAgB,SAAS,CAAA,sBAAA,CAAwB,CAAC;AACrE,QAAA,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;AAC1B,YAAA,IAAI,IAAY;AAChB,YAAA,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE;AAClC,gBAAA,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;YAClC;iBAAO;;gBAEL,MAAM,UAAU,GAAG,CAAA,EAAG,IAAI,IAAI,KAAK,CAAC,IAAI,CAAA,CAAE;gBAC1C,IAAI,GAAG,kBAAkB,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC;YACnD;AACA,YAAA,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA,EAAG,KAAK,CAAC,IAAI,CAAA,EAAA,EAAK,IAAI,CAAA,CAAE,CAAC,CAAC;QAC9C;AACA,QAAA,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;AACnB,QAAA,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;AACzB,QAAA,OAAO,SAAS;IAClB;IAEA,SAAS,KAAK,CAAC,WAAsC,EAAA;QACnD,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,KAAK,IAAI,EAAE;AACrD,YAAA,OAAO,EAAE;QACX;AACA,QAAA,OAAO,CAAC,KAAK,EAAE,CAAA,GAAA,EAAM,WAAW,CAAC,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA,CAAE,EAAE,KAAK,CAAC;IACxE;AAEA,IAAA,SAAS,iBAAiB,CAAC,MAAgB,EAAE,IAAc,EAAA;AACzD,QAAA,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;AACvB,YAAA,OAAO,IAAI;QACb;AACA,QAAA,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;AACrB,YAAA,OAAO,IAAI;QACb;;;AAGA,QAAA,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC;AACjC,QAAA,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC;QAC7B,OAAO,SAAS,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC;IAC1D;AAEA,IAAA,SAAS,uBAAuB,CAAC,IAAY,EAAE,MAAuB,EAAA;AACpE,QAAA,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC;QAE5B,MAAM,aAAa,GAAa,EAAE;AAClC,QAAA,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE;YACxB,aAAa,CAAC,IAAI,CAAC,CAAA,OAAA,EAAU,MAAM,CAAC,IAAI,CAAA,CAAA,CAAG,CAAC;QAC9C;AACA,QAAA,IAAI,MAAM,CAAC,QAAQ,EAAE;AACnB,YAAA,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC;QACtC;;QAEA,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC;AACxD,QAAA,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;QAC/D,IAAI,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE;AAChD,YAAA,aAAa,CAAC,IAAI,CAAC,2BAA2B,CAAC;QACjD;AACA,QAAA,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;;YAElE,MAAM,IAAI,SAAS,CAAC,CAAA,iFAAA,EAAoF,MAAM,CAAC,IAAI,CAAA,CAAE,CAAC;QACxH;AACA,QAAA,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;AACrE,QAAA,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC;AAEtC,QAAA,IAAI,EAAE,aAAa,CAAC,IAAI,KAAK,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE;YAC5D,aAAa,CAAC,IAAI,CAAC,CAAA,eAAA,EAAkB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAA,CAAA,EAAI,CAAC,CAAA,CAAA,CAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA,CAAA,CAAG,CAAC;QAClF;QACA,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;AAC1E,YAAA,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;QACzC;aAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;AAC7C,YAAA,aAAa,CAAC,IAAI,CAAC,qBAAqB,CAAC;QAC3C;aAAO;QAGP,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,GAAG,KAAK,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA,EAAA,CAAI;QAChF,OAAO,CAAA,WAAA,EAAc,IAAI,CAAA,CAAA,CAAG;IAC9B;IAEA,SAAS,MAAM,CAAC,GAAa,EAAA;AAC3B,QAAA,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC;AACrD,QAAA,OAAO,GAAG,GAAG,CAAC,IAAI,CAAA,EAAA,EAAK,OAAO,GAAG;IACnC;IAEA,SAAS,SAAS,CAAC,MAAuB,EAAA;AACxC,QAAA,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC;AAEtB,QAAA,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;QAC/E,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;AACpC,QAAA,IAAI,OAAe;AACnB,QAAA,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;;YAErB,OAAO,GAAG,IAAI;QAChB;AAAO,aAAA,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE;;AAE5B,YAAA,OAAO,GAAG,CAAA,CAAA,EAAI,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;QACvC;aAAO;;YAEL,OAAO,GAAG,MAAM,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK;QACtC;AAEA,QAAA,OAAO,MAAM,CACX,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EACrB,uBAAuB,CAAC,WAAW,EAAE,MAAM,CAAC,EAC5C,CAAA,EAAG,WAAW,CAAA,EAAG,OAAO,CAAA,EAAA,EAAK,WAAW,CAAA,EAAA,CAAI,EAC5C,MAAM,CAAC,kBAAkB,CAAC,EAC1B,GAAG,CACJ;IACH;AAEA,IAAA,SAAS,UAAU,GAAA;QACjB,MAAM,OAAO,GAAG,EAAE;QAClB,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE;AACjC,YAAA,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C;AACA,QAAA,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YAC9C,OAAO,CAAC,IAAI,CAAC,CAAA,EAAA,EAAK,SAAS,CAAC,MAAM,CAAC,CAAA,CAAE,CAAC;QACxC;AACA,QAAA,OAAO,OAAO;IAChB;;;IAIA,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;AACjC,IAAA,MAAM,OAAO,GAAG,UAAU,EAAE;AAC5B,IAAA,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC;AAE3B,IAAA,MAAM,iBAAiB,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;AAChE,IAAA,MAAM,aAAa,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,KAAK,GAAG,EAAE;;AAEhB,IAAA,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC;AAClC,IAAA,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC;AACjC,IAAA,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC;AAAE,QAAA,KAAK,CAAC,IAAI,CAAC,iBAAiB,iBAAiB,CAAA,iDAAA,CAAmD,CAAC;AACrI,IAAA,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;AAAE,QAAA,KAAK,CAAC,IAAI,CAAC,YAAY,aAAa,CAAA,iDAAA,CAAmD,CAAC;AAExH,IAAA,KAAK,CAAC,IAAI;;IAER,GAAG,UAAU,EACb,EAAE;;AAEF,IAAA,GAAG,IAAI,EACP,CAAA,sBAAA,EAAyB,WAAW,CAAA,mBAAA,CAAqB,EACzD,GAAG,OAAO,EACV,GAAG,EACH,EAAE,CACH;AACD,IAAA,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;AACzB;;;;"}

package/arc4-clientgen.d.ts

@@ -0,0 +1,6 @@
+import * as abi from '@algorandfoundation/algokit-utils/abi';
+import type { CompilationSet } from './awst_build/models/contract-class-model';
+import type { AlgoFile } from './options';
+import { AbsolutePath } from './util/absolute-path';
+export declare function writeARC4Clients(compilationSet: CompilationSet, filePaths: AlgoFile[], arc56Contracts: Record<string, abi.Arc56Contract>): Promise<void[]>;
+export declare function writeARC4Client(spec: abi.Arc56Contract, outFile: AbsolutePath): Promise<void>;

package/awst/intrinsic-factory.d.ts

@@ -8,14 +8,16 @@ export declare const intrinsicFactory: {
         right: awst.Expression;
         sourceLocation: SourceLocation;
     }): awst.BytesConstant | awst.StringConstant | awst.IntrinsicCall;
-    err({ sourceLocation, comment }: {
+    err({ sourceLocation, comment, logError }: {
         sourceLocation: SourceLocation;
         comment: string | null;
+        logError?: boolean;
     }): awst.AssertExpression;
-    assert({ sourceLocation, comment, condition }: {
+    assert({ sourceLocation, comment, condition, logError, }: {
         sourceLocation: SourceLocation;
         comment: string | null;
         condition: Expression;
+        logError?: boolean;
     }): awst.AssertExpression;
     bytesLen({ value, sourceLocation }: {
         value: awst.Expression;

package/awst/node-factory.d.ts

@@ -10,6 +10,7 @@ declare const explicitNodeFactory: {
         sourceLocation: SourceLocation;
         wtype: wtypes.WType;
         errorMessage: string | null;
+        logError?: boolean;
     }): AssertExpression;
     voidConstant(props: {
         sourceLocation: SourceLocation;

package/awst/nodes.d.ts

@@ -73,6 +73,7 @@ export declare class AssertExpression extends Expression {
     readonly errorMessage: string | null;
     readonly wtype: wtypes.WType;
     readonly explicit: boolean;
+    readonly logError: boolean;
     accept<T>(visitor: ExpressionVisitor<T>): T;
 }
 export declare class IntegerConstant extends Expression {
@@ -151,7 +152,7 @@ export declare class AddressConstant extends Expression {
 export declare class ARC4Encode extends Expression {
     constructor(props: Props<ARC4Encode>);
     readonly value: Expression;
-    readonly wtype: wtypes.ARC4Type;
+    readonly wtype: wtypes.ARC4Type | wtypes.BytesWType;
     readonly errorMessage: string | null;
     accept<T>(visitor: ExpressionVisitor<T>): T;
 }
@@ -468,6 +469,14 @@ export declare class SubroutineCallExpression extends Expression {
     readonly args: Array<CallArg>;
     accept<T>(visitor: ExpressionVisitor<T>): T;
 }
+export declare class ABICall extends Expression {
+    constructor(props: Props<ABICall>);
+    readonly target: MethodSignature | MethodSignatureString | null;
+    readonly args: Array<Expression>;
+    readonly fields: Map<TxnField, Expression>;
+    readonly wtype: wtypes.WABICallInnerTransactionFields;
+    accept<T>(visitor: ExpressionVisitor<T>): T;
+}
 export declare class PuyaLibData {
     constructor(props: Props<PuyaLibData>);
     readonly id: string;
@@ -619,9 +628,15 @@ export declare class BytesAugmentedAssignment extends Statement {
     readonly value: Expression;
     accept<T>(visitor: StatementVisitor<T>): T;
 }
+export declare class EmitFields extends Expression {
+    constructor(props: Props<EmitFields>);
+    readonly signature: string;
+    readonly values: Array<Expression>;
+    readonly wtype: wtypes.WType;
+    accept<T>(visitor: ExpressionVisitor<T>): T;
+}
 export declare class Emit extends Expression {
     constructor(props: Props<Emit>);
-    readonly signature: string;
     readonly value: Expression;
     readonly wtype: wtypes.WType;
     accept<T>(visitor: ExpressionVisitor<T>): T;
@@ -746,6 +761,7 @@ export declare class LogicSignature extends RootNode {
     readonly docstring: string | null;
     readonly reservedScratchSpace: Set<bigint>;
     readonly avmVersion: bigint | null;
+    readonly validateEncoding: boolean | null;
     accept<T>(visitor: RootNodeVisitor<T>): T;
 }
 export declare class CompiledContract extends Expression {
@@ -893,6 +909,7 @@ export declare const concreteNodes: {
     readonly contractMethodTarget: typeof ContractMethodTarget;
     readonly callArg: typeof CallArg;
     readonly subroutineCallExpression: typeof SubroutineCallExpression;
+    readonly aBICall: typeof ABICall;
     readonly puyaLibData: typeof PuyaLibData;
     readonly puyaLibCall: typeof PuyaLibCall;
     readonly uInt64UnaryOperation: typeof UInt64UnaryOperation;
@@ -907,6 +924,7 @@ export declare const concreteNodes: {
     readonly uInt64AugmentedAssignment: typeof UInt64AugmentedAssignment;
     readonly bigUIntAugmentedAssignment: typeof BigUIntAugmentedAssignment;
     readonly bytesAugmentedAssignment: typeof BytesAugmentedAssignment;
+    readonly emitFields: typeof EmitFields;
     readonly emit: typeof Emit;
     readonly range: typeof Range;
     readonly enumeration: typeof Enumeration;
@@ -1003,6 +1021,7 @@ export interface ExpressionVisitor<T> {
     visitNumericComparisonExpression(expression: NumericComparisonExpression): T;
     visitBytesComparisonExpression(expression: BytesComparisonExpression): T;
     visitSubroutineCallExpression(expression: SubroutineCallExpression): T;
+    visitABICall(expression: ABICall): T;
     visitPuyaLibCall(expression: PuyaLibCall): T;
     visitUInt64UnaryOperation(expression: UInt64UnaryOperation): T;
     visitUInt64PostfixUnaryOperation(expression: UInt64PostfixUnaryOperation): T;
@@ -1013,6 +1032,7 @@ export interface ExpressionVisitor<T> {
     visitBytesBinaryOperation(expression: BytesBinaryOperation): T;
     visitBooleanBinaryOperation(expression: BooleanBinaryOperation): T;
     visitNot(expression: Not): T;
+    visitEmitFields(expression: EmitFields): T;
     visitEmit(expression: Emit): T;
     visitRange(expression: Range): T;
     visitEnumeration(expression: Enumeration): T;

package/awst/to-code-visitor.d.ts

@@ -45,6 +45,7 @@ export declare class ToCodeVisitor implements nodes.RootNodeVisitor<string[]>, n
     visitTupleItemExpression(expression: nodes.TupleItemExpression): string;
     visitVarExpression(expression: nodes.VarExpression): string;
     visitInnerTransactionField(expression: nodes.InnerTransactionField): string;
+    visitABICall(expression: nodes.ABICall): string;
     visitSetInnerTransactionFields(expression: nodes.SetInnerTransactionFields): string;
     visitSizeOf(expression: nodes.SizeOf): string;
     visitSubmitInnerTransaction(expression: nodes.SubmitInnerTransaction): string;
@@ -89,6 +90,7 @@ export declare class ToCodeVisitor implements nodes.RootNodeVisitor<string[]>, n
     visitForInLoop(statement: nodes.ForInLoop): string[];
     visitSubroutine(moduleStatement: nodes.Subroutine): string[];
     visitEmit(expression: nodes.Emit): string;
+    visitEmitFields(expression: nodes.EmitFields): string;
     visitContractMethod(statement: nodes.ContractMethod): string[];
     visitLogicSignature(moduleStatement: nodes.LogicSignature): string[];
     visitAssertExpression(expression: nodes.AssertExpression): string;

package/awst/validation/awst-traverser.d.ts

@@ -1,4 +1,4 @@
-import type { AddressConstant, AppAccountStateExpression, AppStateExpression, AppStorageDefinition, ARC4Decode, ARC4Encode, ARC4FromBytes, ARC4Router, ArrayConcat, ArrayExtend, ArrayLength, ArrayPop, ArrayReplace, AssertExpression, AssignmentExpression, AssignmentStatement, BigUIntAugmentedAssignment, BigUIntBinaryOperation, BigUIntPostfixUnaryOperation, Block, BoolConstant, BooleanBinaryOperation, BoxPrefixedKeyExpression, BoxValueExpression, BytesAugmentedAssignment, BytesBinaryOperation, BytesComparisonExpression, BytesConstant, BytesUnaryOperation, CheckedMaybe, CommaExpression, CompiledContract, CompiledLogicSig, ConditionalExpression, Contract, ContractMemberNodeVisitor, ContractMethod, ConvertArray, Copy, CreateInnerTransaction, DecimalConstant, Emit, Enumeration, ExpressionStatement, ExpressionVisitor, FieldExpression, ForInLoop, Goto, GroupTransactionReference, IfElse, IndexExpression, InnerTransactionField, IntegerConstant, IntersectionSliceExpression, IntrinsicCall, LogicSignature, LoopContinue, LoopExit, MethodConstant, NamedTupleExpression, NewArray, NewStruct, Not, NumericComparisonExpression, PuyaLibCall, Range, ReinterpretCast, ReturnStatement, Reversed, RootNodeVisitor, SetInnerTransactionFields, SingleEvaluation, SizeOf, SliceExpression, StageInnerTransactions, StateDelete, StateExists, StateGet, StateGetEx, StatementVisitor, StringConstant, SubmitInnerTransaction, Subroutine, SubroutineCallExpression, Switch, TemplateVar, TupleExpression, TupleItemExpression, UInt64AugmentedAssignment, UInt64BinaryOperation, UInt64PostfixUnaryOperation, UInt64UnaryOperation, UpdateInnerTransaction, VarExpression, VoidConstant, WhileLoop } from '../nodes';
+import type { ABICall, AddressConstant, AppAccountStateExpression, AppStateExpression, AppStorageDefinition, ARC4Decode, ARC4Encode, ARC4FromBytes, ARC4Router, ArrayConcat, ArrayExtend, ArrayLength, ArrayPop, ArrayReplace, AssertExpression, AssignmentExpression, AssignmentStatement, BigUIntAugmentedAssignment, BigUIntBinaryOperation, BigUIntPostfixUnaryOperation, Block, BoolConstant, BooleanBinaryOperation, BoxPrefixedKeyExpression, BoxValueExpression, BytesAugmentedAssignment, BytesBinaryOperation, BytesComparisonExpression, BytesConstant, BytesUnaryOperation, CheckedMaybe, CommaExpression, CompiledContract, CompiledLogicSig, ConditionalExpression, Contract, ContractMemberNodeVisitor, ContractMethod, ConvertArray, Copy, CreateInnerTransaction, DecimalConstant, Emit, EmitFields, Enumeration, ExpressionStatement, ExpressionVisitor, FieldExpression, ForInLoop, Goto, GroupTransactionReference, IfElse, IndexExpression, InnerTransactionField, IntegerConstant, IntersectionSliceExpression, IntrinsicCall, LogicSignature, LoopContinue, LoopExit, MethodConstant, NamedTupleExpression, NewArray, NewStruct, Not, NumericComparisonExpression, PuyaLibCall, Range, ReinterpretCast, ReturnStatement, Reversed, RootNodeVisitor, SetInnerTransactionFields, SingleEvaluation, SizeOf, SliceExpression, StageInnerTransactions, StateDelete, StateExists, StateGet, StateGetEx, StatementVisitor, StringConstant, SubmitInnerTransaction, Subroutine, SubroutineCallExpression, Switch, TemplateVar, TupleExpression, TupleItemExpression, UInt64AugmentedAssignment, UInt64BinaryOperation, UInt64PostfixUnaryOperation, UInt64UnaryOperation, UpdateInnerTransaction, VarExpression, VoidConstant, WhileLoop } from '../nodes';
 export declare class FunctionTraverser implements ExpressionVisitor<void>, StatementVisitor<void> {
     visitExpressionStatement(statement: ExpressionStatement): void;
     visitBlock(statement: Block): void;
@@ -46,6 +46,7 @@ export declare class FunctionTraverser implements ExpressionVisitor<void>, State
     visitNamedTupleExpression(expression: NamedTupleExpression): void;
     visitVarExpression(expression: VarExpression): void;
     visitInnerTransactionField(expression: InnerTransactionField): void;
+    visitABICall(expression: ABICall): void;
     visitSetInnerTransactionFields(expression: SetInnerTransactionFields): void;
     visitSubmitInnerTransaction(expression: SubmitInnerTransaction): void;
     visitSizeOf(expression: SizeOf): void;
@@ -76,6 +77,7 @@ export declare class FunctionTraverser implements ExpressionVisitor<void>, State
     visitBooleanBinaryOperation(expression: BooleanBinaryOperation): void;
     visitNot(expression: Not): void;
     visitEmit(expression: Emit): void;
+    visitEmitFields(expression: EmitFields): void;
     visitRange(expression: Range): void;
     visitEnumeration(expression: Enumeration): void;
     visitReversed(expression: Reversed): void;

package/awst/wtypes.d.ts

@@ -90,8 +90,15 @@ export declare namespace wtypes {
     }
     class WInnerTransactionFields extends WType {
         transactionType: TransactionKind | null;
-        constructor({ transactionType }: {
+        constructor({ transactionType, name }: {
             transactionType?: TransactionKind;
+            name?: string;
+        });
+    }
+    class WABICallInnerTransactionFields extends WInnerTransactionFields {
+        resultType: WType;
+        constructor({ returnType }: {
+            returnType?: WType;
         });
     }
     class ARC4UIntN extends ARC4Type {

package/awst_build/arc4-util.d.ts

@@ -1,17 +1,6 @@
-import type { ResourceEncoding } from '../awst';
 import { ARC4ABIMethodConfig } from '../awst/nodes';
 import type { SourceLocation } from '../awst/source-location';
-import type { ABICompatiblePType, FunctionPType, PType } from './ptypes';
-import { ArrayPType, FixedArrayPType, ImmutableObjectPType, MutableTuplePType, ReadonlyArrayPType, ReadonlyTuplePType } from './ptypes';
-import { ARC4EncodedType, ARC4StructType, ARC4TupleType, DynamicArrayType, StaticArrayType } from './ptypes/arc4-types';
-/**
- * For a given ptype, return the equivalent ABI compatible type - or error if there is no compatible type
- * @param ptype The type of the parameter
- * @param direction The direction of the parameter (in for method args, out for method returns)
- * @param resourceEncoding The encoding strategy for the foreign resource types (App, Asset, Account)
- * @param sourceLocation The location of the method or parameter, for use in error metadata
- */
-export declare function ptypeToAbiPType(ptype: PType, direction: 'in' | 'out', resourceEncoding: ResourceEncoding, sourceLocation: SourceLocation): ABICompatiblePType;
+import type { FunctionPType } from './ptypes';
 export declare function arc4ConfigFromType(functionType: FunctionPType, sourceLocation: SourceLocation): {
     arc4Config: ARC4ABIMethodConfig;
     methodSelector: import("../awst/nodes").MethodConstant;
@@ -23,29 +12,3 @@ export declare function arc4ConfigFromType(functionType: FunctionPType, sourceLo
  * @param sourceLocation The source location of the code generating the constant,
  */
 export declare function buildArc4MethodConstant(functionType: FunctionPType, arc4Config: ARC4ABIMethodConfig, sourceLocation: SourceLocation): import("../awst/nodes").MethodConstant;
-/**
- * Get the ARC4 type name for a ptype, or throw if the ptype is not usable in an ABI method.
- * @param ptype The ptype of the parameter
- * @param direction The direction of the parameter (in for method args, out for method returns)
- * @param resourceEncoding The encoding strategy for the foreign resource types (App, Asset, Account)
- * @param sourceLocation The location of the method or parameter, for use in error metadata
- */
-export declare function getABITypeName(ptype: PType, direction: 'in' | 'out', resourceEncoding: ResourceEncoding, sourceLocation: SourceLocation): string;
-/**
- * Is the given type an ARC4 encoded type, or can it be encoded to one
- * @param ptype The type to check
- */
-export declare function isArc4EncodableType(ptype: PType): boolean;
-/**
- * For a given type, return the arc4 encoded version of that type
- * @param ptype The type to be encoded
- * @param sourceLocation The source location triggering the conversion
- */
-export declare function ptypeToArc4EncodedType(ptype: ReadonlyTuplePType, sourceLocation: SourceLocation): ARC4TupleType;
-export declare function ptypeToArc4EncodedType(ptype: MutableTuplePType, sourceLocation: SourceLocation): ARC4TupleType;
-export declare function ptypeToArc4EncodedType(ptype: ImmutableObjectPType, sourceLocation: SourceLocation): ARC4StructType;
-export declare function ptypeToArc4EncodedType(ptype: ArrayPType, sourceLocation: SourceLocation): DynamicArrayType;
-export declare function ptypeToArc4EncodedType(ptype: ReadonlyArrayPType, sourceLocation: SourceLocation): DynamicArrayType;
-export declare function ptypeToArc4EncodedType(ptype: FixedArrayPType, sourceLocation: SourceLocation): StaticArrayType;
-export declare function ptypeToArc4EncodedType<T extends ARC4EncodedType>(ptype: T, sourceLocation: SourceLocation): T;
-export declare function ptypeToArc4EncodedType(ptype: PType, sourceLocation: SourceLocation): ARC4EncodedType;