Destructor

Destructor.js

// Not yet tested because WeakRef isn't supported on my browsers

// Actually that's bad because Destructors will exist :
// https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/FinalizationRegistry

class Destructor {
  constructor(object, destructor, time) {
    this.object = new WeakRef(object);
    this.destructor = destructor;
    
    this.requestFutureCheckIfDead(time);
  }
  
  requestFutureCheckIfDead(time) {
    let self = this;
    setInterval(function () {
      if (self.object.deref() === undefined) {
        self.destructor();
      } else {
        self.requestFutureCheckIfDead(time);
      }
    }, time);
  }
}

function makeDestructorForWasmTreeDataset(ds, time) {
  let tree = ds.tree;
  return new Destructor(ds, () => tree.free(), time);
}

function makeDestructorForSophiaWasmDataset(ds, time) {
  let ptr = ds.ptr;
  let freeFunction = ds.prototype.free;
  return new Destructor(ds, () => freeFunction.call({ ptr: ptr }), time);
}