feat: add stub implementations for additional 1.0 features

- add @readonly decorator,
- allow abiCall with type import,
- rename arc4EncodedLength,
- add strategy param to .toFixed method

Author: boblat

README.md

@@ -169,7 +169,19 @@ After the setup, the examples provided using `vitest` can be converted to work w
 #### Contract Definition
 
 ```typescript
-import { arc4, assert, Bytes, GlobalState, gtxn, LocalState, op, Txn, uint64, Uint64 } from '@algorandfoundation/algorand-typescript'
+import {
+  arc4,
+  assert,
+  Bytes,
+  GlobalState,
+  gtxn,
+  LocalState,
+  op,
+  readonly,
+  Txn,
+  uint64,
+  Uint64,
+} from '@algorandfoundation/algorand-typescript'
 
 export default class VotingContract extends arc4.Contract {
   topic = GlobalState({ initialValue: 'default_topic', key: Bytes('topic') })
@@ -195,7 +207,7 @@ export default class VotingContract extends arc4.Contract {
     return true
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   public getVotes(): uint64 {
     return this.votes.value
   }
@@ -262,7 +274,7 @@ This example demonstrates key aspects of testing with `algorand-typescript-testi
 
    - Use of `arc4.Contract` as the base class for the contract.
    - ABI methods defined using the `@arc4.abimethod` decorator.
-   - Readonly method annotation with `@arc4.abimethod({readonly: true})`.
+   - Readonly method annotation with `@arc4.abimethod({readonly: true})` or `@readonly`.
 
 2. Testing ARC4 Contracts:
 

docs/coverage.md

@@ -34,7 +34,7 @@ See which `algorand-typescript` stubs are implemented by the `algorand-typescrip
 | Txn                          | Emulated            |
 | Uint64                       | Native              |
 | abiCall                      | Mockable            |
-| arc4EncodedLength            | Native              |
+| sizeOf                       | Native              |
 | compile                      | Mockable            |
 | compileArc4                  | Mockable            |
 | decodeArc4                   | Native              |

docs/readme.md

@@ -167,7 +167,19 @@ After the setup, the examples provided using `vitest` can be converted to work w
 #### Contract Definition
 
 ```typescript
