zombie-check-test.cpp

Go to the documentation of this file.

/*
  ZombieCheck(Test)  -  verify a trap for accessing deceased objects

  Copyright (C)         Lumiera.org
    2018,               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 "lib/zombie-check.hpp"
#include "lib/util.hpp"

#include <string>

using util::contains;
using util::isnil;
using std::string;


namespace lib {
namespace test{
  
  
  
  
  
  
  /**********************************************************************/
  class ZombieCheck_test : public Test
    {
      
      virtual void
      run (Arg)
        {
          auto zombieID = randStr(50);
          ZombieCheck trap{zombieID};
          CHECK (not trap);
          
          trap.~ZombieCheck(); // note: unconventional kill
          CHECK (trap);       //  accessing deceased object...
          
          try {             //
              trap();      //     trigger the tripwire
            }
          catch(lumiera::error::Fatal& casuality)
            {
              string obituary = casuality.what();
              CHECK (not isnil (obituary));
              CHECK (    contains (obituary, zombieID.substr(0,41)));
              CHECK (not contains (obituary, zombieID));
            }
        }
    };
  
  
  
  LAUNCHER (ZombieCheck_test, "unit common");
  
  
  
}} // namespace lib::test