AVM 7: Address integration branch feedback

docs/accessing_transaction_field.rst

@@ -58,9 +58,7 @@ Operator
 :any:`Txn.logs <TxnObject.logs>`                                                     :code:`TealType.bytes[]`  5                Array of application logged items. In v5, only valid on inner transactions. >= v6 works with top-level and inner transactions.
 :any:`Txn.last_log() <TxnObject.last_log>`                                           :code:`TealType.bytes[]`  6                The last message emitted. Empty bytes if none were emitted. Application mode only.
 :any:`Txn.approval_program_pages() <TxnObject.approval_program_pages>`               :code:`TealType.bytes[]`  7                The pages of the approval program as an array
-:any:`Txn.num_approval_program_pages() <TxnObject.num_approval_program_pages>`       :code:`TealType.uint64`   7                The number of approval program pages 
 :any:`Txn.clear_state_program_pages() <TxnObject.clear_state_program_pages>`         :code:`TealType.bytes[]`  7                The pages of a clear state program as an array
-:any:`Txn.num_clear_state_program_pages() <TxnObject.num_clear_state_program_pages>` :code:`TealType.uint64`   7                The number of clear state program pages 
 ==================================================================================== ========================= ================ ============================================================================
 
 Asset Config

pyteal/ast/base64decode.py

@@ -5,7 +5,6 @@
 from pyteal.errors import verifyFieldVersion
 from pyteal.ir import TealOp, Op, TealBlock
 from pyteal.ast.expr import Expr
-from pyteal.ast.leafexpr import LeafExpr
 
 if TYPE_CHECKING:
     from pyteal.compiler import CompileOptions
@@ -27,7 +26,7 @@ def __init__(self, id: int, name: str, min_version: int) -> None:
 Base64Encoding.__module__ = "pyteal"
 
 
-class Base64Decode(LeafExpr):
+class Base64Decode(Expr):
     """An expression that decodes a base64-encoded byte string according to a specific encoding.
 
     See [RFC 4648](https://rfc-editor.org/rfc/rfc4648.html#section-4) (sections 4 and 5) for information on specifications.
@@ -36,6 +35,8 @@ class Base64Decode(LeafExpr):
     When padding occurs, any unused pad bits in the encoding must be set to zero or the decoding will fail.
     The special cases of \\n and \\r are allowed but completely ignored. An error will result when attempting
     to decode a string with a character that is not in the encoding alphabet or not one of =, \\r, or \\n.
+
+    NOTE:  Base64Decode usage is not intended for introducing constants. Instead, use :any:`Bytes`.
     """
 
     def __init__(self, encoding: Base64Encoding, base64: Expr) -> None:
@@ -59,8 +60,11 @@ def __str__(self):
     def type_of(self):
         return TealType.bytes
 
+    def has_return(self):
+        return False
+
     @classmethod
-    def url(cls, base64: Expr) -> "Base64Decode":
+    def url(cls, base64: Expr) -> Expr:
         """Decode a base64-encoded byte string according to the URL encoding.
 
         Refer to the `Base64Decode` class documentation for more information.
@@ -71,7 +75,7 @@ def url(cls, base64: Expr) -> "Base64Decode":
         return cls(Base64Encoding.url, base64)
 
     @classmethod
-    def std(cls, base64: Expr) -> "Base64Decode":
+    def std(cls, base64: Expr) -> Expr:
         """Decode a base64-encoded byte string according to the Standard encoding.
 
         Refer to the `Base64Decode` class documentation for more information.

pyteal/ast/block.py

@@ -55,7 +55,7 @@ def type_of(self):
         return self.field.type_of()
 
     @classmethod
-    def seed(cls, block: Expr) -> "Block":
+    def seed(cls, block: Expr) -> Expr:
         """Get the seed of a block.
 
         Args:
@@ -66,7 +66,7 @@ def seed(cls, block: Expr) -> "Block":
         return cls(BlockField.block_seed, block)
 
     @classmethod
-    def timestamp(cls, block: Expr) -> "Block":
+    def timestamp(cls, block: Expr) -> Expr:
         """Get the timestamp of a block.
 
         Args:

pyteal/ast/jsonref.py

@@ -5,7 +5,6 @@
 from pyteal.errors import verifyFieldVersion, verifyTealVersion
 from pyteal.ir import TealOp, Op, TealBlock
 from pyteal.ast.expr import Expr
-from pyteal.ast.leafexpr import LeafExpr
 
 if TYPE_CHECKING:
     from pyteal.compiler import CompileOptions
@@ -32,7 +31,7 @@ def type_of(self) -> TealType:
 JsonRefType.__module__ = "pyteal"
 
 
-class JsonRef(LeafExpr):
+class JsonRef(Expr):
     """An expression that accesses the value associated with a given key from a supported utf-8 encoded json object.
 
     The json object must satisfy a `particular specification <https://github.com/algorand/go-algorand/blob/master/data/transactions/logic/jsonspec.md>`_.
@@ -62,13 +61,16 @@ def __teal__(self, options: "CompileOptions"):
         return TealBlock.FromOp(options, op, self.json_obj, self.key)
 
     def __str__(self):
-        return "(JsonRef {})".format(self.type.arg_name)
+        return "(JsonRef {} {} {})".format(self.type.arg_name, self.json_obj, self.key)
 
     def type_of(self):
         return self.type.type_of()
 
+    def has_return(self):
+        return False
+
     @classmethod
-    def as_string(cls, json_obj: Expr, key: Expr) -> "JsonRef":
+    def as_string(cls, json_obj: Expr, key: Expr) -> Expr:
         """Access the value of a given key as a string.
 
         Refer to the `JsonRef` class documentation for valid json specification.
@@ -80,7 +82,7 @@ def as_string(cls, json_obj: Expr, key: Expr) -> "JsonRef":
         return cls(JsonRefType.string, json_obj, key)
 
     @classmethod
-    def as_uint64(cls, json_obj: Expr, key: Expr) -> "JsonRef":
+    def as_uint64(cls, json_obj: Expr, key: Expr) -> Expr:
         """Access the value of a given key as a uint64.
 
         Refer to the `JsonRef` class documentation for valid json specification.

pyteal/ast/txn.py

@@ -751,20 +751,6 @@ def state_proof_pk(self) -> TxnExpr:
         """
         return self.makeTxnExpr(TxnField.state_proof_pk)
 
-    def num_approval_program_pages(self) -> TxnExpr:
-        """Get the number of pages in the approval program.
-
-        Requires TEAL version 7 or higher.
-        """
-        return self.makeTxnExpr(TxnField.num_approval_program_pages)
-
-    def num_clear_state_program_pages(self) -> TxnExpr:
-        """Get the number of pages in the clear state program.
-
-        Requires TEAL version 7 or higher.
-        """
-        return self.makeTxnExpr(TxnField.num_clear_state_program_pages)
-
     @property
     def application_args(self) -> TxnArray:
         """Application call arguments array.

pyteal/ast/txn_test.py

@@ -59,8 +59,6 @@
     pt.TxnField.created_application_id: lambda txn: txn.created_application_id(),
     pt.TxnField.last_log: lambda txn: txn.last_log(),
     pt.TxnField.state_proof_pk: lambda txn: txn.state_proof_pk(),
-    pt.TxnField.num_approval_program_pages: lambda txn: txn.num_approval_program_pages(),
-    pt.TxnField.num_clear_state_program_pages: lambda txn: txn.num_clear_state_program_pages(),
 }
 
 arrayFieldToProperty: Dict[pt.TxnField, Callable[[pt.TxnObject], pt.TxnArray]] = {