test_operation.h

Go to the documentation of this file.

// Author(s): Wieger Wesselink
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_UTILITIES_DETAIL_TEST_OPERATION_H
#define MCRL2_UTILITIES_DETAIL_TEST_OPERATION_H
 
#include <functional>
#include <iostream>
#include <string>
 
namespace mcrl2
{
 
namespace utilities
{
 
namespace detail
{
 
template <typename T>
T identity(T t)
{
  return t;
}
 
template <typename Parser, typename Operation1, typename Operation2, typename Compare>
bool test_operation(
  const std::string& expr1,
  const std::string& expr2,
  Parser parse,
  Compare comp,
  Operation1 op1,
  const std::string& opname1,
  Operation2 op2,
  const std::string& opname2
)
{
  auto x1 = parse(expr1);
  auto x2 = parse(expr2);
  auto f1 = op1(x1);
  auto f2 = op2(x2);
  bool success = comp(f1, f2);
  if (success)
  {
    std::cout << "--- TEST SUCCEEDED --- " << std::endl;
  }
  else
  {
    std::cout << "--- TEST FAILED --- " << std::endl;
  }
  std::cout << "x"               << " = " << x1 << std::endl;
  std::cout << "y"               << " = " << x2 << std::endl;
  if (!opname1.empty())
  {
    std::cout << (opname1 + "(x)") << " = " << f1 << std::endl;
  }
  if (!opname2.empty())
  {
    std::cout << (opname2 + "(y)") << " = " << f2 << std::endl;
  }
  return success;
}
 
template <typename Parser, typename Operation, typename Compare>
bool test_operation(
  const std::string& expr1,
  const std::string& expr2,
  Parser parse,
  Compare comp,
  Operation op,
  const std::string& opname
)
{
  return test_operation(expr1, expr2, parse, comp, op, opname, [](const auto& T) { return T; }, "");
}
 
} // namespace detail
 
} // namespace utilities
 
} // namespace mcrl2
 
#endif // MCRL2_UTILITIES_DETAIL_TEST_OPERATION_H