2013-05-11 21:56:42 -04:00
|
|
|
namespace factor {
|
|
|
|
|
|
|
|
template <typename Type> struct data_root : public tagged<Type> {
|
|
|
|
factor_vm* parent;
|
|
|
|
|
|
|
|
void push() {
|
2014-06-11 14:33:33 -04:00
|
|
|
parent->data_roots.push_back(&this->value_);
|
2013-05-11 21:56:42 -04:00
|
|
|
}
|
|
|
|
|
2013-05-12 23:20:43 -04:00
|
|
|
data_root(cell value, factor_vm* parent)
|
|
|
|
: tagged<Type>(value), parent(parent) {
|
2013-05-11 21:56:42 -04:00
|
|
|
push();
|
|
|
|
}
|
|
|
|
|
2013-05-12 23:20:43 -04:00
|
|
|
data_root(Type* value, factor_vm* parent)
|
|
|
|
: tagged<Type>(value), parent(parent) {
|
2014-11-17 19:56:43 -05:00
|
|
|
FACTOR_ASSERT(value);
|
2013-05-11 21:56:42 -04:00
|
|
|
push();
|
|
|
|
}
|
|
|
|
|
2014-06-16 17:59:27 -04:00
|
|
|
~data_root() {
|
|
|
|
parent->data_roots.pop_back();
|
|
|
|
}
|
|
|
|
|
|
|
|
friend void swap(data_root<Type>& a, data_root<Type>& b) {
|
|
|
|
cell tmp = a.value_;
|
|
|
|
a.value_ = b.value_;
|
|
|
|
b.value_ = tmp;
|
|
|
|
}
|
2009-11-02 19:11:12 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|