vm/data_roots.hpp

   1 namespace factor {
   2
   3 template <typename Type> struct data_root : public tagged<Type> {
   4   factor_vm* parent;
   5
   6   void push() {
   7     parent->data_roots.push_back(&this->value_);
   8   }
   9
  10   data_root(cell value, factor_vm* parent)
  11       : tagged<Type>(value), parent(parent) {
  12     push();
  13   }
  14
  15   data_root(Type* value, factor_vm* parent)
  16       : tagged<Type>(value), parent(parent) {
  17     FACTOR_ASSERT(value);
  18     push();
  19   }
  20
  21   ~data_root() {
  22     parent->data_roots.pop_back();
  23   }
  24
  25   friend void swap(data_root<Type>& a, data_root<Type>& b) {
  26     cell tmp = a.value_;
  27     a.value_ = b.value_;
  28     b.value_ = tmp;
  29   }
  30 };
  31
  32 }