//
// immer: immutable data structures for C++
// Copyright (C) 2016, 2017, 2018 Juan Pedro Bolivar Puente
//
// This software is distributed under the Boost Software License, Version 1.0.
// See accompanying file LICENSE or copy at http://boost.org/LICENSE_1_0.txt
//
#include <catch.hpp>
#include <forward_list>
#include <immer/detail/type_traits.hpp>
#include <list>
#include <vector>
struct string_sentinel
{};
bool operator==(const char* i, string_sentinel);
bool operator!=(const char* i, string_sentinel);
TEST_CASE("compatible_sentinel_v")
{
SECTION("iterator pairs")
{
using Iter = std::vector<int>::iterator;
static_assert(immer::detail::compatible_sentinel_v<Iter, Iter>, "");
}
SECTION("pointer pairs")
{
using Iter = char*;
static_assert(immer::detail::compatible_sentinel_v<Iter, Iter>, "");
}
SECTION("iterator/sentinel pair")
{
using Iter = char*;
using Sent = string_sentinel;
static_assert(immer::detail::compatible_sentinel_v<Iter, Sent>, "");
}
SECTION("incompatible pair")
{
using Iter1 = std::vector<int>::iterator;
using Iter2 = std::list<double>::iterator;
static_assert(not immer::detail::compatible_sentinel_v<Iter1, Iter2>,
"");
}
}
TEST_CASE("equality comparable")
{
SECTION("iterator pairs")
{
using Iter = std::vector<int>::iterator;
static_assert(immer::detail::is_equality_comparable_v<Iter, Iter>, "");
}
SECTION("pointer pairs")
{
using Iter = char*;
static_assert(immer::detail::is_equality_comparable_v<Iter, Iter>, "");
}
SECTION("iterator/sentinel pair")
{
using Iter = char*;
using Sent = string_sentinel;
static_assert(immer::detail::is_equality_comparable_v<Iter, Sent>, "");
}
SECTION("not equality comparable")
{
static_assert(
not immer::detail::is_equality_comparable_v<std::string, double>,
"");
}
}
TEST_CASE("inequality comparable")
{
SECTION("iterator pairs")
{
using Iter = std::vector<int>::iterator;
static_assert(immer::detail::is_inequality_comparable_v<Iter, Iter>,
"");
}
SECTION("pointer pairs")
{
using Iter = char*;
static_assert(immer::detail::is_inequality_comparable_v<Iter, Iter>,
"");
}
SECTION("iterator/sentinel pair")
{
using Iter = char*;
using Sent = string_sentinel;
static_assert(immer::detail::is_inequality_comparable_v<Iter, Sent>,
"");
}
SECTION("not inequality comparable")
{
static_assert(
not immer::detail::is_inequality_comparable_v<std::string, double>,
"");
}
}
TEST_CASE("is dereferenceable")
{
SECTION("iterator")
{
using Iter = std::vector<int>::iterator;
static_assert(immer::detail::is_dereferenceable_v<Iter>, "");
}
SECTION("pointer")
{
using Iter = char*;
static_assert(immer::detail::is_dereferenceable_v<Iter>, "");
}
SECTION("not dereferenceable")
{
static_assert(not immer::detail::is_dereferenceable_v<int>, "");
}
}
TEST_CASE("is forward iterator")
{
SECTION("random access iterator")
{
using Iter = std::vector<int>::iterator;
static_assert(immer::detail::is_forward_iterator_v<Iter>, "");
}
SECTION("bidirectional iterator")
{
using Iter = std::list<int>::iterator;
static_assert(immer::detail::is_forward_iterator_v<Iter>, "");
}
SECTION("forward iterator")
{
using Iter = std::forward_list<int>::iterator;
static_assert(immer::detail::is_forward_iterator_v<Iter>, "");
}
SECTION("input iterator")
{
using Iter = std::istream_iterator<double>;
static_assert(not immer::detail::is_forward_iterator_v<Iter>, "");
}
SECTION("output iterator")
{
using Iter = std::ostream_iterator<double>;
static_assert(not immer::detail::is_forward_iterator_v<Iter>, "");
}
SECTION("pointer")
{
using Iter = char*;
static_assert(immer::detail::is_forward_iterator_v<Iter>, "");
}
}
TEST_CASE("is iterator")
{
SECTION("iterator")
{
using Iter = std::vector<int>::iterator;
static_assert(immer::detail::is_iterator_v<Iter>, "");
}
SECTION("pointer")
{
using Iter = char*;
static_assert(immer::detail::is_iterator_v<Iter>, "");
}
SECTION("not iterator")
{
static_assert(not immer::detail::is_iterator_v<int>, "");
}
}
TEST_CASE("provides preincrement")
{
SECTION("iterator")
{
using Iter = std::vector<int>::iterator;
static_assert(immer::detail::is_preincrementable_v<Iter>, "");
}
SECTION("pointer")
{
using Iter = char*;
static_assert(immer::detail::is_preincrementable_v<Iter>, "");
}
SECTION("does not provide preincrement")
{
struct type
{};
static_assert(not immer::detail::is_preincrementable_v<type>, "");
}
}
TEST_CASE("void_t")
{
static_assert(std::is_same<void, immer::detail::void_t<int>>::value, "");
}