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

package/{contract-class-model-BUOeMEKh.js → contract-class-model-Dpn9A-pJ.js}

@@ -11,8 +11,12 @@ const algoTsPackage = '@algorandfoundation/algorand-typescript';
 const Constants = {
     algoTsPackage,
     moduleNames: {
+        tslib: 'lib.d.ts',
         typescript: {
+            decorators: 'typescript/lib/lib.decorators.d.ts',
             es5: 'typescript/lib/lib.es5.d.ts',
+            generator: 'typescript/lib/lib.es2015.generator.d.ts',
+            iterable: 'typescript/lib/lib.es2015.iterable.d.ts',
         },
         polytype: 'polytype/lib/polytype-module.d.ts',
         algoTs: {
@@ -41,6 +45,7 @@ const Constants = {
             util: `${algoTsPackage}/util.d.ts`,
             mutableObject: `${algoTsPackage}/mutable-object.d.ts`,
         },
+        puyaTs: 'puya-ts',
     },
     symbolNames: {
         approvalProgramMethodName: 'approvalProgram',
@@ -1409,7 +1414,7 @@ class IntersectionPType extends TransientType {
         const name = types.map((t) => t).join(' & ');
         super({
             name,
-            module: 'lib.d.ts',
+            module: Constants.moduleNames.tslib,
             singleton: false,
             typeMessage: transientTypeErrors.intersectionTypes(name).usedAsType,
             expressionMessage: transientTypeErrors.intersectionTypes(name).usedInExpression,
@@ -1457,7 +1462,7 @@ class UnionPType extends TransientType {
         }
         super({
             name,
-            module: 'lib.d.ts',
+            module: Constants.moduleNames.tslib,
             singleton: false,
             typeMessage,
             expressionMessage,
@@ -1700,7 +1705,7 @@ class InternalType extends PType {
     }
 }
 const ClassMethodDecoratorContext = new InternalType({
-    module: 'typescript/lib/lib.decorators.d.ts',
+    module: Constants.moduleNames.typescript.decorators,
     name: 'ClassMethodDecoratorContext',
 });
 class AnyPType extends PType {
@@ -1709,7 +1714,7 @@ class AnyPType extends PType {
         throw new CodeError('`any` is not valid as a variable, parameter, return, or property type.');
     }
     name = 'any';
-    module = 'lib.d.ts';
+    module = Constants.moduleNames.tslib;
     singleton = false;
     accept(visitor) {
         return visitor.visitAnyPType(this);
@@ -1928,7 +1933,7 @@ class ArrayLiteralPType extends PType {
 }
 class MutableTuplePType extends PType {
     [PType.IdSymbol] = 'MutableTuplePType';
-    module = 'lib.d.ts';
+    module = Constants.moduleNames.tslib;
     get name() {
         return `[${this.items.map((i) => i.name).join(', ')}]`;
     }
@@ -1953,7 +1958,7 @@ class MutableTuplePType extends PType {
 }
 class ReadonlyTuplePType extends PType {
     [PType.IdSymbol] = 'ReadonlyTuplePType';
-    module = 'lib.d.ts';
+    module = Constants.moduleNames.tslib;
     get name() {
         return `readonly [${this.items.map((i) => i.name).join(', ')}]`;
     }
@@ -2092,7 +2097,7 @@ const ReadonlyGeneric = new GenericPType({
 });
 class ObjectPType extends PType {
     name;
-    module = 'lib.d.ts';
+    module = Constants.moduleNames.tslib;
     alias;
     description;
     properties;
@@ -2227,38 +2232,38 @@ function isTupleLike(ptype) {
 }
 const voidPType = new ABICompatibleInstanceType({
     name: 'void',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     wtype: wtypes.voidWType,
     abiTypeSignature: 'void',
 });
 const neverPType = new InstanceType({
     name: 'never',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     wtype: wtypes.voidWType,
 });
 const unknownPType = new UnsupportedType({
     name: 'unknown',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     fullName: 'unknown',
 });
 const esSymbol = new UnsupportedType({
     name: 'symbol',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     fullName: 'symbol',
 });
 const nullPType = new UnsupportedType({
     name: 'null',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     fullName: 'null',
 });
 const undefinedPType = new UnsupportedType({
     name: 'undefined',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     fullName: 'undefined',
 });
 const PromiseGeneric = new GenericPType({
     name: 'Promise',
-    module: 'typescript/lib/lib.es5.d.ts',
+    module: Constants.moduleNames.typescript.es5,
     parameterise(ptypes) {
         codeInvariant(ptypes.length === 1, 'Promise expects exactly 1 generic parameter');
         return new PromiseType({ resolveType: ptypes[0] });
@@ -2269,7 +2274,7 @@ class PromiseType extends UnsupportedType {
     constructor({ resolveType }) {
         super({
             name: 'Promise',
-            module: 'typescript/lib/lib.es5.d.ts',
+            module: Constants.moduleNames.typescript.es5,
         });
         this.resolveType = resolveType;
     }
@@ -2277,12 +2282,12 @@ class PromiseType extends UnsupportedType {
 const anyPType = new AnyPType();
 const boolPType = new InstanceType({
     name: 'boolean',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     wtype: wtypes.boolWType,
 });
 const BooleanFunction = new LibFunctionType({
     name: 'Boolean',
-    module: 'typescript/lib/lib.es5.d.ts',
+    module: Constants.moduleNames.typescript.es5,
 });
 class BigIntPType extends TransientType {
     [PType.IdSymbol] = 'BigIntPType';
@@ -2292,19 +2297,19 @@ class NumberPType extends TransientType {
 }
 const bigIntPType = new BigIntPType({
     name: 'bigint',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     singleton: false,
     typeMessage: transientTypeErrors.nativeNumeric('bigint').usedAsType,
     expressionMessage: transientTypeErrors.nativeNumeric('bigint').usedInExpression,
 });
 const stringPType = new InstanceType({
     name: 'string',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     wtype: wtypes.stringWType,
 });
 const StringFunction = new LibFunctionType({
     name: 'String',
-    module: 'typescript/lib/lib.es5.d.ts',
+    module: Constants.moduleNames.typescript.es5,
 });
 const uint64PType = new InstanceType({
     name: 'uint64',
@@ -2322,7 +2327,7 @@ class NumericLiteralPType extends TransientType {
     constructor({ literalValue }) {
         super({
             name: `${literalValue}`,
-            module: 'lib.d.ts',
+            module: Constants.moduleNames.tslib,
             singleton: false,
             typeMessage: transientTypeErrors.nativeNumeric(literalValue.toString()).usedAsType,
             expressionMessage: transientTypeErrors.nativeNumeric(literalValue.toString()).usedInExpression,
@@ -2337,7 +2342,7 @@ class BigIntLiteralPType extends TransientType {
     constructor({ literalValue }) {
         super({
             name: `${literalValue}n`,
-            module: 'lib.d.ts',
+            module: Constants.moduleNames.tslib,
             singleton: false,
             typeMessage: transientTypeErrors.nativeNumeric(`${literalValue}n`).usedAsType,
             expressionMessage: transientTypeErrors.nativeNumeric(`${literalValue}n`).usedInExpression,
@@ -2348,7 +2353,7 @@ class BigIntLiteralPType extends TransientType {
 }
 const numberPType = new NumberPType({
     name: 'number',
-    module: 'lib.d.ts',
+    module: Constants.moduleNames.tslib,
     singleton: false,
     typeMessage: transientTypeErrors.nativeNumeric('number').usedAsType,
     expressionMessage: transientTypeErrors.nativeNumeric('number').usedInExpression,
@@ -2492,7 +2497,7 @@ const arc4BaseContractType = new BaseContractClassType({
     sourceLocation: SourceLocation.None,
 });
 const itoaMethod = new LibFunctionType({
-    module: 'puya-ts',
+    module: Constants.moduleNames.puyaTs,
     name: 'itoa',
 });
 const arc4BareMethodDecorator = new LibFunctionType({
@@ -2718,7 +2723,7 @@ const urangeFunction = new LibFunctionType({
 });
 const IterableIteratorGeneric = new GenericPType({
     name: 'IterableIterator',
-    module: 'typescript/lib/lib.es2015.iterable.d.ts',
+    module: Constants.moduleNames.typescript.iterable,
     parameterise(typeArgs) {
         codeInvariant(typeArgs.length >= 1 && typeArgs.length <= 3, 'IterableIterator type expects 1-3 type parameters');
         // Currently ignoring return and next types
@@ -2734,7 +2739,7 @@ class IterableIteratorType extends TransientType {
     constructor({ itemType }) {
         super({
             name: `IterableIterator<${itemType.name}>`,
-            module: 'typescript/lib/lib.es2015.iterable.d.ts',
+            module: Constants.moduleNames.typescript.iterable,
             typeMessage: '`IterableIterator` is not valid as a variable, parameter, return, or property type. ',
             expressionMessage: 'IterableIterator expressions can only be used in for loops',
             singleton: false,
@@ -2750,7 +2755,7 @@ class IterableIteratorType extends TransientType {
 }
 const GeneratorGeneric = new GenericPType({
     name: 'Generator',
-    module: 'typescript/lib/lib.es2015.generator.d.ts',
+    module: Constants.moduleNames.typescript.generator,
     parameterise(ptypes) {
         codeInvariant(ptypes.length === 3, 'Generator type expects exactly 3 type params');
         const [itemType, returnType, nextType] = ptypes;
@@ -2768,7 +2773,7 @@ class GeneratorType extends UnsupportedType {
     constructor({ itemType, returnType, nextType }) {
         super({
             name: 'Generator',
-            module: 'typescript/lib/lib.es2015.generator.d.ts',
+            module: Constants.moduleNames.typescript.generator,
         });
         this.itemType = itemType;
         this.returnType = returnType;
@@ -4935,7 +4940,7 @@ const explicitNodeFactory = {
         });
     },
     assignmentExpression({ target, value, sourceLocation, }) {
-        codeInvariant(target.wtype.equals(value.wtype), `Assignment target type ${target.wtype} must match assigned value type ${value.wtype}`);
+        codeInvariant(target.wtype.equals(value.wtype), `Assignment target type ${target.wtype} must match assigned value type ${value.wtype}`, sourceLocation);
         return new AssignmentExpression({
             target,
             value,
@@ -4944,7 +4949,7 @@ const explicitNodeFactory = {
         });
     },
     assignmentStatement({ target, value, sourceLocation, }) {
-        codeInvariant(target.wtype.equals(value.wtype), `Assignment target type ${target.wtype} must match assigned value type ${value.wtype}`);
+        codeInvariant(target.wtype.equals(value.wtype), `Assignment target type ${target.wtype} must match assigned value type ${value.wtype}`, sourceLocation);
         return new AssignmentStatement({
             target,
             value,
@@ -5419,8 +5424,8 @@ class ContractClassModel {
                 }
             }
         }
-        codeInvariant(approvalProgram, 'must have approval');
-        codeInvariant(clearProgram, 'must have clear');
+        codeInvariant(approvalProgram, 'must have approval', this.sourceLocation);
+        codeInvariant(clearProgram, 'must have clear', this.sourceLocation);
         if (!this.hasExplicitStateTotals && firstBaseWithStateTotals) {
             logger.warn(this.options?.sourceLocation ?? this.sourceLocation, `Contract extends base contract ${firstBaseWithStateTotals.id} with explicit stateTotals, but does not define its own stateTotals. This could result in insufficient reserved state at run time. An empty object may be provided in order to indicate that this contract should revert to the default behaviour`);
         }
@@ -5586,4 +5591,4 @@ class CompilationSet extends CustomKeyMap {
 }
 
 export { FixedArrayGeneric as $, AbsolutePath as A, AssetConfigTxnFunction as B, ContractReference as C, AssetFreezeTxnFunction as D, AssetFunction as E, AssetTransferTxnFunction as F, BaseContractClassType as G, BigIntLiteralPType as H, InternalError as I, BigIntPType as J, BigUintFunction as K, LogLevel as L, BooleanFunction as M, BoxGeneric as N, OnCompletionAction as O, PuyaError as P, BoxMapGeneric as Q, BoxMapPType as R, BoxPType as S, BytesFunction as T, BytesGeneric as U, BytesPType as V, ClassMethodDecoratorContext as W, ClearStateProgram as X, ClusteredContractClassType as Y, ClusteredPrototype as Z, ContractClassPType as _, LoggingContext as a, UnsupportedType as a$, FixedArrayPType as a0, FunctionPType as a1, GeneratorGeneric as a2, GeneratorType as a3, GenericPType as a4, GlobalMapGeneric as a5, GlobalMapType as a6, GlobalStateGeneric as a7, GlobalStateType as a8, GroupTransactionPType as a9, NumericLiteralPType as aA, ObjectLiteralPType as aB, ObjectWithOptionalFieldsType as aC, PType as aD, PaymentTxnFunction as aE, PolytypeClassMethodHelper as aF, PromiseGeneric as aG, PromiseType as aH, ReadonlyArrayGeneric as aI, ReadonlyArrayPType as aJ, ReadonlyGeneric as aK, ReadonlyTuplePType as aL, ReferenceArrayGeneric as aM, ReferenceArrayType as aN, StringFunction as aO, SuperPrototypeSelector as aP, SuperPrototypeSelectorGeneric as aQ, TemplateVarFunction as aR, TransactionFunction as aS, TransactionFunctionType as aT, TransientType as aU, TypeParameterType as aV, Uint64EnumMemberLiteralType as aW, Uint64EnumMemberType as aX, Uint64EnumType as aY, Uint64Function as aZ, UnionPType as a_, ImmutableObjectPType as aa, InnerTransactionPType as ab, InstanceType as ac, InternalType as ad, IntersectionPType as ae, IntrinsicEnumType as af, IntrinsicFunctionGroupType as ag, IntrinsicFunctionGroupTypeType as ah, IntrinsicFunctionType as ai, IntrinsicFunctionTypeType as aj, IterableIteratorGeneric as ak, IterableIteratorType as al, ItxnParamsPType as am, KeyRegistrationTxnFunction as an, LibClassType as ao, LibFunctionType as ap, LibObjType as aq, LocalMapGeneric as ar, LocalMapType as as, LocalStateGeneric as at, LocalStateType as au, LogicSigPType as av, MutableObjectPType as aw, MutableTuplePType as ax, NamespacePType as ay, NumberPType as az, ContractClassModel as b, stringPType as b$, anyItxnParamsType as b0, anyItxnType as b1, anyPType as b2, applicationCallItxnFn as b3, applicationCallItxnParamsType as b4, applicationItxnType as b5, arc28EmitFunction as b6, arc4AbiMethodDecorator as b7, arc4BareMethodDecorator as b8, arc4BaseContractType as b9, errFunction as bA, esSymbol as bB, inputOnlyObjects as bC, isArrayType as bD, isObjectType as bE, isTupleLike as bF, itoaMethod as bG, itxnComposePType as bH, keyRegistrationItxnFn as bI, keyRegistrationItxnParamsType as bJ, keyRegistrationItxnType as bK, logFunction as bL, loggedAssertFunction as bM, loggedErrFunction as bN, logicSigBaseType as bO, logicSigOptionsDecorator as bP, matchFunction as bQ, mimcConfigurationsPType as bR, neverPType as bS, nullPType as bT, numberPType as bU, onCompleteActionType as bV, opUpFeeSourceType as bW, paymentItxnFn as bX, paymentItxnParamsType as bY, paymentItxnType as bZ, readonlyDecorator as b_, assertFunction as ba, assertMatchFunction as bb, assetConfigItxnFn as bc, assetConfigItxnParamsType as bd, assetConfigItxnType as be, assetFreezeItxnFn as bf, assetFreezeItxnParamsType as bg, assetFreezeItxnType as bh, assetTransferItxnFn as bi, assetTransferItxnParamsType as bj, assetTransferItxnType as bk, base64PType as bl, baseContractType as bm, bigIntPType as bn, biguintPType as bo, boolPType as bp, bytesPType as bq, bzeroFunction as br, cloneFunctionPType as bs, compileFunctionType as bt, compiledContractType as bu, compiledLogicSigType as bv, contractOptionsDecorator as bw, ecPType as bx, ecdsaPType as by, ensureBudgetFunction as bz, CodeError as c, FixableCodeError as c$, submitGroupItxnFunction as c0, transactionTypeType as c1, uint64PType as c2, undefinedPType as c3, unknownPType as c4, urangeFunction as c5, validateEncodingFunctionPType as c6, vrfVerifyPType as c7, uint8ArrayToBigInt as c8, uint8ArrayToBase64 as c9, instanceOfAny as cA, SingleEvaluation as cB, VarExpression as cC, nodeFactory as cD, NotSupported as cE, TupleItemExpression as cF, FieldExpression as cG, IndexExpression as cH, TupleExpression as cI, AppStateExpression as cJ, AppAccountStateExpression as cK, BoxValueExpression as cL, ReinterpretCast as cM, StateGetEx as cN, StateGet as cO, hasFlags as cP, BinaryBooleanOperator as cQ, SymbolName as cR, intersectsFlags as cS, extractModuleName as cT, toSubScript as cU, CompilationSet as cV, ARC4ABIMethodConfig as cW, EqualityComparison as cX, ARC4CreateOption as cY, NewArray as cZ, BytesEncoding as c_, uint8ArrayToBase32 as ca, uint8ArrayToUtf8 as cb, base64ToUint8Array as cc, base32ToUint8Array as cd, bigIntToUint8Array as ce, utf8ToUint8Array as cf, LogSource as cg, SourceLocation as ch, isMinLevel as ci, enumFromValue as cj, mkDirIfNotExists as ck, distinct as cl, zipStrict as cm, isIn as cn, wtypes as co, codeInvariant as cp, invariant as cq, throwError as cr, StringConstant as cs, BytesConstant as ct, IntegerConstant as cu, BoolConstant as cv, AddressConstant as cw, MethodConstant as cx, DecimalConstant as cy, TemplateVar as cz, Constants as d, Goto as d$, UInt64BinaryOperator as d0, tryConvertEnum as d1, NumericComparison as d2, UInt64UnaryOperator as d3, UInt64PostfixUnaryOperator as d4, wrapInCodeError as d5, TransactionKind as d6, LogicSigReference as d7, getInnerTransactionType as d8, getItxnParamsType as d9, CheckedMaybe as dA, StageInnerTransactions as dB, SubmitInnerTransaction as dC, AssignmentExpression as dD, CommaExpression as dE, NumericComparisonExpression as dF, BytesComparisonExpression as dG, PuyaLibCall as dH, UInt64UnaryOperation as dI, UInt64PostfixUnaryOperation as dJ, BigUIntPostfixUnaryOperation as dK, BytesUnaryOperation as dL, UInt64BinaryOperation as dM, BigUIntBinaryOperation as dN, BooleanBinaryOperation as dO, Not as dP, Emit as dQ, Range as dR, Enumeration as dS, Reversed as dT, StateExists as dU, ARC4Router as dV, MethodSignatureString as dW, SubroutineID as dX, ContractMethodTarget as dY, InstanceMethodTarget as dZ, patchErrorLocation as d_, CompiledContract as da, ARC4BareMethodConfig as db, MethodSignature as dc, BigUIntBinaryOperator as dd, BigUIntPostfixUnaryOperator as de, BytesBinaryOperator as df, IntrinsicCall as dg, enumKeyFromValue as dh, BytesUnaryOperator as di, PuyaLibFunction as dj, Expression as dk, AppStorageKind as dl, transientTypeErrors as dm, getGroupTransactionType as dn, Contract as dp, InstanceSuperMethodTarget as dq, ExpressionStatement as dr, AssertExpression as ds, VoidConstant as dt, ArrayConcat as du, ArrayPop as dv, ArrayReplace as dw, ArrayLength as dx, SizeOf as dy, UpdateInnerTransaction as dz, accountPType as e, ReturnStatement as e0, ContractMethod as e1, sameSets as e2, Subroutine as e3, LogicSigClassModel as e4, ptypeIn as e5, expandMaybeArray as e6, applicationPType as f, assetPType as g, anyGtxnType as h, assetConfigGtxnType as i, assetTransferGtxnType as j, keyRegistrationGtxnType as k, logger as l, assetFreezeGtxnType as m, applicationCallGtxnType as n, ABICompatibleInstanceType as o, paymentGtxnType as p, ALL_OP_ENUMS as q, AccountFunction as r, AnyPType as s, ApplicationFunctionType as t, ApplicationTxnFunction as u, voidPType as v, ApprovalProgram as w, ArrayGeneric as x, ArrayLiteralPType as y, ArrayPType as z };
-//# sourceMappingURL=contract-class-model-BUOeMEKh.js.map
+//# sourceMappingURL=contract-class-model-Dpn9A-pJ.js.map