JTypeList.cc File Reference

Example program to test JLANG::JTypeList class. More...

#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"

Go to the source code of this file.

Functions
int	main (int argc, char **argv)

Detailed Description

Example program to test JLANG::JTypeList class.

Author

mdejong

Definition in file JTypeList.cc.

Function Documentation

int main	(	int	argc,
		char **	argv
	)

Definition at line 53 of file JTypeList.cc.

{
  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;
}