tests.hpp

Go to the documentation of this file.

/* This file is part of OpenKalman, a header-only C++ library for
 * Kalman filters and other recursive filters.
 *
 * Copyright (c) 2021-2025 Christopher Lee Ogden <ogden@gatech.edu>
 *
 * This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at https://mozilla.org/MPL/2.0/.
 */

#ifndef OPENKALMAN_COLLECTIONS_TESTS_HPP
#define OPENKALMAN_COLLECTIONS_TESTS_HPP

#include <type_traits>
#include <tuple>
#include <string>
#include <gtest/gtest.h>
#include "values/tests/tests.hpp"
#include "collections/concepts/tuple_like.hpp"

namespace OpenKalman::test
{
#ifdef __cpp_concepts
  template<collections::tuple_like Arg1, collections::tuple_like Arg2, typename Err>
  struct TestComparison<Arg1, Arg2, Err>
#else
  template<typename Arg1, typename Arg2, typename Err>
  struct TestComparison<Arg1, Arg2, Err, std::enable_if_t<
    collections::tuple_like<Arg1> and collections::tuple_like<Arg2>>>
#endif
    : ::testing::AssertionResult
  {
  private:

    template<std::size_t...Ix>
    static ::testing::AssertionResult
    compare(const Arg1 arg1, const Arg2 arg2, const Err& err, std::index_sequence<Ix...>)
    {
      static_assert(std::tuple_size_v<Arg1> == std::tuple_size_v<Arg2>, "tuple size of arguments must match");

      if constexpr (collections::tuple_like<Err>)
      {
        static_assert(std::tuple_size_v<Err> == std::tuple_size_v<Arg1>, "tuple size of error margins must match that of arguments");

        if ((... and OpenKalman::test::TestComparison {std::get<Ix>(arg1), std::get<Ix>(arg2), std::get<Ix>(err)}))
        {
          return ::testing::AssertionSuccess();
        }
        else
        {
          return (::testing::AssertionFailure() << ... << (std::string(Ix == 0 ? "" : ", ") +
            std::string(OpenKalman::test::TestComparison {std::get<Ix>(arg1), std::get<Ix>(arg2), std::get<Ix>(err)} ? "true" : "false")));
        }
      }
      else
      {
        if ((... and OpenKalman::test::TestComparison {std::get<Ix>(arg1), std::get<Ix>(arg2), err}))
        {
          return ::testing::AssertionSuccess();
        }
        else
        {
          return (::testing::AssertionFailure() << ... << (std::string(Ix == 0 ? "" : ", ") +
            std::string(OpenKalman::test::TestComparison {std::get<Ix>(arg1), std::get<Ix>(arg2), err} ? "true" : "false")));
        }
      }
    }

  public:

    TestComparison(const Arg1& arg1, const Arg2& arg2, const Err& err)
      : ::testing::AssertionResult {compare(arg1, arg2, err, std::make_index_sequence<std::tuple_size_v<Arg1>>{})} {}

  };


} // namespace OpenKalman::test


#endif //OPENKALMAN_COLLECTIONS_TESTS_HPP