@algorandfoundation/puya-ts 1.2.0-beta.34 → 1.2.0-beta.36

package/analyserService.mjs

@@ -1,8 +1,8 @@
 import 'crypto';
 import 'node:worker_threads';
-export { c as createAnalyserService } from './analyser-service-DjrWRS0-.js';
-import './contract-class-model-Dpn9A-pJ.js';
-import './options-BCW57sPn.js';
+export { c as createAnalyserService } from './analyser-service-C1sYEdlC.js';
+import './contract-class-model-CkfUf4wT.js';
+import './options-BMqysQHP.js';
 import 'pathe';
 import 'typescript';
 import 'node:util';

package/{arc4-clientgen-CZtNN1eT.js → arc4-clientgen-BBdFxRUs.js}

@@ -1,7 +1,7 @@
 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-Dpn9A-pJ.js';
+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-CkfUf4wT.js';
 
 const AUTO_GENERATED_COMMENT = '// This file is auto-generated, do not modify';
 const DISABLE_ESLINT_PRAGMA = '/* eslint-disable */';
@@ -321,4 +321,4 @@ function generateClientFor(contract) {
 }
 
 export { writeARC4Clients as a, writeARC4Client as w };
-//# sourceMappingURL=arc4-clientgen-CZtNN1eT.js.map
+//# sourceMappingURL=arc4-clientgen-BBdFxRUs.js.map

package/{arc4-clientgen-CZtNN1eT.js.map → arc4-clientgen-BBdFxRUs.js.map}

