chore(demo): upgradable realm demo

examples/gno.land/r/x/manfred_upgrade_patterns/README.md

@@ -38,3 +38,10 @@ This repository explores different upgrade patterns for Gno smart contracts.
 
 - Similar to `upgrade_e`.
 - Replaces self-registration with manual registration by an admin.
+
+## `upgrade_g`
+
+- Diamond pattern of admin <-> (multiple version of logics) <-> store
+- The admin provides persistent interface for the interaction for the other contracts and users
+- The store acts as the persistent storage independent from the migration
+- Logics could be replaced, registering the entrypoint functions as function variables to the admin and taking the store access(while revoking the previous one)

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin/entry.gno

@@ -0,0 +1,15 @@
+package admin 
+
+import (
+	"std"
+)
+
+var ReadCounter func() uint64 = nil
+var UpdateCounter func() = nil
+var DebugPrevRealm func() string = nil
+
+// ----------------------------------------------------------------------------
+
+func DebugAdminPrevRealm() string {
+	return std.PrevRealm().Addr().String()
+}

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin/gno.mod

@@ -0,0 +1 @@
+module gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin/logic.gno

@@ -0,0 +1,21 @@
+package admin
+
+import (
+	"std"
+)
+
+type Logic interface {
+	ReadCounter() uint64
+	UpdateCounter()
+
+	DebugPrevRealm() string
+}
+
+func RegisterLogic(l Logic, setStore func(Store)) {
+	ReadCounter = l.ReadCounter
+	UpdateCounter = l.UpdateCounter
+	DebugPrevRealm = l.DebugPrevRealm
+
+	newStore := store()
+	setStore(newStore)
+}

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin/store.gno

@@ -0,0 +1,15 @@
+package admin
+
+type Store interface {
+	GetCounter() uint64
+	SetCounter(value uint64)
+}
+
+var store func() Store = nil
+
+func RegisterStore(newStore func() Store) {
+	if store != nil {
+		panic("Store already registered")
+	}
+	store = newStore
+}

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v1/counter.gno

@@ -0,0 +1,29 @@
+package v1
+
+import (
+	"std"
+
+	"gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin"
+)
+
+var store admin.Store = nil
+
+func Init() {
+	admin.RegisterLogic(&logic{}, func(_store admin.Store) { store = _store })
+}
+
+var _ admin.Logic = &logic{}
+
+type logic struct {}
+
+func (l *logic) ReadCounter() uint64 {
+	return store.GetCounter()
+}
+
+func (l *logic) UpdateCounter() {
+	store.SetCounter(store.GetCounter() + 1)
+}
+
+func (l *logic) DebugPrevRealm() string {
+	return std.PrevRealm().Addr().String()
+}

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v1/gno.mod

@@ -0,0 +1,3 @@
+module gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v1
+
+require gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin v0.0.0-latest

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v2/counter.gno

@@ -0,0 +1,29 @@
+package v2
+
+import (
+	"std"
+
+	"gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin"
+)
+
+var store admin.Store = nil
+
+func Init() {
+	admin.RegisterLogic(&logic{}, func(_store admin.Store) { store = _store })
+}
+
+var _ admin.Logic = &logic{}
+
+type logic struct {}
+
+func (l *logic) ReadCounter() uint64 {
+	return store.GetCounter()
+}
+
+func (l *logic) UpdateCounter() {
+	store.SetCounter(store.GetCounter() + 2)
+}
+
+func (l *logic) DebugPrevRealm() string {
+	return std.PrevRealm().Addr().String()
+}

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v2/gno.mod

@@ -0,0 +1,3 @@
+module gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v2
+
+require gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin v0.0.0-latest

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/store/gno.mod

@@ -0,0 +1,3 @@
+module gno.land/r/x/manfred_upgrade_patterns/upgrade_g/store
+
+require gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin v0.0.0-latest

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/store/store.gno

@@ -0,0 +1,42 @@
+package store
+
+import (
+	"std"
+	"fmt"
+
+	"gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin"
+)
+
+var counterValue uint64
+
+var _ admin.Store = &store{}
+
+var currentStore *store
+
+type store struct {}
+
+func (s *store) GetCounter() uint64 {
+	if s != currentStore {
+		panic("Revoked store")
+	}
+
+	return counterValue
+}
+
+func (s *store) SetCounter(value uint64) {
+	if s != currentStore {
+		panic("Revoked store")
+	}
+
+	counterValue = value
+}
+
+func newStore() admin.Store {
+	currentStore = &store{}
+
+	return currentStore
+}
+
+func Init() {
+	admin.RegisterStore(newStore)
+}

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/upgradable_testing/gno.mod

@@ -0,0 +1,10 @@
+module gno.land/r/x/manfred_upgrade_patterns/upgrade_g/upgradable_testing
+
+require (
+	gno.land/p/demo/testutils v0.0.0-latest
+	gno.land/p/demo/urequire v0.0.0-latest
+	gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin v0.0.0-latest
+	gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v1 v0.0.0-latest
+	gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v2 v0.0.0-latest
+	gno.land/r/x/manfred_upgrade_patterns/upgrade_g/store v0.0.0-latest
+)

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/upgradable_testing/upgradable.gno

@@ -0,0 +1 @@
+package upgradable_testing

examples/gno.land/r/x/manfred_upgrade_patterns/upgrade_g/upgradable_testing/upgradable_test.gno

@@ -0,0 +1,35 @@
+package upgradable_testing
+
+import (
+	"std"
+	"testing"
+
+	"gno.land/p/demo/testutils"
+	"gno.land/p/demo/urequire"
+
+	"gno.land/r/x/manfred_upgrade_patterns/upgrade_g/admin"
+	"gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v1"
+	"gno.land/r/x/manfred_upgrade_patterns/upgrade_g/logic/v2"
+	"gno.land/r/x/manfred_upgrade_patterns/upgrade_g/store"
+
+)
+
+func TestPackage(t *testing.T) {
+	alice := testutils.TestAddress("alice")
+	std.TestSetRealm(std.NewUserRealm(alice))
+	std.TestSetOrigCaller(alice) // XXX: should not need this
+
+	store.Init()
+
+	v1.Init()
+	urequire.Equal(t, uint64(0), admin.ReadCounter())
+	admin.UpdateCounter()
+	urequire.Equal(t, uint64(1), admin.ReadCounter())
+
+	v2.Init()         
+	urequire.Equal(t, uint64(1), admin.ReadCounter())
+	admin.UpdateCounter()
+	urequire.Equal(t, uint64(3), admin.ReadCounter())
+
+	urequire.Equal(t, admin.DebugPrevRealm(), admin.DebugAdminPrevRealm())
+}