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

security_patterns state

Back to all declarations

admin

.uverse.address

Value

<gnolang.StringValue>

message

string

Value

"Only the admin can edit this message."

TransferAdmin

func(next .uverse.address)
Open
OID
0d6be2…459b:7
TransferAdmin details

Inspect func

assertAdmin

func()

assertAdmin guards a state-mutating call. Callers pass their own cur rather than cross(cur) — a non-crossing call of a crossing function, so PreviousRealm does not shift and still names whoever called SetMessage or TransferAdmin. The cur realm first parameter is what makes it a crossing function: the compiler refuses any other first argument, so the token reaching IsCurrent below is live by construction.

Open
OID
0d6be2…459b:11
assertAdmin details

Inspect func
admin : .uverse.address =<gnolang.StringValue>
message : string ="Only the admin can edit this message."
SetMessage : func(next string) Inspect
TransferAdmin : func(next .uverse.address) Inspect
Admin : func() .uverse.address Inspect
Message : func() string Inspect
Render : func(path string) string Inspect
assertAdmin : func() Inspect