@algorandfoundation/puya-ts 1.2.0-beta.4 → 1.2.0-beta.41

package/awst/validation/{awst-traverser.d.ts → function-traverser.d.ts}

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

package/awst/wtypes.d.ts

@@ -1,7 +1,7 @@
 import { TransactionKind } from './models';
 import type { SourceLocation } from './source-location';
 export declare namespace wtypes {
-    class WType {
+    export class WType {
         constructor(props: {
             name: string;
             immutable?: boolean;
@@ -11,25 +11,25 @@ export declare namespace wtypes {
         equals(other: WType): boolean;
         toString(): string;
     }
-    const voidWType: WType;
-    const boolWType: WType;
-    const uint64WType: WType;
-    const uint64RangeWType: WType;
-    const stateKeyWType: WType;
-    const boxKeyWType: WType;
-    const stringWType: WType;
-    const biguintWType: WType;
-    const assetWType: WType;
-    const accountWType: WType;
-    const applicationWType: WType;
-    class BytesWType extends WType {
+    export const voidWType: WType;
+    export const boolWType: WType;
+    export const uint64WType: WType;
+    export const uint64RangeWType: WType;
+    export const stateKeyWType: WType;
+    export const boxKeyWType: WType;
+    export const stringWType: WType;
+    export const biguintWType: WType;
+    export const assetWType: WType;
+    export const accountWType: WType;
+    export const applicationWType: WType;
+    export class BytesWType extends WType {
         readonly length: bigint | null;
         constructor(args?: {
             length: bigint | null;
         });
     }
-    const bytesWType: BytesWType;
-    class ARC4Type extends WType {
+    export const bytesWType: BytesWType;
+    export class ARC4Type extends WType {
         /**
          * Override the default name of this type with a valid arc4 alias.
          *
@@ -42,7 +42,7 @@ export declare namespace wtypes {
             immutable?: boolean;
         });
     }
-    class WTuple extends WType {
+    export class WTuple extends WType {
         types: WType[];
         names: string[] | undefined;
         constructor(props: {
@@ -53,55 +53,52 @@ export declare namespace wtypes {
         equals(other: WType): boolean;
         toString(): string;
     }
-    abstract class NativeArray extends WType {
+    export class ReferenceArray extends WType {
         readonly elementType: WType;
         readonly sourceLocation: SourceLocation | null;
-        protected constructor(props: {
-            name: string;
-            itemType: WType;
-            sourceLocation?: SourceLocation;
-        });
-    }
-    class ReferenceArray extends NativeArray {
-        readonly immutable = false;
         constructor(props: {
             itemType: WType;
-            immutable: boolean;
             sourceLocation?: SourceLocation;
         });
     }
-    class WEnumeration extends WType {
+    export class WEnumeration extends WType {
         readonly sequenceType: WType;
         constructor(props: {
             sequenceType: WType;
         });
     }
-    class WGroupTransaction extends WType {
+    export class WGroupTransaction extends WType {
         transactionType: TransactionKind | null;
         constructor({ transactionType }: {
             transactionType?: TransactionKind;
         });
     }
-    class WInnerTransaction extends WType {
+    export class WInnerTransaction extends WType {
         transactionType: TransactionKind | null;
         constructor({ transactionType }: {
             transactionType?: TransactionKind;
         });
     }
-    class WInnerTransactionFields extends WType {
-        transactionType: TransactionKind | null;
+    export class WInnerTransactionFields extends WType {
+        readonly transactionType: TransactionKind | null;
         constructor({ transactionType }: {
             transactionType?: TransactionKind;
         });
     }
-    class ARC4UIntN extends ARC4Type {
+    export class WABICallInnerTransactionFields extends WInnerTransactionFields {
+        resultType: WType;
+        constructor({ returnType }: {
+            returnType?: WType;
+        });
+    }
+    export class ARC4UIntN extends ARC4Type {
         readonly n: bigint;
         constructor({ n, arc4Alias }: {
             n: bigint;
             arc4Alias?: string;
         });
     }
-    class ARC4UFixedNxM extends ARC4Type {
+    export class ARC4UFixedNxM extends ARC4Type {
         readonly n: bigint;
         readonly m: bigint;
         constructor({ n, m }: {
@@ -109,8 +106,13 @@ export declare namespace wtypes {
             m: bigint;
         });
     }
-    class ARC4Struct extends ARC4Type {
-        fields: Record<string, WType>;
+    type WTypeField = {
+        name: string;
+        wtype: WType;
+        description: string | null;
+    };
+    export class ARC4Struct extends ARC4Type {
+        fields: WTypeField[];
         sourceLocation: SourceLocation | null;
         frozen: boolean;
         desc: string | null;
@@ -118,21 +120,20 @@ export declare namespace wtypes {
             frozen: boolean;
             name: string;
             desc: string | null;
-            fields: Record<string, WType>;
+            fields: WTypeField[];
             sourceLocation?: SourceLocation;
         });
     }
-    class ARC4Tuple extends ARC4Type {
+    export class ARC4Tuple extends ARC4Type {
         readonly types: WType[];
         readonly sourceLocation: SourceLocation | null;
-        readonly immutable: boolean;
         constructor({ types, sourceLocation, immutable }: {
             types: WType[];
             sourceLocation?: SourceLocation;
             immutable: boolean;
         });
     }
-    abstract class ARC4Array extends ARC4Type {
+    export abstract class ARC4Array extends ARC4Type {
         readonly elementType: WType;
         protected constructor(props: {
             arc4Alias: string | null;
@@ -141,7 +142,7 @@ export declare namespace wtypes {
             immutable?: boolean;
         });
     }
-    class ARC4DynamicArray extends ARC4Array {
+    export class ARC4DynamicArray extends ARC4Array {
         readonly sourceLocation: SourceLocation | null;
         constructor({ elementType, sourceLocation, arc4Alias, immutable, }: {
             elementType: WType;
@@ -150,7 +151,7 @@ export declare namespace wtypes {
             immutable?: boolean;
         });
     }
-    class ARC4StaticArray extends ARC4Array {
+    export class ARC4StaticArray extends ARC4Array {
         readonly sourceLocation: SourceLocation | null;
         readonly arraySize: bigint;
         constructor({ elementType, sourceLocation, arraySize, arc4Alias, immutable, }: {
@@ -161,8 +162,9 @@ export declare namespace wtypes {
             immutable?: boolean;
         });
     }
-    const arc4ByteAliasWType: ARC4UIntN;
-    const arc4AddressAliasWType: ARC4StaticArray;
-    const arc4BooleanWType: ARC4Type;
-    const arc4StringAliasWType: ARC4DynamicArray;
+    export const arc4ByteAliasWType: ARC4UIntN;
+    export const arc4AddressAliasWType: ARC4StaticArray;
+    export const arc4BooleanWType: ARC4Type;
+    export const arc4StringAliasWType: ARC4DynamicArray;
+    export {};
 }

package/awst_build/arc4-util.d.ts

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

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;