typelist-util-test.cpp

Go to the documentation of this file.

/*
  TypeListUtil(Test)  -  check the simple typelist metaprogramming helpers 

   Copyright (C)
     2011,            Hermann Vosseler <Ichthyostega@web.de>

  **Lumiera** is free software; you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by the
  Free Software Foundation; either version 2 of the License, or (at your
  option) any later version. See the file COPYING for further details.

* *****************************************************************/

#include "lib/test/run.hpp"
#include "lib/meta/typelist-util.hpp"



namespace lib  {
namespace meta {
namespace test {
  
  
  
  typedef Types< int
               , uint
               , int64_t
               , uint64_t
               >::List     TheList;
  
  typedef Types<  >::List  EmptyList;
  
  
  
  /*********************************************************************/
  class TypeListUtil_test : public Test
    {
      void
      run (Arg) 
        {
          CHECK (4 == count<TheList>::value);
          CHECK (0 == count<EmptyList>::value);
          
          CHECK (sizeof(int64_t) == maxSize<TheList>::value);
          CHECK (0               == maxSize<EmptyList>::value);
          
          CHECK ( bool(IsInList<int     , TheList>::value));
          CHECK ( bool(IsInList<uint    , TheList>::value));
          CHECK ( bool(IsInList<int64_t , TheList>::value));
          CHECK ( bool(IsInList<uint64_t, TheList>::value));
          
          CHECK (!bool(IsInList<double  , TheList>::value));
          CHECK (!bool(IsInList<int     , EmptyList>::value));
          CHECK (!bool(IsInList<int     , int>::value));         // Note: not-a-typelist yields false too
        } 
    };
  
  
  LAUNCHER (TypeListUtil_test, "unit meta");
  
  
  
}}} // namespace lib::meta::test