MoveOnlyCheckers.hpp

Go to the documentation of this file.

 
//                Copyright Oliver J. Rosten 2020.                //
// Distributed under the GNU GENERAL PUBLIC LICENSE, Version 3.0. //
//    (See accompanying file LICENSE.md or copy at                //
//          https://www.gnu.org/licenses/gpl-3.0.en.html)         //
 
#pragma once
 
#include "sequoia/TestFramework/FreeCheckers.hpp"
#include "sequoia/TestFramework/MoveOnlyCheckersDetails.hpp"
 
namespace sequoia::testing
{
  template<test_mode Mode, moveonly T, class U, class V>
    requires checkable_against_for_semantics<Mode, T, U> && checkable_against_for_semantics<Mode, T, V>
  bool check_semantics(std::string description,
                       test_logger<Mode>& logger,
                       T&& x,
                       T&& y,
                       const U& xEquivalent,
                       const U& yEquivalent,
                       optional_ref<const V> movedFromPostConstruction,
                       optional_ref<const V> movedFromPostAssignment)
  {
    sentinel<Mode> sentry{logger, add_type_info<T>(std::move(description)).append("\n")};
 
    if constexpr(equivalence_checkable_for_semantics<Mode, T, U>)
    {
      impl::check_best_equivalence(logger, x, y, xEquivalent, yEquivalent);
    }
 
    return impl::check_semantics(
             logger,
             impl::auxiliary_data<T>{},
             std::forward<T>(x),
             std::forward<T>(y),
             xEquivalent,
             yEquivalent,
             movedFromPostConstruction,
             movedFromPostAssignment,
             impl::null_mutator{}
           );
  }
  
  template<test_mode Mode, moveonly T, class U, class V>
    requires std::totally_ordered<T> && checkable_against_for_semantics<Mode, T, U> && checkable_against_for_semantics<Mode, T, V>
  bool check_semantics(std::string description,
                       test_logger<Mode>& logger,
                       T&& x,
                       T&& y,
                       const U& xEquivalent,
                       const U& yEquivalent,
                       optional_ref<const V> movedFromPostConstruction,
                       optional_ref<const V> movedFromPostAssignment,
                       std::weak_ordering order)
  {
    sentinel<Mode> sentry{logger, add_type_info<T>(std::move(description)).append("\n")};
 
    if constexpr(equivalence_checkable_for_semantics<Mode, T, U>)
    {
      impl::check_best_equivalence(logger, x, y, xEquivalent, yEquivalent);
    }
 
    return impl::check_semantics(
             logger,
             impl::auxiliary_data<T>{order},
             std::forward<T>(x),
             std::forward<T>(y),
             xEquivalent,
             yEquivalent,
             movedFromPostConstruction,
             movedFromPostAssignment,
             impl::null_mutator{}
           );
  }
}