adjust_tuple_type.hpp 2.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697
  1. // (C) Copyright Edward Diener 2011-2015
  2. // Use, modification and distribution are subject to the Boost Software License,
  3. // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  4. // http://www.boost.org/LICENSE_1_0.txt).
  5. #if !defined(BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_HPP)
  6. #define BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_HPP
  7. #include <boost/preprocessor/control/iif.hpp>
  8. #include <boost/vmd/identity.hpp>
  9. #include <boost/vmd/detail/equal_type.hpp>
  10. #include <boost/vmd/detail/is_array_common.hpp>
  11. #include <boost/vmd/detail/is_list.hpp>
  12. #include <boost/vmd/detail/type_registration.hpp>
  13. #define BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_ARRAY(data,type) \
  14. BOOST_PP_IIF \
  15. ( \
  16. BOOST_VMD_DETAIL_IS_ARRAY_SYNTAX(data), \
  17. BOOST_VMD_TYPE_ARRAY, \
  18. type \
  19. ) \
  20. /**/
  21. #define BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_ARRAY_D(d,data,type) \
  22. BOOST_PP_IIF \
  23. ( \
  24. BOOST_VMD_DETAIL_IS_ARRAY_SYNTAX_D(d,data), \
  25. BOOST_VMD_TYPE_ARRAY, \
  26. type \
  27. ) \
  28. /**/
  29. #define BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_LIST(data,type) \
  30. BOOST_VMD_IDENTITY_RESULT \
  31. ( \
  32. BOOST_PP_IIF \
  33. ( \
  34. BOOST_VMD_DETAIL_IS_LIST_WLOOP(data), \
  35. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_LIST), \
  36. BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_ARRAY \
  37. ) \
  38. (data,type) \
  39. ) \
  40. /**/
  41. #define BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_LIST_D(d,data,type) \
  42. BOOST_VMD_IDENTITY_RESULT \
  43. ( \
  44. BOOST_PP_IIF \
  45. ( \
  46. BOOST_VMD_DETAIL_IS_LIST_WLOOP_D(d,data), \
  47. BOOST_VMD_IDENTITY(BOOST_VMD_TYPE_LIST), \
  48. BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_ARRAY_D \
  49. ) \
  50. (d,data,type) \
  51. ) \
  52. /**/
  53. /*
  54. Input is any VMD data and a VMD type for that data
  55. If the type is a tuple, checks to see if it is a more specific
  56. type and, if it is, returns that type,
  57. otherwise returns the type passed as a parameter
  58. */
  59. #define BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE(data,type) \
  60. BOOST_VMD_IDENTITY_RESULT \
  61. ( \
  62. BOOST_PP_IIF \
  63. ( \
  64. BOOST_VMD_DETAIL_EQUAL_TYPE(BOOST_VMD_TYPE_TUPLE,type), \
  65. BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_LIST, \
  66. BOOST_VMD_IDENTITY(type) \
  67. ) \
  68. (data,type) \
  69. ) \
  70. /**/
  71. #define BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_D(d,data,type) \
  72. BOOST_VMD_IDENTITY_RESULT \
  73. ( \
  74. BOOST_PP_IIF \
  75. ( \
  76. BOOST_VMD_DETAIL_EQUAL_TYPE_D(d,BOOST_VMD_TYPE_TUPLE,type), \
  77. BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_CHECK_LIST_D, \
  78. BOOST_VMD_IDENTITY(type) \
  79. ) \
  80. (d,data,type) \
  81. ) \
  82. /**/
  83. #endif /* BOOST_VMD_DETAIL_ADJUST_TUPLE_TYPE_HPP */