RegularTestDiagnostics.hpp

Go to the documentation of this file.

 
//                Copyright Oliver J. Rosten 2022.                //
// 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/RegularTestCore.hpp"
 
namespace sequoia::testing
{
  class regular_false_negative_diagnostics final : public regular_false_negative_test
  {
  public:
    using regular_false_negative_test::regular_false_negative_test;
 
    [[nodiscard]]
    std::filesystem::path source_file() const;
 
    void run_tests();
  private:
 
    void test_regular_semantics();
  };
 
  class regular_false_positive_diagnostics final : public regular_false_positive_test
  {
  public:
    using regular_false_positive_test::regular_false_positive_test;
 
    [[nodiscard]]
    std::filesystem::path source_file() const;
 
    void run_tests();
  private:
    void test_regular_semantics();
  };
}