iter-chain-search-test.cpp

Go to the documentation of this file.

/*
  IterChainSearch(Test)  -  verify chained search operations with backtracking

   Copyright (C)
     2018,            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/format-util.hpp"
#include "lib/iter-chain-search.hpp"
#include "lib/iter-cursor.hpp"
#include "lib/util.hpp"

#include <vector>
#include <string>



namespace lib {
namespace iter{
namespace test{
  
  using ::Test;
  using util::join;
  using util::isnil;
  using util::startsWith;
  using util::isSameObject;
  using std::vector;
  using std::string;
  
  using LERR_(ITER_EXHAUST);
  
  
  namespace { // test fixture
    
    using Spam = vector<string>;
    
    const Spam SPAM{"spam"
                   ,"sausage"
                   ,"spam"
                   ,"spam"
                   ,"bacon"
                   ,"spam"
                   ,"tomato"
                   ,"and"
                   ,"spam"
                   };
    
    
    template<class II>
    inline string
    materialise (II&& ii)
    {
      return util::join (std::forward<II> (ii), "-");
    }
  }// (END)fixture
  
  
  
  
  
  
  
  /*****************************************************************/
  class IterChainSearch_test : public Test
    {
      
      virtual void
      run (Arg)
        {
          simpleSearch();
          chainedIteration();
          backtracking();
        }
      
      
      void
      simpleSearch ()
        {
          auto search = chainSearch(SPAM)
                          .search("bacon")
                          .search("tomato");
          
          CHECK (search);
          CHECK (not isnil(search));
          CHECK ("tomato" == *search);
          CHECK (isSameObject (*search, SPAM[6]));
          
          search.clearFilter();
          CHECK ("tomato" == *search);
          ++search;
          CHECK ("and" == *search);
          search.search("spam");
          CHECK ("spam" == *search);
          CHECK (isSameObject (*search, SPAM[8]));
          
          ++search;
          CHECK (not search);
          CHECK (isnil (search));
          VERIFY_ERROR (ITER_EXHAUST, *search);
        }
      
      
      
      void
      chainedIteration ()
        {
          auto search = chainSearch(SPAM)                                  // Note: 1st filter step picks all s-words
                          .search([](string const& str){ return startsWith (str, "s"); });
          
          CHECK (materialise (search) =="spam-sausage-spam-spam-spam-spam");
          CHECK ("spam" == *search);
          
          search.addStep([](auto& filter)
                            {                                              // Note: pick the current value at the point
                              string currVal = *filter;                    //       where the 2nd filter step is (re)applied
                              filter.setNewFilter ([=](string const& val)  //       ...and bake this value into the lambda closure
                                                    {
                                                      return val != currVal;
                                                    });
                            });
          
          CHECK ("sausage" == *search);
          CHECK (materialise (search)
                 == "sausage-bacon-tomato-and-"               // everything in the rest, which is not "spam"
                    "spam-spam-bacon-spam-tomato-and-spam-"   // everything starting at "sausage" which is not "sausage"
                    "bacon-tomato-and-"                       // any non-spam behind the 2nd spam
                    "bacon-tomato-and-"                       // any non-spam behind the 3rd spam
                    "tomato-and"                              // any non-spam behind the 4th spam
                    "");                                      // and any non-spam behind the final spam
        }
      
      
      
      void
      backtracking ()
        {
          using Cursor = IterCursor<decltype(SPAM.begin())>;
          
          auto search = chainSearch(Cursor{SPAM.begin(), SPAM.end()})
                          .search("spam")
                          .addStep([](auto& filter)
                                      {
                                        filter.switchBackwards(); // switch search direction without moving the cursor
                                        filter.flipFilter();      // flip from match on "spam" to match on non-spam
                                      })
                          .addStep([](auto& filter)
                                      {                           // filter is still configured to search non-spam backwards
                                        ++filter;                 // just "advance" this filter by one step (backward)
                                      });
          
          CHECK (materialise (search)        // Layer-0: 1-3 spam fail altogether, too greedy. Try 4rd spam....
                                             // Layer-1: turn back, toggle to non-spam, find bacon
                 == "sausage-"               // Layer-2: non-spam and one step further backwards yields sausage
                                             //
                                             // BACKTRACK to Layer-0: pick 5th (and last) spam...
                                             // Layer-1: turn back, toggle to non-spam, find "and"
                    "tomato-bacon-sausage-"  // Layer-2: non-spam and one step back yields tomato, next bacon, next sausage.
                                             // BACKTRACK to Layer-1: take previous one, which is tomato
                    "bacon-sausage-"         // Layer-2: non-spam and one step further back yields bacon, then next sausage.
                                             // BACKTRACK to Layer-1: take previous non-spam, which is bacon
                    "sausage"                // Layer-2: non-spam and one step further back yields sausage.
                    "");                     // BACKTRACK to Layer-1: exhausted, BACKTRACK to Layer-0: exhausted. Done.
        }
    };
  
  LAUNCHER (IterChainSearch_test, "unit common");
  
  
}}} // namespace lib::iter::test