Skip to content
E#

pointers — examples

← all topics · 152 examples · page 4 of 4 · raw source ↓

ILEmitterTests_PtrEmbedIface__PointerEmbed_BumpMutatesThroughPointer

pointers runnable

Runs `go` → 50

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_PtrEmbedIface.cs::PointerEmbed_BumpMutatesThroughPointer   topic: pointers   status: unverified
// verified behavior: Test.go(...) == 50

func go() -> int {
  var o: *Outer = new Outer { Inner: new Inner { n: 48 }, label: "x" }
  o.bump()
  o.bump()
  return o.value()
}

ILEmitterTests_PtrEmbedIface__PointerEmbed_PromotedDirectAccess

pointers runnable

Runs `go` → 45

// E# — a verified example from the E# language corpus (CLR language; .es, not ECMAScript).
// provenance: ILEmitterTests_PtrEmbedIface.cs::PointerEmbed_PromotedDirectAccess   topic: pointers   status: unverified
// verified behavior: Test.go(...) == 45

func go() -> int {
  var o: *Outer = new Outer { Inner: new Inner { n: 45 }, label: "x" }
  return o.value()
}