├── TODO ├── .gitignore ├── AUTHORS ├── .gitmodules ├── src ├── type_traits │ ├── type_traits_ext.hpp │ ├── details │ │ └── details.hpp │ └── traits │ │ ├── composite_type_categories.hpp │ │ ├── type_relationships.hpp │ │ ├── type_properties.hpp │ │ ├── primary_type_categories.hpp │ │ └── supported_operations.hpp ├── tuple │ └── tuple.hpp └── utility │ └── utility.hpp ├── test ├── type_traits │ ├── common.h │ ├── composite_type_categories.cpp │ ├── type_relationships.cpp │ ├── type_properties.cpp │ ├── primary_type_categories.cpp │ └── supported_operations.cpp ├── tuple │ └── tuple.cpp ├── utility │ └── utility.cpp └── CMakeLists.txt ├── docs ├── CMakeLists.txt └── doxy.in ├── deps.sh ├── LICENSE ├── cmake └── modules │ └── FindGoogleTest.cmake ├── CMakeLists.txt └── README.md /TODO: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | # QtCreator 2 | *.user 3 | -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- 1 | Michele Caini 2 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- 1 | [submodule "deps/googletest"] 2 | path = deps/googletest 3 | url = https://github.com/google/googletest.git 4 | -------------------------------------------------------------------------------- /src/type_traits/type_traits_ext.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include "./traits/composite_type_categories.hpp" 5 | #include "./traits/primary_type_categories.hpp" 6 | #include "./traits/supported_operations.hpp" 7 | #include "./traits/type_properties.hpp" 8 | #include "./traits/type_relationships.hpp" 9 | -------------------------------------------------------------------------------- /test/type_traits/common.h: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | 4 | using namespace stdext; 5 | 6 | struct A { }; 7 | struct B { void f() { } }; 8 | struct D: B { }; 9 | 10 | struct S { 11 | S(A&, B&) { } 12 | virtual void g() = 0; 13 | }; 14 | 15 | struct T final: S { 16 | void g() final override { } 17 | }; 18 | 19 | enum class E { FOO, BAR }; 20 | union U { A a; }; 21 | 22 | void f() { } 23 | -------------------------------------------------------------------------------- /docs/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | # 2 | # Doxygen configuration (documentation) 3 | # 4 | 5 | set(DOXY_IN_FILE doxy.in) 6 | 7 | set(DOXY_SOURCE_DIRECTORY ${PROJECT_SRC_DIR}) 8 | set(DOXY_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}) 9 | set(DOXY_CFG_FILE doxy.cfg) 10 | 11 | configure_file(${DOXY_IN_FILE} ${DOXY_CFG_FILE} @ONLY) 12 | 13 | add_custom_target( 14 | ${TARGET_DOCS} 15 | COMMAND ${DOXYGEN_EXECUTABLE} ${CMAKE_CURRENT_BINARY_DIR}/${DOXY_CFG_FILE} 16 | WORKING_DIRECTORY ${PROJECT_SOURCE_DIR} 17 | VERBATIM 18 | SOURCES ${DOXY_IN_FILE} 19 | ) 20 | 21 | install( 22 | DIRECTORY ${DOXY_OUTPUT_DIRECTORY}/html 23 | DESTINATION ${PROJECT_SHARE_OUTPUT_DIRECTORY}/${PROJECT_NAME}-${PROJECT_VERSION}/ 24 | ) 25 | -------------------------------------------------------------------------------- /deps.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | 3 | # 4 | # google docet - jump within the directory which contains this script 5 | # 6 | 7 | SOURCE="${BASH_SOURCE[0]}" 8 | 9 | while [ -h "$SOURCE" ]; do 10 | DIR="$(cd -P "$(dirname "$SOURCE")" && pwd)" 11 | SOURCE="$(readlink "$SOURCE")" 12 | [[ $SOURCE != /* ]] && SOURCE="$DIR/$SOURCE" 13 | done 14 | 15 | # 16 | # set aside the base dir for future references 17 | # 18 | 19 | DIR="$(cd -P "$(dirname "$SOURCE")" && pwd)" 20 | 21 | # 22 | # init/update submodules 23 | # 24 | 25 | cd "$DIR" 26 | git submodule update --init # --recursive 27 | 28 | # 29 | # compile dependencies 30 | # 31 | 32 | rm -rf "$DIR"/deps/googletest/build 33 | mkdir "$DIR"/deps/googletest/build 34 | cd "$DIR"/deps/googletest/build 35 | cmake .. && make -j4 36 | 37 | # 38 | # go back home 39 | # 40 | 41 | cd "$DIR" 42 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | The MIT License (MIT) 2 | 3 | Copyright (c) 2016 Michele Caini 4 | 5 | Permission is hereby granted, free of charge, to any person obtaining a copy 6 | of this software and associated documentation files (the "Software"), to deal 7 | in the Software without restriction, including without limitation the rights 8 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 9 | copy of the Software, and to permit persons to whom the Software is 10 | furnished to do so, subject to the following conditions: 11 | 12 | The above copyright notice and this permission notice shall be included in all 13 | copy or substantial portions of the Software. 14 | 15 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 16 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 17 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 18 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 19 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 20 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 21 | SOFTWARE. 22 | -------------------------------------------------------------------------------- /test/tuple/tuple.cpp: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | 4 | using namespace stdext; 5 | 6 | struct U { }; 7 | 8 | struct T { 9 | T() = default; 10 | T(const T &) = delete; 11 | T(T &&) = default; 12 | T& operator=(const T &) = delete; 13 | T& operator=(T &&) = default; 14 | }; 15 | 16 | int func(int a, int b) { return a+b; } 17 | 18 | struct O { 19 | double operator()(double a, double b) { return a*b; } 20 | }; 21 | 22 | TEST(TUPLE_TAIL, lvalue) { 23 | std::tuple tup{}; 24 | auto t = tail(tup); 25 | assert((std::is_same>::value)); 26 | } 27 | 28 | TEST(TUPLE_TAIL, rvalue) { 29 | std::tuple tup{}; 30 | auto t = tail(std::move(tup)); 31 | assert((std::is_same>::value)); 32 | } 33 | 34 | TEST(TUPLE_INVOKE, function) { 35 | std::tuple tup{ 40, 2 }; 36 | auto ret = invoke(func, tup); 37 | assert(ret == 42); 38 | } 39 | 40 | TEST(TUPLE_INVOKE, functor) { 41 | std::tuple tup{ 21, 2 }; 42 | auto ret = invoke(O{}, tup); 43 | assert(ret == 42); 44 | } 45 | 46 | TEST(TUPLE_INVOKE, lambda) { 47 | std::tuple tup{ 40, 2 }; 48 | auto ret = invoke([](int a, int b){ return a+b; }, tup); 49 | assert(ret == 42); 50 | } 51 | -------------------------------------------------------------------------------- /test/type_traits/composite_type_categories.cpp: -------------------------------------------------------------------------------- 1 | #include "./common.h" 2 | 3 | #define TEST_CASE_LABEL COMPOSITE_TYPE_CATEGORIES 4 | 5 | TEST(TEST_CASE_LABEL, are_fundamental) { 6 | ASSERT_EQ((are_fundamental::value), 7 | (are_fundamental_v)); 8 | ASSERT_TRUE((are_fundamental_v)); 9 | ASSERT_FALSE((are_fundamental_v)); 10 | ASSERT_TRUE((are_fundamental_v)); 11 | } 12 | 13 | TEST(TEST_CASE_LABEL, are_arithmetic) { 14 | ASSERT_EQ((are_arithmetic::value), 15 | (are_arithmetic_v)); 16 | ASSERT_TRUE((are_arithmetic_v)); 17 | ASSERT_FALSE((are_arithmetic_v)); 18 | ASSERT_TRUE((are_arithmetic_v)); 19 | } 20 | 21 | TEST(TEST_CASE_LABEL, are_scalar) { 22 | ASSERT_EQ((are_scalar::value), (are_scalar_v)); 23 | ASSERT_TRUE((are_scalar_v)); 24 | ASSERT_FALSE((are_scalar_v)); 25 | ASSERT_TRUE((are_scalar_v)); 26 | } 27 | 28 | TEST(TEST_CASE_LABEL, are_object) { 29 | ASSERT_EQ((are_object::value), 30 | (are_object_v)); 31 | ASSERT_TRUE((are_object_v)); 32 | ASSERT_FALSE((are_object_v)); 33 | ASSERT_TRUE((are_object_v)); 34 | } 35 | 36 | TEST(TEST_CASE_LABEL, are_compound) { 37 | ASSERT_EQ((are_compound::value), (are_compound_v)); 38 | ASSERT_TRUE((are_compound_v)); 39 | ASSERT_FALSE((are_compound_v)); 40 | ASSERT_TRUE((are_compound_v)); 41 | } 42 | 43 | TEST(TEST_CASE_LABEL, are_reference) { 44 | ASSERT_EQ((are_reference::value), (are_reference_v)); 45 | ASSERT_TRUE((are_reference_v)); 46 | ASSERT_FALSE((are_reference_v)); 47 | ASSERT_TRUE((are_reference_v)); 48 | } 49 | 50 | TEST(TEST_CASE_LABEL, are_member_pointer) { 51 | ASSERT_EQ((are_member_pointer::value), (are_member_pointer_v)); 52 | ASSERT_TRUE((are_member_pointer_v)); 53 | ASSERT_FALSE((are_member_pointer_v)); 54 | ASSERT_TRUE((are_member_pointer_v)); 55 | } 56 | -------------------------------------------------------------------------------- /src/type_traits/details/details.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include 5 | 6 | 7 | namespace stdext { 8 | 9 | namespace details { 10 | 11 | /** \brief Utility class. 12 | * 13 | * and1_ 14 | */ 15 | 16 | template class, class...> 17 | struct and1_; 18 | 19 | template class F, class T, class... O> 20 | struct and1_: std::conditional_t::value, and1_, std::false_type> { }; 21 | 22 | template class F> 23 | struct and1_: std::true_type { }; 24 | 25 | /** \brief Utility class. 26 | * 27 | * and2_ 28 | */ 29 | 30 | template class, class...> 31 | struct and2_; 32 | 33 | template class F, class T, class U, class... O> 34 | struct and2_: std::conditional_t::value, and2_, std::false_type> { }; 35 | 36 | template class F, class T> 37 | struct and2_: std::true_type { }; 38 | 39 | /** \brief Utility class. 40 | * 41 | * var_and2_ 42 | */ 43 | 44 | template class, class...> 45 | struct var_and2_; 46 | 47 | template class F, class T, class... U, template class C, typename... A> 48 | struct var_and2_, A...> 49 | : std::conditional_t::value, var_and2_, A...>, std::false_type> 50 | { }; 51 | 52 | template class F, template class C, typename... A> 53 | struct var_and2_, A...>: std::true_type 54 | { }; 55 | 56 | /** \brief Utility class. 57 | * 58 | * rev_and2_ 59 | */ 60 | 61 | template class, class...> 62 | struct rev_and2_; 63 | 64 | template class F, class T, class U, class... O> 65 | struct rev_and2_: std::conditional_t::value, rev_and2_, std::false_type> { }; 66 | 67 | template class F, class T> 68 | struct rev_and2_: std::true_type { }; 69 | 70 | /** \brief Utility class. 71 | * 72 | * or2_ 73 | */ 74 | 75 | template class, class...> 76 | struct or2_; 77 | 78 | template class F, class T, class U, class... O> 79 | struct or2_: std::conditional_t::value, std::true_type, or2_> { }; 80 | 81 | template class F, class T> 82 | struct or2_: std::false_type { }; 83 | 84 | } 85 | 86 | } 87 | -------------------------------------------------------------------------------- /src/tuple/tuple.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include 5 | #include 6 | #include 7 | 8 | 9 | namespace stdext { 10 | 11 | namespace details { 12 | 13 | /** \internal */ 14 | template 15 | constexpr std::tuple 16 | tail(U &&tup, std::index_sequence) { 17 | static_assert(std::is_same< 18 | std::remove_reference_t>, 19 | std::tuple 20 | >::value, "!"); 21 | 22 | return std::make_tuple(std::get(std::forward(tup))...); 23 | } 24 | 25 | /** \internal */ 26 | template 27 | decltype(auto) invoke(F &&f, std::tuple &tup, std::index_sequence) 28 | -> decltype(std::forward(f)(std::get(tup)...)) { 29 | return std::forward(f)(std::get(tup)...); 30 | } 31 | 32 | } 33 | 34 | /** \brief Return the tail of a tuple. 35 | * 36 | * This function returns the tail of a tuple. 37 | * The elements are constructed by copy. 38 | * 39 | * \param tup An lvalue reference to the original tuple. 40 | * \return The tail of the given tuple. 41 | */ 42 | template 43 | constexpr std::tuple tail(std::tuple &tup) { 44 | return details::tail(tup, 45 | std::make_index_sequence{}); 46 | } 47 | 48 | /** \brief Return the tail of a tuple. 49 | * 50 | * This function returns the tail of a tuple. 51 | * The elements are constructed by move. 52 | * 53 | * \param tup An rvalue reference to the original tuple. 54 | * \return The tail of the given tuple. 55 | */ 56 | template 57 | constexpr std::tuple tail(std::tuple &&tup) { 58 | return details::tail(std::move(tup), 59 | std::make_index_sequence{}); 60 | } 61 | 62 | /** \brief Invoke a callable with the unpacked tuple. 63 | * 64 | * This function invokes a callable object and uses the unpacked tuple as a list 65 | * of arguments. 66 | * 67 | * \param f A callable object. 68 | * \param tup The packed list of arguments. 69 | * \return The resulting value from the invokation. 70 | */ 71 | template 72 | constexpr decltype(auto) invoke(F &&f, std::tuple &tup) { 73 | return details::invoke(std::forward(f), tup, 74 | std::make_index_sequence{}); 75 | } 76 | 77 | } 78 | -------------------------------------------------------------------------------- /cmake/modules/FindGoogleTest.cmake: -------------------------------------------------------------------------------- 1 | # FindGoogleTest 2 | # --------- 3 | # 4 | # Locate Google Test Framework 5 | # 6 | # This module defines: 7 | # 8 | # :: 9 | # 10 | # GOOGLETEST_INCLUDE_DIRS, where to find the headers 11 | # GOOGLETEST_LIBRARIES, the libraries against which to link 12 | # GOOGLETEST_FOUND, if false, do not try to use the above mentioned vars 13 | # 14 | 15 | set(BUILD_DEPS_DIR ${CMAKE_SOURCE_DIR}/${PROJECT_DEPS_DIR}) 16 | set(GOOGLETEST_DEPS_DIR googletest) 17 | 18 | find_path( 19 | GOOGLETEST_INCLUDE_DIR NAMES gtest/gtest.h 20 | PATHS ${BUILD_DEPS_DIR}/${GOOGLETEST_DEPS_DIR}/googletest/include/ 21 | NO_DEFAULT_PATH 22 | ) 23 | 24 | find_path( 25 | GOOGLEMOCK_INCLUDE_DIR NAMES gmock/gmock.h 26 | PATHS ${BUILD_DEPS_DIR}/${GOOGLETEST_DEPS_DIR}/googlemock/include/ 27 | NO_DEFAULT_PATH 28 | ) 29 | 30 | find_library( 31 | GOOGLETEST_LIBRARY NAMES gtest 32 | PATHS ${BUILD_DEPS_DIR}/${GOOGLETEST_DEPS_DIR}/build/googlemock/gtest/ 33 | NO_DEFAULT_PATH 34 | ) 35 | 36 | find_library( 37 | GOOGLETEST_MAIN_LIBRARY NAMES gtest_main 38 | PATHS ${BUILD_DEPS_DIR}/${GOOGLETEST_DEPS_DIR}/build/googlemock/gtest/ 39 | NO_DEFAULT_PATH 40 | ) 41 | 42 | find_library( 43 | GOOGLEMOCK_LIBRARY NAMES gmock 44 | PATHS ${BUILD_DEPS_DIR}/${GOOGLETEST_DEPS_DIR}/build/googlemock/ 45 | NO_DEFAULT_PATH 46 | ) 47 | 48 | find_library( 49 | GOOGLEMOCK_MAIN_LIBRARY NAMES gmock_main 50 | PATHS ${BUILD_DEPS_DIR}/${GOOGLETEST_DEPS_DIR}/build/googlemock/ 51 | NO_DEFAULT_PATH 52 | ) 53 | 54 | include(FindPackageHandleStandardArgs) 55 | 56 | find_package_handle_standard_args( 57 | GOOGLETEST 58 | FOUND_VAR GOOGLETEST_FOUND 59 | REQUIRED_VARS 60 | GOOGLETEST_LIBRARY 61 | GOOGLETEST_MAIN_LIBRARY 62 | GOOGLEMOCK_LIBRARY 63 | GOOGLEMOCK_MAIN_LIBRARY 64 | GOOGLETEST_INCLUDE_DIR 65 | GOOGLEMOCK_INCLUDE_DIR 66 | ) 67 | 68 | if(GOOGLETEST_FOUND) 69 | set( 70 | GOOGLETEST_LIBRARIES 71 | ${GOOGLETEST_LIBRARY} 72 | ${GOOGLETEST_MAIN_LIBRARY} 73 | ${GOOGLEMOCK_LIBRARY} 74 | ${GOOGLEMOCK_MAIN_LIBRARY} 75 | ) 76 | 77 | set( 78 | GOOGLETEST_INCLUDE_DIRS 79 | ${GOOGLETEST_INCLUDE_DIR} 80 | ${GOOGLEMOCK_INCLUDE_DIR} 81 | ) 82 | endif(GOOGLETEST_FOUND) 83 | 84 | 85 | mark_as_advanced( 86 | GOOGLETEST_INCLUDE_DIR 87 | GOOGLEMOCK_INCLUDE_DIR 88 | GOOGLETEST_LIBRARY 89 | GOOGLETEST_MAIN_LIBRARY 90 | GOOGLEMOCK_LIBRARY 91 | GOOGLEMOCK_MAIN_LIBRARY 92 | ) 93 | -------------------------------------------------------------------------------- /test/type_traits/type_relationships.cpp: -------------------------------------------------------------------------------- 1 | #include "./common.h" 2 | 3 | #define TEST_CASE_LABEL TYPE_RELATIONSHIPS 4 | 5 | TEST(TEST_LABEL, is_same_of_any) { 6 | ASSERT_EQ((is_same_of_any::value), (is_same_of_any_v)); 7 | ASSERT_FALSE(is_same_of_any_v); 8 | ASSERT_TRUE((is_same_of_any_v)); 9 | ASSERT_FALSE((is_same_of_any_v)); 10 | } 11 | 12 | TEST(TEST_LABEL, is_same_of_all) { 13 | ASSERT_EQ((is_same_of_all::value), (is_same_of_all_v)); 14 | ASSERT_TRUE(is_same_of_all_v); 15 | ASSERT_TRUE((is_same_of_all_v)); 16 | ASSERT_FALSE((is_same_of_all_v)); 17 | } 18 | 19 | TEST(TEST_LABEL, are_all_same_of) { 20 | ASSERT_EQ((are_all_same_of::value), (are_all_same_of_v)); 21 | ASSERT_TRUE(are_all_same_of_v); 22 | ASSERT_TRUE((are_all_same_of_v)); 23 | ASSERT_FALSE((are_all_same_of_v)); 24 | } 25 | 26 | TEST(TEST_LABEL, is_base_of_any) { 27 | ASSERT_EQ((is_base_of_any::value), (is_base_of_any_v)); 28 | ASSERT_FALSE(is_base_of_any_v); 29 | ASSERT_TRUE((is_base_of_any_v)); 30 | ASSERT_TRUE((is_base_of_any_v)); 31 | ASSERT_FALSE((is_base_of_any_v)); 32 | } 33 | 34 | TEST(TEST_LABEL, is_base_of_all) { 35 | ASSERT_EQ((is_base_of_all::value), (is_base_of_all_v)); 36 | ASSERT_TRUE(is_base_of_all_v); 37 | ASSERT_FALSE((is_base_of_all_v)); 38 | ASSERT_TRUE((is_base_of_all_v)); 39 | } 40 | 41 | TEST(TEST_LABEL, are_all_base_of) { 42 | ASSERT_EQ((are_all_base_of::value), (are_all_base_of_v)); 43 | ASSERT_TRUE(are_all_base_of_v); 44 | ASSERT_FALSE((are_all_base_of_v)); 45 | ASSERT_TRUE((are_all_base_of_v)); 46 | } 47 | 48 | TEST(TEST_LABEL, is_convertible_to_any) { 49 | ASSERT_EQ((is_convertible_to_any::value), (is_convertible_to_any_v)); 50 | ASSERT_FALSE((is_convertible_to_any_v)); 51 | ASSERT_TRUE((is_convertible_to_any_v)); 52 | ASSERT_FALSE((is_convertible_to_any_v)); 53 | } 54 | 55 | TEST(TEST_LABEL, is_convertible_to_all) { 56 | ASSERT_EQ((is_convertible_to_all::value), (is_convertible_to_all_v)); 57 | ASSERT_TRUE((is_convertible_to_all_v)); 58 | ASSERT_FALSE((is_convertible_to_all_v)); 59 | ASSERT_TRUE((is_convertible_to_all_v)); 60 | } 61 | 62 | TEST(TEST_LABEL, are_all_convertible_to) { 63 | ASSERT_EQ((are_all_convertible_to::value), (are_all_convertible_to_v)); 64 | ASSERT_TRUE((are_all_convertible_to_v)); 65 | ASSERT_FALSE((are_all_convertible_to_v)); 66 | ASSERT_TRUE((are_all_convertible_to_v)); 67 | } 68 | -------------------------------------------------------------------------------- /test/type_traits/type_properties.cpp: -------------------------------------------------------------------------------- 1 | #include "./common.h" 2 | 3 | #define TEST_CASE_LABEL TYPE_PROPERTIES 4 | 5 | TEST(TEST_LABEL, are_const) { 6 | ASSERT_EQ((are_const::value), (are_const_v)); 7 | ASSERT_TRUE((are_const_v)); 8 | ASSERT_FALSE((are_const_v)); 9 | ASSERT_TRUE((are_const_v)); 10 | } 11 | 12 | TEST(TEST_LABEL, are_volatile) { 13 | ASSERT_EQ((are_volatile::value), (are_volatile_v)); 14 | ASSERT_TRUE((are_volatile_v)); 15 | ASSERT_FALSE((are_volatile_v)); 16 | ASSERT_TRUE((are_volatile_v)); 18 | } 19 | 20 | TEST(TEST_LABEL, are_trivial) { 21 | ASSERT_EQ((are_trivial::value), (are_trivial_v)); 22 | ASSERT_TRUE((are_trivial_v)); 23 | ASSERT_FALSE((are_trivial_v)); 24 | ASSERT_TRUE((are_trivial_v)); 25 | } 26 | 27 | TEST(TEST_LABEL, are_trivially_copyable) { 28 | ASSERT_EQ((are_trivially_copyable::value), 29 | (are_trivially_copyable_v)); 30 | ASSERT_TRUE((are_trivially_copyable_v)); 31 | ASSERT_FALSE((are_trivially_copyable_v)); 32 | ASSERT_TRUE((are_trivially_copyable_v)); 33 | } 34 | 35 | TEST(TEST_LABEL, are_standard_layout) { 36 | ASSERT_EQ((are_standard_layout::value), (are_standard_layout_v)); 37 | ASSERT_TRUE((are_standard_layout_v)); 38 | ASSERT_FALSE((are_standard_layout_v)); 39 | ASSERT_TRUE((are_standard_layout_v)); 40 | } 41 | 42 | TEST(TEST_LABEL, are_pod) { 43 | ASSERT_EQ((are_pod::value), (are_pod_v)); 44 | ASSERT_TRUE((are_pod_v)); 45 | ASSERT_FALSE((are_pod_v)); 46 | ASSERT_TRUE((are_pod_v)); 47 | } 48 | 49 | TEST(TEST_LABEL, are_literal_type) { 50 | ASSERT_EQ((are_literal_type::value), (are_literal_type_v)); 51 | ASSERT_TRUE((are_literal_type_v)); 52 | ASSERT_FALSE((are_literal_type_v)); 53 | ASSERT_TRUE((are_literal_type_v)); 54 | } 55 | 56 | TEST(TEST_LABEL, are_empty) { 57 | ASSERT_EQ((are_empty::value), (are_empty_v)); 58 | ASSERT_TRUE((are_empty_v)); 59 | ASSERT_FALSE((are_empty_v)); 60 | ASSERT_TRUE((are_empty_v)); 61 | } 62 | 63 | TEST(TEST_LABEL, are_polymorphic) { 64 | ASSERT_EQ((are_polymorphic::value), (are_polymorphic_v)); 65 | ASSERT_TRUE((are_polymorphic_v)); 66 | ASSERT_FALSE((are_polymorphic_v)); 67 | ASSERT_TRUE((are_polymorphic_v)); 68 | } 69 | 70 | TEST(TEST_LABEL, are_abstract) { 71 | ASSERT_EQ((are_abstract::value), (are_abstract_v)); 72 | ASSERT_TRUE((are_abstract_v)); 73 | ASSERT_FALSE((are_abstract_v)); 74 | ASSERT_TRUE((are_abstract_v)); 75 | } 76 | 77 | TEST(TEST_LABEL, are_signed) { 78 | ASSERT_EQ((are_signed::value), (are_signed_v)); 79 | ASSERT_TRUE((are_signed_v)); 80 | ASSERT_FALSE((are_signed_v)); 81 | ASSERT_TRUE((are_signed_v)); 82 | } 83 | 84 | TEST(TEST_LABEL, are_unsigned) { 85 | ASSERT_EQ((are_unsigned::value), (are_unsigned_v)); 86 | ASSERT_TRUE((are_unsigned_v)); 87 | ASSERT_FALSE((are_unsigned_v)); 88 | ASSERT_TRUE((are_unsigned_v)); 89 | } 90 | -------------------------------------------------------------------------------- /test/utility/utility.cpp: -------------------------------------------------------------------------------- 1 | #include 2 | #include 3 | #include 4 | #include 5 | 6 | using namespace stdext; 7 | 8 | TEST(FUNCTION_PROXY, typename_alias) { 9 | using Func = void(); 10 | 11 | ASSERT_TRUE((std::is_same< 12 | std::function, 13 | function_proxy_t<0, Func> 14 | >::value)); 15 | } 16 | 17 | TEST(FUNCTION_PROXY, type) { 18 | using FuncA = int(int, char, double); 19 | using FuncA0 = int(); 20 | using FuncA1 = int(int); 21 | using FuncA2 = int(int, char); 22 | using FuncA3 = int(int, char, double); 23 | 24 | ASSERT_TRUE((std::is_same< 25 | function_proxy_t<0, FuncA>, 26 | std::function 27 | >::value)); 28 | 29 | ASSERT_TRUE((std::is_same< 30 | function_proxy_t<1, FuncA>, 31 | std::function 32 | >::value)); 33 | 34 | ASSERT_TRUE((std::is_same< 35 | function_proxy_t<2, FuncA>, 36 | std::function 37 | >::value)); 38 | 39 | ASSERT_TRUE((std::is_same< 40 | function_proxy_t<3, FuncA>, 41 | std::function 42 | >::value)); 43 | 44 | ASSERT_FALSE((std::is_same< 45 | function_proxy_t<0, FuncA>, 46 | function_proxy_t<2, FuncA> 47 | >::value)); 48 | } 49 | 50 | TEST(INHERIT_FROM, functionalities) { 51 | ASSERT_TRUE((std::is_same< 52 | inherit_from_t, 53 | types 54 | >::value)); 55 | 56 | ASSERT_TRUE((std::is_same< 57 | inherit_from_t, 58 | types 59 | >::value)); 60 | 61 | ASSERT_TRUE((std::is_same< 62 | inherit_from_t, 63 | types 64 | >::value)); 65 | 66 | ASSERT_TRUE((std::is_same< 67 | inherit_from_t, 68 | types 69 | >::value)); 70 | 71 | ASSERT_TRUE((std::is_same< 72 | inherit_from_t, 73 | types 74 | >::value)); 75 | 76 | ASSERT_TRUE((std::is_same< 77 | inherit_from_t, 78 | types 79 | >::value)); 80 | 81 | ASSERT_TRUE((std::is_same< 82 | inherit_from_t, 83 | types 84 | >::value)); 85 | 86 | ASSERT_TRUE((std::is_same< 87 | inherit_from_t, 88 | types 89 | >::value)); 90 | 91 | ASSERT_TRUE((std::is_same< 92 | inherit_from_t, 93 | types 94 | >::value)); 95 | 96 | ASSERT_TRUE((std::is_same< 97 | inherit_from_t, 98 | types 99 | >::value)); 100 | 101 | ASSERT_TRUE((std::is_same< 102 | inherit_from_t, 103 | types 104 | >::value)); 105 | } 106 | -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- 1 | # 2 | # Tests configuration 3 | # 4 | 5 | set(BASE_SRC_DIR ${CMAKE_SOURCE_DIR}/${PROJECT_SRC_DIR}) 6 | set(SRC_TUPLE_DIR ${BASE_SRC_DIR}/tuple) 7 | set(SRC_TYPE_TRAITS_DIR ${BASE_SRC_DIR}/type_traits) 8 | set(SRC_UTILITY_DIR ${BASE_SRC_DIR}/utility) 9 | 10 | set( 11 | TEST_INCLUDE_DIRS 12 | ${SRC_TUPLE_DIR} 13 | ${SRC_TYPE_TRAITS_DIR} 14 | ${SRC_UTILITY_DIR} 15 | ${GOOGLETEST_INCLUDE_DIRS} 16 | ) 17 | 18 | set( 19 | TARGET_LINK_LIBS 20 | ${CMAKE_THREAD_LIBS_INIT} 21 | ${GOOGLETEST_LIBRARIES} 22 | ) 23 | 24 | # List of available targets 25 | 26 | set(TARGET_TEST_TUPLE test_tuple) 27 | set(TARGET_TEST_COMPOSITE_TYPE_CATEGORIES test_composite_type_categories) 28 | set(TARGET_TEST_PRIMARY_TYPE_CATEGORIES test_primary_type_categories) 29 | set(TARGET_TEST_SUPPORTED_OPERATIONS test_supported_operations) 30 | set(TARGET_TEST_TYPE_PROPERTIES test_type_properties) 31 | set(TARGET_TEST_TYPE_RELATIONSHIPS test_type_relationships) 32 | set(TARGET_TEST_UTILITY test_utility) 33 | 34 | # Test TARGET_TEST_TUPLE 35 | 36 | set(TARGET_TEST_TUPLE_SOURCES tuple/tuple.cpp) 37 | add_executable(${TARGET_TEST_TUPLE} ${TARGET_TEST_TUPLE_SOURCES}) 38 | target_include_directories(${TARGET_TEST_TUPLE} PRIVATE ${TEST_INCLUDE_DIRS}) 39 | target_link_libraries(${TARGET_TEST_TUPLE} PRIVATE ${TARGET_LINK_LIBS}) 40 | add_test(NAME ${TARGET_TEST_TUPLE} COMMAND ${TARGET_TEST_TUPLE}) 41 | 42 | # Test TARGET_TEST_COMPOSITE_TYPE_CATEGORIES 43 | 44 | set(TARGET_TEST_COMPOSITE_TYPE_CATEGORIES_SOURCES type_traits/composite_type_categories.cpp) 45 | add_executable(${TARGET_TEST_COMPOSITE_TYPE_CATEGORIES} ${TARGET_TEST_COMPOSITE_TYPE_CATEGORIES_SOURCES}) 46 | target_include_directories(${TARGET_TEST_COMPOSITE_TYPE_CATEGORIES} PRIVATE ${TEST_INCLUDE_DIRS}) 47 | target_link_libraries(${TARGET_TEST_COMPOSITE_TYPE_CATEGORIES} PRIVATE ${TARGET_LINK_LIBS}) 48 | add_test(NAME ${TARGET_TEST_COMPOSITE_TYPE_CATEGORIES} COMMAND ${TARGET_TEST_COMPOSITE_TYPE_CATEGORIES}) 49 | 50 | # Test TARGET_TEST_PRIMARY_TYPE_CATEGORIES 51 | 52 | set(TARGET_TEST_PRIMARY_TYPE_CATEGORIES_SOURCES type_traits/primary_type_categories.cpp) 53 | add_executable(${TARGET_TEST_PRIMARY_TYPE_CATEGORIES} ${TARGET_TEST_PRIMARY_TYPE_CATEGORIES_SOURCES}) 54 | target_include_directories(${TARGET_TEST_PRIMARY_TYPE_CATEGORIES} PRIVATE ${TEST_INCLUDE_DIRS}) 55 | target_link_libraries(${TARGET_TEST_PRIMARY_TYPE_CATEGORIES} PRIVATE ${TARGET_LINK_LIBS}) 56 | add_test(NAME ${TARGET_TEST_PRIMARY_TYPE_CATEGORIES} COMMAND ${TARGET_TEST_PRIMARY_TYPE_CATEGORIES}) 57 | 58 | # Test TARGET_TEST_SUPPORTED_OPERATIONS 59 | 60 | set(TARGET_TEST_SUPPORTED_OPERATIONS_SOURCES type_traits/supported_operations.cpp) 61 | add_executable(${TARGET_TEST_SUPPORTED_OPERATIONS} ${TARGET_TEST_SUPPORTED_OPERATIONS_SOURCES}) 62 | target_include_directories(${TARGET_TEST_SUPPORTED_OPERATIONS} PRIVATE ${TEST_INCLUDE_DIRS}) 63 | target_link_libraries(${TARGET_TEST_SUPPORTED_OPERATIONS} PRIVATE ${TARGET_LINK_LIBS}) 64 | add_test(NAME ${TARGET_TEST_SUPPORTED_OPERATIONS} COMMAND ${TARGET_TEST_SUPPORTED_OPERATIONS}) 65 | 66 | # Test TARGET_TEST_TYPE_PROPERTIES 67 | 68 | set(TARGET_TEST_TYPE_PROPERTIES_SOURCES type_traits/type_properties.cpp) 69 | add_executable(${TARGET_TEST_TYPE_PROPERTIES} ${TARGET_TEST_TYPE_PROPERTIES_SOURCES}) 70 | target_include_directories(${TARGET_TEST_TYPE_PROPERTIES} PRIVATE ${TEST_INCLUDE_DIRS}) 71 | target_link_libraries(${TARGET_TEST_TYPE_PROPERTIES} PRIVATE ${TARGET_LINK_LIBS}) 72 | add_test(NAME ${TARGET_TEST_TYPE_PROPERTIES} COMMAND ${TARGET_TEST_TYPE_PROPERTIES}) 73 | 74 | # Test TARGET_TEST_TYPE_RELATIONSHIPS 75 | 76 | set(TARGET_TEST_TYPE_RELATIONSHIPS_SOURCES type_traits/type_relationships.cpp) 77 | add_executable(${TARGET_TEST_TYPE_RELATIONSHIPS} ${TARGET_TEST_TYPE_RELATIONSHIPS_SOURCES}) 78 | target_include_directories(${TARGET_TEST_TYPE_RELATIONSHIPS} PRIVATE ${TEST_INCLUDE_DIRS}) 79 | target_link_libraries(${TARGET_TEST_TYPE_RELATIONSHIPS} PRIVATE ${TARGET_LINK_LIBS}) 80 | add_test(NAME ${TARGET_TEST_TYPE_RELATIONSHIPS} COMMAND ${TARGET_TEST_TYPE_RELATIONSHIPS}) 81 | 82 | # Test TARGET_TEST_UTILITY 83 | 84 | set(TARGET_TEST_UTILITY_SOURCES utility/utility.cpp) 85 | add_executable(${TARGET_TEST_UTILITY} ${TARGET_TEST_UTILITY_SOURCES}) 86 | target_include_directories(${TARGET_TEST_UTILITY} PRIVATE ${TEST_INCLUDE_DIRS}) 87 | target_link_libraries(${TARGET_TEST_UTILITY} PRIVATE ${TARGET_LINK_LIBS}) 88 | add_test(NAME ${TARGET_TEST_UTILITY} COMMAND ${TARGET_TEST_UTILITY}) 89 | -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- 1 | # 2 | # std extensions 3 | # 4 | 5 | # 6 | # Building in-tree is not allowed (we take care of your craziness). 7 | # 8 | 9 | if(${CMAKE_SOURCE_DIR} STREQUAL ${CMAKE_BINARY_DIR}) 10 | message(FATAL_ERROR "Prevented in-tree built. Please create a build directory outside of the source code and call cmake from there. Thank you.") 11 | endif() 12 | 13 | # 14 | # Project configuration 15 | # 16 | 17 | project(std_ext) 18 | cmake_minimum_required(VERSION 3.2) 19 | 20 | if(NOT CMAKE_BUILD_TYPE) 21 | set(CMAKE_BUILD_TYPE Debug) 22 | endif(NOT CMAKE_BUILD_TYPE) 23 | 24 | set(PROJECT_NAME "std extensions") 25 | set(PROJECT_VERSION_MAJOR 0) 26 | set(PROJECT_VERSION_MINOR 1) 27 | set(PROJECT_VERSION_PATCH 0) 28 | set(PROJECT_VERSION ${PROJECT_VERSION_MAJOR}.${PROJECT_VERSION_MINOR}.${PROJECT_VERSION_PATCH}) 29 | set(SETTINGS_ORGANIZATION "Michele Caini") 30 | set(SETTINGS_APPLICATION ${PROJECT_NAME}) 31 | set(PROJECT_AUTHOR "Michele Caini") 32 | set(PROJECT_YEAR_COPYRIGHT "2016") 33 | set(PROJECT_AUTHOR_EMAIL "michele.caini@gmail.com") 34 | 35 | set(PROJECT_BUILD_MESSAGE ${PROJECT_NAME} " v" ${PROJECT_VERSION} " (" ${CMAKE_BUILD_TYPE} ")") 36 | set(COPYRIGHT_BUILD_MESSAGE "Copyright (c) " ${PROJECT_YEAR_COPYRIGHT} " " ${PROJECT_AUTHOR} " <" ${PROJECT_AUTHOR_EMAIL} ">") 37 | 38 | message("*") 39 | message("* " ${PROJECT_BUILD_MESSAGE}) 40 | message("* " ${COPYRIGHT_BUILD_MESSAGE}) 41 | message("*") 42 | 43 | if(APPLE) 44 | set(CMAKE_SHARED_LINKER_FLAGS "${CMAKE_SHARED_LINKER_FLAGS} -Wl,-undefined,dynamic_lookup") 45 | else(APPLE) 46 | set(CMAKE_SHARED_LINKER_FLAGS "${CMAKE_SHARED_LINKER_FLAGS} -Wl,--no-undefined") 47 | endif(APPLE) 48 | 49 | set(CMAKE_CXX_STANDARD 14) 50 | set(CMAKE_CXX_STANDARD_REQUIRED ON) 51 | set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall") 52 | # set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wextra -Weffc++") 53 | set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} -O0 -g -DDEBUG") 54 | set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -Os -DRELEASE") 55 | 56 | add_definitions( 57 | -DPROJECT_NAME=${PROJECT_NAME} 58 | -DPROJECT_VERSION=${PROJECT_VERSION} 59 | ) 60 | 61 | # 62 | # CMake configuration 63 | # 64 | 65 | set(PROJECT_CMAKE_MODULES cmake/modules) 66 | set(PROJECT_BUILD_DIR build) 67 | set(PROJECT_DEPS_DIR deps) 68 | set(PROJECT_DOCS_DIR docs) 69 | set(PROJECT_SRC_DIR src) 70 | set(PROJECT_TEST_DIR test) 71 | 72 | set(PROJECT_RUNTIME_OUTPUT_DIRECTORY bin) 73 | set(PROJECT_SHARE_OUTPUT_DIRECTORY share) 74 | 75 | set( 76 | CMAKE_MODULE_PATH 77 | ${CMAKE_MODULE_PATH} 78 | ${CMAKE_SOURCE_DIR}/${PROJECT_CMAKE_MODULES} 79 | ) 80 | 81 | set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${PROJECT_RUNTIME_OUTPUT_DIRECTORY}) 82 | 83 | # 84 | # Enable test support using ctest 85 | # 86 | 87 | enable_testing() 88 | 89 | # 90 | # Referenced packages 91 | # 92 | 93 | find_package(Doxygen 1.8) 94 | find_package(Threads REQUIRED) 95 | find_package(GoogleTest REQUIRED) 96 | 97 | # 98 | # Referenced directories and targets 99 | # 100 | 101 | set(TARGET_DOCS docs) 102 | 103 | if(${DOXYGEN_FOUND}) 104 | add_subdirectory(${PROJECT_DOCS_DIR}) 105 | endif(${DOXYGEN_FOUND}) 106 | 107 | if(${GOOGLETEST_FOUND}) 108 | add_subdirectory(${PROJECT_TEST_DIR}) 109 | endif(${GOOGLETEST_FOUND}) 110 | 111 | # 112 | # Keep your stuff and go further away, foolish. 113 | # 114 | 115 | set(CPACK_PACKAGE_NAME ${PROJECT_NAME}) 116 | set(CPACK_PACKAGE_VENDOR ${PROJECT_AUTHOR}) 117 | set(CPACK_PACKAGE_VERSION_MAJOR ${PROJECT_VERSION_MAJOR}) 118 | set(CPACK_PACKAGE_VERSION_MINOR ${PROJECT_VERSION_MINOR}) 119 | set(CPACK_PACKAGE_VERSION_PATCH ${PROJECT_VERSION_PATCH}) 120 | set(CPACK_PACKAGE_VERSION ${CPACK_PACKAGE_VERSION_MAJOR}.${CPACK_PACKAGE_VERSION_MINOR}.${CPACK_PACKAGE_VERSION_PATCH}) 121 | set(CPACK_PACKAGE_DESCRIPTION_SUMMARY "std extensions") 122 | set(CPACK_PACKAGE_FILE_NAME ${CPACK_PACKAGE_NAME}-${CPACK_PACKAGE_VERSION}) 123 | set(CPACK_SOURCE_PACKAGE_FILE_NAME ${CPACK_PACKAGE_FILE_NAME}-src) 124 | set(CPACK_RESOURCE_FILE_LICENSE ${CMAKE_SOURCE_DIR}/LICENSE) 125 | set(CPACK_RESOURCE_FILE_README ${CMAKE_SOURCE_DIR}/README.md) 126 | set(CPACK_GENERATOR TGZ) 127 | set(CPACK_SOURCE_GENERATOR TGZ) 128 | set(CPACK_PACKAGING_INSTALL_DIRECTORY "std_ext-${CMake_VERSION_MAJOR}.${CMake_VERSION_MINOR}") 129 | 130 | include(CPack) 131 | 132 | # 133 | # I use QtCreator and I need the lines below, so do not ask. :-) 134 | # 135 | 136 | file( 137 | GLOB_RECURSE PROJECT_FILES FOLLOW_SYMLINKS 138 | *.txt *.c *.cpp *.hpp *.h *.in *.cmake *.sh Makefile *.md 139 | ) 140 | 141 | add_custom_target( 142 | QTCREATOR_FALLBACK ALL 143 | COMMENT "Feel free to ignore this target, but please do not remove it." 144 | SOURCES ${PROJECT_FILES} 145 | ) 146 | -------------------------------------------------------------------------------- /src/type_traits/traits/composite_type_categories.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include "../details/details.hpp" 5 | #include 6 | 7 | 8 | namespace stdext { 9 | 10 | /** \brief are_fundamental 11 | * 12 | * \code{.cpp} 13 | * template 14 | * struct are_fundamental; 15 | * \endcode 16 | * 17 | * If all the \c T types are fundamental types (that is, arithmetic type, void, 18 | * or nullptr_t), provides the member constant \c value equal to true. Otherwise 19 | * \c value is false. 20 | */ 21 | template 22 | using are_fundamental = details::and1_; 23 | 24 | /** \brief Helper variable template 25 | */ 26 | template 27 | constexpr bool are_fundamental_v = are_fundamental::value; 28 | 29 | /** \brief are_arithmetic 30 | * 31 | * \code{.cpp} 32 | * template 33 | * struct are_arithmetic; 34 | * \endcode 35 | * 36 | * If all the \c T types are arithmetic types (that is, an integral type or a 37 | * floating-point type), provides the member constant \c value equal to true. 38 | * Otherwise \c value is false. 39 | */ 40 | template 41 | using are_arithmetic = details::and1_; 42 | 43 | /** \brief Helper variable template 44 | */ 45 | template 46 | constexpr bool are_arithmetic_v = are_arithmetic::value; 47 | 48 | /** \brief are_scalar 49 | * 50 | * \code{.cpp} 51 | * template 52 | * struct are_scalar; 53 | * \endcode 54 | * 55 | * If all the \c T types are scalar types (that is a possibly cv-qualified 56 | * arithmetic, pointer, pointer to member, enumeration, or std::nullptr_t 57 | * type), provides the member constant \c value equal to true. Otherwise 58 | * \c value is false. 59 | */ 60 | template 61 | using are_scalar = details::and1_; 62 | 63 | /** \brief Helper variable template 64 | */ 65 | template 66 | constexpr bool are_scalar_v = are_scalar::value; 67 | 68 | /** \brief are_object 69 | * 70 | * \code{.cpp} 71 | * template 72 | * struct are_object; 73 | * \endcode 74 | * 75 | * If all the \c T types are object types (that is any possibly cv-qualified 76 | * type other than function, reference, or void types), provides the member 77 | * constant \c value equal to true. Otherwise \c value is false. 78 | */ 79 | template 80 | using are_object = details::and1_; 81 | 82 | /** \brief Helper variable template 83 | */ 84 | template 85 | constexpr bool are_object_v = are_object::value; 86 | 87 | /** \brief are_compound 88 | * 89 | * \code{.cpp} 90 | * template 91 | * struct are_compound; 92 | * \endcode 93 | * 94 | * If all the \c T types are compound types (that is, array, function, object 95 | * pointer, function pointer, member object pointer, member function pointer, 96 | * reference, class, union, or enumeration, including any cv-qualified 97 | * variants), provides the member constant \c value equal to true. Otherwise 98 | * \c value is false. 99 | */ 100 | template 101 | using are_compound = details::and1_; 102 | 103 | /** \brief Helper variable template 104 | */ 105 | template 106 | constexpr bool are_compound_v = are_compound::value; 107 | 108 | /** \brief are_reference 109 | * 110 | * \code{.cpp} 111 | * template 112 | * struct are_reference; 113 | * \endcode 114 | * 115 | * If all the \c T types are reference types (lvalue reference or rvalue 116 | * reference), provides the member constant \c value equal to true. Otherwise 117 | * \c value is false. 118 | */ 119 | template 120 | using are_reference = details::and1_; 121 | 122 | /** \brief Helper variable template 123 | */ 124 | template 125 | constexpr bool are_reference_v = are_reference::value; 126 | 127 | /** \brief are_member_pointer 128 | * 129 | * \code{.cpp} 130 | * template 131 | * struct are_member_pointer; 132 | * \endcode 133 | * 134 | * If all the \c T types are pointers to non-static member objects or pointers 135 | * to non-static member functions, provides the member constant \c value equal 136 | * to true. Otherwise \c value is false. 137 | */ 138 | template 139 | using are_member_pointer = details::and1_; 140 | 141 | /** \brief Helper variable template 142 | */ 143 | template 144 | constexpr bool are_member_pointer_v = are_member_pointer::value; 145 | 146 | } 147 | -------------------------------------------------------------------------------- /test/type_traits/primary_type_categories.cpp: -------------------------------------------------------------------------------- 1 | #include "./common.h" 2 | 3 | #define TEST_CASE_LABEL PRIMARY_TYPE_CATEGORIES 4 | 5 | TEST(TEST_CASE_LABEL, are_void) { 6 | ASSERT_EQ((are_void::value), (are_void_v)); 7 | ASSERT_TRUE((are_void_v)); 8 | ASSERT_FALSE((are_void_v)); 9 | ASSERT_TRUE((are_void_v)); 10 | } 11 | 12 | TEST(TEST_CASE_LABEL, are_null_pointer) { 13 | ASSERT_EQ((are_null_pointer::value), 14 | (are_null_pointer_v)); 15 | ASSERT_TRUE((are_null_pointer_v)); 16 | ASSERT_FALSE((are_null_pointer_v)); 17 | ASSERT_TRUE((are_null_pointer_v)); 18 | } 19 | 20 | TEST(TEST_CASE_LABEL, are_integral) { 21 | ASSERT_EQ((are_integral::value), (are_integral_v)); 22 | ASSERT_TRUE((are_integral_v)); 23 | ASSERT_FALSE((are_integral_v)); 24 | ASSERT_TRUE((are_integral_v)); 25 | } 26 | 27 | TEST(TEST_CASE_LABEL, are_floating_point) { 28 | ASSERT_EQ((are_floating_point::value), 29 | (are_floating_point_v)); 30 | ASSERT_TRUE((are_floating_point_v)); 31 | ASSERT_FALSE((are_floating_point_v)); 32 | ASSERT_TRUE((are_floating_point_v)); 33 | } 34 | 35 | TEST(TEST_CASE_LABEL, are_array) { 36 | ASSERT_EQ((are_array::value), (are_array_v)); 37 | ASSERT_TRUE((are_array_v)); 38 | ASSERT_FALSE((are_array_v)); 39 | ASSERT_TRUE((are_array_v)); 40 | } 41 | 42 | TEST(TEST_CASE_LABEL, are_enum) { 43 | ASSERT_EQ((are_enum::value), (are_enum_v)); 44 | ASSERT_TRUE((are_enum_v)); 45 | ASSERT_FALSE((are_enum_v)); 46 | ASSERT_TRUE((are_enum_v)); 47 | } 48 | 49 | TEST(TEST_CASE_LABEL, are_union) { 50 | ASSERT_EQ((are_union::value), (are_union_v)); 51 | ASSERT_TRUE((are_union_v)); 52 | ASSERT_FALSE((are_union_v)); 53 | ASSERT_TRUE((are_union_v)); 54 | } 55 | 56 | TEST(TEST_CASE_LABEL, are_class) { 57 | ASSERT_EQ((are_class::value), (are_class_v)); 58 | ASSERT_TRUE((are_class_v)); 59 | ASSERT_FALSE((are_class_v)); 60 | ASSERT_TRUE((are_class_v)); 61 | } 62 | 63 | TEST(TEST_CASE_LABEL, are_function) { 64 | ASSERT_EQ((are_function::value), (are_function_v)); 65 | ASSERT_TRUE((are_function_v)); 66 | ASSERT_FALSE((are_function_v)); 67 | ASSERT_TRUE((are_function_v)); 68 | } 69 | 70 | TEST(TEST_CASE_LABEL, are_pointer) { 71 | ASSERT_EQ((are_pointer::value), (are_pointer_v)); 72 | ASSERT_TRUE((are_pointer_v)); 73 | ASSERT_FALSE((are_pointer_v)); 74 | ASSERT_TRUE((are_pointer_v)); 75 | } 76 | 77 | TEST(TEST_CASE_LABEL, are_lvalue_reference) { 78 | ASSERT_EQ((are_lvalue_reference::value), 79 | (are_lvalue_reference_v)); 80 | ASSERT_TRUE((are_lvalue_reference_v)); 81 | ASSERT_FALSE((are_lvalue_reference_v)); 82 | ASSERT_TRUE((are_lvalue_reference_v)); 83 | } 84 | 85 | TEST(TEST_CASE_LABEL, are_rvalue_reference) { 86 | ASSERT_EQ((are_rvalue_reference::value), 87 | (are_rvalue_reference_v)); 88 | ASSERT_TRUE((are_rvalue_reference_v)); 89 | ASSERT_FALSE((are_rvalue_reference_v)); 90 | ASSERT_TRUE((are_rvalue_reference_v)); 91 | } 92 | 93 | TEST(TEST_CASE_LABEL, are_member_object_pointer) { 94 | ASSERT_EQ((are_member_object_pointer::value), 95 | (are_member_object_pointer_v)); 96 | ASSERT_TRUE((are_member_object_pointer_v)); 97 | ASSERT_FALSE((are_member_object_pointer_v)); 99 | ASSERT_TRUE((are_member_object_pointer_v)); 100 | } 101 | 102 | TEST(TEST_CASE_LABEL, are_member_function_pointer) { 103 | ASSERT_EQ((are_member_function_pointer::value), 104 | (are_member_function_pointer_v)); 105 | ASSERT_TRUE((are_member_function_pointer_v)); 106 | ASSERT_FALSE((are_member_function_pointer_v)); 108 | ASSERT_TRUE((are_member_function_pointer_v)); 110 | } 111 | -------------------------------------------------------------------------------- /test/type_traits/supported_operations.cpp: -------------------------------------------------------------------------------- 1 | #include "./common.h" 2 | 3 | #define TEST_CASE_LABEL SUPPORTED_OPERATIONS 4 | 5 | TEST(TEST_CASE_LABEL, are_constructible) { 6 | ASSERT_EQ((are_constructible>::value), 7 | (are_constructible_v>)); 8 | ASSERT_FALSE((are_constructible_v, int>)); 9 | ASSERT_TRUE((are_constructible_v>)); 10 | ASSERT_FALSE((are_constructible_v, D>)); 11 | } 12 | 13 | TEST(TEST_CASE_LABEL, are_trivially_constructible) { 14 | ASSERT_EQ((are_trivially_constructible>::value), 15 | (are_trivially_constructible_v>)); 16 | ASSERT_FALSE((are_trivially_constructible_v, int>)); 17 | ASSERT_TRUE((are_trivially_constructible_v>)); 18 | ASSERT_FALSE((are_trivially_constructible_v, D>)); 19 | } 20 | 21 | TEST(TEST_CASE_LABEL, are_nothrow_constructible) { 22 | ASSERT_EQ((are_nothrow_constructible>::value), 23 | (are_nothrow_constructible_v>)); 24 | ASSERT_FALSE((are_nothrow_constructible_v, int>)); 25 | ASSERT_TRUE((are_nothrow_constructible_v>)); 26 | ASSERT_FALSE((are_nothrow_constructible_v, D>)); 27 | } 28 | 29 | TEST(TEST_CASE_LABEL, are_default_constructible) { 30 | ASSERT_EQ((are_default_constructible::value), 31 | (are_default_constructible_v)); 32 | ASSERT_FALSE((are_default_constructible_v)); 33 | ASSERT_TRUE((are_default_constructible_v)); 34 | ASSERT_FALSE((are_default_constructible_v)); 35 | } 36 | 37 | TEST(TEST_CASE_LABEL, are_trivially_default_constructible) { 38 | ASSERT_EQ((are_trivially_default_constructible::value), 39 | (are_trivially_default_constructible_v)); 40 | ASSERT_FALSE((are_trivially_default_constructible_v)); 41 | ASSERT_TRUE((are_trivially_default_constructible_v)); 42 | ASSERT_FALSE((are_trivially_default_constructible_v)); 43 | } 44 | 45 | TEST(TEST_CASE_LABEL, are_nothrow_default_constructible) { 46 | ASSERT_EQ((are_nothrow_default_constructible::value), 47 | (are_nothrow_default_constructible_v)); 48 | ASSERT_FALSE((are_nothrow_default_constructible_v)); 49 | ASSERT_TRUE((are_nothrow_default_constructible_v)); 50 | ASSERT_FALSE((are_nothrow_default_constructible_v)); 51 | } 52 | 53 | TEST(TEST_CASE_LABEL, are_copy_constructible) { 54 | ASSERT_EQ((are_copy_constructible::value), 55 | (are_copy_constructible_v)); 56 | ASSERT_FALSE((are_copy_constructible_v)); 57 | ASSERT_TRUE((are_copy_constructible_v)); 58 | ASSERT_FALSE((are_copy_constructible_v)); 59 | } 60 | 61 | TEST(TEST_CASE_LABEL, are_trivially_copy_constructible) { 62 | ASSERT_EQ((are_trivially_copy_constructible::value), 63 | (are_trivially_copy_constructible_v)); 64 | ASSERT_FALSE((are_trivially_copy_constructible_v)); 65 | ASSERT_TRUE((are_trivially_copy_constructible_v)); 66 | ASSERT_FALSE((are_trivially_copy_constructible_v)); 67 | } 68 | 69 | TEST(TEST_CASE_LABEL, are_nothrow_copy_constructible) { 70 | ASSERT_EQ((are_nothrow_copy_constructible::value), 71 | (are_nothrow_copy_constructible_v)); 72 | ASSERT_FALSE((are_nothrow_copy_constructible_v)); 73 | ASSERT_TRUE((are_nothrow_copy_constructible_v)); 74 | ASSERT_FALSE((are_nothrow_copy_constructible_v)); 75 | } 76 | 77 | TEST(TEST_CASE_LABEL, are_move_constructible) { 78 | ASSERT_EQ((are_move_constructible::value), 79 | (are_move_constructible_v)); 80 | ASSERT_FALSE((are_move_constructible_v)); 81 | ASSERT_TRUE((are_move_constructible_v)); 82 | ASSERT_FALSE((are_move_constructible_v)); 83 | } 84 | 85 | TEST(TEST_CASE_LABEL, are_trivially_move_constructible) { 86 | ASSERT_EQ((are_trivially_move_constructible::value), 87 | (are_trivially_move_constructible_v)); 88 | ASSERT_FALSE((are_trivially_move_constructible_v)); 89 | ASSERT_TRUE((are_trivially_move_constructible_v)); 90 | ASSERT_FALSE((are_trivially_move_constructible_v)); 91 | } 92 | 93 | TEST(TEST_CASE_LABEL, are_nothrow_move_constructible) { 94 | ASSERT_EQ((are_nothrow_move_constructible::value), 95 | (are_nothrow_move_constructible_v)); 96 | ASSERT_FALSE((are_nothrow_move_constructible_v)); 97 | ASSERT_TRUE((are_nothrow_move_constructible_v)); 98 | ASSERT_FALSE((are_nothrow_move_constructible_v)); 99 | } 100 | -------------------------------------------------------------------------------- /src/type_traits/traits/type_relationships.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include "../details/details.hpp" 5 | #include 6 | 7 | 8 | namespace stdext { 9 | 10 | /** \brief is_same_of_any 11 | * 12 | * \code{.cpp} 13 | * template 14 | * struct is_same_of_any; 15 | * \endcode 16 | * 17 | * If \c T and any of the \c O types are the same type, provides the member 18 | * constant \c value equal to true. Otherwise \c value is false. 19 | */ 20 | template 21 | using is_same_of_any = details::or2_; 22 | 23 | /** \brief Helper variable template 24 | */ 25 | template 26 | constexpr bool is_same_of_any_v = is_same_of_any::value; 27 | 28 | /** \brief is_same_of_all 29 | * 30 | * \code{.cpp} 31 | * template 32 | * struct is_same_of_all; 33 | * \endcode 34 | * 35 | * If \c T and all the \c O types are the same type, provides the member 36 | * constant \c value equal to true. Otherwise \c value is false. 37 | */ 38 | template 39 | using is_same_of_all = details::and2_; 40 | 41 | /** \brief Helper variable template 42 | */ 43 | template 44 | constexpr bool is_same_of_all_v = is_same_of_all::value; 45 | 46 | /** \brief are_all_same_of 47 | * 48 | * \code{.cpp} 49 | * template 50 | * struct are_all_same_of; 51 | * \endcode 52 | * 53 | * If all the \c O types are the same type, provides the member constant 54 | * \c value equal to true. Otherwise \c value is false. 55 | */ 56 | template 57 | using are_all_same_of = is_same_of_all; 58 | 59 | /** \brief Helper variable template 60 | */ 61 | template 62 | constexpr bool are_all_same_of_v = are_all_same_of::value; 63 | 64 | /** \brief is_base_of_any 65 | * 66 | * \code{.cpp} 67 | * template 68 | * struct is_base_of_any; 69 | * \endcode 70 | * 71 | * If any of the \c O types is derived from \c B, provides the member constant 72 | * \c value equal to true. Otherwise \c value is false. 73 | */ 74 | template 75 | using is_base_of_any = details::or2_; 76 | 77 | /** \brief Helper variable template 78 | */ 79 | template 80 | constexpr bool is_base_of_any_v = is_base_of_any::value; 81 | 82 | /** \brief is_base_of_all 83 | * 84 | * \code{.cpp} 85 | * template 86 | * struct is_base_of_all; 87 | * \endcode 88 | * 89 | * If all the \c O types are derived from \c B, provides the member constant 90 | * \c value equal to true. Otherwise \c value is false. 91 | */ 92 | template 93 | using is_base_of_all = details::and2_; 94 | 95 | /** \brief Helper variable template 96 | */ 97 | template 98 | constexpr bool is_base_of_all_v = is_base_of_all::value; 99 | 100 | /** \brief are_all_base_of 101 | * 102 | * \code{.cpp} 103 | * template 104 | * struct are_all_base_of; 105 | * \endcode 106 | * 107 | * If \c B is derived from all the \c O types, provides the member constant 108 | * \c value equal to true. Otherwise \c value is false. 109 | */ 110 | template 111 | using are_all_base_of = details::rev_and2_; 112 | 113 | /** \brief Helper variable template 114 | */ 115 | template 116 | constexpr bool are_all_base_of_v = are_all_base_of::value; 117 | 118 | /** \brief is_convertible_to_any 119 | * 120 | * \code{.cpp} 121 | * template 122 | * struct is_convertible_to_any; 123 | * \endcode 124 | * 125 | * If \c F is convertible to any of the \c O types, provides the member constant 126 | * \c value equal to true. Otherwise \c value is false. 127 | */ 128 | template 129 | using is_convertible_to_any = details::or2_; 130 | 131 | /** \brief Helper variable template 132 | */ 133 | template 134 | constexpr bool is_convertible_to_any_v = is_convertible_to_any::value; 135 | 136 | /** \brief is_convertible_to_all 137 | * 138 | * \code{.cpp} 139 | * template 140 | * struct is_convertible_to_all; 141 | * \endcode 142 | * 143 | * If \c F is convertible to all of the \c O types, provides the member constant 144 | * \c value equal to true. Otherwise \c value is false. 145 | */ 146 | template 147 | using is_convertible_to_all = details::and2_; 148 | 149 | /** \brief Helper variable template 150 | */ 151 | template 152 | constexpr bool is_convertible_to_all_v = is_convertible_to_all::value; 153 | 154 | /** \brief are_all_convertible_to 155 | * 156 | * \code{.cpp} 157 | * template 158 | * struct are_all_convertible_to; 159 | * \endcode 160 | * 161 | * If all the \c O types are convertible to \c T, provides the member constant 162 | * \c value equal to true. Otherwise \c value is false. 163 | */ 164 | template 165 | using are_all_convertible_to = details::rev_and2_; 166 | 167 | /** \brief Helper variable template 168 | */ 169 | template 170 | constexpr bool are_all_convertible_to_v = 171 | are_all_convertible_to::value; 172 | 173 | } 174 | -------------------------------------------------------------------------------- /src/utility/utility.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include 5 | #include 6 | #include 7 | #include 8 | #include 9 | 10 | 11 | namespace stdext { 12 | 13 | namespace details { 14 | 15 | /** \internal */ 16 | template< 17 | typename R, 18 | typename... A, 19 | std::size_t... I 20 | > constexpr auto 21 | func(std::integer_sequence) { 22 | static_assert((sizeof...(I)<=sizeof...(A)), "!"); 23 | return std::function>...)>{}; 24 | } 25 | 26 | } 27 | 28 | /** \brief Define a function type with limited arguments. 29 | * 30 | * Given a number of parameters \c N and a function type \c F, \c function_proxy 31 | * has a public member alias \c type equal to a function \c G that has the same 32 | * return type of \c F and \c N arguments having the same types of the first 33 | * \c N arguments of \c F. 34 | */ 35 | template 36 | struct function_proxy; 37 | 38 | /** \brief Define a function type with limited arguments. 39 | * 40 | * \sa function_proxy 41 | */ 42 | template 43 | struct function_proxy { 44 | using type = 45 | decltype(details::func(std::make_index_sequence{})); 46 | 47 | static constexpr std::size_t Size = N; 48 | }; 49 | 50 | /** \brief Helper type template 51 | */ 52 | template 53 | using function_proxy_t = typename function_proxy::type; 54 | 55 | 56 | /** \brief Helper type template 57 | */ 58 | template 59 | struct types { 60 | using basic = T; 61 | using decorated = U; 62 | }; 63 | 64 | namespace details { 65 | 66 | /** \internal */ 67 | static constexpr std::size_t max_depth = 42; 68 | 69 | /** \internal */ 70 | template 71 | struct choice: choice {}; 72 | 73 | /** \internal */ 74 | template<> 75 | struct choice<0> {}; 76 | 77 | /** \internal */ 78 | template 79 | constexpr auto 80 | inherit_from(choice<0>) { return types{}; } 81 | 82 | /** \internal */ 83 | template::value>> 85 | constexpr auto inherit_from(choice<1>) { 86 | auto t = inherit_from, U>(choice{}); 87 | using B = typename decltype(t)::basic; 88 | using D = typename decltype(t)::decorated; 89 | return types>{}; 90 | } 91 | 92 | /** \internal */ 93 | template::value>> 95 | constexpr auto inherit_from(choice<2>) { 96 | auto t = inherit_from, U>(choice{}); 97 | using B = typename decltype(t)::basic; 98 | using D = typename decltype(t)::decorated; 99 | return types>{}; 100 | } 101 | 102 | /** \internal */ 103 | template::value>> 105 | constexpr auto inherit_from(choice<3>) { 106 | auto t = inherit_from, U>(choice{}); 107 | using B = typename decltype(t)::basic; 108 | using D = typename decltype(t)::decorated; 109 | return types>{}; 110 | } 111 | 112 | /** \internal */ 113 | template::value>> 115 | constexpr auto inherit_from(choice<4>) { 116 | auto t = inherit_from, U>(choice{}); 117 | using B = typename decltype(t)::basic; 118 | using D = typename decltype(t)::decorated; 119 | return types::value), D[], D[std::extent::value]>>{}; 120 | } 121 | 122 | /** \internal */ 123 | template::value>> 125 | constexpr auto inherit_from(choice<5>) { 126 | auto t = inherit_from, U>(choice{}); 127 | using B = typename decltype(t)::basic; 128 | using D = typename decltype(t)::decorated; 129 | return types>{}; 130 | } 131 | 132 | /** \internal */ 133 | template::value>> 135 | constexpr auto inherit_from(choice<6>) { 136 | auto t = inherit_from, U>(choice{}); 137 | using B = typename decltype(t)::basic; 138 | using D = typename decltype(t)::decorated; 139 | return types>{}; 140 | } 141 | 142 | } 143 | 144 | /** \brief Inherit all the inheritable from one type. 145 | * 146 | * In this case, an example is worth a thousand words: 147 | * `inherit_from_t` will return 148 | * `types`.
149 | * That's all, pretty much. 150 | */ 151 | template 152 | constexpr auto inherit_from() { 153 | return inherit_from(details::choice{}); 154 | } 155 | 156 | /** \brief Helper type template 157 | */ 158 | template 159 | using inherit_from_t = decltype(inherit_from()); 160 | 161 | /** \brief Helper type template 162 | */ 163 | template 164 | using inherit_from_basic_t = 165 | typename decltype(inherit_from())::basic; 166 | 167 | /** \brief Helper type template 168 | */ 169 | template 170 | using inherit_from_decorated_t = 171 | typename decltype(inherit_from())::decorated; 172 | 173 | } 174 | -------------------------------------------------------------------------------- /src/type_traits/traits/type_properties.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include "../details/details.hpp" 5 | #include 6 | 7 | 8 | namespace stdext { 9 | 10 | /** \brief are_const 11 | * 12 | * \code{.cpp} 13 | * template 14 | * struct are_const; 15 | * \endcode 16 | * 17 | * If all the \c T types are const-qualified types (that is, const, or const 18 | * volatile), provides the member constant \c value equal to true. Otherwise 19 | * \c value is false. 20 | */ 21 | template 22 | using are_const = details::and1_; 23 | 24 | /** \brief Helper variable template 25 | */ 26 | template 27 | constexpr bool are_const_v = are_const::value; 28 | 29 | /** \brief are_volatile 30 | * 31 | * \code{.cpp} 32 | * template 33 | * struct are_volatile; 34 | * \endcode 35 | * 36 | * If all the \c T types are volatile-qualified types (that is, volatile, or 37 | * const volatile), provides the member constant \c value equal to true. 38 | * Otherwise \c value is false. 39 | */ 40 | template 41 | using are_volatile = details::and1_; 42 | 43 | /** \brief Helper variable template 44 | */ 45 | template 46 | constexpr bool are_volatile_v = are_volatile::value; 47 | 48 | /** \brief are_trivial 49 | * 50 | * \code{.cpp} 51 | * template 52 | * struct are_trivial; 53 | * \endcode 54 | * 55 | * If all the \c T types are trivial types (that is, a scalar type, a trivially 56 | * copyable class with a trivial default constructor, or array of such 57 | * type/class, possibly cv-qualified), provides the member constant \c value 58 | * equal to true. Otherwise \c value is false. 59 | */ 60 | template 61 | using are_trivial = details::and1_; 62 | 63 | /** \brief Helper variable template 64 | */ 65 | template 66 | constexpr bool are_trivial_v = are_trivial::value; 67 | 68 | /** \brief are_trivially_copyable 69 | * 70 | * \code{.cpp} 71 | * template 72 | * struct are_trivially_copyable; 73 | * \endcode 74 | * 75 | * If all the \c T types are trivially copyable types, provides the member 76 | * constant \c value equal to true. Otherwise \c value is false. 77 | */ 78 | template 79 | using are_trivially_copyable = 80 | details::and1_; 81 | 82 | /** \brief Helper variable template 83 | */ 84 | template 85 | constexpr bool are_trivially_copyable_v = 86 | are_trivially_copyable::value; 87 | 88 | /** \brief are_standard_layout 89 | * 90 | * \code{.cpp} 91 | * template 92 | * struct are_standard_layout; 93 | * \endcode 94 | * 95 | * If all the \c T types are standard layout types (that is, a scalar type, a 96 | * standard-layout class, or an array of such type/class, possibly 97 | * cv-qualified), provides the member constant \c value equal to true. Otherwise 98 | * \c value is false. 99 | */ 100 | template 101 | using are_standard_layout = details::and1_; 102 | 103 | /** \brief Helper variable template 104 | */ 105 | template 106 | constexpr bool are_standard_layout_v = are_standard_layout::value; 107 | 108 | /** \brief are_pod 109 | * 110 | * \code{.cpp} 111 | * template 112 | * struct are_pod; 113 | * \endcode 114 | * 115 | * If all the \c T types are POD types (plain old data types, that is, both 116 | * trivial and standard-layout), provides the member constant \c value equal to 117 | * true. Otherwise \c value is false. 118 | */ 119 | template 120 | using are_pod = details::and1_; 121 | 122 | /** \brief Helper variable template 123 | */ 124 | template 125 | constexpr bool are_pod_v = are_pod::value; 126 | 127 | /** \brief are_literal_type 128 | * 129 | * \code{.cpp} 130 | * template 131 | * struct are_literal_type; 132 | * \endcode 133 | * 134 | * If all the \c T types are literal types, provides the member constant 135 | * \c value equal to true. Otherwise \c value is false. 136 | */ 137 | template 138 | using are_literal_type = details::and1_; 139 | 140 | /** \brief Helper variable template 141 | */ 142 | template 143 | constexpr bool are_literal_type_v = are_literal_type::value; 144 | 145 | /** \brief are_empty 146 | * 147 | * \code{.cpp} 148 | * template 149 | * struct are_empty; 150 | * \endcode 151 | * 152 | * If all the \c T types are empty types (that is, a non-union class type with 153 | * no non-static data members other than bit-fields of size 0, no virtual 154 | * functions, no virtual base classes, and no non-empty base classes), provides 155 | * the member constant \c value equal to true. Otherwise \c value is false. 156 | */ 157 | template 158 | using are_empty = details::and1_; 159 | 160 | /** \brief Helper variable template 161 | */ 162 | template 163 | constexpr bool are_empty_v = are_empty::value; 164 | 165 | /** \brief are_polymorphic 166 | * 167 | * \code{.cpp} 168 | * template 169 | * struct are_polymorphic; 170 | * \endcode 171 | * 172 | * If all the \c T types are polymorphic classes (that is, a non-union class 173 | * that declares or inherits at least one virtual function), provides the member 174 | * constant \c value equal to true. Otherwise \c value is false. 175 | */ 176 | template 177 | using are_polymorphic = details::and1_; 178 | 179 | /** \brief Helper variable template 180 | */ 181 | template 182 | constexpr bool are_polymorphic_v = are_polymorphic::value; 183 | 184 | /** \brief are_abstract 185 | * 186 | * \code{.cpp} 187 | * template 188 | * struct are_abstract; 189 | * \endcode 190 | * 191 | * If all the \c T types are abstract classes (that is, a non-union class that 192 | * declares or inherits at least one pure virtual function), provides the member 193 | * constant \c value equal to true. Otherwise \c value is false. 194 | */ 195 | template 196 | using are_abstract = details::and1_; 197 | 198 | /** \brief Helper variable template 199 | */ 200 | template 201 | constexpr bool are_abstract_v = are_abstract::value; 202 | 203 | /** \brief are_signed 204 | * 205 | * \code{.cpp} 206 | * template 207 | * struct are_signed; 208 | * \endcode 209 | * 210 | * If all the \c T types are arithmetic types and \c U(-1) \c < \c U(0) for each 211 | * \c U type in \c T, provides the member constant \c value equal to true. 212 | * Otherwise \c value is false. 213 | */ 214 | template 215 | using are_signed = details::and1_; 216 | 217 | /** \brief Helper variable template 218 | */ 219 | template 220 | constexpr bool are_signed_v = are_signed::value; 221 | 222 | /** \brief are_unsigned 223 | * 224 | * \code{.cpp} 225 | * template 226 | * struct are_unsigned; 227 | * \endcode 228 | * 229 | * If all the \c T types are arithmetic types and \c U(0) \c < \c U(-1) for each 230 | * \c U type in \c T, provides the member constant \c value equal to true. 231 | * Otherwise \c value is false. 232 | */ 233 | template 234 | using are_unsigned = details::and1_; 235 | 236 | /** \brief Helper variable template 237 | */ 238 | template 239 | constexpr bool are_unsigned_v = are_unsigned::value; 240 | 241 | } 242 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | ## Synopsis 2 | 3 | `stdext::` offers a set of functionalities built upon the ones that can 4 | be found in the **Standard Template Library**. 5 | 6 | This library is a work in progress project.
7 | New functionalities will be added whenever: 8 | 9 | * I need them and I find the time to correctly define them 10 | * Someone asks for them with a ticket (I'll try to updated the project as soon 11 | as possible) 12 | * A PR is sent and it contains code, tests and documentation as well 13 | 14 | ## Code Example 15 | 16 | Examples of the above mentioned functionalities are: 17 | 18 | * **are_same** 19 | 20 | ```cpp 21 | struct S { }; 22 | struct T { }; 23 | static_assert(not are_same::value, "are not all the same") 24 | ``` 25 | 26 | * **is_base_of_all** 27 | 28 | ```cpp 29 | struct B { }; 30 | struct D: B { }; 31 | struct C: B { }; 32 | static_assert(is_base_of_all::value, "B is base of D and C") 33 | ``` 34 | 35 | * **tail** 36 | 37 | ```cpp 38 | std::tuple tup{}; 39 | auto t = tail(tup); 40 | assert((std::is_same>::value)); 41 | ``` 42 | 43 | ## Motivation 44 | 45 | The **Standard Template Library** contains a lot of facilities, but it also 46 | lacks a lot of other useful tools.
47 | `stdext::` tries to fill the gap, offering those utilities that are not 48 | part of the **Standard Template Library**. 49 | 50 | ## Installation 51 | 52 | The `stdext::` library is a header only library.
53 | Because of that, a user is demanded simply to include it and all the 54 | functionalities will be available at once.
55 | Please, note that all the types are part of the `stdext` namespace.
56 | See the files in `src` for further details. 57 | 58 | ## API Reference 59 | 60 | The documentation is available by means of `cmake`.
61 | Be sure to have `doxygen` installed and use the following commands: 62 | ```sh 63 | cd build 64 | cmake .. 65 | make docs 66 | ``` 67 | 68 | It will be created in `build/docs/html`.
69 | One can simply open the file `index.html` and navigate it. 70 | 71 | List of currently available facilities and classes. 72 | 73 | ### Tuple 74 | 75 | * `tail` 76 | 77 | ```cpp 78 | template 79 | constexpr std::tuple tail(std::tuple &tup); 80 | 81 | template 82 | constexpr std::tuple tail(std::tuple &&tup); 83 | ``` 84 | 85 | * `invoke` 86 | 87 | ```cpp 88 | template 89 | constexpr auto invoke(F &&f, std::tuple &tup); 90 | ``` 91 | 92 | ### Type Traits 93 | 94 | **Primary type categories** 95 | 96 | * `are_void` 97 | * `are_null_pointer` 98 | * `are_integral` 99 | * `are_floating_point` 100 | * `are_array` 101 | * `are_enum` 102 | * `are_union` 103 | * `are_class` 104 | * `are_function` 105 | * `are_pointer` 106 | * `are_lvalue_reference` 107 | * `are_rvalue_reference` 108 | * `are_member_object_pointer` 109 | * `are_member_function_pointer` 110 | 111 | **Composite type categories** 112 | 113 | * `are_fundamental` 114 | * `are_arithmetic` 115 | * `are_scalar` 116 | * `are_object` 117 | * `are_compound` 118 | * `are_reference` 119 | * `are_member_pointer` 120 | 121 | **Type properties** 122 | 123 | * `are_const` 124 | * `are_volatile` 125 | * `are_trivial` 126 | * `are_trivially_copyable` 127 | * `are_standard_layout` 128 | * `are_pod` 129 | * `are_literal_type` 130 | * `are_empty` 131 | * `are_polymorphic` 132 | * `are_abstract` 133 | * `are_signed` 134 | * `are_unsigned` 135 | 136 | **Supported operations** 137 | 138 | * `are_constructible` 139 | * `are_trivially_constructible` 140 | * `are_nothrow_constructible` 141 | * `are_default_constructible` 142 | * `are_trivially_default_constructible` 143 | * `are_nothrow_default_constructible` 144 | * `are_copy_constructible` 145 | * `are_trivially_copy_constructible` 146 | * `are_nothrow_copy_constructible` 147 | * `are_move_constructible` 148 | * `are_trivially_move_constructible` 149 | * `are_nothrow_move_constructible` 150 | 151 | **Type relationships** 152 | 153 | * `is_same_of_any` 154 | * `is_same_of_all` 155 | * `are_all_same_of` 156 | * `is_base_of_any` 157 | * `is_base_of_all` 158 | * `are_all_base_of` 159 | * `is_convertible_to_any` 160 | * `is_convertible_to_all` 161 | * `are_all_convertible_to` 162 | 163 | Please, note that all the types above mentioned are provided along with their 164 | *helper variable templates*, similar to the ones available in the 165 | **Standard Template Library** (mostly since C++17).
166 | As an example, the helper variable template for the `is_same_of_any` type is 167 | defined as: 168 | 169 | ```cpp 170 | template 171 | constexpr bool is_same_of_any_v = is_same_of_any::value; 172 | ``` 173 | 174 | More in general, all those helpers are defined as: 175 | 176 | ```cpp 177 | template 178 | constexpr bool actual_type_name_v = actual_type_name::value; 179 | ``` 180 | 181 | ### Utility 182 | 183 | * `function_proxy` 184 | 185 | ```cpp 186 | std::is_same< 187 | typename function_proxy<1, void(int, char, double)>::type, 188 | std::function 189 | >::value; 190 | ``` 191 | 192 | * `inherit_from` 193 | 194 | ```cpp 195 | std::is_same< 196 | inherit_from_t, 197 | types 198 | >::value 199 | 200 | std::is_same< 201 | inherit_from_basic_t, 202 | int 203 | >::value 204 | 205 | std::is_same< 206 | inherit_from_decorated_t, 207 | double const **[][3][5] 208 | >::value 209 | ``` 210 | 211 | Please, note that all the types above mentioned are provided along with their 212 | *helper type templates*, similar to the ones available in the 213 | **Standard Template Library** (mostly since C++14).
214 | As an example, the helper variable template for the `function_proxy` type is 215 | defined as: 216 | 217 | ```cpp 218 | template 219 | using function_proxy_t = typename function_proxy::type; 220 | ``` 221 | 222 | More in general, all those helpers are defined as: 223 | 224 | ```cpp 225 | template 226 | using actual_type_name_t = typename actual_type_name::type; 227 | ``` 228 | 229 | ## Tests 230 | 231 | Building in-tree is not allowed, so you should compile them in the *build* 232 | directory before to launch them.
233 | To do that, you can simply execute the following commands: 234 | ``` 235 | cd build 236 | cmake .. 237 | make 238 | make test 239 | ``` 240 | 241 | ## Contributors 242 | 243 | Michele Caini ([skypjack](https://github.com/skypjack)) 244 | 245 | ## License 246 | 247 | The MIT License (MIT) 248 | ===================== 249 | 250 | Copyright © `2016` `Michele Caini` 251 | 252 | Permission is hereby granted, free of charge, to any person 253 | obtaining a copy of this software and associated documentation 254 | files (the “Software”), to deal in the Software without 255 | restriction, including without limitation the rights to use, 256 | copy, modify, merge, publish, distribute, sublicense, and/or sell 257 | copies of the Software, and to permit persons to whom the 258 | Software is furnished to do so, subject to the following 259 | conditions: 260 | 261 | The above copyright notice and this permission notice shall be 262 | included in all copies or substantial portions of the Software. 263 | 264 | THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, 265 | EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES 266 | OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 267 | NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT 268 | HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, 269 | WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING 270 | FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR 271 | OTHER DEALINGS IN THE SOFTWARE. 272 | -------------------------------------------------------------------------------- /src/type_traits/traits/primary_type_categories.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include "../details/details.hpp" 5 | #include 6 | 7 | 8 | namespace stdext { 9 | 10 | /** \brief are_void 11 | * 12 | * \code{.cpp} 13 | * template 14 | * struct are_void; 15 | * \endcode 16 | * 17 | * If all the \c T types are \c void, provides the member constant \c value 18 | * equal to true. Otherwise \c value is false. 19 | */ 20 | template 21 | using are_void = details::and1_; 22 | 23 | /** \brief Helper variable template 24 | */ 25 | template 26 | constexpr bool are_void_v = are_void::value; 27 | 28 | /** \brief are_null_pointer 29 | * 30 | * \code{.cpp} 31 | * template 32 | * struct are_null_pointer; 33 | * \endcode 34 | * 35 | * If all the \c T types are \c std::nullptr_t, provides the member constant 36 | * \c value equal to true. Otherwise \c value is false. 37 | */ 38 | template 39 | using are_null_pointer = details::and1_; 40 | 41 | /** \brief Helper variable template 42 | */ 43 | template 44 | constexpr bool are_null_pointer_v = are_null_pointer::value; 45 | 46 | /** \brief are_integral 47 | * 48 | * \code{.cpp} 49 | * template 50 | * struct are_integral; 51 | * \endcode 52 | * 53 | * If all the \c T types are integral types, provides the member constant 54 | * \c value equal to true. Otherwise \c value is false. 55 | */ 56 | template 57 | using are_integral = details::and1_; 58 | 59 | /** \brief Helper variable template 60 | */ 61 | template 62 | constexpr bool are_integral_v = are_integral::value; 63 | 64 | /** \brief are_floating_point 65 | * 66 | * \code{.cpp} 67 | * template 68 | * struct are_floating_point; 69 | * \endcode 70 | * 71 | * If all the \c T types are floating-point types, provides the member constant 72 | * \c value equal to true. Otherwise \c value is false. 73 | */ 74 | template 75 | using are_floating_point = details::and1_; 76 | 77 | /** \brief Helper variable template 78 | */ 79 | template 80 | constexpr bool are_floating_point_v = are_floating_point::value; 81 | 82 | /** \brief are_array 83 | * 84 | * \code{.cpp} 85 | * template 86 | * struct are_array; 87 | * \endcode 88 | * 89 | * If all the \c T types are array types, provides the member constant \c value 90 | * equal to true. Otherwise \c value is false. 91 | */ 92 | template 93 | using are_array = details::and1_; 94 | 95 | /** \brief Helper variable template 96 | */ 97 | template 98 | constexpr bool are_array_v = are_array::value; 99 | 100 | /** \brief are_enum 101 | * 102 | * \code{.cpp} 103 | * template 104 | * struct are_enum; 105 | * \endcode 106 | * 107 | * If all the \c T types are enumeration types, provides the member constant 108 | * \c value equal to true. Otherwise \c value is false. 109 | */ 110 | template 111 | using are_enum = details::and1_; 112 | 113 | /** \brief Helper variable template 114 | */ 115 | template 116 | constexpr bool are_enum_v = are_enum::value; 117 | 118 | /** \brief are_union 119 | * 120 | * \code{.cpp} 121 | * template 122 | * struct are_union; 123 | * \endcode 124 | * 125 | * If all the \c T types are union types, provides the member constant \c value 126 | * equal to true. Otherwise \c value is false. 127 | */ 128 | template 129 | using are_union = details::and1_; 130 | 131 | /** \brief Helper variable template 132 | */ 133 | template 134 | constexpr bool are_union_v = are_union::value; 135 | 136 | /** \brief are_class 137 | * 138 | * \code{.cpp} 139 | * template 140 | * struct are_class; 141 | * \endcode 142 | * 143 | * If all the \c T types are class or struct types, provides the member constant 144 | * \c value equal to true. Otherwise \c value is false. 145 | */ 146 | template 147 | using are_class = details::and1_; 148 | 149 | /** \brief Helper variable template 150 | */ 151 | template 152 | constexpr bool are_class_v = are_class::value; 153 | 154 | /** \brief are_function 155 | * 156 | * \code{.cpp} 157 | * template 158 | * struct are_function; 159 | * \endcode 160 | * 161 | * If all the \c T types are function types, provides the member constant 162 | * \c value equal to true. Otherwise \c value is false. 163 | */ 164 | template 165 | using are_function = details::and1_; 166 | 167 | /** \brief Helper variable template 168 | */ 169 | template 170 | constexpr bool are_function_v = are_function::value; 171 | 172 | /** \brief are_pointer 173 | * 174 | * \code{.cpp} 175 | * template 176 | * struct are_pointer; 177 | * \endcode 178 | * 179 | * If all the \c T types are pointers to objects or pointers to functions (but 180 | * not pointers to member/member functions), provides the member constant 181 | * \c value equal to true. Otherwise \c value is false. 182 | */ 183 | template 184 | using are_pointer = details::and1_; 185 | 186 | /** \brief Helper variable template 187 | */ 188 | template 189 | constexpr bool are_pointer_v = are_pointer::value; 190 | 191 | /** \brief are_lvalue_reference 192 | * 193 | * \code{.cpp} 194 | * template 195 | * struct are_lvalue_reference; 196 | * \endcode 197 | * 198 | * If all the \c T types are lvalue reference types, provides the member 199 | * constant \c value equal to true. Otherwise \c value is false. 200 | */ 201 | template 202 | using are_lvalue_reference = details::and1_; 203 | 204 | /** \brief Helper variable template 205 | */ 206 | template 207 | constexpr bool are_lvalue_reference_v = are_lvalue_reference::value; 208 | 209 | /** \brief are_rvalue_reference 210 | * 211 | * \code{.cpp} 212 | * template 213 | * struct are_rvalue_reference; 214 | * \endcode 215 | * 216 | * If all the \c T types are rvalue reference types, provides the member 217 | * constant \c value equal to true. Otherwise \c value is false. 218 | */ 219 | template 220 | using are_rvalue_reference = details::and1_; 221 | 222 | /** \brief Helper variable template 223 | */ 224 | template 225 | constexpr bool are_rvalue_reference_v = are_rvalue_reference::value; 226 | 227 | /** \brief are_member_object_pointer 228 | * 229 | * \code{.cpp} 230 | * template 231 | * struct are_member_object_pointer; 232 | * \endcode 233 | * 234 | * If all the \c T types are non-static member objects, provides the member 235 | * constant \c value equal to true. Otherwise \c value is false. 236 | */ 237 | template 238 | using are_member_object_pointer = 239 | details::and1_; 240 | 241 | /** \brief Helper variable template 242 | */ 243 | template 244 | constexpr bool are_member_object_pointer_v = 245 | are_member_object_pointer::value; 246 | 247 | /** \brief are_member_function_pointer 248 | * 249 | * \code{.cpp} 250 | * template 251 | * struct are_member_function_pointer; 252 | * \endcode 253 | * 254 | * If all the \c T types are non-static member function pointers, provides the 255 | * member constant \c value equal to true. Otherwise \c value is false. 256 | */ 257 | template 258 | using are_member_function_pointer = 259 | details::and1_; 260 | 261 | /** \brief Helper variable template 262 | */ 263 | template 264 | constexpr bool are_member_function_pointer_v = 265 | are_member_function_pointer::value; 266 | 267 | } 268 | -------------------------------------------------------------------------------- /src/type_traits/traits/supported_operations.hpp: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | 4 | #include "../details/details.hpp" 5 | #include 6 | 7 | 8 | namespace stdext { 9 | 10 | /** \brief are_constructible 11 | * 12 | * \code{.cpp} 13 | * template typename T, class... A> 14 | * struct are_constructible; 15 | * \endcode 16 | * 17 | * If all the \c T types are constructible from the \c A types, provides the 18 | * member constant \c value equal to true. Otherwise \c value is false. 19 | */ 20 | template 21 | using are_constructible = details::var_and2_; 22 | 23 | /** \brief Helper variable template 24 | */ 25 | template 26 | constexpr bool are_constructible_v = are_constructible::value; 27 | 28 | /** \brief are_trivially_constructible 29 | * 30 | * \code{.cpp} 31 | * template typename T, class... A> 32 | * struct are_trivially_constructible; 33 | * \endcode 34 | * 35 | * If all the \c T types are trivially constructible from the \c A types, 36 | * provides the member constant \c value equal to true. Otherwise \c value is 37 | * false. 38 | */ 39 | template 40 | using are_trivially_constructible = 41 | details::var_and2_; 42 | 43 | /** \brief Helper variable template 44 | */ 45 | template 46 | constexpr bool are_trivially_constructible_v = 47 | are_trivially_constructible::value; 48 | 49 | /** \brief are_nothrow_constructible 50 | * 51 | * \code{.cpp} 52 | * template typename T, class... A> 53 | * struct are_nothrow_constructible; 54 | * \endcode 55 | * 56 | * If all the \c T types are no throw constructible from the \c A types, 57 | * provides the member constant \c value equal to true. Otherwise \c value is 58 | * false. 59 | */ 60 | template 61 | using are_nothrow_constructible = 62 | details::var_and2_; 63 | 64 | /** \brief Helper variable template 65 | */ 66 | template 67 | constexpr bool are_nothrow_constructible_v = 68 | are_nothrow_constructible::value; 69 | 70 | /** \brief are_default_constructible 71 | * 72 | * \code{.cpp} 73 | * template 74 | * struct are_default_constructible; 75 | * \endcode 76 | * 77 | * If all the \c T types are default constructible, provides the member constant 78 | * \c value equal to true. Otherwise \c value is false. 79 | */ 80 | template 81 | using are_default_constructible = 82 | details::and1_; 83 | 84 | /** \brief Helper variable template 85 | */ 86 | template 87 | constexpr bool are_default_constructible_v = 88 | are_default_constructible::value; 89 | 90 | /** \brief are_trivially_default_constructible 91 | * 92 | * \code{.cpp} 93 | * template 94 | * struct are_trivially_default_constructible; 95 | * \endcode 96 | * 97 | * If all the \c T types are trivially default constructible, provides the 98 | * member constant \c value equal to true. Otherwise \c value is false. 99 | */ 100 | template 101 | using are_trivially_default_constructible = 102 | details::and1_; 103 | 104 | /** \brief Helper variable template 105 | */ 106 | template 107 | constexpr bool are_trivially_default_constructible_v = 108 | are_trivially_default_constructible::value; 109 | 110 | /** \brief are_nothrow_default_constructible 111 | * 112 | * \code{.cpp} 113 | * template 114 | * struct are_nothrow_default_constructible; 115 | * \endcode 116 | * 117 | * If all the \c T types are no throw default constructible, provides the member 118 | * constant \c value equal to true. Otherwise \c value is false. 119 | */ 120 | template 121 | using are_nothrow_default_constructible = 122 | details::and1_; 123 | 124 | /** \brief Helper variable template 125 | */ 126 | template 127 | constexpr bool are_nothrow_default_constructible_v = 128 | are_nothrow_default_constructible::value; 129 | 130 | /** \brief are_copy_constructible 131 | * 132 | * \code{.cpp} 133 | * template 134 | * struct are_copy_constructible; 135 | * \endcode 136 | * 137 | * If all the \c T types are copy constructible, provides the member constant 138 | * \c value equal to true. Otherwise \c value is false. 139 | */ 140 | template 141 | using are_copy_constructible = 142 | details::and1_; 143 | 144 | /** \brief Helper variable template 145 | */ 146 | template 147 | constexpr bool are_copy_constructible_v = 148 | are_copy_constructible::value; 149 | 150 | /** \brief are_trivially_copy_constructible 151 | * 152 | * \code{.cpp} 153 | * template 154 | * struct are_trivially_copy_constructible; 155 | * \endcode 156 | * 157 | * If all the \c T types are trivially copy constructible, provides the member 158 | * constant \c value equal to true. Otherwise \c value is false. 159 | */ 160 | template 161 | using are_trivially_copy_constructible = 162 | details::and1_; 163 | 164 | /** \brief Helper variable template 165 | */ 166 | template 167 | constexpr bool are_trivially_copy_constructible_v = 168 | are_trivially_copy_constructible::value; 169 | 170 | /** \brief are_nothrow_copy_constructible 171 | * 172 | * \code{.cpp} 173 | * template 174 | * struct are_nothrow_copy_constructible; 175 | * \endcode 176 | * 177 | * If all the \c T types are no throw copy constructible, provides the member 178 | * constant \c value equal to true. Otherwise \c value is false. 179 | */ 180 | template 181 | using are_nothrow_copy_constructible = 182 | details::and1_; 183 | 184 | /** \brief Helper variable template 185 | */ 186 | template 187 | constexpr bool are_nothrow_copy_constructible_v = 188 | are_nothrow_copy_constructible::value; 189 | 190 | /** \brief are_move_constructible 191 | * 192 | * \code{.cpp} 193 | * template 194 | * struct are_move_constructible; 195 | * \endcode 196 | * 197 | * If all the \c T types are move constructible, provides the member constant 198 | * \c value equal to true. Otherwise \c value is false. 199 | */ 200 | template 201 | using are_move_constructible = 202 | details::and1_; 203 | 204 | /** \brief Helper variable template 205 | */ 206 | template 207 | constexpr bool are_move_constructible_v = 208 | are_move_constructible::value; 209 | 210 | /** \brief are_trivially_move_constructible 211 | * 212 | * \code{.cpp} 213 | * template 214 | * struct are_trivially_move_constructible; 215 | * \endcode 216 | * 217 | * If all the \c T types are trivially move constructible, provides the member 218 | * constant \c value equal to true. Otherwise \c value is false. 219 | */ 220 | template 221 | using are_trivially_move_constructible = 222 | details::and1_; 223 | 224 | /** \brief Helper variable template 225 | */ 226 | template 227 | constexpr bool are_trivially_move_constructible_v = 228 | are_trivially_move_constructible::value; 229 | 230 | /** \brief are_nothrow_move_constructible 231 | * 232 | * \code{.cpp} 233 | * template 234 | * struct are_nothrow_move_constructible; 235 | * \endcode 236 | * 237 | * If all the \c T types are no throw move constructible, provides the member 238 | * constant \c value equal to true. Otherwise \c value is false. 239 | */ 240 | template 241 | using are_nothrow_move_constructible = 242 | details::and1_; 243 | 244 | /** \brief Helper variable template 245 | */ 246 | template 247 | constexpr bool are_nothrow_move_constructible_v = 248 | are_nothrow_move_constructible::value; 249 | 250 | } 251 | -------------------------------------------------------------------------------- /docs/doxy.in: -------------------------------------------------------------------------------- 1 | # Doxyfile 1.8.9.1 2 | 3 | # This file describes the settings to be used by the documentation system 4 | # doxygen (www.doxygen.org) for a project. 5 | # 6 | # All text after a double hash (##) is considered a comment and is placed in 7 | # front of the TAG it is preceding. 8 | # 9 | # All text after a single hash (#) is considered a comment and will be ignored. 10 | # The format is: 11 | # TAG = value [value, ...] 12 | # For lists, items can also be appended using: 13 | # TAG += value [value, ...] 14 | # Values that contain spaces should be placed between quotes (\" \"). 15 | 16 | #--------------------------------------------------------------------------- 17 | # Project related configuration options 18 | #--------------------------------------------------------------------------- 19 | 20 | # This tag specifies the encoding used for all characters in the config file 21 | # that follow. The default is UTF-8 which is also the encoding used for all text 22 | # before the first occurrence of this tag. Doxygen uses libiconv (or the iconv 23 | # built into libc) for the transcoding. See http://www.gnu.org/software/libiconv 24 | # for the list of possible encodings. 25 | # The default value is: UTF-8. 26 | 27 | DOXYFILE_ENCODING = UTF-8 28 | 29 | # The PROJECT_NAME tag is a single word (or a sequence of words surrounded by 30 | # double-quotes, unless you are using Doxywizard) that should identify the 31 | # project for which the documentation is generated. This name is used in the 32 | # title of most generated pages and in a few other places. 33 | # The default value is: My Project. 34 | 35 | PROJECT_NAME = @PROJECT_NAME@ 36 | 37 | # The PROJECT_NUMBER tag can be used to enter a project or revision number. This 38 | # could be handy for archiving the generated documentation or if some version 39 | # control system is used. 40 | 41 | PROJECT_NUMBER = @PROJECT_VERSION@ 42 | 43 | # Using the PROJECT_BRIEF tag one can provide an optional one line description 44 | # for a project that appears at the top of each page and should give viewer a 45 | # quick idea about the purpose of the project. Keep the description short. 46 | 47 | PROJECT_BRIEF = 48 | 49 | # With the PROJECT_LOGO tag one can specify a logo or an icon that is included 50 | # in the documentation. The maximum height of the logo should not exceed 55 51 | # pixels and the maximum width should not exceed 200 pixels. Doxygen will copy 52 | # the logo to the output directory. 53 | 54 | PROJECT_LOGO = 55 | 56 | # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) path 57 | # into which the generated documentation will be written. If a relative path is 58 | # entered, it will be relative to the location where doxygen was started. If 59 | # left blank the current directory will be used. 60 | 61 | OUTPUT_DIRECTORY = @DOXY_OUTPUT_DIRECTORY@ 62 | 63 | # If the CREATE_SUBDIRS tag is set to YES then doxygen will create 4096 sub- 64 | # directories (in 2 levels) under the output directory of each output format and 65 | # will distribute the generated files over these directories. Enabling this 66 | # option can be useful when feeding doxygen a huge amount of source files, where 67 | # putting all generated files in the same directory would otherwise causes 68 | # performance problems for the file system. 69 | # The default value is: NO. 70 | 71 | CREATE_SUBDIRS = YES 72 | 73 | # If the ALLOW_UNICODE_NAMES tag is set to YES, doxygen will allow non-ASCII 74 | # characters to appear in the names of generated files. If set to NO, non-ASCII 75 | # characters will be escaped, for example _xE3_x81_x84 will be used for Unicode 76 | # U+3044. 77 | # The default value is: NO. 78 | 79 | ALLOW_UNICODE_NAMES = NO 80 | 81 | # The OUTPUT_LANGUAGE tag is used to specify the language in which all 82 | # documentation generated by doxygen is written. Doxygen will use this 83 | # information to generate all constant output in the proper language. 84 | # Possible values are: Afrikaans, Arabic, Armenian, Brazilian, Catalan, Chinese, 85 | # Chinese-Traditional, Croatian, Czech, Danish, Dutch, English (United States), 86 | # Esperanto, Farsi (Persian), Finnish, French, German, Greek, Hungarian, 87 | # Indonesian, Italian, Japanese, Japanese-en (Japanese with English messages), 88 | # Korean, Korean-en (Korean with English messages), Latvian, Lithuanian, 89 | # Macedonian, Norwegian, Persian (Farsi), Polish, Portuguese, Romanian, Russian, 90 | # Serbian, Serbian-Cyrillic, Slovak, Slovene, Spanish, Swedish, Turkish, 91 | # Ukrainian and Vietnamese. 92 | # The default value is: English. 93 | 94 | OUTPUT_LANGUAGE = English 95 | 96 | # If the BRIEF_MEMBER_DESC tag is set to YES, doxygen will include brief member 97 | # descriptions after the members that are listed in the file and class 98 | # documentation (similar to Javadoc). Set to NO to disable this. 99 | # The default value is: YES. 100 | 101 | BRIEF_MEMBER_DESC = YES 102 | 103 | # If the REPEAT_BRIEF tag is set to YES, doxygen will prepend the brief 104 | # description of a member or function before the detailed description 105 | # 106 | # Note: If both HIDE_UNDOC_MEMBERS and BRIEF_MEMBER_DESC are set to NO, the 107 | # brief descriptions will be completely suppressed. 108 | # The default value is: YES. 109 | 110 | REPEAT_BRIEF = YES 111 | 112 | # This tag implements a quasi-intelligent brief description abbreviator that is 113 | # used to form the text in various listings. Each string in this list, if found 114 | # as the leading text of the brief description, will be stripped from the text 115 | # and the result, after processing the whole list, is used as the annotated 116 | # text. Otherwise, the brief description is used as-is. If left blank, the 117 | # following values are used ($name is automatically replaced with the name of 118 | # the entity):The $name class, The $name widget, The $name file, is, provides, 119 | # specifies, contains, represents, a, an and the. 120 | 121 | ABBREVIATE_BRIEF = 122 | 123 | # If the ALWAYS_DETAILED_SEC and REPEAT_BRIEF tags are both set to YES then 124 | # doxygen will generate a detailed section even if there is only a brief 125 | # description. 126 | # The default value is: NO. 127 | 128 | ALWAYS_DETAILED_SEC = NO 129 | 130 | # If the INLINE_INHERITED_MEMB tag is set to YES, doxygen will show all 131 | # inherited members of a class in the documentation of that class as if those 132 | # members were ordinary class members. Constructors, destructors and assignment 133 | # operators of the base classes will not be shown. 134 | # The default value is: NO. 135 | 136 | INLINE_INHERITED_MEMB = NO 137 | 138 | # If the FULL_PATH_NAMES tag is set to YES, doxygen will prepend the full path 139 | # before files name in the file list and in the header files. If set to NO the 140 | # shortest path that makes the file name unique will be used 141 | # The default value is: YES. 142 | 143 | FULL_PATH_NAMES = YES 144 | 145 | # The STRIP_FROM_PATH tag can be used to strip a user-defined part of the path. 146 | # Stripping is only done if one of the specified strings matches the left-hand 147 | # part of the path. The tag can be used to show relative paths in the file list. 148 | # If left blank the directory from which doxygen is run is used as the path to 149 | # strip. 150 | # 151 | # Note that you can specify absolute paths here, but also relative paths, which 152 | # will be relative from the directory where doxygen is started. 153 | # This tag requires that the tag FULL_PATH_NAMES is set to YES. 154 | 155 | STRIP_FROM_PATH = 156 | 157 | # The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of the 158 | # path mentioned in the documentation of a class, which tells the reader which 159 | # header file to include in order to use a class. If left blank only the name of 160 | # the header file containing the class definition is used. Otherwise one should 161 | # specify the list of include paths that are normally passed to the compiler 162 | # using the -I flag. 163 | 164 | STRIP_FROM_INC_PATH = 165 | 166 | # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter (but 167 | # less readable) file names. This can be useful is your file systems doesn't 168 | # support long names like on DOS, Mac, or CD-ROM. 169 | # The default value is: NO. 170 | 171 | SHORT_NAMES = NO 172 | 173 | # If the JAVADOC_AUTOBRIEF tag is set to YES then doxygen will interpret the 174 | # first line (until the first dot) of a Javadoc-style comment as the brief 175 | # description. If set to NO, the Javadoc-style will behave just like regular Qt- 176 | # style comments (thus requiring an explicit @brief command for a brief 177 | # description.) 178 | # The default value is: NO. 179 | 180 | JAVADOC_AUTOBRIEF = NO 181 | 182 | # If the QT_AUTOBRIEF tag is set to YES then doxygen will interpret the first 183 | # line (until the first dot) of a Qt-style comment as the brief description. If 184 | # set to NO, the Qt-style will behave just like regular Qt-style comments (thus 185 | # requiring an explicit \brief command for a brief description.) 186 | # The default value is: NO. 187 | 188 | QT_AUTOBRIEF = NO 189 | 190 | # The MULTILINE_CPP_IS_BRIEF tag can be set to YES to make doxygen treat a 191 | # multi-line C++ special comment block (i.e. a block of //! or /// comments) as 192 | # a brief description. This used to be the default behavior. The new default is 193 | # to treat a multi-line C++ comment block as a detailed description. Set this 194 | # tag to YES if you prefer the old behavior instead. 195 | # 196 | # Note that setting this tag to YES also means that rational rose comments are 197 | # not recognized any more. 198 | # The default value is: NO. 199 | 200 | MULTILINE_CPP_IS_BRIEF = NO 201 | 202 | # If the INHERIT_DOCS tag is set to YES then an undocumented member inherits the 203 | # documentation from any documented member that it re-implements. 204 | # The default value is: YES. 205 | 206 | INHERIT_DOCS = YES 207 | 208 | # If the SEPARATE_MEMBER_PAGES tag is set to YES then doxygen will produce a new 209 | # page for each member. If set to NO, the documentation of a member will be part 210 | # of the file/class/namespace that contains it. 211 | # The default value is: NO. 212 | 213 | SEPARATE_MEMBER_PAGES = NO 214 | 215 | # The TAB_SIZE tag can be used to set the number of spaces in a tab. Doxygen 216 | # uses this value to replace tabs by spaces in code fragments. 217 | # Minimum value: 1, maximum value: 16, default value: 4. 218 | 219 | TAB_SIZE = 4 220 | 221 | # This tag can be used to specify a number of aliases that act as commands in 222 | # the documentation. An alias has the form: 223 | # name=value 224 | # For example adding 225 | # "sideeffect=@par Side Effects:\n" 226 | # will allow you to put the command \sideeffect (or @sideeffect) in the 227 | # documentation, which will result in a user-defined paragraph with heading 228 | # "Side Effects:". You can put \n's in the value part of an alias to insert 229 | # newlines. 230 | 231 | ALIASES = 232 | 233 | # This tag can be used to specify a number of word-keyword mappings (TCL only). 234 | # A mapping has the form "name=value". For example adding "class=itcl::class" 235 | # will allow you to use the command class in the itcl::class meaning. 236 | 237 | TCL_SUBST = 238 | 239 | # Set the OPTIMIZE_OUTPUT_FOR_C tag to YES if your project consists of C sources 240 | # only. Doxygen will then generate output that is more tailored for C. For 241 | # instance, some of the names that are used will be different. The list of all 242 | # members will be omitted, etc. 243 | # The default value is: NO. 244 | 245 | OPTIMIZE_OUTPUT_FOR_C = NO 246 | 247 | # Set the OPTIMIZE_OUTPUT_JAVA tag to YES if your project consists of Java or 248 | # Python sources only. Doxygen will then generate output that is more tailored 249 | # for that language. For instance, namespaces will be presented as packages, 250 | # qualified scopes will look different, etc. 251 | # The default value is: NO. 252 | 253 | OPTIMIZE_OUTPUT_JAVA = NO 254 | 255 | # Set the OPTIMIZE_FOR_FORTRAN tag to YES if your project consists of Fortran 256 | # sources. Doxygen will then generate output that is tailored for Fortran. 257 | # The default value is: NO. 258 | 259 | OPTIMIZE_FOR_FORTRAN = NO 260 | 261 | # Set the OPTIMIZE_OUTPUT_VHDL tag to YES if your project consists of VHDL 262 | # sources. Doxygen will then generate output that is tailored for VHDL. 263 | # The default value is: NO. 264 | 265 | OPTIMIZE_OUTPUT_VHDL = NO 266 | 267 | # Doxygen selects the parser to use depending on the extension of the files it 268 | # parses. With this tag you can assign which parser to use for a given 269 | # extension. Doxygen has a built-in mapping, but you can override or extend it 270 | # using this tag. The format is ext=language, where ext is a file extension, and 271 | # language is one of the parsers supported by doxygen: IDL, Java, Javascript, 272 | # C#, C, C++, D, PHP, Objective-C, Python, Fortran (fixed format Fortran: 273 | # FortranFixed, free formatted Fortran: FortranFree, unknown formatted Fortran: 274 | # Fortran. In the later case the parser tries to guess whether the code is fixed 275 | # or free formatted code, this is the default for Fortran type files), VHDL. For 276 | # instance to make doxygen treat .inc files as Fortran files (default is PHP), 277 | # and .f files as C (default is Fortran), use: inc=Fortran f=C. 278 | # 279 | # Note: For files without extension you can use no_extension as a placeholder. 280 | # 281 | # Note that for custom extensions you also need to set FILE_PATTERNS otherwise 282 | # the files are not read by doxygen. 283 | 284 | EXTENSION_MAPPING = 285 | 286 | # If the MARKDOWN_SUPPORT tag is enabled then doxygen pre-processes all comments 287 | # according to the Markdown format, which allows for more readable 288 | # documentation. See http://daringfireball.net/projects/markdown/ for details. 289 | # The output of markdown processing is further processed by doxygen, so you can 290 | # mix doxygen, HTML, and XML commands with Markdown formatting. Disable only in 291 | # case of backward compatibilities issues. 292 | # The default value is: YES. 293 | 294 | MARKDOWN_SUPPORT = YES 295 | 296 | # When enabled doxygen tries to link words that correspond to documented 297 | # classes, or namespaces to their corresponding documentation. Such a link can 298 | # be prevented in individual cases by putting a % sign in front of the word or 299 | # globally by setting AUTOLINK_SUPPORT to NO. 300 | # The default value is: YES. 301 | 302 | AUTOLINK_SUPPORT = YES 303 | 304 | # If you use STL classes (i.e. std::string, std::vector, etc.) but do not want 305 | # to include (a tag file for) the STL sources as input, then you should set this 306 | # tag to YES in order to let doxygen match functions declarations and 307 | # definitions whose arguments contain STL classes (e.g. func(std::string); 308 | # versus func(std::string) {}). This also make the inheritance and collaboration 309 | # diagrams that involve STL classes more complete and accurate. 310 | # The default value is: NO. 311 | 312 | BUILTIN_STL_SUPPORT = NO 313 | 314 | # If you use Microsoft's C++/CLI language, you should set this option to YES to 315 | # enable parsing support. 316 | # The default value is: NO. 317 | 318 | CPP_CLI_SUPPORT = NO 319 | 320 | # Set the SIP_SUPPORT tag to YES if your project consists of sip (see: 321 | # http://www.riverbankcomputing.co.uk/software/sip/intro) sources only. Doxygen 322 | # will parse them like normal C++ but will assume all classes use public instead 323 | # of private inheritance when no explicit protection keyword is present. 324 | # The default value is: NO. 325 | 326 | SIP_SUPPORT = NO 327 | 328 | # For Microsoft's IDL there are propget and propput attributes to indicate 329 | # getter and setter methods for a property. Setting this option to YES will make 330 | # doxygen to replace the get and set methods by a property in the documentation. 331 | # This will only work if the methods are indeed getting or setting a simple 332 | # type. If this is not the case, or you want to show the methods anyway, you 333 | # should set this option to NO. 334 | # The default value is: YES. 335 | 336 | IDL_PROPERTY_SUPPORT = YES 337 | 338 | # If member grouping is used in the documentation and the DISTRIBUTE_GROUP_DOC 339 | # tag is set to YES then doxygen will reuse the documentation of the first 340 | # member in the group (if any) for the other members of the group. By default 341 | # all members of a group must be documented explicitly. 342 | # The default value is: NO. 343 | 344 | DISTRIBUTE_GROUP_DOC = NO 345 | 346 | # Set the SUBGROUPING tag to YES to allow class member groups of the same type 347 | # (for instance a group of public functions) to be put as a subgroup of that 348 | # type (e.g. under the Public Functions section). Set it to NO to prevent 349 | # subgrouping. Alternatively, this can be done per class using the 350 | # \nosubgrouping command. 351 | # The default value is: YES. 352 | 353 | SUBGROUPING = YES 354 | 355 | # When the INLINE_GROUPED_CLASSES tag is set to YES, classes, structs and unions 356 | # are shown inside the group in which they are included (e.g. using \ingroup) 357 | # instead of on a separate page (for HTML and Man pages) or section (for LaTeX 358 | # and RTF). 359 | # 360 | # Note that this feature does not work in combination with 361 | # SEPARATE_MEMBER_PAGES. 362 | # The default value is: NO. 363 | 364 | INLINE_GROUPED_CLASSES = NO 365 | 366 | # When the INLINE_SIMPLE_STRUCTS tag is set to YES, structs, classes, and unions 367 | # with only public data fields or simple typedef fields will be shown inline in 368 | # the documentation of the scope in which they are defined (i.e. file, 369 | # namespace, or group documentation), provided this scope is documented. If set 370 | # to NO, structs, classes, and unions are shown on a separate page (for HTML and 371 | # Man pages) or section (for LaTeX and RTF). 372 | # The default value is: NO. 373 | 374 | INLINE_SIMPLE_STRUCTS = NO 375 | 376 | # When TYPEDEF_HIDES_STRUCT tag is enabled, a typedef of a struct, union, or 377 | # enum is documented as struct, union, or enum with the name of the typedef. So 378 | # typedef struct TypeS {} TypeT, will appear in the documentation as a struct 379 | # with name TypeT. When disabled the typedef will appear as a member of a file, 380 | # namespace, or class. And the struct will be named TypeS. This can typically be 381 | # useful for C code in case the coding convention dictates that all compound 382 | # types are typedef'ed and only the typedef is referenced, never the tag name. 383 | # The default value is: NO. 384 | 385 | TYPEDEF_HIDES_STRUCT = NO 386 | 387 | # The size of the symbol lookup cache can be set using LOOKUP_CACHE_SIZE. This 388 | # cache is used to resolve symbols given their name and scope. Since this can be 389 | # an expensive process and often the same symbol appears multiple times in the 390 | # code, doxygen keeps a cache of pre-resolved symbols. If the cache is too small 391 | # doxygen will become slower. If the cache is too large, memory is wasted. The 392 | # cache size is given by this formula: 2^(16+LOOKUP_CACHE_SIZE). The valid range 393 | # is 0..9, the default is 0, corresponding to a cache size of 2^16=65536 394 | # symbols. At the end of a run doxygen will report the cache usage and suggest 395 | # the optimal cache size from a speed point of view. 396 | # Minimum value: 0, maximum value: 9, default value: 0. 397 | 398 | LOOKUP_CACHE_SIZE = 0 399 | 400 | #--------------------------------------------------------------------------- 401 | # Build related configuration options 402 | #--------------------------------------------------------------------------- 403 | 404 | # If the EXTRACT_ALL tag is set to YES, doxygen will assume all entities in 405 | # documentation are documented, even if no documentation was available. Private 406 | # class members and static file members will be hidden unless the 407 | # EXTRACT_PRIVATE respectively EXTRACT_STATIC tags are set to YES. 408 | # Note: This will also disable the warnings about undocumented members that are 409 | # normally produced when WARNINGS is set to YES. 410 | # The default value is: NO. 411 | 412 | EXTRACT_ALL = YES 413 | 414 | # If the EXTRACT_PRIVATE tag is set to YES, all private members of a class will 415 | # be included in the documentation. 416 | # The default value is: NO. 417 | 418 | EXTRACT_PRIVATE = YES 419 | 420 | # If the EXTRACT_PACKAGE tag is set to YES, all members with package or internal 421 | # scope will be included in the documentation. 422 | # The default value is: NO. 423 | 424 | EXTRACT_PACKAGE = YES 425 | 426 | # If the EXTRACT_STATIC tag is set to YES, all static members of a file will be 427 | # included in the documentation. 428 | # The default value is: NO. 429 | 430 | EXTRACT_STATIC = YES 431 | 432 | # If the EXTRACT_LOCAL_CLASSES tag is set to YES, classes (and structs) defined 433 | # locally in source files will be included in the documentation. If set to NO, 434 | # only classes defined in header files are included. Does not have any effect 435 | # for Java sources. 436 | # The default value is: YES. 437 | 438 | EXTRACT_LOCAL_CLASSES = YES 439 | 440 | # This flag is only useful for Objective-C code. If set to YES, local methods, 441 | # which are defined in the implementation section but not in the interface are 442 | # included in the documentation. If set to NO, only methods in the interface are 443 | # included. 444 | # The default value is: NO. 445 | 446 | EXTRACT_LOCAL_METHODS = NO 447 | 448 | # If this flag is set to YES, the members of anonymous namespaces will be 449 | # extracted and appear in the documentation as a namespace called 450 | # 'anonymous_namespace{file}', where file will be replaced with the base name of 451 | # the file that contains the anonymous namespace. By default anonymous namespace 452 | # are hidden. 453 | # The default value is: NO. 454 | 455 | EXTRACT_ANON_NSPACES = YES 456 | 457 | # If the HIDE_UNDOC_MEMBERS tag is set to YES, doxygen will hide all 458 | # undocumented members inside documented classes or files. If set to NO these 459 | # members will be included in the various overviews, but no documentation 460 | # section is generated. This option has no effect if EXTRACT_ALL is enabled. 461 | # The default value is: NO. 462 | 463 | HIDE_UNDOC_MEMBERS = NO 464 | 465 | # If the HIDE_UNDOC_CLASSES tag is set to YES, doxygen will hide all 466 | # undocumented classes that are normally visible in the class hierarchy. If set 467 | # to NO, these classes will be included in the various overviews. This option 468 | # has no effect if EXTRACT_ALL is enabled. 469 | # The default value is: NO. 470 | 471 | HIDE_UNDOC_CLASSES = NO 472 | 473 | # If the HIDE_FRIEND_COMPOUNDS tag is set to YES, doxygen will hide all friend 474 | # (class|struct|union) declarations. If set to NO, these declarations will be 475 | # included in the documentation. 476 | # The default value is: NO. 477 | 478 | HIDE_FRIEND_COMPOUNDS = NO 479 | 480 | # If the HIDE_IN_BODY_DOCS tag is set to YES, doxygen will hide any 481 | # documentation blocks found inside the body of a function. If set to NO, these 482 | # blocks will be appended to the function's detailed documentation block. 483 | # The default value is: NO. 484 | 485 | HIDE_IN_BODY_DOCS = NO 486 | 487 | # The INTERNAL_DOCS tag determines if documentation that is typed after a 488 | # \internal command is included. If the tag is set to NO then the documentation 489 | # will be excluded. Set it to YES to include the internal documentation. 490 | # The default value is: NO. 491 | 492 | INTERNAL_DOCS = YES 493 | 494 | # If the CASE_SENSE_NAMES tag is set to NO then doxygen will only generate file 495 | # names in lower-case letters. If set to YES, upper-case letters are also 496 | # allowed. This is useful if you have classes or files whose names only differ 497 | # in case and if your file system supports case sensitive file names. Windows 498 | # and Mac users are advised to set this option to NO. 499 | # The default value is: system dependent. 500 | 501 | CASE_SENSE_NAMES = YES 502 | 503 | # If the HIDE_SCOPE_NAMES tag is set to NO then doxygen will show members with 504 | # their full class and namespace scopes in the documentation. If set to YES, the 505 | # scope will be hidden. 506 | # The default value is: NO. 507 | 508 | HIDE_SCOPE_NAMES = NO 509 | 510 | # If the HIDE_COMPOUND_REFERENCE tag is set to NO (default) then doxygen will 511 | # append additional text to a page's title, such as Class Reference. If set to 512 | # YES the compound reference will be hidden. 513 | # The default value is: NO. 514 | 515 | HIDE_COMPOUND_REFERENCE= NO 516 | 517 | # If the SHOW_INCLUDE_FILES tag is set to YES then doxygen will put a list of 518 | # the files that are included by a file in the documentation of that file. 519 | # The default value is: YES. 520 | 521 | SHOW_INCLUDE_FILES = YES 522 | 523 | # If the SHOW_GROUPED_MEMB_INC tag is set to YES then Doxygen will add for each 524 | # grouped member an include statement to the documentation, telling the reader 525 | # which file to include in order to use the member. 526 | # The default value is: NO. 527 | 528 | SHOW_GROUPED_MEMB_INC = NO 529 | 530 | # If the FORCE_LOCAL_INCLUDES tag is set to YES then doxygen will list include 531 | # files with double quotes in the documentation rather than with sharp brackets. 532 | # The default value is: NO. 533 | 534 | FORCE_LOCAL_INCLUDES = NO 535 | 536 | # If the INLINE_INFO tag is set to YES then a tag [inline] is inserted in the 537 | # documentation for inline members. 538 | # The default value is: YES. 539 | 540 | INLINE_INFO = YES 541 | 542 | # If the SORT_MEMBER_DOCS tag is set to YES then doxygen will sort the 543 | # (detailed) documentation of file and class members alphabetically by member 544 | # name. If set to NO, the members will appear in declaration order. 545 | # The default value is: YES. 546 | 547 | SORT_MEMBER_DOCS = YES 548 | 549 | # If the SORT_BRIEF_DOCS tag is set to YES then doxygen will sort the brief 550 | # descriptions of file, namespace and class members alphabetically by member 551 | # name. If set to NO, the members will appear in declaration order. Note that 552 | # this will also influence the order of the classes in the class list. 553 | # The default value is: NO. 554 | 555 | SORT_BRIEF_DOCS = NO 556 | 557 | # If the SORT_MEMBERS_CTORS_1ST tag is set to YES then doxygen will sort the 558 | # (brief and detailed) documentation of class members so that constructors and 559 | # destructors are listed first. If set to NO the constructors will appear in the 560 | # respective orders defined by SORT_BRIEF_DOCS and SORT_MEMBER_DOCS. 561 | # Note: If SORT_BRIEF_DOCS is set to NO this option is ignored for sorting brief 562 | # member documentation. 563 | # Note: If SORT_MEMBER_DOCS is set to NO this option is ignored for sorting 564 | # detailed member documentation. 565 | # The default value is: NO. 566 | 567 | SORT_MEMBERS_CTORS_1ST = NO 568 | 569 | # If the SORT_GROUP_NAMES tag is set to YES then doxygen will sort the hierarchy 570 | # of group names into alphabetical order. If set to NO the group names will 571 | # appear in their defined order. 572 | # The default value is: NO. 573 | 574 | SORT_GROUP_NAMES = NO 575 | 576 | # If the SORT_BY_SCOPE_NAME tag is set to YES, the class list will be sorted by 577 | # fully-qualified names, including namespaces. If set to NO, the class list will 578 | # be sorted only by class name, not including the namespace part. 579 | # Note: This option is not very useful if HIDE_SCOPE_NAMES is set to YES. 580 | # Note: This option applies only to the class list, not to the alphabetical 581 | # list. 582 | # The default value is: NO. 583 | 584 | SORT_BY_SCOPE_NAME = NO 585 | 586 | # If the STRICT_PROTO_MATCHING option is enabled and doxygen fails to do proper 587 | # type resolution of all parameters of a function it will reject a match between 588 | # the prototype and the implementation of a member function even if there is 589 | # only one candidate or it is obvious which candidate to choose by doing a 590 | # simple string match. By disabling STRICT_PROTO_MATCHING doxygen will still 591 | # accept a match between prototype and implementation in such cases. 592 | # The default value is: NO. 593 | 594 | STRICT_PROTO_MATCHING = NO 595 | 596 | # The GENERATE_TODOLIST tag can be used to enable (YES) or disable (NO) the todo 597 | # list. This list is created by putting \todo commands in the documentation. 598 | # The default value is: YES. 599 | 600 | GENERATE_TODOLIST = YES 601 | 602 | # The GENERATE_TESTLIST tag can be used to enable (YES) or disable (NO) the test 603 | # list. This list is created by putting \test commands in the documentation. 604 | # The default value is: YES. 605 | 606 | GENERATE_TESTLIST = YES 607 | 608 | # The GENERATE_BUGLIST tag can be used to enable (YES) or disable (NO) the bug 609 | # list. This list is created by putting \bug commands in the documentation. 610 | # The default value is: YES. 611 | 612 | GENERATE_BUGLIST = YES 613 | 614 | # The GENERATE_DEPRECATEDLIST tag can be used to enable (YES) or disable (NO) 615 | # the deprecated list. This list is created by putting \deprecated commands in 616 | # the documentation. 617 | # The default value is: YES. 618 | 619 | GENERATE_DEPRECATEDLIST= YES 620 | 621 | # The ENABLED_SECTIONS tag can be used to enable conditional documentation 622 | # sections, marked by \if ... \endif and \cond 623 | # ... \endcond blocks. 624 | 625 | ENABLED_SECTIONS = 626 | 627 | # The MAX_INITIALIZER_LINES tag determines the maximum number of lines that the 628 | # initial value of a variable or macro / define can have for it to appear in the 629 | # documentation. If the initializer consists of more lines than specified here 630 | # it will be hidden. Use a value of 0 to hide initializers completely. The 631 | # appearance of the value of individual variables and macros / defines can be 632 | # controlled using \showinitializer or \hideinitializer command in the 633 | # documentation regardless of this setting. 634 | # Minimum value: 0, maximum value: 10000, default value: 30. 635 | 636 | MAX_INITIALIZER_LINES = 30 637 | 638 | # Set the SHOW_USED_FILES tag to NO to disable the list of files generated at 639 | # the bottom of the documentation of classes and structs. If set to YES, the 640 | # list will mention the files that were used to generate the documentation. 641 | # The default value is: YES. 642 | 643 | SHOW_USED_FILES = YES 644 | 645 | # Set the SHOW_FILES tag to NO to disable the generation of the Files page. This 646 | # will remove the Files entry from the Quick Index and from the Folder Tree View 647 | # (if specified). 648 | # The default value is: YES. 649 | 650 | SHOW_FILES = YES 651 | 652 | # Set the SHOW_NAMESPACES tag to NO to disable the generation of the Namespaces 653 | # page. This will remove the Namespaces entry from the Quick Index and from the 654 | # Folder Tree View (if specified). 655 | # The default value is: YES. 656 | 657 | SHOW_NAMESPACES = YES 658 | 659 | # The FILE_VERSION_FILTER tag can be used to specify a program or script that 660 | # doxygen should invoke to get the current version for each file (typically from 661 | # the version control system). Doxygen will invoke the program by executing (via 662 | # popen()) the command command input-file, where command is the value of the 663 | # FILE_VERSION_FILTER tag, and input-file is the name of an input file provided 664 | # by doxygen. Whatever the program writes to standard output is used as the file 665 | # version. For an example see the documentation. 666 | 667 | FILE_VERSION_FILTER = 668 | 669 | # The LAYOUT_FILE tag can be used to specify a layout file which will be parsed 670 | # by doxygen. The layout file controls the global structure of the generated 671 | # output files in an output format independent way. To create the layout file 672 | # that represents doxygen's defaults, run doxygen with the -l option. You can 673 | # optionally specify a file name after the option, if omitted DoxygenLayout.xml 674 | # will be used as the name of the layout file. 675 | # 676 | # Note that if you run doxygen from a directory containing a file called 677 | # DoxygenLayout.xml, doxygen will parse it automatically even if the LAYOUT_FILE 678 | # tag is left empty. 679 | 680 | LAYOUT_FILE = 681 | 682 | # The CITE_BIB_FILES tag can be used to specify one or more bib files containing 683 | # the reference definitions. This must be a list of .bib files. The .bib 684 | # extension is automatically appended if omitted. This requires the bibtex tool 685 | # to be installed. See also http://en.wikipedia.org/wiki/BibTeX for more info. 686 | # For LaTeX the style of the bibliography can be controlled using 687 | # LATEX_BIB_STYLE. To use this feature you need bibtex and perl available in the 688 | # search path. See also \cite for info how to create references. 689 | 690 | CITE_BIB_FILES = 691 | 692 | #--------------------------------------------------------------------------- 693 | # Configuration options related to warning and progress messages 694 | #--------------------------------------------------------------------------- 695 | 696 | # The QUIET tag can be used to turn on/off the messages that are generated to 697 | # standard output by doxygen. If QUIET is set to YES this implies that the 698 | # messages are off. 699 | # The default value is: NO. 700 | 701 | QUIET = NO 702 | 703 | # The WARNINGS tag can be used to turn on/off the warning messages that are 704 | # generated to standard error (stderr) by doxygen. If WARNINGS is set to YES 705 | # this implies that the warnings are on. 706 | # 707 | # Tip: Turn warnings on while writing the documentation. 708 | # The default value is: YES. 709 | 710 | WARNINGS = YES 711 | 712 | # If the WARN_IF_UNDOCUMENTED tag is set to YES then doxygen will generate 713 | # warnings for undocumented members. If EXTRACT_ALL is set to YES then this flag 714 | # will automatically be disabled. 715 | # The default value is: YES. 716 | 717 | WARN_IF_UNDOCUMENTED = YES 718 | 719 | # If the WARN_IF_DOC_ERROR tag is set to YES, doxygen will generate warnings for 720 | # potential errors in the documentation, such as not documenting some parameters 721 | # in a documented function, or documenting parameters that don't exist or using 722 | # markup commands wrongly. 723 | # The default value is: YES. 724 | 725 | WARN_IF_DOC_ERROR = YES 726 | 727 | # This WARN_NO_PARAMDOC option can be enabled to get warnings for functions that 728 | # are documented, but have no documentation for their parameters or return 729 | # value. If set to NO, doxygen will only warn about wrong or incomplete 730 | # parameter documentation, but not about the absence of documentation. 731 | # The default value is: NO. 732 | 733 | WARN_NO_PARAMDOC = NO 734 | 735 | # The WARN_FORMAT tag determines the format of the warning messages that doxygen 736 | # can produce. The string should contain the $file, $line, and $text tags, which 737 | # will be replaced by the file and line number from which the warning originated 738 | # and the warning text. Optionally the format may contain $version, which will 739 | # be replaced by the version of the file (if it could be obtained via 740 | # FILE_VERSION_FILTER) 741 | # The default value is: $file:$line: $text. 742 | 743 | WARN_FORMAT = "$file:$line: $text" 744 | 745 | # The WARN_LOGFILE tag can be used to specify a file to which warning and error 746 | # messages should be written. If left blank the output is written to standard 747 | # error (stderr). 748 | 749 | WARN_LOGFILE = 750 | 751 | #--------------------------------------------------------------------------- 752 | # Configuration options related to the input files 753 | #--------------------------------------------------------------------------- 754 | 755 | # The INPUT tag is used to specify the files and/or directories that contain 756 | # documented source files. You may enter file names like myfile.cpp or 757 | # directories like /usr/src/myproject. Separate the files or directories with 758 | # spaces. 759 | # Note: If this tag is empty the current directory is searched. 760 | 761 | INPUT = @DOXY_SOURCE_DIRECTORY@ @DOXY_EXTRA_DIRECTORY@ 762 | 763 | # This tag can be used to specify the character encoding of the source files 764 | # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses 765 | # libiconv (or the iconv built into libc) for the transcoding. See the libiconv 766 | # documentation (see: http://www.gnu.org/software/libiconv) for the list of 767 | # possible encodings. 768 | # The default value is: UTF-8. 769 | 770 | INPUT_ENCODING = UTF-8 771 | 772 | # If the value of the INPUT tag contains directories, you can use the 773 | # FILE_PATTERNS tag to specify one or more wildcard patterns (like *.cpp and 774 | # *.h) to filter out the source-files in the directories. If left blank the 775 | # following patterns are tested:*.c, *.cc, *.cxx, *.cpp, *.c++, *.java, *.ii, 776 | # *.ixx, *.ipp, *.i++, *.inl, *.idl, *.ddl, *.odl, *.h, *.hh, *.hxx, *.hpp, 777 | # *.h++, *.cs, *.d, *.php, *.php4, *.php5, *.phtml, *.inc, *.m, *.markdown, 778 | # *.md, *.mm, *.dox, *.py, *.f90, *.f, *.for, *.tcl, *.vhd, *.vhdl, *.ucf, 779 | # *.qsf, *.as and *.js. 780 | 781 | FILE_PATTERNS = 782 | 783 | # The RECURSIVE tag can be used to specify whether or not subdirectories should 784 | # be searched for input files as well. 785 | # The default value is: NO. 786 | 787 | RECURSIVE = YES 788 | 789 | # The EXCLUDE tag can be used to specify files and/or directories that should be 790 | # excluded from the INPUT source files. This way you can easily exclude a 791 | # subdirectory from a directory tree whose root is specified with the INPUT tag. 792 | # 793 | # Note that relative paths are relative to the directory from which doxygen is 794 | # run. 795 | 796 | EXCLUDE = 797 | 798 | # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or 799 | # directories that are symbolic links (a Unix file system feature) are excluded 800 | # from the input. 801 | # The default value is: NO. 802 | 803 | EXCLUDE_SYMLINKS = NO 804 | 805 | # If the value of the INPUT tag contains directories, you can use the 806 | # EXCLUDE_PATTERNS tag to specify one or more wildcard patterns to exclude 807 | # certain files from those directories. 808 | # 809 | # Note that the wildcards are matched against the file with absolute path, so to 810 | # exclude all test directories for example use the pattern */test/* 811 | 812 | EXCLUDE_PATTERNS = 813 | 814 | # The EXCLUDE_SYMBOLS tag can be used to specify one or more symbol names 815 | # (namespaces, classes, functions, etc.) that should be excluded from the 816 | # output. The symbol name can be a fully qualified name, a word, or if the 817 | # wildcard * is used, a substring. Examples: ANamespace, AClass, 818 | # AClass::ANamespace, ANamespace::*Test 819 | # 820 | # Note that the wildcards are matched against the file with absolute path, so to 821 | # exclude all test directories use the pattern */test/* 822 | 823 | EXCLUDE_SYMBOLS = 824 | 825 | # The EXAMPLE_PATH tag can be used to specify one or more files or directories 826 | # that contain example code fragments that are included (see the \include 827 | # command). 828 | 829 | EXAMPLE_PATH = 830 | 831 | # If the value of the EXAMPLE_PATH tag contains directories, you can use the 832 | # EXAMPLE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp and 833 | # *.h) to filter out the source-files in the directories. If left blank all 834 | # files are included. 835 | 836 | EXAMPLE_PATTERNS = 837 | 838 | # If the EXAMPLE_RECURSIVE tag is set to YES then subdirectories will be 839 | # searched for input files to be used with the \include or \dontinclude commands 840 | # irrespective of the value of the RECURSIVE tag. 841 | # The default value is: NO. 842 | 843 | EXAMPLE_RECURSIVE = NO 844 | 845 | # The IMAGE_PATH tag can be used to specify one or more files or directories 846 | # that contain images that are to be included in the documentation (see the 847 | # \image command). 848 | 849 | IMAGE_PATH = 850 | 851 | # The INPUT_FILTER tag can be used to specify a program that doxygen should 852 | # invoke to filter for each input file. Doxygen will invoke the filter program 853 | # by executing (via popen()) the command: 854 | # 855 | # 856 | # 857 | # where is the value of the INPUT_FILTER tag, and is the 858 | # name of an input file. Doxygen will then use the output that the filter 859 | # program writes to standard output. If FILTER_PATTERNS is specified, this tag 860 | # will be ignored. 861 | # 862 | # Note that the filter must not add or remove lines; it is applied before the 863 | # code is scanned, but not when the output code is generated. If lines are added 864 | # or removed, the anchors will not be placed correctly. 865 | 866 | INPUT_FILTER = 867 | 868 | # The FILTER_PATTERNS tag can be used to specify filters on a per file pattern 869 | # basis. Doxygen will compare the file name with each pattern and apply the 870 | # filter if there is a match. The filters are a list of the form: pattern=filter 871 | # (like *.cpp=my_cpp_filter). See INPUT_FILTER for further information on how 872 | # filters are used. If the FILTER_PATTERNS tag is empty or if none of the 873 | # patterns match the file name, INPUT_FILTER is applied. 874 | 875 | FILTER_PATTERNS = 876 | 877 | # If the FILTER_SOURCE_FILES tag is set to YES, the input filter (if set using 878 | # INPUT_FILTER) will also be used to filter the input files that are used for 879 | # producing the source files to browse (i.e. when SOURCE_BROWSER is set to YES). 880 | # The default value is: NO. 881 | 882 | FILTER_SOURCE_FILES = NO 883 | 884 | # The FILTER_SOURCE_PATTERNS tag can be used to specify source filters per file 885 | # pattern. A pattern will override the setting for FILTER_PATTERN (if any) and 886 | # it is also possible to disable source filtering for a specific pattern using 887 | # *.ext= (so without naming a filter). 888 | # This tag requires that the tag FILTER_SOURCE_FILES is set to YES. 889 | 890 | FILTER_SOURCE_PATTERNS = 891 | 892 | # If the USE_MDFILE_AS_MAINPAGE tag refers to the name of a markdown file that 893 | # is part of the input, its contents will be placed on the main page 894 | # (index.html). This can be useful if you have a project on for instance GitHub 895 | # and want to reuse the introduction page also for the doxygen output. 896 | 897 | USE_MDFILE_AS_MAINPAGE = 898 | 899 | #--------------------------------------------------------------------------- 900 | # Configuration options related to source browsing 901 | #--------------------------------------------------------------------------- 902 | 903 | # If the SOURCE_BROWSER tag is set to YES then a list of source files will be 904 | # generated. Documented entities will be cross-referenced with these sources. 905 | # 906 | # Note: To get rid of all source code in the generated output, make sure that 907 | # also VERBATIM_HEADERS is set to NO. 908 | # The default value is: NO. 909 | 910 | SOURCE_BROWSER = YES 911 | 912 | # Setting the INLINE_SOURCES tag to YES will include the body of functions, 913 | # classes and enums directly into the documentation. 914 | # The default value is: NO. 915 | 916 | INLINE_SOURCES = NO 917 | 918 | # Setting the STRIP_CODE_COMMENTS tag to YES will instruct doxygen to hide any 919 | # special comment blocks from generated source code fragments. Normal C, C++ and 920 | # Fortran comments will always remain visible. 921 | # The default value is: YES. 922 | 923 | STRIP_CODE_COMMENTS = YES 924 | 925 | # If the REFERENCED_BY_RELATION tag is set to YES then for each documented 926 | # function all documented functions referencing it will be listed. 927 | # The default value is: NO. 928 | 929 | REFERENCED_BY_RELATION = NO 930 | 931 | # If the REFERENCES_RELATION tag is set to YES then for each documented function 932 | # all documented entities called/used by that function will be listed. 933 | # The default value is: NO. 934 | 935 | REFERENCES_RELATION = NO 936 | 937 | # If the REFERENCES_LINK_SOURCE tag is set to YES and SOURCE_BROWSER tag is set 938 | # to YES then the hyperlinks from functions in REFERENCES_RELATION and 939 | # REFERENCED_BY_RELATION lists will link to the source code. Otherwise they will 940 | # link to the documentation. 941 | # The default value is: YES. 942 | 943 | REFERENCES_LINK_SOURCE = YES 944 | 945 | # If SOURCE_TOOLTIPS is enabled (the default) then hovering a hyperlink in the 946 | # source code will show a tooltip with additional information such as prototype, 947 | # brief description and links to the definition and documentation. Since this 948 | # will make the HTML file larger and loading of large files a bit slower, you 949 | # can opt to disable this feature. 950 | # The default value is: YES. 951 | # This tag requires that the tag SOURCE_BROWSER is set to YES. 952 | 953 | SOURCE_TOOLTIPS = YES 954 | 955 | # If the USE_HTAGS tag is set to YES then the references to source code will 956 | # point to the HTML generated by the htags(1) tool instead of doxygen built-in 957 | # source browser. The htags tool is part of GNU's global source tagging system 958 | # (see http://www.gnu.org/software/global/global.html). You will need version 959 | # 4.8.6 or higher. 960 | # 961 | # To use it do the following: 962 | # - Install the latest version of global 963 | # - Enable SOURCE_BROWSER and USE_HTAGS in the config file 964 | # - Make sure the INPUT points to the root of the source tree 965 | # - Run doxygen as normal 966 | # 967 | # Doxygen will invoke htags (and that will in turn invoke gtags), so these 968 | # tools must be available from the command line (i.e. in the search path). 969 | # 970 | # The result: instead of the source browser generated by doxygen, the links to 971 | # source code will now point to the output of htags. 972 | # The default value is: NO. 973 | # This tag requires that the tag SOURCE_BROWSER is set to YES. 974 | 975 | USE_HTAGS = NO 976 | 977 | # If the VERBATIM_HEADERS tag is set the YES then doxygen will generate a 978 | # verbatim copy of the header file for each class for which an include is 979 | # specified. Set to NO to disable this. 980 | # See also: Section \class. 981 | # The default value is: YES. 982 | 983 | VERBATIM_HEADERS = YES 984 | 985 | # If the CLANG_ASSISTED_PARSING tag is set to YES then doxygen will use the 986 | # clang parser (see: http://clang.llvm.org/) for more accurate parsing at the 987 | # cost of reduced performance. This can be particularly helpful with template 988 | # rich C++ code for which doxygen's built-in parser lacks the necessary type 989 | # information. 990 | # Note: The availability of this option depends on whether or not doxygen was 991 | # compiled with the --with-libclang option. 992 | # The default value is: NO. 993 | 994 | CLANG_ASSISTED_PARSING = NO 995 | 996 | # If clang assisted parsing is enabled you can provide the compiler with command 997 | # line options that you would normally use when invoking the compiler. Note that 998 | # the include paths will already be set by doxygen for the files and directories 999 | # specified with INPUT and INCLUDE_PATH. 1000 | # This tag requires that the tag CLANG_ASSISTED_PARSING is set to YES. 1001 | 1002 | CLANG_OPTIONS = 1003 | 1004 | #--------------------------------------------------------------------------- 1005 | # Configuration options related to the alphabetical class index 1006 | #--------------------------------------------------------------------------- 1007 | 1008 | # If the ALPHABETICAL_INDEX tag is set to YES, an alphabetical index of all 1009 | # compounds will be generated. Enable this if the project contains a lot of 1010 | # classes, structs, unions or interfaces. 1011 | # The default value is: YES. 1012 | 1013 | ALPHABETICAL_INDEX = YES 1014 | 1015 | # The COLS_IN_ALPHA_INDEX tag can be used to specify the number of columns in 1016 | # which the alphabetical index list will be split. 1017 | # Minimum value: 1, maximum value: 20, default value: 5. 1018 | # This tag requires that the tag ALPHABETICAL_INDEX is set to YES. 1019 | 1020 | COLS_IN_ALPHA_INDEX = 5 1021 | 1022 | # In case all classes in a project start with a common prefix, all classes will 1023 | # be put under the same header in the alphabetical index. The IGNORE_PREFIX tag 1024 | # can be used to specify a prefix (or a list of prefixes) that should be ignored 1025 | # while generating the index headers. 1026 | # This tag requires that the tag ALPHABETICAL_INDEX is set to YES. 1027 | 1028 | IGNORE_PREFIX = 1029 | 1030 | #--------------------------------------------------------------------------- 1031 | # Configuration options related to the HTML output 1032 | #--------------------------------------------------------------------------- 1033 | 1034 | # If the GENERATE_HTML tag is set to YES, doxygen will generate HTML output 1035 | # The default value is: YES. 1036 | 1037 | GENERATE_HTML = YES 1038 | 1039 | # The HTML_OUTPUT tag is used to specify where the HTML docs will be put. If a 1040 | # relative path is entered the value of OUTPUT_DIRECTORY will be put in front of 1041 | # it. 1042 | # The default directory is: html. 1043 | # This tag requires that the tag GENERATE_HTML is set to YES. 1044 | 1045 | HTML_OUTPUT = html 1046 | 1047 | # The HTML_FILE_EXTENSION tag can be used to specify the file extension for each 1048 | # generated HTML page (for example: .htm, .php, .asp). 1049 | # The default value is: .html. 1050 | # This tag requires that the tag GENERATE_HTML is set to YES. 1051 | 1052 | HTML_FILE_EXTENSION = .html 1053 | 1054 | # The HTML_HEADER tag can be used to specify a user-defined HTML header file for 1055 | # each generated HTML page. If the tag is left blank doxygen will generate a 1056 | # standard header. 1057 | # 1058 | # To get valid HTML the header file that includes any scripts and style sheets 1059 | # that doxygen needs, which is dependent on the configuration options used (e.g. 1060 | # the setting GENERATE_TREEVIEW). It is highly recommended to start with a 1061 | # default header using 1062 | # doxygen -w html new_header.html new_footer.html new_stylesheet.css 1063 | # YourConfigFile 1064 | # and then modify the file new_header.html. See also section "Doxygen usage" 1065 | # for information on how to generate the default header that doxygen normally 1066 | # uses. 1067 | # Note: The header is subject to change so you typically have to regenerate the 1068 | # default header when upgrading to a newer version of doxygen. For a description 1069 | # of the possible markers and block names see the documentation. 1070 | # This tag requires that the tag GENERATE_HTML is set to YES. 1071 | 1072 | HTML_HEADER = 1073 | 1074 | # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each 1075 | # generated HTML page. If the tag is left blank doxygen will generate a standard 1076 | # footer. See HTML_HEADER for more information on how to generate a default 1077 | # footer and what special commands can be used inside the footer. See also 1078 | # section "Doxygen usage" for information on how to generate the default footer 1079 | # that doxygen normally uses. 1080 | # This tag requires that the tag GENERATE_HTML is set to YES. 1081 | 1082 | HTML_FOOTER = 1083 | 1084 | # The HTML_STYLESHEET tag can be used to specify a user-defined cascading style 1085 | # sheet that is used by each HTML page. It can be used to fine-tune the look of 1086 | # the HTML output. If left blank doxygen will generate a default style sheet. 1087 | # See also section "Doxygen usage" for information on how to generate the style 1088 | # sheet that doxygen normally uses. 1089 | # Note: It is recommended to use HTML_EXTRA_STYLESHEET instead of this tag, as 1090 | # it is more robust and this tag (HTML_STYLESHEET) will in the future become 1091 | # obsolete. 1092 | # This tag requires that the tag GENERATE_HTML is set to YES. 1093 | 1094 | HTML_STYLESHEET = 1095 | 1096 | # The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined 1097 | # cascading style sheets that are included after the standard style sheets 1098 | # created by doxygen. Using this option one can overrule certain style aspects. 1099 | # This is preferred over using HTML_STYLESHEET since it does not replace the 1100 | # standard style sheet and is therefore more robust against future updates. 1101 | # Doxygen will copy the style sheet files to the output directory. 1102 | # Note: The order of the extra style sheet files is of importance (e.g. the last 1103 | # style sheet in the list overrules the setting of the previous ones in the 1104 | # list). For an example see the documentation. 1105 | # This tag requires that the tag GENERATE_HTML is set to YES. 1106 | 1107 | HTML_EXTRA_STYLESHEET = 1108 | 1109 | # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or 1110 | # other source files which should be copied to the HTML output directory. Note 1111 | # that these files will be copied to the base HTML output directory. Use the 1112 | # $relpath^ marker in the HTML_HEADER and/or HTML_FOOTER files to load these 1113 | # files. In the HTML_STYLESHEET file, use the file name only. Also note that the 1114 | # files will be copied as-is; there are no commands or markers available. 1115 | # This tag requires that the tag GENERATE_HTML is set to YES. 1116 | 1117 | HTML_EXTRA_FILES = 1118 | 1119 | # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen 1120 | # will adjust the colors in the style sheet and background images according to 1121 | # this color. Hue is specified as an angle on a colorwheel, see 1122 | # http://en.wikipedia.org/wiki/Hue for more information. For instance the value 1123 | # 0 represents red, 60 is yellow, 120 is green, 180 is cyan, 240 is blue, 300 1124 | # purple, and 360 is red again. 1125 | # Minimum value: 0, maximum value: 359, default value: 220. 1126 | # This tag requires that the tag GENERATE_HTML is set to YES. 1127 | 1128 | HTML_COLORSTYLE_HUE = 220 1129 | 1130 | # The HTML_COLORSTYLE_SAT tag controls the purity (or saturation) of the colors 1131 | # in the HTML output. For a value of 0 the output will use grayscales only. A 1132 | # value of 255 will produce the most vivid colors. 1133 | # Minimum value: 0, maximum value: 255, default value: 100. 1134 | # This tag requires that the tag GENERATE_HTML is set to YES. 1135 | 1136 | HTML_COLORSTYLE_SAT = 100 1137 | 1138 | # The HTML_COLORSTYLE_GAMMA tag controls the gamma correction applied to the 1139 | # luminance component of the colors in the HTML output. Values below 100 1140 | # gradually make the output lighter, whereas values above 100 make the output 1141 | # darker. The value divided by 100 is the actual gamma applied, so 80 represents 1142 | # a gamma of 0.8, The value 220 represents a gamma of 2.2, and 100 does not 1143 | # change the gamma. 1144 | # Minimum value: 40, maximum value: 240, default value: 80. 1145 | # This tag requires that the tag GENERATE_HTML is set to YES. 1146 | 1147 | HTML_COLORSTYLE_GAMMA = 80 1148 | 1149 | # If the HTML_TIMESTAMP tag is set to YES then the footer of each generated HTML 1150 | # page will contain the date and time when the page was generated. Setting this 1151 | # to YES can help to show when doxygen was last run and thus if the 1152 | # documentation is up to date. 1153 | # The default value is: NO. 1154 | # This tag requires that the tag GENERATE_HTML is set to YES. 1155 | 1156 | HTML_TIMESTAMP = NO 1157 | 1158 | # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML 1159 | # documentation will contain sections that can be hidden and shown after the 1160 | # page has loaded. 1161 | # The default value is: NO. 1162 | # This tag requires that the tag GENERATE_HTML is set to YES. 1163 | 1164 | HTML_DYNAMIC_SECTIONS = NO 1165 | 1166 | # With HTML_INDEX_NUM_ENTRIES one can control the preferred number of entries 1167 | # shown in the various tree structured indices initially; the user can expand 1168 | # and collapse entries dynamically later on. Doxygen will expand the tree to 1169 | # such a level that at most the specified number of entries are visible (unless 1170 | # a fully collapsed tree already exceeds this amount). So setting the number of 1171 | # entries 1 will produce a full collapsed tree by default. 0 is a special value 1172 | # representing an infinite number of entries and will result in a full expanded 1173 | # tree by default. 1174 | # Minimum value: 0, maximum value: 9999, default value: 100. 1175 | # This tag requires that the tag GENERATE_HTML is set to YES. 1176 | 1177 | HTML_INDEX_NUM_ENTRIES = 100 1178 | 1179 | # If the GENERATE_DOCSET tag is set to YES, additional index files will be 1180 | # generated that can be used as input for Apple's Xcode 3 integrated development 1181 | # environment (see: http://developer.apple.com/tools/xcode/), introduced with 1182 | # OSX 10.5 (Leopard). To create a documentation set, doxygen will generate a 1183 | # Makefile in the HTML output directory. Running make will produce the docset in 1184 | # that directory and running make install will install the docset in 1185 | # ~/Library/Developer/Shared/Documentation/DocSets so that Xcode will find it at 1186 | # startup. See http://developer.apple.com/tools/creatingdocsetswithdoxygen.html 1187 | # for more information. 1188 | # The default value is: NO. 1189 | # This tag requires that the tag GENERATE_HTML is set to YES. 1190 | 1191 | GENERATE_DOCSET = NO 1192 | 1193 | # This tag determines the name of the docset feed. A documentation feed provides 1194 | # an umbrella under which multiple documentation sets from a single provider 1195 | # (such as a company or product suite) can be grouped. 1196 | # The default value is: Doxygen generated docs. 1197 | # This tag requires that the tag GENERATE_DOCSET is set to YES. 1198 | 1199 | DOCSET_FEEDNAME = "Doxygen generated docs" 1200 | 1201 | # This tag specifies a string that should uniquely identify the documentation 1202 | # set bundle. This should be a reverse domain-name style string, e.g. 1203 | # com.mycompany.MyDocSet. Doxygen will append .docset to the name. 1204 | # The default value is: org.doxygen.Project. 1205 | # This tag requires that the tag GENERATE_DOCSET is set to YES. 1206 | 1207 | DOCSET_BUNDLE_ID = org.doxygen.Project 1208 | 1209 | # The DOCSET_PUBLISHER_ID tag specifies a string that should uniquely identify 1210 | # the documentation publisher. This should be a reverse domain-name style 1211 | # string, e.g. com.mycompany.MyDocSet.documentation. 1212 | # The default value is: org.doxygen.Publisher. 1213 | # This tag requires that the tag GENERATE_DOCSET is set to YES. 1214 | 1215 | DOCSET_PUBLISHER_ID = org.doxygen.Publisher 1216 | 1217 | # The DOCSET_PUBLISHER_NAME tag identifies the documentation publisher. 1218 | # The default value is: Publisher. 1219 | # This tag requires that the tag GENERATE_DOCSET is set to YES. 1220 | 1221 | DOCSET_PUBLISHER_NAME = Publisher 1222 | 1223 | # If the GENERATE_HTMLHELP tag is set to YES then doxygen generates three 1224 | # additional HTML index files: index.hhp, index.hhc, and index.hhk. The 1225 | # index.hhp is a project file that can be read by Microsoft's HTML Help Workshop 1226 | # (see: http://www.microsoft.com/en-us/download/details.aspx?id=21138) on 1227 | # Windows. 1228 | # 1229 | # The HTML Help Workshop contains a compiler that can convert all HTML output 1230 | # generated by doxygen into a single compiled HTML file (.chm). Compiled HTML 1231 | # files are now used as the Windows 98 help format, and will replace the old 1232 | # Windows help format (.hlp) on all Windows platforms in the future. Compressed 1233 | # HTML files also contain an index, a table of contents, and you can search for 1234 | # words in the documentation. The HTML workshop also contains a viewer for 1235 | # compressed HTML files. 1236 | # The default value is: NO. 1237 | # This tag requires that the tag GENERATE_HTML is set to YES. 1238 | 1239 | GENERATE_HTMLHELP = NO 1240 | 1241 | # The CHM_FILE tag can be used to specify the file name of the resulting .chm 1242 | # file. You can add a path in front of the file if the result should not be 1243 | # written to the html output directory. 1244 | # This tag requires that the tag GENERATE_HTMLHELP is set to YES. 1245 | 1246 | CHM_FILE = 1247 | 1248 | # The HHC_LOCATION tag can be used to specify the location (absolute path 1249 | # including file name) of the HTML help compiler (hhc.exe). If non-empty, 1250 | # doxygen will try to run the HTML help compiler on the generated index.hhp. 1251 | # The file has to be specified with full path. 1252 | # This tag requires that the tag GENERATE_HTMLHELP is set to YES. 1253 | 1254 | HHC_LOCATION = 1255 | 1256 | # The GENERATE_CHI flag controls if a separate .chi index file is generated 1257 | # (YES) or that it should be included in the master .chm file (NO). 1258 | # The default value is: NO. 1259 | # This tag requires that the tag GENERATE_HTMLHELP is set to YES. 1260 | 1261 | GENERATE_CHI = NO 1262 | 1263 | # The CHM_INDEX_ENCODING is used to encode HtmlHelp index (hhk), content (hhc) 1264 | # and project file content. 1265 | # This tag requires that the tag GENERATE_HTMLHELP is set to YES. 1266 | 1267 | CHM_INDEX_ENCODING = 1268 | 1269 | # The BINARY_TOC flag controls whether a binary table of contents is generated 1270 | # (YES) or a normal table of contents (NO) in the .chm file. Furthermore it 1271 | # enables the Previous and Next buttons. 1272 | # The default value is: NO. 1273 | # This tag requires that the tag GENERATE_HTMLHELP is set to YES. 1274 | 1275 | BINARY_TOC = NO 1276 | 1277 | # The TOC_EXPAND flag can be set to YES to add extra items for group members to 1278 | # the table of contents of the HTML help documentation and to the tree view. 1279 | # The default value is: NO. 1280 | # This tag requires that the tag GENERATE_HTMLHELP is set to YES. 1281 | 1282 | TOC_EXPAND = NO 1283 | 1284 | # If the GENERATE_QHP tag is set to YES and both QHP_NAMESPACE and 1285 | # QHP_VIRTUAL_FOLDER are set, an additional index file will be generated that 1286 | # can be used as input for Qt's qhelpgenerator to generate a Qt Compressed Help 1287 | # (.qch) of the generated HTML documentation. 1288 | # The default value is: NO. 1289 | # This tag requires that the tag GENERATE_HTML is set to YES. 1290 | 1291 | GENERATE_QHP = NO 1292 | 1293 | # If the QHG_LOCATION tag is specified, the QCH_FILE tag can be used to specify 1294 | # the file name of the resulting .qch file. The path specified is relative to 1295 | # the HTML output folder. 1296 | # This tag requires that the tag GENERATE_QHP is set to YES. 1297 | 1298 | QCH_FILE = 1299 | 1300 | # The QHP_NAMESPACE tag specifies the namespace to use when generating Qt Help 1301 | # Project output. For more information please see Qt Help Project / Namespace 1302 | # (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#namespace). 1303 | # The default value is: org.doxygen.Project. 1304 | # This tag requires that the tag GENERATE_QHP is set to YES. 1305 | 1306 | QHP_NAMESPACE = org.doxygen.Project 1307 | 1308 | # The QHP_VIRTUAL_FOLDER tag specifies the namespace to use when generating Qt 1309 | # Help Project output. For more information please see Qt Help Project / Virtual 1310 | # Folders (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#virtual- 1311 | # folders). 1312 | # The default value is: doc. 1313 | # This tag requires that the tag GENERATE_QHP is set to YES. 1314 | 1315 | QHP_VIRTUAL_FOLDER = doc 1316 | 1317 | # If the QHP_CUST_FILTER_NAME tag is set, it specifies the name of a custom 1318 | # filter to add. For more information please see Qt Help Project / Custom 1319 | # Filters (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#custom- 1320 | # filters). 1321 | # This tag requires that the tag GENERATE_QHP is set to YES. 1322 | 1323 | QHP_CUST_FILTER_NAME = 1324 | 1325 | # The QHP_CUST_FILTER_ATTRS tag specifies the list of the attributes of the 1326 | # custom filter to add. For more information please see Qt Help Project / Custom 1327 | # Filters (see: http://qt-project.org/doc/qt-4.8/qthelpproject.html#custom- 1328 | # filters). 1329 | # This tag requires that the tag GENERATE_QHP is set to YES. 1330 | 1331 | QHP_CUST_FILTER_ATTRS = 1332 | 1333 | # The QHP_SECT_FILTER_ATTRS tag specifies the list of the attributes this 1334 | # project's filter section matches. Qt Help Project / Filter Attributes (see: 1335 | # http://qt-project.org/doc/qt-4.8/qthelpproject.html#filter-attributes). 1336 | # This tag requires that the tag GENERATE_QHP is set to YES. 1337 | 1338 | QHP_SECT_FILTER_ATTRS = 1339 | 1340 | # The QHG_LOCATION tag can be used to specify the location of Qt's 1341 | # qhelpgenerator. If non-empty doxygen will try to run qhelpgenerator on the 1342 | # generated .qhp file. 1343 | # This tag requires that the tag GENERATE_QHP is set to YES. 1344 | 1345 | QHG_LOCATION = 1346 | 1347 | # If the GENERATE_ECLIPSEHELP tag is set to YES, additional index files will be 1348 | # generated, together with the HTML files, they form an Eclipse help plugin. To 1349 | # install this plugin and make it available under the help contents menu in 1350 | # Eclipse, the contents of the directory containing the HTML and XML files needs 1351 | # to be copied into the plugins directory of eclipse. The name of the directory 1352 | # within the plugins directory should be the same as the ECLIPSE_DOC_ID value. 1353 | # After copying Eclipse needs to be restarted before the help appears. 1354 | # The default value is: NO. 1355 | # This tag requires that the tag GENERATE_HTML is set to YES. 1356 | 1357 | GENERATE_ECLIPSEHELP = NO 1358 | 1359 | # A unique identifier for the Eclipse help plugin. When installing the plugin 1360 | # the directory name containing the HTML and XML files should also have this 1361 | # name. Each documentation set should have its own identifier. 1362 | # The default value is: org.doxygen.Project. 1363 | # This tag requires that the tag GENERATE_ECLIPSEHELP is set to YES. 1364 | 1365 | ECLIPSE_DOC_ID = org.doxygen.Project 1366 | 1367 | # If you want full control over the layout of the generated HTML pages it might 1368 | # be necessary to disable the index and replace it with your own. The 1369 | # DISABLE_INDEX tag can be used to turn on/off the condensed index (tabs) at top 1370 | # of each HTML page. A value of NO enables the index and the value YES disables 1371 | # it. Since the tabs in the index contain the same information as the navigation 1372 | # tree, you can set this option to YES if you also set GENERATE_TREEVIEW to YES. 1373 | # The default value is: NO. 1374 | # This tag requires that the tag GENERATE_HTML is set to YES. 1375 | 1376 | DISABLE_INDEX = NO 1377 | 1378 | # The GENERATE_TREEVIEW tag is used to specify whether a tree-like index 1379 | # structure should be generated to display hierarchical information. If the tag 1380 | # value is set to YES, a side panel will be generated containing a tree-like 1381 | # index structure (just like the one that is generated for HTML Help). For this 1382 | # to work a browser that supports JavaScript, DHTML, CSS and frames is required 1383 | # (i.e. any modern browser). Windows users are probably better off using the 1384 | # HTML help feature. Via custom style sheets (see HTML_EXTRA_STYLESHEET) one can 1385 | # further fine-tune the look of the index. As an example, the default style 1386 | # sheet generated by doxygen has an example that shows how to put an image at 1387 | # the root of the tree instead of the PROJECT_NAME. Since the tree basically has 1388 | # the same information as the tab index, you could consider setting 1389 | # DISABLE_INDEX to YES when enabling this option. 1390 | # The default value is: NO. 1391 | # This tag requires that the tag GENERATE_HTML is set to YES. 1392 | 1393 | GENERATE_TREEVIEW = NO 1394 | 1395 | # The ENUM_VALUES_PER_LINE tag can be used to set the number of enum values that 1396 | # doxygen will group on one line in the generated HTML documentation. 1397 | # 1398 | # Note that a value of 0 will completely suppress the enum values from appearing 1399 | # in the overview section. 1400 | # Minimum value: 0, maximum value: 20, default value: 4. 1401 | # This tag requires that the tag GENERATE_HTML is set to YES. 1402 | 1403 | ENUM_VALUES_PER_LINE = 4 1404 | 1405 | # If the treeview is enabled (see GENERATE_TREEVIEW) then this tag can be used 1406 | # to set the initial width (in pixels) of the frame in which the tree is shown. 1407 | # Minimum value: 0, maximum value: 1500, default value: 250. 1408 | # This tag requires that the tag GENERATE_HTML is set to YES. 1409 | 1410 | TREEVIEW_WIDTH = 250 1411 | 1412 | # If the EXT_LINKS_IN_WINDOW option is set to YES, doxygen will open links to 1413 | # external symbols imported via tag files in a separate window. 1414 | # The default value is: NO. 1415 | # This tag requires that the tag GENERATE_HTML is set to YES. 1416 | 1417 | EXT_LINKS_IN_WINDOW = NO 1418 | 1419 | # Use this tag to change the font size of LaTeX formulas included as images in 1420 | # the HTML documentation. When you change the font size after a successful 1421 | # doxygen run you need to manually remove any form_*.png images from the HTML 1422 | # output directory to force them to be regenerated. 1423 | # Minimum value: 8, maximum value: 50, default value: 10. 1424 | # This tag requires that the tag GENERATE_HTML is set to YES. 1425 | 1426 | FORMULA_FONTSIZE = 10 1427 | 1428 | # Use the FORMULA_TRANPARENT tag to determine whether or not the images 1429 | # generated for formulas are transparent PNGs. Transparent PNGs are not 1430 | # supported properly for IE 6.0, but are supported on all modern browsers. 1431 | # 1432 | # Note that when changing this option you need to delete any form_*.png files in 1433 | # the HTML output directory before the changes have effect. 1434 | # The default value is: YES. 1435 | # This tag requires that the tag GENERATE_HTML is set to YES. 1436 | 1437 | FORMULA_TRANSPARENT = YES 1438 | 1439 | # Enable the USE_MATHJAX option to render LaTeX formulas using MathJax (see 1440 | # http://www.mathjax.org) which uses client side Javascript for the rendering 1441 | # instead of using pre-rendered bitmaps. Use this if you do not have LaTeX 1442 | # installed or if you want to formulas look prettier in the HTML output. When 1443 | # enabled you may also need to install MathJax separately and configure the path 1444 | # to it using the MATHJAX_RELPATH option. 1445 | # The default value is: NO. 1446 | # This tag requires that the tag GENERATE_HTML is set to YES. 1447 | 1448 | USE_MATHJAX = NO 1449 | 1450 | # When MathJax is enabled you can set the default output format to be used for 1451 | # the MathJax output. See the MathJax site (see: 1452 | # http://docs.mathjax.org/en/latest/output.html) for more details. 1453 | # Possible values are: HTML-CSS (which is slower, but has the best 1454 | # compatibility), NativeMML (i.e. MathML) and SVG. 1455 | # The default value is: HTML-CSS. 1456 | # This tag requires that the tag USE_MATHJAX is set to YES. 1457 | 1458 | MATHJAX_FORMAT = HTML-CSS 1459 | 1460 | # When MathJax is enabled you need to specify the location relative to the HTML 1461 | # output directory using the MATHJAX_RELPATH option. The destination directory 1462 | # should contain the MathJax.js script. For instance, if the mathjax directory 1463 | # is located at the same level as the HTML output directory, then 1464 | # MATHJAX_RELPATH should be ../mathjax. The default value points to the MathJax 1465 | # Content Delivery Network so you can quickly see the result without installing 1466 | # MathJax. However, it is strongly recommended to install a local copy of 1467 | # MathJax from http://www.mathjax.org before deployment. 1468 | # The default value is: http://cdn.mathjax.org/mathjax/latest. 1469 | # This tag requires that the tag USE_MATHJAX is set to YES. 1470 | 1471 | MATHJAX_RELPATH = http://cdn.mathjax.org/mathjax/latest 1472 | 1473 | # The MATHJAX_EXTENSIONS tag can be used to specify one or more MathJax 1474 | # extension names that should be enabled during MathJax rendering. For example 1475 | # MATHJAX_EXTENSIONS = TeX/AMSmath TeX/AMSsymbols 1476 | # This tag requires that the tag USE_MATHJAX is set to YES. 1477 | 1478 | MATHJAX_EXTENSIONS = 1479 | 1480 | # The MATHJAX_CODEFILE tag can be used to specify a file with javascript pieces 1481 | # of code that will be used on startup of the MathJax code. See the MathJax site 1482 | # (see: http://docs.mathjax.org/en/latest/output.html) for more details. For an 1483 | # example see the documentation. 1484 | # This tag requires that the tag USE_MATHJAX is set to YES. 1485 | 1486 | MATHJAX_CODEFILE = 1487 | 1488 | # When the SEARCHENGINE tag is enabled doxygen will generate a search box for 1489 | # the HTML output. The underlying search engine uses javascript and DHTML and 1490 | # should work on any modern browser. Note that when using HTML help 1491 | # (GENERATE_HTMLHELP), Qt help (GENERATE_QHP), or docsets (GENERATE_DOCSET) 1492 | # there is already a search function so this one should typically be disabled. 1493 | # For large projects the javascript based search engine can be slow, then 1494 | # enabling SERVER_BASED_SEARCH may provide a better solution. It is possible to 1495 | # search using the keyboard; to jump to the search box use + S 1496 | # (what the is depends on the OS and browser, but it is typically 1497 | # , /