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

crossrealm_b state

Back to all declarations

fooer

type

Value

crossrealm_b.fooer

FooerGetter

func() crossrealm.Fooer
Open
OID
06279d…470d:7
FooerGetter details

Inspect func

FooerGetterBuilder

func() crossrealm.FooerGetter
Open
OID
06279d…470d:9
FooerGetterBuilder details

Inspect func

Closure

func(...)

Value

<zero>

Object

<nil>

Value

nil

SetObject

func(x interface{...})
Open
OID
06279d…470d:14
SetObject details

Inspect func

GetObject

func() interface{...}
Open
OID
06279d…470d:15
GetObject details

Inspect func

IncrementObject

func() interface{...}
Open
OID
06279d…470d:16
IncrementObject details

Inspect func

n

int

Value

0

IncrGlobal

func()

NOTE should be non-crossing

Open
OID
06279d…470d:18
IncrGlobal details

Inspect func

TrySubOn

func(int, rlm .uverse.realm)

TrySubOn attempts to mint a sub-realm token on a passed-in realm value. Non-crossing (\`\_ int\` discriminator), so the caller's cur remains the topmost crossing cur — but borrow rule #1 runs this body with m.Realm = crossrealm\_b, so rlm.Sub must reject: a foreign realm must not mint sub-identities in the caller's namespace.

Open
OID
06279d…470d:19
TrySubOn details

Inspect func

TryBankerOnPrevious

func()

TryBankerOnPrevious attempts to construct a RealmSend banker over the CALLER via cur.Previous() (which is NOT IsCurrent). NewBanker must reject it — otherwise a callee could set pkgAddr to the caller's address and drain it through the pkgAddr==from gate. Regression guard for the IsCurrent check in NewBanker.

Open
OID
06279d…470d:20
TryBankerOnPrevious details

Inspect func
fooer : type =crossrealm_b.fooer
Fooer : *crossrealm_b.fooer Inspect
FooerGetter : func() crossrealm.Fooer Inspect
FooerGetterBuilder : func() crossrealm.FooerGetter Inspect
Closure : func(...) =<zero>
SetClosure : func(f func(...)) Inspect
Object : <nil> =nil
SetObject : func(x interface{...}) Inspect
GetObject : func() interface{...} Inspect
IncrementObject : func() interface{...} Inspect
n : int =0
IncrGlobal : func() Inspect
TrySubOn : func(int, rlm .uverse.realm) Inspect
TryBankerOnPrevious : func() Inspect