duck-detector-extension-test.cpp

Go to the documentation of this file.

/*
  DuckDetectorExtension(Test)  -  detecting support for extension points at compile time
 
   Copyright (C)
     2017,            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/duck-detector.hpp"
#include "lib/util.hpp"
 
#include <string>
 
 
namespace lib {
namespace meta{
namespace test{
  
  using std::string;
  
  
  namespace { // test types and definitions to explore....
    
    void
    fun (long)
      { }
    
    int
    fun (string, long)
      {
        return 12;
      }
    
    void
    fun ()
      { }
    
    
    class Cheesy
      {
      public:
        double funny (char, char, string);
        void funky()  const;
        short fuzzy (float, float);
        llong fuzzy();
        double fully;
      };
    
    class Fishy
      {
        llong fuzzy();
        
        friend void fun (Fishy&);
      };
    
    
  }//(End) test definitions
  
  
  
  
  /***********************************************************************************/
  class DuckDetectorExtension_test : public Test
    {
      
      META_DETECT_EXTENSION_POINT (funZ);
      META_DETECT_EXTENSION_POINT (fun);
      
      META_DETECT_FUNCTION (double, funny, (char, char, string));
      META_DETECT_FUNCTION (llong, fuzzy, (void));
      META_DETECT_FUNCTION_NAME (funny);
      META_DETECT_FUNCTION_NAME (funky);
      META_DETECT_FUNCTION_NAME (fuzzy);
      META_DETECT_FUNCTION_NAME (fully);
      META_DETECT_MEMBER(funny);
      META_DETECT_MEMBER(funky);
      META_DETECT_MEMBER(fuzzy);
      META_DETECT_MEMBER(fully);
      META_DETECT_FUNCTION_ARGLESS (funny);
      META_DETECT_FUNCTION_ARGLESS (funky);
      META_DETECT_FUNCTION_ARGLESS (fuzzy);
      
      
      void
      run (Arg)
        {
          detect_freeFunctionADL_ExtensionPoint();
          detect_memberFunctionVariations();
        }
      
      
      void
      detect_freeFunctionADL_ExtensionPoint()
        {
          fun ();
          fun (23);
          fun ("FUN", 45);
          
          CHECK ( not HasExtensionPoint_funZ<long>::value );
          
          CHECK (     HasExtensionPoint_fun<long>        ::value );
          CHECK (     HasExtensionPoint_fun<long&>       ::value );
          CHECK (     HasExtensionPoint_fun<long&&>      ::value );
          CHECK (     HasExtensionPoint_fun<char>        ::value );
          CHECK (     HasExtensionPoint_fun<char&>       ::value );
          CHECK (     HasExtensionPoint_fun<char&&>      ::value );
          CHECK ( not HasExtensionPoint_fun<string>      ::value );
          CHECK ( not HasExtensionPoint_fun<void>        ::value );
          
          CHECK ( not HasExtensionPoint_fun<Cheesy>      ::value );
          CHECK ( not HasExtensionPoint_fun<Fishy>       ::value );
          CHECK (     HasExtensionPoint_fun<Fishy&>      ::value );
          CHECK ( not HasExtensionPoint_fun<Fishy&&>     ::value );
          CHECK ( not HasExtensionPoint_fun<Fishy const&>::value );
          
          CHECK ( not HasExtensionPoint_fun<Fishy const&>::value );
        }
      
      
      void
      detect_memberFunctionVariations()
        {
          CHECK (     HasFunSig_funny<Cheesy>        ::value );  // explicit function signature detected
          CHECK (     HasFunSig_funny<Cheesy const>  ::value );  // const qualifier is irrelevant
          CHECK ( not HasFunSig_funny<Cheesy const&> ::value );  // but reference does not work, obviously
          
          CHECK (     HasFunSig_fuzzy<Cheesy>        ::value );  // explicit function signature detected, overload is irrelevant
          
          CHECK (     HasFunName_funny<Cheesy>       ::value );  // function name detected (arguments irrelevant)
          CHECK (     HasFunName_funky<Cheesy>       ::value );  // detected irrespective of const modifier
          CHECK ( not HasFunName_fuzzy<Cheesy>       ::value );  // function name fuzzy *not* detected due to overload ambiguity
          CHECK ( not HasFunName_fully<Cheesy>       ::value );  // name fully is a member, not a function
          
          CHECK (     HasMember_funny<Cheesy>        ::value );  // 'funny' is not only a function, it is also a member
          CHECK (     HasMember_funky<Cheesy>        ::value );
          CHECK ( not HasMember_fuzzy<Cheesy>        ::value );  // WARNING: member 'fuzzy' *not* detected due to overload ambiguity
          CHECK (     HasMember_fully<Cheesy>        ::value );  // 'fully' is not a function, but it is detected as member here
          
          CHECK ( not HasArglessFun_funny<Cheesy>    ::value );  // there is no argument less function 'funny' (it takes arguments)
          CHECK (     HasArglessFun_funky<Cheesy>    ::value );  // but an argument-less 'funky'
          CHECK (     HasArglessFun_fuzzy<Cheesy>    ::value );  // and one of the 'fuzzy' overloads also takes no arguments
          
          CHECK ( not HasFunSig_fuzzy<Fishy>         ::value );  // Fishy::fuzzy() is private and can thus never be detected
          CHECK ( not HasFunSig_funny<Fishy>         ::value );  // and no fun with Fishy beyond that...
          CHECK ( not HasFunName_funny<Fishy>        ::value );
          CHECK ( not HasFunName_funky<Fishy>        ::value );
          CHECK ( not HasFunName_fuzzy<Fishy>        ::value );
          CHECK ( not HasFunName_fully<Fishy>        ::value );
          CHECK ( not HasMember_funny<Fishy>         ::value );
          CHECK ( not HasMember_funky<Fishy>         ::value );
          CHECK ( not HasMember_fuzzy<Fishy>         ::value );
          CHECK ( not HasMember_fully<Fishy>         ::value );
          CHECK ( not HasArglessFun_funny<Fishy>     ::value );
          CHECK ( not HasArglessFun_funky<Fishy>     ::value );
          CHECK ( not HasArglessFun_fuzzy<Fishy>     ::value );
          CHECK ( not HasFunSig_fuzzy<short>         ::value );
        }
    };
  
  
  LAUNCHER (DuckDetectorExtension_test, "unit meta");
  
  
  
}}} // namespace lib::meta::test