@@ -1 +1 @@
-{"version":3,"file":"arc4-clientgen-CZtNN1eT.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 === Constants.moduleNames.tslib) {\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;iBAAO,IAAI,MAAM,KAAK,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE;;AAEjD,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;;;;"}
+{"version":3,"file":"arc4-clientgen-BBdFxRUs.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 === Constants.moduleNames.tslib) {\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;iBAAO,IAAI,MAAM,KAAK,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE;;AAEjD,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/awst/wtypes.d.ts

@@ -56,10 +56,8 @@ export declare namespace wtypes {
     export class ReferenceArray extends WType {
         readonly elementType: WType;
         readonly sourceLocation: SourceLocation | null;
-        readonly immutable = false;
         constructor(props: {
             itemType: WType;
-            immutable: boolean;
             sourceLocation?: SourceLocation;
         });
     }
@@ -82,10 +80,9 @@ export declare namespace wtypes {
         });
     }
     export class WInnerTransactionFields extends WType {
-        transactionType: TransactionKind | null;
-        constructor({ transactionType, name }: {
+        readonly transactionType: TransactionKind | null;
+        constructor({ transactionType }: {
             transactionType?: TransactionKind;
-            name?: string;
         });
     }
     export class WABICallInnerTransactionFields extends WInnerTransactionFields {

package/awst_build/ast-visitors/base-visitor.d.ts

@@ -11,7 +11,6 @@ export declare abstract class BaseVisitor implements Visitor<Expressions, NodeBu
     private baseAccept;
     readonly textVisitor: TextVisitor;
     get context(): AwstBuildContext;
-    protected constructor();
     logNotSupported(node: ts.Node | undefined, message: string): void;
     throwNotSupported(node: ts.Node, message: string): never;
     visitBigIntLiteral(node: ts.BigIntLiteral): InstanceBuilder;

package/awst_build/ast-visitors/contract-method-visitor.d.ts

@@ -1,5 +1,5 @@
 import type ts from 'typescript';
-import * as awst from '../../awst/nodes';
+import { ContractMethod } from '../../awst/nodes';
 import type { SourceLocation } from '../../awst/source-location';
 import type { NodeBuilder } from '../eb';
 import type { ContractClassPType, FunctionPType } from '../ptypes';
@@ -13,8 +13,8 @@ export declare class ContractMethodBaseVisitor extends FunctionVisitor {
 export declare class ContractMethodVisitor extends ContractMethodBaseVisitor {
     private readonly metaData;
     constructor(node: ts.MethodDeclaration, contractType: ContractClassPType);
-    get result(): awst.ContractMethod;
-    static buildContractMethod(node: ts.MethodDeclaration, contractType: ContractClassPType): () => awst.ContractMethod;
+    get result(): ContractMethod;
+    static buildContractMethod(node: ts.MethodDeclaration, contractType: ContractClassPType): () => ContractMethod;
     private buildArc4Config;
     private validateDecoratorRoutingData;
     /**

package/awst_build/context/awst-build-context.d.ts

@@ -2,6 +2,7 @@ import ts from 'typescript';
 import type { ContractReference, LogicSigReference } from '../../awst/models';
 import type { AppStorageDefinition, ARC4MethodConfig } from '../../awst/nodes';
 import { SourceLocation } from '../../awst/source-location';
+import type { CompileOptions } from '../../options';
 import type { InstanceBuilder, NodeBuilder } from '../eb';
 import type { AppStorageDeclaration } from '../models/app-storage-declaration';
 import type { ContractClassModel } from '../models/contract-class-model';
@@ -11,7 +12,6 @@ import type { ContractClassPType, PType } from '../ptypes';
 import type { SymbolName } from '../symbol-name';
 import { EvaluationContext } from './evaluation-context';
 import { SwitchLoopContext } from './switch-loop-context';
-import type { CompileOptions } from '../../options';
 export type BuildAwstOptions = Pick<CompileOptions, 'filePaths' | 'outputAwst' | 'outputAwstJson' | 'validateAbiReturn'>;
 export declare abstract class AwstBuildContext {
     /**

package/awst_build/eb/index.d.ts

@@ -117,7 +117,6 @@ export declare abstract class ClassBuilder extends NodeBuilder {
 }
 export declare abstract class FunctionBuilder extends NodeBuilder {
     readonly ptype: PType | undefined;
-    constructor(location: SourceLocation);
     abstract call(args: ReadonlyArray<NodeBuilder>, typeArgs: ReadonlyArray<PType>, sourceLocation: SourceLocation<ts.CallExpression>): NodeBuilder;
 }
 export declare abstract class InstanceExpressionBuilder<TPType extends PType> extends InstanceBuilder<PType> {

package/awst_build/ptypes/arc4-types.d.ts

@@ -13,7 +13,7 @@ export declare const UintN128Class: LibClassType;
 export declare const UintN256Class: LibClassType;
 export declare abstract class ARC4EncodedType extends PType {
     abstract readonly wtype: wtypes.ARC4Type;
-    abstract readonly nativeType: PType | undefined;
+    abstract readonly nativeType: PType;
     abstract readonly abiTypeSignature: string;
     protected static buildAbiTupleSignature(types: ARC4EncodedType[]): string;
 }

package/awst_build/ptypes/index.d.ts

@@ -135,26 +135,39 @@ declare abstract class StorageProxyPType extends PType {
         keyWType: wtypes.WType;
     });
 }
-export declare const GlobalStateGeneric: GenericPType<GlobalStateType>;
-export declare class GlobalStateType extends StorageProxyPType {
-    readonly [PType.IdSymbol] = "GlobalStateType";
-    static readonly baseName = "GlobalState";
-    static readonly baseFullName: string;
+declare abstract class StateProxyPType extends StorageProxyPType {
     readonly module: string;
+    readonly kind: string;
+    protected constructor(props: {
+        content: PType;
+        kind: string;
+    });
     get name(): string;
     get fullName(): string;
+}
+export declare const GlobalStateGeneric: GenericPType<GlobalStateType>;
+export declare class GlobalStateType extends StateProxyPType {
+    readonly [PType.IdSymbol] = "GlobalStateType";
     constructor(props: {
         content: PType;
     });
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare const GlobalMapGeneric: GenericPType<GlobalMapType>;
-export declare class GlobalMapType extends StorageProxyPType {
-    readonly [PType.IdSymbol] = "GlobalMapType";
+declare abstract class StateMapProxyPType extends StorageProxyPType {
     readonly module: string;
+    readonly kind: string;
+    readonly keyType: PType;
+    protected constructor(props: {
+        content: PType;
+        keyType: PType;
+        kind: string;
+    });
     get name(): string;
     get fullName(): string;
-    readonly keyType: PType;
+}
+export declare const GlobalMapGeneric: GenericPType<GlobalMapType>;
+export declare class GlobalMapType extends StateMapProxyPType {
+    readonly [PType.IdSymbol] = "GlobalMapType";
     constructor(props: {
         content: PType;
         keyType: PType;
@@ -162,26 +175,16 @@ export declare class GlobalMapType extends StorageProxyPType {
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
 export declare const LocalStateGeneric: GenericPType<LocalStateType>;
-export declare class LocalStateType extends StorageProxyPType {
+export declare class LocalStateType extends StateProxyPType {
     readonly [PType.IdSymbol] = "LocalStateType";
-    static readonly baseName = "LocalState";
-    static readonly baseFullName: string;
-    readonly module: string;
-    get name(): string;
-    get fullName(): string;
     constructor(props: {
         content: PType;
     });
-    static parameterise(typeArgs: PType[]): LocalStateType;
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
 export declare const LocalMapGeneric: GenericPType<LocalMapType>;
-export declare class LocalMapType extends StorageProxyPType {
+export declare class LocalMapType extends StateMapProxyPType {
     readonly [PType.IdSymbol] = "LocalMapType";
-    readonly module: string;
-    get name(): string;
-    get fullName(): string;
-    readonly keyType: PType;
     constructor(props: {
         content: PType;
         keyType: PType;
@@ -275,8 +278,7 @@ export declare class ABICompatibleInstanceType extends InstanceType implements A
         abiTypeSignature: string;
     });
 }
-export declare class LibFunctionType extends PType {
-    readonly [PType.IdSymbol] = "LibFunctionType";
+declare abstract class LibPType extends PType {
     readonly wtype: undefined;
     readonly name: string;
     readonly module: string;
@@ -285,74 +287,46 @@ export declare class LibFunctionType extends PType {
         name: string;
         module: string;
     });
+}
+export declare class LibFunctionType extends LibPType {
+    readonly [PType.IdSymbol] = "LibFunctionType";
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare class LibClassType extends PType {
+export declare class LibClassType extends LibPType {
     readonly [PType.IdSymbol] = "LibClassType";
-    readonly wtype: undefined;
-    readonly name: string;
-    readonly module: string;
-    readonly singleton = true;
-    constructor({ name, module }: {
-        name: string;
-        module: string;
-    });
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare class LibObjType extends PType {
+export declare class LibObjType extends LibPType {
     readonly [PType.IdSymbol] = "LibObjType";
-    readonly wtype: undefined;
-    readonly name: string;
-    readonly module: string;
-    readonly singleton = true;
-    constructor({ name, module }: {
-        name: string;
-        module: string;
-    });
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare class IntrinsicFunctionGroupType extends PType {
-    readonly [PType.IdSymbol] = "IntrinsicFunctionGroupType";
+declare abstract class IntrinsicOpPType extends PType {
     readonly wtype: undefined;
     readonly name: string;
     readonly module: string;
-    readonly singleton = true;
+    abstract readonly singleton: boolean;
     constructor({ name }: {
         name: string;
     });
+}
+export declare class IntrinsicFunctionGroupType extends IntrinsicOpPType {
+    readonly [PType.IdSymbol] = "IntrinsicFunctionGroupType";
+    readonly singleton = true;
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare class IntrinsicFunctionGroupTypeType extends PType {
+export declare class IntrinsicFunctionGroupTypeType extends IntrinsicOpPType {
     readonly [PType.IdSymbol] = "IntrinsicFunctionGroupTypeType";
-    readonly wtype: undefined;
-    readonly name: string;
-    readonly module: string;
     readonly singleton = false;
-    constructor({ name }: {
-        name: string;
-    });
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare class IntrinsicFunctionType extends PType {
+export declare class IntrinsicFunctionType extends IntrinsicOpPType {
     readonly [PType.IdSymbol] = "IntrinsicFunctionType";
-    readonly wtype: undefined;
-    readonly name: string;
-    readonly module: string;
     readonly singleton = true;
-    constructor({ name }: {
-        name: string;
-    });
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare class IntrinsicFunctionTypeType extends PType {
+export declare class IntrinsicFunctionTypeType extends IntrinsicOpPType {
     readonly [PType.IdSymbol] = "IntrinsicFunctionTypeType";
-    readonly wtype: undefined;
-    readonly name: string;
-    readonly module: string;
     readonly singleton = false;
-    constructor({ name }: {
-        name: string;
-    });
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
 export declare const bzeroFunction: IntrinsicFunctionType;
@@ -360,7 +334,6 @@ export declare class NamespacePType extends PType {
     readonly [PType.IdSymbol] = "NamespacePType";
     readonly wtype: undefined;
     readonly name: string;
-    readonly factory: undefined;
     readonly module: string;
     readonly singleton = true;
     constructor({ name, module }: {
@@ -408,26 +381,28 @@ export declare class ArrayLiteralPType extends PType {
     getReadonlyTupleType(): ReadonlyTuplePType;
     getMutableTupleType(): MutableTuplePType;
 }
-export declare class MutableTuplePType extends PType {
-    readonly [PType.IdSymbol] = "MutableTuplePType";
+declare abstract class TupleBasePType extends PType {
+    readonly items: PType[];
+    readonly singleton = false;
     readonly module: string;
+    private readonly namePrefix;
+    protected constructor(props: {
+        items: PType[];
+        immutable?: boolean;
+    });
     get name(): string;
     get fullName(): string;
-    readonly items: PType[];
-    readonly singleton = false;
+}
+export declare class MutableTuplePType extends TupleBasePType {
+    readonly [PType.IdSymbol] = "MutableTuplePType";
     constructor(props: {
         items: PType[];
     });
     get wtype(): wtypes.ARC4Tuple;
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
-export declare class ReadonlyTuplePType extends PType {
+export declare class ReadonlyTuplePType extends TupleBasePType {
     readonly [PType.IdSymbol] = "ReadonlyTuplePType";
-    readonly module: string;
-    get name(): string;
-    get fullName(): string;
-    readonly items: PType[];
-    readonly singleton = false;
     constructor(props: {
         items: PType[];
     });
@@ -435,33 +410,33 @@ export declare class ReadonlyTuplePType extends PType {
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
 export declare const ArrayGeneric: GenericPType<ArrayPType>;
-export declare class ArrayPType extends PType {
-    readonly [PType.IdSymbol] = "ArrayPType";
+declare abstract class DynamicArrayBasePType extends PType {
     readonly elementType: PType;
-    readonly immutable = false;
+    readonly immutable: boolean;
     readonly singleton = false;
     readonly name: string;
     readonly module: string;
+    private readonly kind;
+    protected constructor(props: {
+        elementType: PType;
+        immutable: boolean;
+    });
     get fullName(): string;
+    get wtype(): wtypes.ARC4DynamicArray;
+}
+export declare class ArrayPType extends DynamicArrayBasePType {
+    readonly [PType.IdSymbol] = "ArrayPType";
     constructor(props: {
         elementType: PType;
     });
-    get wtype(): wtypes.ARC4DynamicArray;
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
 export declare const ReadonlyArrayGeneric: GenericPType<ReadonlyArrayPType>;
-export declare class ReadonlyArrayPType extends PType {
+export declare class ReadonlyArrayPType extends DynamicArrayBasePType {
     readonly [PType.IdSymbol] = "ReadonlyArrayPType";
-    readonly elementType: PType;
-    readonly singleton = false;
-    readonly immutable = true;
-    readonly name: string;
-    readonly module: string;
-    get fullName(): string;
     constructor(props: {
         elementType: PType;
     });
-    get wtype(): wtypes.ARC4DynamicArray;
     accept<T>(visitor: PTypeVisitor<T>): T;
 }
 export declare const FixedArrayGeneric: GenericPType<FixedArrayPType>;
@@ -500,6 +475,7 @@ declare abstract class ObjectPType extends PType {
     toString(): string;
     getProperty(name: string): PTypeField | undefined;
     hasSameStructure(other: ObjectPType): boolean;
+    protected toWTuple(fallbackName: string): wtypes.WTuple;
 }
 export declare class ObjectLiteralPType extends ObjectPType {
     readonly [PType.IdSymbol] = "ObjectLiteralPType";
@@ -790,11 +766,10 @@ export declare class ReferenceArrayType extends PType {
     readonly singleton = false;
     readonly sourceLocation: SourceLocation | undefined;
     readonly elementType: PType;
-    constructor({ elementType, sourceLocation, name, }: {
+    constructor({ elementType, sourceLocation, name }: {
         elementType: PType;
         sourceLocation?: SourceLocation;
         name?: string;
-        immutable?: boolean;
     });
     get wtype(): wtypes.ReferenceArray;
     accept<T>(visitor: PTypeVisitor<T>): T;

package/awst_build/type-resolver.d.ts

@@ -32,7 +32,7 @@ export declare class TypeResolver {
     private reflectStructType;
     private reflectContractType;
     private resolveClusteredPrototype;
-    getTypeName(type: ts.Type, sourceLocation: SourceLocation): SymbolName | undefined;
+    getTypeName(type: ts.Type): SymbolName | undefined;
     private getLocationOfSymbol;
     private tryGetLocalSymbolName;
     private getSymbolFullName;

package/bin/puyats-clientgen.mjs

@@ -2,11 +2,11 @@
 import { arc32ToArc56 } from '@algorandfoundation/algokit-utils/app-spec';
 import { ArgumentParser } from 'argparse';
 import { readFile } from 'fs/promises';
-import { w as writeARC4Client } from '../arc4-clientgen-CZtNN1eT.js';
-import { a as appVersion } from '../semver-a7hIj_hk.js';
-import { c as checkNodeVersion } from '../check-node-version-BYGc-qxw.js';
-import { a as addEnumArg, C as ConsoleLogSink } from '../util-nZLj7LWS.js';
-import { L as LogLevel, l as logger, A as AbsolutePath, P as PuyaError, a as LoggingContext } from '../contract-class-model-Dpn9A-pJ.js';
+import { w as writeARC4Client } from '../arc4-clientgen-BBdFxRUs.js';
+import { a as appVersion } from '../semver-BcvZGdLN.js';
+import { c as checkNodeVersion } from '../check-node-version-jdAtH-rx.js';
+import { a as addEnumArg, C as ConsoleLogSink } from '../util-DgN3iON1.js';
+import { L as LogLevel, l as logger, A as AbsolutePath, P as PuyaError, a as LoggingContext } from '../contract-class-model-CkfUf4wT.js';
 import '@algorandfoundation/algokit-utils/abi';
 import 'fs';
 import 'node:url';

package/bin/puyats-ls.mjs

@@ -1,13 +1,13 @@
 #!/usr/bin/env node
-import { L as LogLevel, cl as distinct, l as logger, cm as zipStrict, d as Constants } from '../contract-class-model-Dpn9A-pJ.js';
+import { L as LogLevel, cl as distinct, l as logger, cm as zipStrict, d as Constants } from '../contract-class-model-CkfUf4wT.js';
 import { ArgumentParser, BooleanOptionalAction } from 'argparse';
-import { b as packageVersion, a as appVersion } from '../semver-a7hIj_hk.js';
-import { c as checkNodeVersion } from '../check-node-version-BYGc-qxw.js';
+import { b as packageVersion, a as appVersion } from '../semver-BcvZGdLN.js';
+import { c as checkNodeVersion } from '../check-node-version-jdAtH-rx.js';
 import { __esDecorate, __runInitializers } from 'tslib';
-import { r as requireMain, l as logCaughtExpression, L as LogExceptions, c as createAnalyserService, a as createNormalisedTextDocumentConnection, n as normalisedUri, i as isCodeFixData } from '../analyser-service-DjrWRS0-.js';
-import { r as resolvePuyaPath } from '../resolve-puya-path-CdZID0Yd.js';
+import { r as requireMain, l as logCaughtExpression, L as LogExceptions, c as createAnalyserService, a as createNormalisedTextDocumentConnection, n as normalisedUri, i as isCodeFixData } from '../analyser-service-C1sYEdlC.js';
+import { r as resolvePuyaPath } from '../resolve-puya-path-C4sw8aVH.js';
 import EventEmitter from 'node:events';
-import { a7 as DefaultMap } from '../options-BCW57sPn.js';
+import { a7 as DefaultMap } from '../options-BMqysQHP.js';
 import 'typescript';
 import 'node:fs';
 import 'node:util';

package/bin/run-cli.mjs

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 import '../cli.mjs';
-import '../contract-class-model-Dpn9A-pJ.js';
+import '../contract-class-model-CkfUf4wT.js';
 import 'typescript';
 import 'node:fs';
 import 'node:util';
@@ -9,14 +9,14 @@ import 'node:crypto';
 import 'polytype';
 import 'node:async_hooks';
 import 'argparse';
-import '../semver-a7hIj_hk.js';
+import '../semver-BcvZGdLN.js';
 import 'fs';
 import 'node:url';
-import '../compile-BKk4hPli.js';
-import '../arc4-clientgen-CZtNN1eT.js';
+import '../compile-DbGGbErI.js';
+import '../arc4-clientgen-BBdFxRUs.js';
 import '@algorandfoundation/algokit-utils/abi';
 import 'fs/promises';
-import '../options-BCW57sPn.js';
+import '../options-BMqysQHP.js';
 import 'arcsecond';
 import 'tslib';
 import 'node:buffer';
@@ -29,11 +29,11 @@ import 'net';
 import 'change-case';
 import 'glob';
 import 'minimatch';
-import '../resolve-puya-path-CdZID0Yd.js';
+import '../resolve-puya-path-C4sw8aVH.js';
 import 'signal-exit';
 import 'tar';
 import 'node:zlib';
-import '../util-nZLj7LWS.js';
+import '../util-DgN3iON1.js';
 import 'chalk';
-import '../check-node-version-BYGc-qxw.js';
+import '../check-node-version-jdAtH-rx.js';
 //# sourceMappingURL=run-cli.mjs.map

package/{check-node-version-BYGc-qxw.js → check-node-version-jdAtH-rx.js}

@@ -1,6 +1,6 @@
 import chalk from 'chalk';
-import { d as Constants } from './contract-class-model-Dpn9A-pJ.js';
-import { p as parseSemVer } from './semver-a7hIj_hk.js';
+import { d as Constants } from './contract-class-model-CkfUf4wT.js';
+import { p as parseSemVer } from './semver-BcvZGdLN.js';
 
 function writeError(text) {
     // eslint-disable-next-line no-console
@@ -17,4 +17,4 @@ function checkNodeVersion() {
 }
 
 export { checkNodeVersion as c };
-//# sourceMappingURL=check-node-version-BYGc-qxw.js.map
+//# sourceMappingURL=check-node-version-jdAtH-rx.js.map