ObjectRef.h

// Copyright (C) 1999 Jean-Marc Valin & Dominic Letourneau

#ifndef OBJECTREF_H
#define OBJECTREF_H


#include "Object.h"
#include "net_types.h"
#include "BaseException.h"
#include <typeinfo>

namespace FD {

template <class T>
class CastException : public GenericCastException {
public:
   CastException(std::string _type) : type(_type) 
   {} 
  
   virtual void print(std::ostream &out = std::cerr) 
   {
      out << "Cast error: Trying to cast ObjectRef (" << type << ") into " << typeid(T).name() << std::endl;
   }

protected:
   std::string type;
};

template <class T>
inline T object_ptr_cast (const ObjectRef &ref)
{
   T tmp = dynamic_cast<T>(&(*ref));
   if (!tmp) 
      throw new CastException<T> (typeid ((*ref)).name());
   return tmp;
}

template <class T>
inline T &object_cast (const ObjectRef &ref)
{
   T *tmp = dynamic_cast<T *>(&(*ref));
   if (!tmp) 
      throw new CastException<T> (typeid ((*ref)).name());
   return *tmp;
}

template <class T>
inline T &dereference_cast (const ObjectRef &ref)
{
   GenericType<T> *tmp = (dynamic_cast<GenericType<T> * >(&(*ref)));
   if (!tmp) 
      throw new CastException<T> (typeid ((*ref)).name());
   return tmp->val();
}


template <class T>
inline bool &object_kind_of (const ObjectRef &ref)
{
   return dynamic_cast<T *>(&(*ref));
}


template <class T>
inline bool &object_has_type (const ObjectRef &ref)
{
   return typeid(*ref) == typeid(T);
}

}//end namespace FD

#endif

---