assert_not_match.hpp

Go to the documentation of this file.

// SPDX-FileCopyrightText: 2026 Klaus Reimer <k@ailis.de>
// SPDX-License-Identifier: MIT
 
#pragma once
 
#include <format>
#include <regex>
#include <string>
#include <string_view>
#include <utility>
 
#include <kaycxx/assert/assertion_error.hpp>
#include <kaycxx/assert/detail/source_location.hpp>
#include <kaycxx/assert/detail/regex_matches.hpp>
#include <kaycxx/assert/detail/string_like.hpp>
#include <kaycxx/assert/detail/to_string.hpp>
 
namespace kaycxx::assert {
 
template <detail::string_like T>
void assert_not_match(
    T const& actual,
    std::string_view pattern,
    std::string_view reason = {},
    std::optional<std::source_location> location = KAYCXX_ASSERT_DEFAULT_SOURCE
) {
    auto regex = std::regex(std::string(pattern));
    if (detail::regex_matches(actual, regex)) {
        auto actual_string = detail::to_string(actual);
        auto expected_string = std::format("/{}/", pattern);
        auto message = std::format("Expected <{}> not to match <{}>", actual_string, expected_string);
        throw assertion_error(message, reason, std::move(actual_string), std::move(expected_string), location);
    }
}
 
template <detail::string_like T>
void assert_not_match(
    T const& actual,
    std::regex const& regex,
    std::string_view reason = {},
    std::optional<std::source_location> location = KAYCXX_ASSERT_DEFAULT_SOURCE
) {
    if (detail::regex_matches(actual, regex)) {
        auto actual_string = detail::to_string(actual);
        auto message = std::format("Expected <{}> not to match regex", actual_string);
 
        throw assertion_error(message, reason, std::move(actual_string), "regex", location);
    }
}
 
} // namespace kaycxx::assert