JTypeList.cc

Go to the documentation of this file.

 
#include <iostream>
#include <iomanip>
#include <typeinfo>
 
#include "JLang/JType.hh"
#include "JLang/JTypeList.hh"
#include "JLang/JConversion.hh"
 
#include "Jeep/JParser.hh"
#include "Jeep/JMessage.hh"
 
 
namespace {
 
  using namespace JPP;
 
 
  /**
   * Print empty type list.
   *
   * \param  out            output stream
   * \param  typelist       empty typelist
   * \return                output stream
   */
  std::ostream& operator<<(std::ostream& out, JType<JNullType> typelist)
  {
    return out;
  }
  
 
  /**
   * Print type list.
   *
   * \param  out            output stream
   * \param  typelist       typelist
   * \return                output stream
   */
  template<class JHead_t, class JTail_t>
  std::ostream& operator<<(std::ostream& out, JType< JTypeList<JHead_t, JTail_t> > typelist)
  {
    return out << typeid(JHead_t).name() << ' ' << JType<JTail_t>();
  }
}
 
 
/**
 * \file
 *
 * Example program to test JLANG::JTypeList class.
 * \author mdejong
 */
int main(int argc, char **argv)
{
  using namespace std;
  using namespace JPP;
 
  int          debug;
 
  try {
 
    JParser<> zap("Example program to test type lists.");
 
    zap['d'] = make_field(debug)   = 3;
 
    zap(argc, argv);
  }
  catch(const exception &error) {
    FATAL(error.what() << endl);
  }
 
  typedef JTYPELIST<char,
                    short,
                    int,
                    float,
                    double>::typelist         typelist;
 
  typedef JTYPELIST<char,
                    short>::typelist          removal;
  
 
  const int N = 30;
 
  DEBUG(setw(N) << left << "typelist"        << (JType<typelist>()) << endl);
  DEBUG(setw(N) << left << "removal list"    << (JType<removal> ()) << endl);
 
  DEBUG("Length of typelist  " << JLength<typelist>::value << endl);
 
  ASSERT((JLength<typelist>::value) ==  5, "Test of length of type list");
 
  DEBUG(setw(N) << left << "index of char"   << (JIndexOf<typelist,char> ::value) << endl);
  DEBUG(setw(N) << left << "index of float"  << (JIndexOf<typelist,float>::value) << endl);
  DEBUG(setw(N) << left << "index of string" << (JIndexOf<typelist,string>::value) << endl);
 
  ASSERT((JIndexOf<typelist,char>  ::value) ==  0, "Test of index of char.");
  ASSERT((JIndexOf<typelist,float> ::value) ==  3, "Test of index of float.");
  ASSERT((JIndexOf<typelist,string>::value) == -1, "Test of index of string.");
 
  DEBUG(setw(N) << left << "typelist w/o char"         << (JType<JRemove<typelist, char>   ::typelist>()) << endl);
  DEBUG(setw(N) << left << "typelist w/o int"          << (JType<JRemove<typelist, int>    ::typelist>()) << endl);
 
  ASSERT((JIndexOf<JRemove<typelist, char>   ::typelist,char>  ::value) ==  -1, "Test of index of char after removal.");
  ASSERT((JIndexOf<JRemove<typelist, float>  ::typelist,float> ::value) ==  -1, "Test of index of float after removal.");
  
  DEBUG(setw(N) << left << "typelist w/o removal list" << (JType<JRemove<typelist, removal>::typelist>()) << endl);
 
  ASSERT((JLength<JRemove<typelist, removal>::typelist>::value) == 3, "Test of length of type list after removal of other type list.");
 
  DEBUG(setw(N) << left << "removal list with int"        << (JType<JAppend<removal, int>     ::typelist>()) << endl);
  DEBUG(setw(N) << left << "removal list with type list"  << (JType<JAppend<removal, typelist>::typelist>()) << endl);
 
  ASSERT((JLength<JAppend<removal, int>     ::typelist>::value) == 3, "Test of length of type list after adding data type.");
  ASSERT((JLength<JAppend<removal, typelist>::typelist>::value) == 7, "Test of length of type list after adding type list.");
 
  DEBUG(setw(N) << left << "removal list with int"        << (JType<JTYPELIST<removal, int>     ::typelist>()) << endl);
  DEBUG(setw(N) << left << "removal list with type list"  << (JType<JTYPELIST<removal, typelist>::typelist>()) << endl);
 
  ASSERT((JLength<JTYPELIST<removal, int>     ::typelist>::value) == 3, "Test of length of type list after adding data type.");
  ASSERT((JLength<JTYPELIST<removal, typelist>::typelist>::value) == 7, "Test of length of type list after adding type list.");
 
  DEBUG("Type at 0 is char   " << (JConversion<char,      JTypeAt<typelist, 0, false>::value_type>::is_same ? "Y" : "N") << endl);
  DEBUG("Type at 4 is double " << (JConversion<double,    JTypeAt<typelist, 4, false>::value_type>::is_same ? "Y" : "N") << endl);
  DEBUG("Type at 5 is null   " << (JConversion<JNullType, JTypeAt<typelist, 5, false>::value_type>::is_same ? "Y" : "N") << endl);
 
  ASSERT((JConversion<char,      JTypeAt<typelist, 0, false>::value_type>::is_same), "Test of type extraction by index.");
  ASSERT((JConversion<double,    JTypeAt<typelist, 4, false>::value_type>::is_same), "Test of type extraction by index.");
  ASSERT((JConversion<JNullType, JTypeAt<typelist, 5, false>::value_type>::is_same), "Test of type extraction by index.");
 
  typedef JTYPELIST<char, int, float>::typelist        typelistA;
  typedef JTYPELIST<char, int, float>::typelist        typelistB;
  typedef JTYPELIST<typelistB, int, float>::typelist   typelistC;
  typedef JTYPELIST<int, typelistC>::typelist          typelistD;
  typedef JTYPELIST<typelistA, typelistD>::typelist    typelistE;
 
  DEBUG("Type list A " << JType<typelistA>() << endl);
  DEBUG("Type list B " << JType<typelistB>() << endl);
  DEBUG("Type list C " << JType<typelistC>() << endl);
  DEBUG("Type list D " << JType<typelistD>() << endl);
  DEBUG("Type list E " << JType<typelistE>() << endl);
 
  ASSERT((JLength<typelistA>::value) ==  3, "Test of length of type list A");
  ASSERT((JLength<typelistB>::value) ==  3, "Test of length of type list B");
  ASSERT((JLength<typelistC>::value) ==  5, "Test of length of type list C");
  ASSERT((JLength<typelistD>::value) ==  6, "Test of length of type list D");
  ASSERT((JLength<typelistE>::value) ==  9, "Test of length of type list E");
 
  return 0;
}