From 619def44c1cca9f3cdf63544d5f24f2c7a7d9b77 Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <klaus.aehlig@huawei.com>
Date: Tue, 22 Feb 2022 17:03:21 +0100
Subject: Initial self-hosting commit

This is the initial version of our tool that is able to
build itself. In can be bootstrapped by

  ./bin/bootstrap.py

Co-authored-by: Oliver Reiche <oliver.reiche@huawei.com>
Co-authored-by: Victor Moreno <victor.moreno1@huawei.com>
---
 src/utils/cpp/concepts.hpp | 55 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 src/utils/cpp/concepts.hpp

(limited to 'src/utils/cpp/concepts.hpp')

diff --git a/src/utils/cpp/concepts.hpp b/src/utils/cpp/concepts.hpp
new file mode 100644
index 00000000..92718b43
--- /dev/null
+++ b/src/utils/cpp/concepts.hpp
@@ -0,0 +1,55 @@
+#ifndef INCLUDED_SRC_UTILS_CPP_CONCEPTS_HPP
+#define INCLUDED_SRC_UTILS_CPP_CONCEPTS_HPP
+
+#include <string>
+#include <type_traits>
+
+// TODO(modernize): remove this once std::derived_from is shipped with libcxx
+template <class T, class U>
+concept derived_from = std::is_base_of_v<U, T>&&
+    std::is_convertible_v<const volatile T*, const volatile U*>;
+
+// TODO(modernize): remove this once std::same_as is shipped with libcxx
+template <class T, class U>
+concept same_as = std::is_same_v<T, U>and std::is_same_v<U, T>;
+
+template <class T>
+concept ContainsString = requires {
+    typename T::value_type;
+}
+and std::is_same_v<typename T::value_type, std::string>;
+
+template <class T>
+concept HasSize = requires(T const c) {
+    { c.size() }
+    ->same_as<std::size_t>;  // TODO(modernize): replace by std::same_as
+};
+
+template <typename T>
+concept HasToString = requires(T const t) {
+    { t.ToString() }
+    ->same_as<std::string>;  // TODO(modernize): replace by std::same_as
+};
+
+template <class T>
+concept InputIterableContainer = requires(T const c) {
+    { c.begin() }
+    ->same_as<typename T::const_iterator>;  // TODO(modernize): replace by
+                                            // std::input_iterator
+    { c.end() }
+    ->same_as<typename T::const_iterator>;  // TODO(modernize): replace by
+                                            // std::input_iterator
+};
+
+template <class T>
+concept OutputIterableContainer = InputIterableContainer<T>and requires(T c) {
+    { std::inserter(c, c.begin()) }
+    ->same_as<std::insert_iterator<T>>;  // TODO(modernize): replace by
+                                         // std::output_iterator
+};
+
+template <class T>
+concept InputIterableStringContainer =
+    InputIterableContainer<T>and ContainsString<T>;
+
+#endif  // INCLUDED_SRC_UTILS_CPP_CONCEPTS_HPP
-- 
cgit v1.2.3