Reference Type deref

pyteal/ast/abi/reference_type.py

@@ -1,4 +1,6 @@
 from pyteal.ast.abi.uint import Uint, UintTypeSpec
+from pyteal.ast.expr import Expr
+from pyteal.ast.txn import Txn
 
 
 class AccountTypeSpec(UintTypeSpec):
@@ -25,6 +27,9 @@ class Account(Uint):
     def __init__(self) -> None:
         super().__init__(AccountTypeSpec())
 
+    def deref(self) -> Expr:
+        return Txn.accounts[self.stored_value.load()]
+
 
 Account.__module__ = "pyteal"
 
@@ -53,6 +58,9 @@ class Asset(Uint):
     def __init__(self) -> None:
         super().__init__(AssetTypeSpec())
 
+    def deref(self) -> Expr:
+        return Txn.assets[self.stored_value.load()]
+
 
 Asset.__module__ = "pyteal"
 
@@ -81,5 +89,8 @@ class Application(Uint):
     def __init__(self) -> None:
         super().__init__(ApplicationTypeSpec())
 
+    def deref(self) -> Expr:
+        return Txn.applications[self.stored_value.load()]
+
 
 Application.__module__ = "pyteal"

pyteal/ast/abi/reference_type_test.py

@@ -90,6 +90,28 @@ def test_Account_set():
         assert actual == expected
 
 
+def test_Account_deref():
+    val_to_set = 2
+    value = abi.Account()
+    value.set(val_to_set)
+    expr = value.deref()
+    assert expr.type_of() == pt.TealType.bytes
+    assert expr.has_return() is False
+
+    expected = pt.TealSimpleBlock(
+        [
+            pt.TealOp(None, pt.Op.load, value.stored_value.slot),
+            pt.TealOp(None, pt.Op.txnas, "Accounts"),
+        ]
+    )
+    actual, _ = expr.__teal__(options)
+    actual.addIncoming()
+    actual = pt.TealBlock.NormalizeBlocks(actual)
+
+    with pt.TealComponent.Context.ignoreExprEquality():
+        assert actual == expected
+
+
 def test_Asset_str():
     assert str(abi.AssetTypeSpec()) == "asset"
 
@@ -176,6 +198,28 @@ def test_Asset_set():
         assert actual == expected
 
 
+def test_Asset_deref():
+    val_to_set = 2
+    value = abi.Asset()
+    value.set(val_to_set)
+    expr = value.deref()
+    assert expr.type_of() == pt.TealType.uint64
+    assert expr.has_return() is False
+
+    expected = pt.TealSimpleBlock(
+        [
+            pt.TealOp(None, pt.Op.load, value.stored_value.slot),
+            pt.TealOp(None, pt.Op.txnas, "Assets"),
+        ]
+    )
+    actual, _ = expr.__teal__(options)
+    actual.addIncoming()
+    actual = pt.TealBlock.NormalizeBlocks(actual)
+
+    with pt.TealComponent.Context.ignoreExprEquality():
+        assert actual == expected
+
+
 def test_Application_str():
     assert str(abi.ApplicationTypeSpec()) == "application"
 
@@ -260,3 +304,25 @@ def test_Application_set():
 
     with pt.TealComponent.Context.ignoreExprEquality():
         assert actual == expected
+
+
+def test_Application_deref():
+    val_to_set = 2
+    value = abi.Application()
+    value.set(val_to_set)
+    expr = value.deref()
+    assert expr.type_of() == pt.TealType.uint64
+    assert expr.has_return() is False
+
+    expected = pt.TealSimpleBlock(
+        [
+            pt.TealOp(None, pt.Op.load, value.stored_value.slot),
+            pt.TealOp(None, pt.Op.txnas, "Applications"),
+        ]
+    )
+    actual, _ = expr.__teal__(options)
+    actual.addIncoming()
+    actual = pt.TealBlock.NormalizeBlocks(actual)
+
+    with pt.TealComponent.Context.ignoreExprEquality():
+        assert actual == expected