-import { arc4, assert, Bytes, GlobalState, gtxn, LocalState, op, Txn, uint64, Uint64 } from '@algorandfoundation/algorand-typescript'
+import {
+  arc4,
+  assert,
+  Bytes,
+  GlobalState,
+  gtxn,
+  LocalState,
+  op,
+  readonly,
+  Txn,
+  uint64,
+  Uint64,
+} from '@algorandfoundation/algorand-typescript'
 
 export default class VotingContract extends arc4.Contract {
   topic = GlobalState({ initialValue: 'default_topic', key: Bytes('topic') })
@@ -193,7 +205,7 @@ export default class VotingContract extends arc4.Contract {
     return true
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   public getVotes(): uint64 {
     return this.votes.value
   }
@@ -260,7 +272,7 @@ This example demonstrates key aspects of testing with `algorand-typescript-testi
 
    - Use of `arc4.Contract` as the base class for the contract.
    - ABI methods defined using the `@arc4.abimethod` decorator.
-   - Readonly method annotation with `@arc4.abimethod({readonly: true})`.
+   - Readonly method annotation with `@arc4.abimethod({readonly: true})` or `@readonly`.
 
 2. Testing ARC4 Contracts:
 

docs/tg-contract-testing.md

@@ -47,7 +47,7 @@ class SimpleVotingContract extends arc4.Contract {
     return this.votes.value
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   getVotes(): uint64 {
     return this.votes.value
   }

examples/arc4-simple-voting/contract.algo.ts

@@ -1,5 +1,5 @@
 import type { gtxn, uint64 } from '@algorandfoundation/algorand-typescript'
-import { arc4, assert, Bytes, GlobalState, LocalState, op, Txn, Uint64 } from '@algorandfoundation/algorand-typescript'
+import { arc4, assert, Bytes, GlobalState, LocalState, op, readonly, Txn, Uint64 } from '@algorandfoundation/algorand-typescript'
 
 export default class VotingContract extends arc4.Contract {
   topic = GlobalState({ initialValue: Bytes('default_topic'), key: Bytes('topic') })
@@ -25,7 +25,7 @@ export default class VotingContract extends arc4.Contract {
     return new arc4.Bool(true)
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   public getVotes(): arc4.Uint64 {
     return new arc4.Uint64(this.votes.value)
   }

examples/local-storage/contract.algo.ts

@@ -1,5 +1,5 @@
 import type { Account, bytes, uint64 } from '@algorandfoundation/algorand-typescript'
-import { Bytes, Global, LocalState, Txn, arc4, assert, contract } from '@algorandfoundation/algorand-typescript'
+import { Bytes, Global, LocalState, Txn, arc4, assert, contract, readonly } from '@algorandfoundation/algorand-typescript'
 
 /**
  * A contract demonstrating local storage functionality.
@@ -55,7 +55,7 @@ export default class LocalStorage extends arc4.Contract {
    * - [4] boolean: The value of localBool
    * - [5] Address: The value of localAccount converted to Address type
    */
-  @arc4.abimethod({ readonly: true })
+  @readonly
   public readLocalState(): [uint64, uint64, bytes, string, boolean, arc4.Address] {
     const sender = Txn.sender
     // Convert Account reference type to native Address type for return value

examples/marketplace/contract.algo.ts

@@ -1,5 +1,5 @@
 import type { Asset, gtxn, uint64 } from '@algorandfoundation/algorand-typescript'
-import { arc4, assert, BoxMap, clone, Global, itxn, op, Txn } from '@algorandfoundation/algorand-typescript'
+import { arc4, assert, BoxMap, clone, Global, itxn, op, readonly, Txn } from '@algorandfoundation/algorand-typescript'
 
 export class ListingKey extends arc4.Struct<{
   owner: arc4.Address
@@ -52,7 +52,7 @@ export default class DigitalMarketplace extends arc4.Contract {
     return amountToBePaid
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   getListingsMbr(): uint64 {
     return this.listingsBoxMbr()
   }

examples/precompiled/precompiled-typed.algo.ts

@@ -2,7 +2,7 @@ import { assert, Contract, Global, itxn, Txn } from '@algorandfoundation/algoran
 import { abiCall, compileArc4, methodSelector } from '@algorandfoundation/algorand-typescript/arc4'
 import {
   Hello,
-  HelloStubbed,
+  type HelloStubbed,
   HelloTemplate,
   HelloTemplateCustomPrefix,
   LargeProgram,
@@ -24,14 +24,15 @@ export class HelloFactoryTyped extends Contract {
     }).returnValue
     assert(result === 'hello world')
 
-    const result2 = abiCall(Hello.prototype.greet, {
+    const result2 = abiCall({
+      method: Hello.prototype.greet,
       appId: app,
       args: ['abi'],
     }).returnValue
 
     assert(result2 === 'hello abi')
 
-    const result3 = abiCall(HelloStubbed.prototype.greet, {
+    const result3 = abiCall<typeof HelloStubbed.prototype.greet>({
       appId: app,
       args: ['stubbed'],
     }).returnValue

examples/proof-of-attendance/contract.algo.ts

@@ -12,6 +12,7 @@ import {
   itxn,
   op,
   OpUpFeeSource,
+  readonly,
   Txn,
   Uint64,
 } from '@algorandfoundation/algorand-typescript'
@@ -81,30 +82,30 @@ export default class ProofOfAttendance extends arc4.Contract {
 
     this.boxMap(Txn.sender.bytes).value = mintedAsset.id
   }
-  @arc4.abimethod({ readonly: true })
+  @readonly
   getPoaId(): uint64 {
     const [poaId, exists] = op.Box.get(Txn.sender.bytes)
     assert(exists, 'POA not found')
     return op.btoi(poaId)
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   getPoaIdWithBox(): uint64 {
     const box = Box<uint64>({ key: Txn.sender.bytes })
     const [poaId, exists] = box.maybe()
     assert(exists, 'POA not found')
     return poaId
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   getPoaIdWithBoxRef(): uint64 {
     const boxRef = BoxRef({ key: Txn.sender.bytes })
     const [poaId, exists] = boxRef.maybe()
     assert(exists, 'POA not found')
     return op.btoi(poaId)
   }
 
-  @arc4.abimethod({ readonly: true })
+  @readonly
   getPoaIdWithBoxMap(): uint64 {
     const [poaId, exists] = this.boxMap(Txn.sender.bytes).maybe()
     assert(exists, 'POA not found')

examples/voting/contract.algo.ts

@@ -15,6 +15,7 @@ import {
   log,
   op,
   OpUpFeeSource,
+  readonly,
   Txn,
   Uint64,
   urange,
@@ -158,7 +159,7 @@ export class VotingRoundApp extends arc4.Contract {
       .submit().createdAsset
   }
 
-  @abimethod({ readonly: true })
+  @readonly
   public getPreconditions(signature: bytes<64>): VotingPreconditions {
     return {
       is_allowed_to_vote: Uint64(this.allowedToVote(signature)),