optional-ref-test.cpp

Go to the documentation of this file.

/*
  OptionalRef(Test)  -  verify an optional and switchable object link
 
   Copyright (C)
     2010,            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/optional-ref.hpp"
 
 
 
namespace lib {
namespace test{
  
  using ::Test;
  using lib::test::randStr;
  
  using std::string;
  
  
  
  /***************************************************************************/
  class OptionalRef_test : public Test
    {
      
      
      virtual void
      run (Arg)
        {
          string s1 (randStr(50));
          string s2 (randStr(50));
          
          typedef OptionalRef<string> SRef;
          
          SRef r1;
          CHECK (!r1);
          VERIFY_ERROR (BOTTOM_VALUE, r1() );
          VERIFY_ERROR (BOTTOM_VALUE, s1 == r1 );
          VERIFY_ERROR (BOTTOM_VALUE, r1 == s1 );
          CHECK (!r1.points_to (s1));
          
          r1.link_to (s1);
          CHECK (r1);
          CHECK (r1 == s1);
          CHECK (s1 == r1);
          CHECK (r1.points_to (s1));
          
          SRef r2(s2);
          CHECK (r2);
          CHECK (r2 == s2);
          CHECK (r2.points_to (s2));
          CHECK (!r2.points_to (s1));
          CHECK (!r1.points_to (s2));
          CHECK (r2 != r1);
          CHECK (r1 != r2);
          
          r2.link_to (s1);
          CHECK (r2);
          CHECK (r2 == s1);
          CHECK (r2 == r1);
          CHECK (r1 == r2);
          CHECK (r2.points_to (s1));
          CHECK (!r2.points_to (s2));
          
          r2.clear();
          CHECK (!r2);
          VERIFY_ERROR (BOTTOM_VALUE, r2() );
          VERIFY_ERROR (BOTTOM_VALUE, s1 == r2 );
          VERIFY_ERROR (BOTTOM_VALUE, r2 == s1 );
          VERIFY_ERROR (BOTTOM_VALUE, r2 == s2 );
          
          CHECK (r1 != r2); // comparison with bottom ref allowed
          CHECK (r2 != r1);
          
          //OptionalRef objects are copyable values
          r2 = r1;
          CHECK (r2);
          CHECK (r2 == r1);
          CHECK (r1 == r2);
          CHECK (r2 == s1);
          
          r1.link_to (s2);
          CHECK (r2 != r1); // but they are indeed independent instances
          CHECK (r1 != r2);
          CHECK (r2 == s1);
          CHECK (r2 != s2);
          CHECK (r1 == s2);
          
          SRef r3(r2);
          CHECK (r3);
          CHECK (r3 == r2);
          CHECK (r2 == r3);
          CHECK (r3 == s1);
          
          CHECK (r3 != r1);
          CHECK (r1 != r3);
          CHECK (r3 != s2);
          
          // access is secured even after destruction
          CHECK (r3);
          r3.~SRef();       // don't try this at home!
          CHECK (!r3);
          VERIFY_ERROR (BOTTOM_VALUE, r3 == s1 );
          CHECK (r3 != r2);
          
          r2.clear();
          CHECK (!r2);
          CHECK (r3 == r2);
          CHECK (r2 == r3);
        }
      
    };
  
  LAUNCHER (OptionalRef_test, "unit common");
  
  
}} // namespace lib::test