WIP: Commented out improperly completed tests temporarily

llvm · H-G-Hristov · Jun 14, 2023 · Dec 20, 2023 · Dec 31, 2023 · Dec 31, 2023
commit eb53557181eb01db265e25d66fdf8f6fd357f98f
@@ -21,8 +21,7 @@

 #include "test_iterators.h"
 #include "../types.h"
-#include "../types_iterators.h"
-
+// #include "../types_iterators.h"

 // template <bool Const>
 // struct Iterator {

@@ -30,7 +30,7 @@

 #include "test_iterators.h"
 #include "../types.h"
-#include "../types_iterators.h"
+// #include "../types_iterators.h"

 // template <bool Const>
 // struct Iter {
@@ -86,27 +86,27 @@
 //   }
 // };

-// template <template <bool> class It, template <bool> class St>
-// struct BufferView : std::ranges::view_base {
-//   template <std::size_t N>
-//   constexpr BufferView(int (&b)[N]) : buffer_(b), size_(N) {}
+template <template <bool> class It, template <bool> class St>
+struct BufferView : std::ranges::view_base {
+  template <std::size_t N>
+  constexpr BufferView(int (&b)[N]) : buffer_(b), size_(N) {}

-//   template <std::size_t N>
-//   constexpr BufferView(std::array<int, N>& arr) : buffer_(arr.data()), size_(N) {}
+  template <std::size_t N>
+  constexpr BufferView(std::array<int, N>& arr) : buffer_(arr.data()), size_(N) {}

-//   using iterator       = It<false>;
-//   using sentinel       = St<false>;
-//   using const_iterator = It<true>;
-//   using const_sentinel = St<true>;
+  using iterator       = It<false>;
+  using sentinel       = St<false>;
+  using const_iterator = It<true>;
+  using const_sentinel = St<true>;

-//   constexpr iterator begin() { return {buffer_}; }
-//   constexpr const_iterator begin() const { return {buffer_}; }
-//   constexpr sentinel end() { return sentinel{buffer_ + size_}; }
-//   constexpr const_sentinel end() const { return const_sentinel{buffer_ + size_}; }
+  constexpr iterator begin() { return {buffer_}; }
+  constexpr const_iterator begin() const { return {buffer_}; }
+  constexpr sentinel end() { return sentinel{buffer_ + size_}; }
+  constexpr const_sentinel end() const { return const_sentinel{buffer_ + size_}; }

-//   int* buffer_;
-//   std::size_t size_;
-// };
+  int* buffer_;
+  std::size_t size_;
+};

 template <template <bool> class It, template <bool> class St>
 struct SizedBufferView : BufferView<It, St> {
@@ -131,116 +131,117 @@ using EnumerateSentinel = std::ranges::sentinel_t<EnumerateView<BaseView>>;
 template <class BaseView>
 using EnumerateConstSentinel = std::ranges::sentinel_t<const EnumerateView<BaseView>>;

-constexpr void testConstraints() {
-  // Base is not sized
-  {
-    using Base = BufferView<Iterator, Sentinel>;
+// template <typename Iterator, typename Sentinel>
+// constexpr void testConstraints() {
+//   // Base is not sized
+//   {
+//     using Base = BufferView<Iterator, Sentinel>;

-    static_assert(!HasSize<Base>);
-    static_assert(!std::ranges::sized_range<Base>);
+//     static_assert(!HasSize<Base>);
+//     static_assert(!std::ranges::sized_range<Base>);

-    static_assert(!HasMinus<EnumerateIter<Base>, EnumerateSentinel<Base>>);
-    static_assert(!HasMinus<EnumerateIter<Base>, EnumerateConstSentinel<Base>>);
+//     static_assert(!HasMinus<EnumerateIter<Base>, EnumerateSentinel<Base>>);
+//     static_assert(!HasMinus<EnumerateIter<Base>, EnumerateConstSentinel<Base>>);

-    static_assert(!HasMinus<EnumerateConstIter<Base>, EnumerateSentinel<Base>>);
-    static_assert(!HasMinus<EnumerateConstIter<Base>, EnumerateConstSentinel<Base>>);
+//     static_assert(!HasMinus<EnumerateConstIter<Base>, EnumerateSentinel<Base>>);
+//     static_assert(!HasMinus<EnumerateConstIter<Base>, EnumerateConstSentinel<Base>>);

-    static_assert(!HasMinus<EnumerateSentinel<Base>, EnumerateIter<Base>>);
-    static_assert(!HasMinus<EnumerateSentinel<Base>, EnumerateConstIter<Base>>);
+//     static_assert(!HasMinus<EnumerateSentinel<Base>, EnumerateIter<Base>>);
+//     static_assert(!HasMinus<EnumerateSentinel<Base>, EnumerateConstIter<Base>>);

-    static_assert(!HasMinus<EnumerateConstSentinel<Base>, EnumerateIter<Base>>);
-    static_assert(!HasMinus<EnumerateConstSentinel<Base>, EnumerateConstIter<Base>>);
-  }
+//     static_assert(!HasMinus<EnumerateConstSentinel<Base>, EnumerateIter<Base>>);
+//     static_assert(!HasMinus<EnumerateConstSentinel<Base>, EnumerateConstIter<Base>>);
+//   }

-  // Base is sized but not cross const
-  {
-    using Base = SizedBufferView<Iterator, SizedSentinel>;
+//   // Base is sized but not cross const
+//   {
+//     using Base = SizedBufferView<Iterator, SizedSentinel>;

-    static_assert(HasSize<Base>);
-    static_assert(std::ranges::sized_range<Base>);
+//     static_assert(HasSize<Base>);
+//     static_assert(std::ranges::sized_range<Base>);

-    static_assert(HasMinus<EnumerateIter<Base>, EnumerateSentinel<Base>>);
-    static_assert(!HasMinus<EnumerateIter<Base>, EnumerateConstSentinel<Base>>);
+//     static_assert(HasMinus<EnumerateIter<Base>, EnumerateSentinel<Base>>);
+//     static_assert(!HasMinus<EnumerateIter<Base>, EnumerateConstSentinel<Base>>);

-    static_assert(!HasMinus<EnumerateConstIter<Base>, EnumerateSentinel<Base>>);
-    static_assert(HasMinus<EnumerateConstIter<Base>, EnumerateConstSentinel<Base>>);
+//     static_assert(!HasMinus<EnumerateConstIter<Base>, EnumerateSentinel<Base>>);
+//     static_assert(HasMinus<EnumerateConstIter<Base>, EnumerateConstSentinel<Base>>);

-    static_assert(HasMinus<EnumerateSentinel<Base>, EnumerateIter<Base>>);
-    static_assert(!HasMinus<EnumerateSentinel<Base>, EnumerateConstIter<Base>>);
+//     static_assert(HasMinus<EnumerateSentinel<Base>, EnumerateIter<Base>>);
+//     static_assert(!HasMinus<EnumerateSentinel<Base>, EnumerateConstIter<Base>>);

-    static_assert(!HasMinus<EnumerateConstSentinel<Base>, EnumerateIter<Base>>);
-    static_assert(HasMinus<EnumerateConstSentinel<Base>, EnumerateConstIter<Base>>);
-  }
+//     static_assert(!HasMinus<EnumerateConstSentinel<Base>, EnumerateIter<Base>>);
+//     static_assert(HasMinus<EnumerateConstSentinel<Base>, EnumerateConstIter<Base>>);
+//   }

-  // Base is cross const sized
-  {
-    using Base = BufferView<Iterator, CrossSizedSentinel>;
+//   // Base is cross const sized
+//   {
+//     using Base = BufferView<Iterator, CrossSizedSentinel>;

-    static_assert(!HasSize<Base>);
-    static_assert(!std::ranges::sized_range<Base>);
+//     static_assert(!HasSize<Base>);
+//     static_assert(!std::ranges::sized_range<Base>);

-    static_assert(HasMinus<EnumerateIter<Base>, EnumerateSentinel<Base>>);
-    static_assert(HasMinus<EnumerateIter<Base>, EnumerateConstSentinel<Base>>);
+//     static_assert(HasMinus<EnumerateIter<Base>, EnumerateSentinel<Base>>);
+//     static_assert(HasMinus<EnumerateIter<Base>, EnumerateConstSentinel<Base>>);

-    static_assert(HasMinus<EnumerateConstIter<Base>, EnumerateSentinel<Base>>);
-    static_assert(HasMinus<EnumerateConstIter<Base>, EnumerateConstSentinel<Base>>);
+//     static_assert(HasMinus<EnumerateConstIter<Base>, EnumerateSentinel<Base>>);
+//     static_assert(HasMinus<EnumerateConstIter<Base>, EnumerateConstSentinel<Base>>);

-    static_assert(HasMinus<EnumerateSentinel<Base>, EnumerateIter<Base>>);
-    static_assert(HasMinus<EnumerateSentinel<Base>, EnumerateConstIter<Base>>);
+//     static_assert(HasMinus<EnumerateSentinel<Base>, EnumerateIter<Base>>);
+//     static_assert(HasMinus<EnumerateSentinel<Base>, EnumerateConstIter<Base>>);

-    static_assert(HasMinus<EnumerateConstSentinel<Base>, EnumerateIter<Base>>);
-    static_assert(HasMinus<EnumerateConstSentinel<Base>, EnumerateConstIter<Base>>);
-  }
-}
+//     static_assert(HasMinus<EnumerateConstSentinel<Base>, EnumerateIter<Base>>);
+//     static_assert(HasMinus<EnumerateConstSentinel<Base>, EnumerateConstIter<Base>>);
+//   }
+// }

 constexpr bool test() {
-  int buffer[] = {1, 2, 3, 4, 5};
-
-  // Base is sized but not cross const
-  {
-    using Base = SizedBufferView<Iterator, SizedSentinel>;
-
-    static_assert(HasSize<Base>);
-    static_assert(std::ranges::sized_range<Base>);
-
-    Base base{buffer};
-    auto ev         = base | std::views::enumerate;
-    auto iter       = ev.begin();
-    auto const_iter = std::as_const(ev).begin();
-    auto sent       = ev.end();
-    auto const_sent = std::as_const(ev).end();
-
-    // Asssert difference
-    assert(iter - sent == -5);
-    assert(sent - iter == 5);
-    assert(const_iter - const_sent == -5);
-    assert(const_sent - const_iter == 5);
-  }
-
-  // Base is cross const sized
-  {
-    using Base = BufferView<Iterator, CrossSizedSentinel>;
-
-    static_assert(!HasSize<Base>);
-    static_assert(!std::ranges::sized_range<Base>);
-
-    Base base{buffer};
-    auto ev         = base | std::views::enumerate;
-    auto iter       = ev.begin();
-    auto const_iter = std::as_const(ev).begin();
-    auto sent       = ev.end();
-    auto const_sent = std::as_const(ev).end();
-
-    // Assert difference
-    assert(iter - sent == -5);
-    assert(sent - iter == 5);
-    assert(iter - const_sent == -5);
-    assert(const_sent - iter == 5);
-    assert(const_iter - sent == -5);
-    assert(sent - const_iter == 5);
-    assert(const_iter - const_sent == -5);
-    assert(const_sent - const_iter == 5);
-  }
+  // int buffer[] = {1, 2, 3, 4, 5};
+
+  // // Base is sized but not cross const
+  // {
+  //   using Base = SizedBufferView<Iterator, SizedSentinel>;
+
+  //   static_assert(HasSize<Base>);
+  //   static_assert(std::ranges::sized_range<Base>);
+
+  //   Base base{buffer};
+  //   auto ev         = base | std::views::enumerate;
+  //   auto iter       = ev.begin();
+  //   auto const_iter = std::as_const(ev).begin();
+  //   auto sent       = ev.end();
+  //   auto const_sent = std::as_const(ev).end();
+
+  //   // Asssert difference
+  //   assert(iter - sent == -5);
+  //   assert(sent - iter == 5);
+  //   assert(const_iter - const_sent == -5);
+  //   assert(const_sent - const_iter == 5);
+  // }
+
+  // // Base is cross const sized
+  // {
+  //   using Base = BufferView<Iterator, CrossSizedSentinel>;
+
+  //   static_assert(!HasSize<Base>);
+  //   static_assert(!std::ranges::sized_range<Base>);
+
+  //   Base base{buffer};
+  //   auto ev         = base | std::views::enumerate;
+  //   auto iter       = ev.begin();
+  //   auto const_iter = std::as_const(ev).begin();
+  //   auto sent       = ev.end();
+  //   auto const_sent = std::as_const(ev).end();
+
+  //   // Assert difference
+  //   assert(iter - sent == -5);
+  //   assert(sent - iter == 5);
+  //   assert(iter - const_sent == -5);
+  //   assert(const_sent - iter == 5);
+  //   assert(const_iter - sent == -5);
+  //   assert(sent - const_iter == 5);
+  //   assert(const_iter - const_sent == -5);
+  //   assert(const_sent - const_iter == 5);
+  // }

  return true;
 }