result-test.cpp

Go to the documentation of this file.

/*
  Result(Test)  -  verify the either-result-or-failure intermediary wrapper
 
   Copyright (C)
     2023,            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/test/test-helper.hpp"
#include "lib/result.hpp"
#include "lib/util.hpp"
 
#include <cstdlib>
 
 
 
namespace lib {
namespace test{
  
  using util::isSameObject;
  using std::rand;
  
  namespace error = lumiera::error;
  using error::LUMIERA_ERROR_FATAL;
  using error::LUMIERA_ERROR_STATE;
  
  
  namespace {
    const Literal THE_END = "all dead and hero got the girl";
    
    
    #define Type(_EXPR_) lib::test::showType<decltype(_EXPR_)>()
  }
 
  
  
  
  
  /***********************************************************************************/
  class Result_test
    : public Test
    {
      
      void
      run (Arg)
        {
          auto happy = Result{THE_END};
          CHECK (happy == THE_END);
          CHECK (happy.isValid());
          CHECK (bool(happy));
          
          happy.maybeThrow();    // still alive...
          
          CHECK (Type(happy) == "Result<Literal const&>"_expect);
          
          // Note type deduction: RValue moved into the Result...
          auto sequel = Result{Literal{THE_END}};
          CHECK (sequel.isValid());
          CHECK (Type(sequel) == "Result<Literal>"_expect);
          
          CHECK (    isSameObject (happy.get<Literal const&>(), THE_END));
          CHECK (not isSameObject (sequel.get<Literal const&>(), THE_END));
          
          // »Either Right« case : mark as failure
          Result<double> facepalm{error::Fatal("zOMG")};
          CHECK (not facepalm.isValid());
          
          VERIFY_ERROR (FATAL, (double)facepalm       );
          VERIFY_ERROR (FATAL, facepalm.get<double&>());
          VERIFY_ERROR (FATAL, facepalm.maybeThrow()  );
          
          CHECK (42.0 == facepalm.or_else([]{ return 42; }));
          CHECK (42.0 == facepalm.value_or(210/5));
          
          
          // a generic functor (template) to invoke
          auto evil = [](auto it)
                        {
                          if (it % 2)
                            throw error::State{"conspiracy"};
                          else
                            return it;
                        };
          
          // Invoke failsafe and capture result....
          auto seed = Result{evil, '*'};                     // this invocation is successful
          CHECK (Type(seed) == "Result<char>"_expect);       // generic λ instantiated with <char>
          CHECK (42 == seed);                                // int('*') == 42
          
          auto breed = Result{evil, 55ll};                   // an odd number...
          VERIFY_ERROR (STATE, breed.maybeThrow()  );
          CHECK (Type(breed) == "Result<llong>"_expect);
          
          auto dead = Result{[]{ throw 55; }};
          auto deed = Result{[]{ /* :-) */ }};
          
          CHECK (Type(dead) == "Result<void>"_expect);
          CHECK (Type(deed) == "Result<void>"_expect);
          
          CHECK (not dead.isValid());
          CHECK (    deed.isValid());
          
          try { dead.maybeThrow(); }                         // can handle really *anything* thrown
          catch(int oo)
              { CHECK (oo == 55); }
          
          // can also invoke member function....
          auto deaf = Result{&Literal::empty, &THE_END};     // Note: instance "this"-ptr as first argument
          CHECK (deaf.isValid());                            // no exception was thrown => state isValid()
          CHECK (deaf == false);                             // yet invocation of THE_END.empty() yields false
          CHECK (not deaf);                                  // Warning: in this case, the conversion to payload type shadows
          CHECK (Type(deaf) == "Result<bool>"_expect);
        }
    };
  
  
  LAUNCHER (Result_test, "unit common");
  
  
}} // namespace lib::test