advice-situations-test.cpp

Go to the documentation of this file.

/*
  AdviceSituations(Test)  -  catalogue of standard Advice usage scenarios

  Copyright (C)         Lumiera.org
    2010,               Hermann Vosseler <Ichthyostega@web.de>

  This program 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.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with this program; if not, write to the Free Software
  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.

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

#include "lib/test/run.hpp"
//#include "lib/test/test-helper.hpp"

#include "common/advice.hpp"



namespace lumiera {
namespace advice {
namespace test {
  
  namespace {
  }
  
  
  
  /**************************************************************************************/
  class AdviceSituations_test : public Test
    {
      
      virtual void
      run (Arg)
        {
          pattern01_justPickAndBeHappy();
          pattern02_pickIfPresent();
          pattern03_installOnlyOnce();
          TODO ("more advice usage scenarios.....?");
        }
      
      
      void
      pattern01_justPickAndBeHappy()
        {
          Request<int> generic{"solution(life_and_universe_and_everything)"};
          CHECK (0 == generic.getAdvice());  // the early bird gets the worm...
          
          Provision<int> universal{"solution(life_and_universe_and_everything)"};
          universal.setAdvice(5);
          CHECK (5 == generic.getAdvice());  // ...while the bad girls go everywhere
          
          universal.retractAdvice();
          CHECK (0 == generic.getAdvice());  // nothing to see here, just move on
        }
      
      
      void
      pattern02_pickIfPresent()
        {
          Request<int> request{"something(special)"};
          CHECK (not request.isMatched());
          
          Provision<int> info{"something(special)"};
          info.setAdvice(55);
          CHECK (request.isMatched());
          CHECK (55 == request.getAdvice());
          
          info.retractAdvice();
          CHECK (not request.isMatched());
        }
      
      
      void
      pattern03_installOnlyOnce()
        {
          Provision<int> info{"something(special)"};
          CHECK (not info.isGiven());

          Request<int> question{"something(special)"};
          CHECK (0 == question.getAdvice());
          CHECK (not question.isMatched());
          
          auto publish = [&](int i)
                            {
                              if (not info.isGiven())
                                info.setAdvice (i);
                            };
          
          for (uint i=0; i<5; ++i)
            if (i % 2)
              publish (i);
          
          CHECK (1 == question.getAdvice());
          CHECK (question.isMatched());
          
          info.retractAdvice();
          CHECK (not info.isGiven());
          CHECK (not question.isMatched());
        }
      
      
#if false 

      void
      check_SevenMoreWondersOfTheWorld()
        {
          UNIMPLEMENTED ("suitable advice to save the world");
        }
#endif    
      
      // more to come.....
       
    };
  
  
  
  LAUNCHER (AdviceSituations_test, "function common");
  
  
}}} // namespace lumiera::advice::test