#include <string>
#include <list>
#include <vector>
+#include <typeinfo>
#include "class_info.h"
#include "print.h"
template <template <class T, class = std::allocator<T> > class> class container;
typedef container<std::list> lst;
+/** To distinguish between different kinds of non-commutative objects */
+struct return_type_t
+{
+ /// to distinguish between non-commutative objects of different type.
+ std::type_info const* tinfo;
+ /// to distinguish between non-commutative objects of the same type.
+ /// Think of gamma matrices with different represenation labels.
+ unsigned rl;
+
+ /// Strict weak ordering (so one can put return_type_t's into
+ /// a STL container).
+ inline bool operator<(const return_type_t& other) const
+ {
+ if (tinfo->before(*other.tinfo))
+ return true;
+ return rl < other.rl;
+ }
+ inline bool operator==(const return_type_t& other) const
+ {
+ if (*tinfo != *(other.tinfo))
+ return false;
+ return rl == other.rl;
+ }
+ inline bool operator!=(const return_type_t& other) const
+ {
+ return ! (operator==(other));
+ }
+};
+
+template<typename T> inline return_type_t make_return_type_t(const unsigned rl = 0)
+{
+ return_type_t ret;
+ ret.rl = rl;
+ ret.tinfo = &typeid(T);
+ return ret;
+}
+
/** Definitions for the tinfo mechanism. */
typedef const void * tinfo_t;
struct tinfo_static_t {};
/** This class stores information about a registered GiNaC class. */
class registered_class_options {
public:
- registered_class_options(const char *n, const char *p, tinfo_t ti, unarch_func f)
- : name(n), parent_name(p), tinfo_key(ti), unarchive(f) {}
+ registered_class_options(const char *n, const char *p,
+ const std::type_info& ti,
+ unarch_func f)
+ : name(n), parent_name(p), tinfo_key(&ti), unarchive(f) {}
const char *get_name() const { return name; }
const char *get_parent_name() const { return parent_name; }
- tinfo_t get_id() const { return tinfo_key; }
+ std::type_info const* get_id() const { return tinfo_key; }
unarch_func get_unarch_func() const { return unarchive; }
const std::vector<print_functor> &get_print_dispatch_table() const { return print_dispatch_table; }
private:
const char *name; /**< Class name. */
const char *parent_name; /**< Name of superclass. */
- tinfo_t tinfo_key; /**< Type information key. */
+ std::type_info const* tinfo_key; /**< Type information key. */
unarch_func unarchive; /**< Pointer to unarchiving function. */
std::vector<print_functor> print_dispatch_table; /**< Method table for print() dispatch */
};
/** Macro for inclusion in the implementation of each registered class. */
#define GINAC_IMPLEMENT_REGISTERED_CLASS(classname, supername) \
- GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, &classname::tinfo_static, &classname::unarchive)); \
+ GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, typeid(classname), &classname::unarchive)); \
const GiNaC::tinfo_static_t classname::tinfo_static = {};
/** Macro for inclusion in the implementation of each registered class.
* Additional options can be specified. */
#define GINAC_IMPLEMENT_REGISTERED_CLASS_OPT(classname, supername, options) \
- GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, &classname::tinfo_static, &classname::unarchive).options); \
+ GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, typeid(classname), &classname::unarchive).options); \
const GiNaC::tinfo_static_t classname::tinfo_static = {};
/** Macro for inclusion in the implementation of each registered class.
* Additional options can be specified. */
#define GINAC_IMPLEMENT_REGISTERED_CLASS_OPT_T(classname, supername, options) \
- GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, &classname::tinfo_static, &classname::unarchive).options); \
+ GiNaC::registered_class_info classname::reg_info = GiNaC::registered_class_info(GiNaC::registered_class_options(#classname, #supername, typeid(classname), &classname::unarchive).options); \
template<> const GiNaC::tinfo_static_t classname::tinfo_static = {};
/** Find type information key by class name. */
-extern tinfo_t find_tinfo_key(const std::string &class_name);
+extern std::type_info const* find_tinfo_key(const std::string &class_name);
/** Find unarchiving function by class name. */
extern unarch_func find_unarch_func(const std::string &class_name);