42 lines
		
	
	
		
			828 B
		
	
	
	
		
			C++
		
	
	
			
		
		
	
	
			42 lines
		
	
	
		
			828 B
		
	
	
	
		
			C++
		
	
	
| namespace factor {
 | |
| 
 | |
| template <typename Type> struct data_root : public tagged<Type> {
 | |
|   factor_vm* parent;
 | |
| 
 | |
|   void push() {
 | |
|     parent->data_roots.push_back(&this->value_);
 | |
|   }
 | |
| 
 | |
|   data_root(cell value, factor_vm* parent)
 | |
|       : tagged<Type>(value), parent(parent) {
 | |
|     push();
 | |
|   }
 | |
| 
 | |
|   data_root(Type* value, factor_vm* parent)
 | |
|       : tagged<Type>(value), parent(parent) {
 | |
|     FACTOR_ASSERT(value);
 | |
|     push();
 | |
|   }
 | |
| 
 | |
|   const data_root<Type>& operator=(const Type* x) {
 | |
|     tagged<Type>::operator=(x);
 | |
|     return *this;
 | |
|   }
 | |
|   const data_root<Type>& operator=(const cell& x) {
 | |
|     tagged<Type>::operator=(x);
 | |
|     return *this;
 | |
|   }
 | |
| 
 | |
|   ~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;
 | |
|   }
 | |
| };
 | |
| 
 | |
| }
 |