#include <catch2/catch_test_macros.hpp>

#include "serif/discretization/domain/concepts.hpp"
#include "serif/discretization/domain/physical_domains.hpp"
#include "serif/discretization/domain/types.hpp"

#include "serif/tests/test_tags.hpp"

namespace domain = serif::discretization::domain;

TEST_CASE(
    "Domain Types And Composite Domains Preserve Their Semantic Categories",
    tags::unit &tags::mesh &tags::utils &tags::domain
) {
    STATIC_REQUIRE(domain::IsDomain<domain::CoreDomain>);
    STATIC_REQUIRE(domain::IsDomain<domain::EnvelopeDomain>);
    STATIC_REQUIRE(domain::IsDomain<domain::VacuumDomain>);
    STATIC_REQUIRE(domain::IsDomainSet<domain::StellarDomains>);
    STATIC_REQUIRE(domain::IsDomainSet<domain::AllDomains>);
    STATIC_REQUIRE_FALSE(domain::IsDomain<domain::StellarDomains>);
    STATIC_REQUIRE(domain::IsDomainOrSet<domain::StellarDomains>);
    STATIC_REQUIRE(domain::IsBoundary<domain::StellarSurfaceBoundary>);
    STATIC_REQUIRE(domain::IsBoundary<domain::InfinitySurfaceBoundary>);
    CHECK(true);
}