Search Apps Documentation Source Content File Folder Download Copy Actions Download State String Boolean Number Struct Map Slice Pointer Function Closure Reference Nil Package Type Interface Unknown

v0 state

Back to all declarations

owner

.uverse.address

Value

<gnolang.StringValue>

counter

int

Value

0

live

string

Value

"gno.land/r/moul/x/upgrade/store/logic/v0"

Inc

func(n int) int

Inc adds n to the stored counter. Only the live logic realm may call it.

Open
OID
087446…5524:8
Inc details

Inspect func

Get

func() int

Get is open to everyone: the data is public, only writes are gated.

Open
OID
087446…5524:10
Get details

Inspect func

Live

func() string

Live is the package path currently allowed to write.

Open
OID
087446…5524:11
Live details

Inspect func

SetLive

func(pkgPath string)

SetLive hands write access to another logic realm. This is the upgrade.

Open
OID
087446…5524:12
SetLive details

Inspect func

assertCallerIsLive

func()
Open
OID
087446…5524:13
assertCallerIsLive details

Inspect func

assertPkgPath

func(p string)

assertPkgPath rejects anything that is not a gno.land realm path. It exists for Render, not for correctness of the upgrade: the stored path is echoed into markdown, so validating it at write time is what lets Render print it raw. ui.Inline would escape the dots in "gno.land" and turn the one string a reader needs to copy into "gno\\.land".

Open
OID
087446…5524:15
assertPkgPath details

Inspect func
owner : .uverse.address =<gnolang.StringValue>
Ownable : *v0.Ownable Inspect
counter : int =0
live : string ="gno.land/r/moul/x/upgrade/store/logic/v0"
Inc : func(n int) int Inspect
Get : func() int Inspect
Live : func() string Inspect
SetLive : func(pkgPath string) Inspect
assertCallerIsLive : func() Inspect
Render : func(string) string Inspect
assertPkgPath : func(p string) Inspect