4 template<typename Type> cell tag(Type *value)
6 return RETAG(value,tag_for(Type::type_number));
9 inline static cell tag_dynamic(object *value)
11 return RETAG(value,tag_for(value->h.hi_tag()));
14 template<typename Type>
19 cell value() const { return value_; }
20 Type *untagged() const { return (Type *)(UNTAG(value_)); }
23 cell tag = TAG(value_);
24 if(tag == OBJECT_TYPE)
25 return untagged()->h.hi_tag();
30 bool type_p(cell type_) const { return type() == type_; }
32 Type *untag_check(factor_vm *myvm) const {
33 if(Type::type_number != TYPE_COUNT && !type_p(Type::type_number))
34 myvm->type_error(Type::type_number,value_);
38 explicit tagged(cell tagged) : value_(tagged) {
40 untag_check(tls_vm());
44 explicit tagged(Type *untagged) : value_(factor::tag(untagged)) {
46 untag_check(tls_vm());
50 Type *operator->() const { return untagged(); }
51 cell *operator&() const { return &value_; }
53 const tagged<Type> &operator=(const Type *x) { value_ = tag(x); return *this; }
54 const tagged<Type> &operator=(const cell &x) { value_ = x; return *this; }
56 bool operator==(const tagged<Type> &x) { return value_ == x.value_; }
57 bool operator!=(const tagged<Type> &x) { return value_ != x.value_; }
59 template<typename NewType> tagged<NewType> as() { return tagged<NewType>(value_); }
62 template<typename Type> Type *factor_vm::untag_check(cell value)
64 return tagged<Type>(value).untag_check(this);
67 template<typename Type> Type *factor_vm::untag(cell value)
69 return tagged<Type>(value).untagged();