manuallyDestroyVariable (object --)

Inputs

• object: Object or Ref object whose designated object is destroyed.

Outputs

• None.

manuallyDestroyVariable is a designated-storage destruction builtin. It destroys an object in existing storage. Storage release or storage reuse is a separate operation. For a non-static, non-callable In-place local or field, NAME or .NAME and @NAME or .@NAME all designate the same storage for manual destruction; see selection.

Behavior

• If object is a mutable or immutable Ref, the builtin destroys the object in the referenced storage.
• Otherwise, it destroys the designated local, field, or temporary object itself.
• The builtin does not free the underlying storage address.

Example

"String"           use
"memory.mplMalloc" use

Tracer: {
  value: 0;
  INIT: [
    ("init\n") printList
    42 !value
  ];
  DIE: [
    ("die\n") printList
  ];
};

{} 0 {} [
  slot: Tracer storageSize mplMalloc @Tracer addressToReference;
  @slot manuallyInitVariable
  ("-- value -- " slot.value "\n") printList
  slot manuallyDestroyVariable
  0
] "main" exportFunction

Expected Output

init
-- value -- 42
die

See also

• addressToReference builtin (address modelValue -- reconstructedValue) Typed reconstruction from a numeric storage address. Ref-like model objects keep their schema, and direct non-Ref-like model objects produce Ref results.
• alignment builtin (schema -- alignment) Known Natx alignment requirement of the dereferenced schema.
• manuallyInitVariable builtin (object --) Manually initializes the designated object in existing storage without allocating the storage.
• storageAddress builtin (object -- address) Current stack-object storage query; known NIL Ref, Text, and Code objects produce 0nx.
• storageSize builtin (schema -- size) Known Natx storage size of the dereferenced schema.