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;
 
  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);
  }
 
  using namespace JPP;
 
  typedef JTYPELIST<char,
                    short>::typelist          removal;
 
  typedef JTYPELIST<char,
                    short,
                    int,
                    float,
                    double>::typelist         typelist;
  
  const int N = 30;
 
  cout << setw(N) << left << "typelist"       << JType<typelist>() << endl;
  cout << setw(N) << left << "removal list"   << JType<removal> () << endl;
  cout << setw(N) << left << "index of char"  << JIndexOf<typelist,char> ::value << endl;
  cout << setw(N) << left << "index of float" << JIndexOf<typelist,float>::value << endl;
  
  cout << setw(N) << left << "typelist w/o char"         << JType<JRemove<typelist, char>   ::typelist>() << endl;
  cout << setw(N) << left << "typelist w/o int"          << JType<JRemove<typelist, int>    ::typelist>() << endl;
  cout << setw(N) << left << "typelist w/o removal list" << JType<JRemove<typelist, removal>::typelist>() << endl;
  cout << setw(N) << left << "removal list w int"        << JType<JAppend<removal, int>     ::typelist>() << endl;
  cout << setw(N) << left << "removal list w typelist"   << JType<JAppend<removal, typelist>::typelist>() << endl;
 
  cout << "Length of typelist  " << JLength<typelist>::value << endl;
  cout << "Type at 0 is char   " << JConversion<char,      JTypeAt<typelist, 0, false>::value_type>::is_same << endl;
  cout << "Type at 4 is double " << JConversion<double,    JTypeAt<typelist, 4, false>::value_type>::is_same << endl;
  cout << "Type at 5 is null   " << JConversion<JNullType, JTypeAt<typelist, 5, false>::value_type>::is_same << endl;
  //cout << "Type at 5 is null   " << JConversion<JNullType, JTypeAt<typelist, 5, true> ::value_type>::is_same << endl;
}