#ifndef __JLANG__JCONVERSION__
#define __JLANG__JCONVERSION__

#include <type_traits>
#include "JLang/JAssert.hh"


/**
 * \author mdejong
 */

namespace JLANG {}
namespace JPP { using namespace JLANG; }

namespace JLANG {


  /**
   * Template class test for polymorphism.
   */
  template<class JDerived_t, class JBase_t>
  struct JConversion {
    static const bool is_derived = std::is_base_of<JBase_t, JDerived_t>::value;   //!< true, if JDerived_t derives from JBase_t
    static const bool is_same    = std::is_same   <JBase_t, JDerived_t>::value;   //!< true, if JDerived_t is equal to  JBase_t
  };
  

  /**
   * Specialisation of JConversion for identical types.
   */
  template<class T>
  struct JConversion<T,T>
  {
    static const bool is_derived = true;
    static const bool is_same    = true;
  };


  /**
   * Auxialiary class to assert type conversion.
   */
  template<class JDerived_t, class JBase_t, bool is_derived = JConversion<JDerived_t,JBase_t>::is_derived>
  class JAssertConversion;

  /**
   * Implementation of a valid type conversion.
   */
  template<class JDerived_t, class JBase_t>
  class JAssertConversion<JDerived_t, JBase_t, true> {};
}

#endif