// $Source$
// $Revision$
// $Date$
// $Author$

#ifndef __rf_object_ref_ih__
#define __rf_object_ref_ih__

#include "rf_object_ref.hh"
#include "rf_term.ih"
#include "rf_expr.ih"
#include "rf_object.ih"

namespace rftype
{

using namespace rfrt ;

inline ObjectRef::ObjectRef (Object* _obj_ptr) :
  Term (type_object)
{
  _obj_ptr->ref_count++;
  ptr_data2 = _obj_ptr;
}

//
// Destructor is never called.
inline ObjectRef::~ObjectRef ()
{
  FATAL("Destructor for ObjectRef should never be called.");
}

inline Object* ObjectRef::get_obj_ptr () const
{
  return static_cast<Object*>(ptr_data2);
}

}

#endif // __rf_object_ref_ih__