summaryrefslogtreecommitdiffhomepage
path: root/src/kernel/NeKit/Vet.h
blob: 86874085afe181da607d3857843bfae70eb75f2f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

/* ========================================

  Copyright (C) 2024-2025, Amlal El Mahrouss, licensed under the Apache 2.0 license.

======================================== */

#pragma once

#include <CompilerKit/CompilerKit.h>
#include <NeKit/Config.h>

#define NE_VETTABLE : public IVet

namespace Kernel {
/// @brief Vet interface for objects.
struct IVet {
  IVet()          = default;
  virtual ~IVet() = default;

  NE_COPY_DEFAULT(IVet)

  /// @brief Start vetting object for validity.
  auto DoVet() const { return false; }
};

template <typename T>
struct Vettable final {
  static constexpr bool kValue = false;
};

template <>
struct Vettable<IVet> final {
  static constexpr bool kValue = true;
};

/// @brief Concept version of Vettable.
template <typename T, typename Fallback>
concept IVettable = requires(IVet vettable, Fallback fallback) {
  { Vettable<T>::kValue ? vettable.DoVet() : fallback(vettable) };
};
}  // namespace Kernel