LCOV - code coverage report
Current view: top level - usr/include/boost - next_prior.hpp (source / functions) Hit Total Coverage
Test: ROSE Lines: 0 1 0.0 %
Date: 2022-12-08 13:48:47 Functions: 0 0 -
Legend: Lines: hit not hit

          Line data    Source code
       1             : //  Boost next_prior.hpp header file  ---------------------------------------//
       2             : 
       3             : //  (C) Copyright Dave Abrahams and Daniel Walker 1999-2003.
       4             : //  Copyright (c) Andrey Semashev 2017
       5             : //
       6             : //  Distributed under the Boost Software License, Version 1.0.
       7             : //  (See accompanying file LICENSE_1_0.txt or copy at
       8             : //  http://www.boost.org/LICENSE_1_0.txt)
       9             : 
      10             : //  See http://www.boost.org/libs/utility for documentation.
      11             : 
      12             : //  Revision History
      13             : //  13 Dec 2003  Added next(x, n) and prior(x, n) (Daniel Walker)
      14             : 
      15             : #ifndef BOOST_NEXT_PRIOR_HPP_INCLUDED
      16             : #define BOOST_NEXT_PRIOR_HPP_INCLUDED
      17             : 
      18             : #include <iterator>
      19             : #include <boost/config.hpp>
      20             : #include <boost/core/enable_if.hpp>
      21             : #include <boost/type_traits/has_plus.hpp>
      22             : #include <boost/type_traits/has_plus_assign.hpp>
      23             : #include <boost/type_traits/has_minus.hpp>
      24             : #include <boost/type_traits/has_minus_assign.hpp>
      25             : #include <boost/iterator/advance.hpp>
      26             : #include <boost/iterator/reverse_iterator.hpp>
      27             : 
      28             : namespace boost {
      29             : 
      30             : //  Helper functions for classes like bidirectional iterators not supporting
      31             : //  operator+ and operator-
      32             : //
      33             : //  Usage:
      34             : //    const std::list<T>::iterator p = get_some_iterator();
      35             : //    const std::list<T>::iterator prev = boost::prior(p);
      36             : //    const std::list<T>::iterator next = boost::next(prev, 2);
      37             : 
      38             : //  Contributed by Dave Abrahams
      39             : 
      40             : namespace next_prior_detail {
      41             : 
      42             : // The trait attempts to detect if the T type is an iterator. Class-type iterators are assumed
      43             : // to have the nested type iterator_category. Strictly speaking, this is not required to be the
      44             : // case (e.g. a user can specialize iterator_traits for T without defining T::iterator_category).
      45             : // Still, this is a good heuristic in practice, and we can't do anything better anyway.
      46             : // Since C++17 we can test for iterator_traits<T>::iterator_category presence instead as it is
      47             : // required to be only present for iterators.
      48             : template< typename T, typename Void = void >
      49             : struct is_iterator_class
      50             : {
      51             :     static BOOST_CONSTEXPR_OR_CONST bool value = false;
      52             : };
      53             : 
      54             : template< typename T >
      55             : struct is_iterator_class<
      56             :     T,
      57             :     typename enable_if_has_type<
      58             : #if !defined(BOOST_NO_CXX17_ITERATOR_TRAITS)
      59             :         typename std::iterator_traits< T >::iterator_category
      60             : #else
      61             :         typename T::iterator_category
      62             : #endif
      63             :     >::type
      64             : >
      65             : {
      66             :     static BOOST_CONSTEXPR_OR_CONST bool value = true;
      67             : };
      68             : 
      69             : template< typename T >
      70             : struct is_iterator :
      71             :     public is_iterator_class< T >
      72             : {
      73             : };
      74             : 
      75             : template< typename T >
      76             : struct is_iterator< T* >
      77             : {
      78             :     static BOOST_CONSTEXPR_OR_CONST bool value = true;
      79             : };
      80             : 
      81             : 
      82             : template< typename T, typename Distance, bool HasPlus = has_plus< T, Distance >::value >
      83             : struct next_plus_impl;
      84             : 
      85             : template< typename T, typename Distance >
      86             : struct next_plus_impl< T, Distance, true >
      87             : {
      88             :     static T call(T x, Distance n)
      89             :     {
      90             :         return x + n;
      91             :     }
      92             : };
      93             : 
      94             : template< typename T, typename Distance, bool HasPlusAssign = has_plus_assign< T, Distance >::value >
      95             : struct next_plus_assign_impl :
      96             :     public next_plus_impl< T, Distance >
      97             : {
      98             : };
      99             : 
     100             : template< typename T, typename Distance >
     101             : struct next_plus_assign_impl< T, Distance, true >
     102             : {
     103             :     static T call(T x, Distance n)
     104             :     {
     105             :         x += n;
     106             :         return x;
     107             :     }
     108             : };
     109             : 
     110             : template< typename T, typename Distance, bool IsIterator = is_iterator< T >::value >
     111             : struct next_advance_impl :
     112             :     public next_plus_assign_impl< T, Distance >
     113             : {
     114             : };
     115             : 
     116             : template< typename T, typename Distance >
     117             : struct next_advance_impl< T, Distance, true >
     118             : {
     119             :     static T call(T x, Distance n)
     120             :     {
     121             :         boost::iterators::advance(x, n);
     122             :         return x;
     123             :     }
     124             : };
     125             : 
     126             : 
     127             : template< typename T, typename Distance, bool HasMinus = has_minus< T, Distance >::value >
     128             : struct prior_minus_impl;
     129             : 
     130             : template< typename T, typename Distance >
     131             : struct prior_minus_impl< T, Distance, true >
     132             : {
     133             :     static T call(T x, Distance n)
     134             :     {
     135             :         return x - n;
     136             :     }
     137             : };
     138             : 
     139             : template< typename T, typename Distance, bool HasMinusAssign = has_minus_assign< T, Distance >::value >
     140             : struct prior_minus_assign_impl :
     141             :     public prior_minus_impl< T, Distance >
     142             : {
     143             : };
     144             : 
     145             : template< typename T, typename Distance >
     146             : struct prior_minus_assign_impl< T, Distance, true >
     147             : {
     148             :     static T call(T x, Distance n)
     149             :     {
     150             :         x -= n;
     151             :         return x;
     152             :     }
     153             : };
     154             : 
     155             : template< typename T, typename Distance, bool IsIterator = is_iterator< T >::value >
     156             : struct prior_advance_impl :
     157             :     public prior_minus_assign_impl< T, Distance >
     158             : {
     159             : };
     160             : 
     161             : template< typename T, typename Distance >
     162             : struct prior_advance_impl< T, Distance, true >
     163             : {
     164             :     static T call(T x, Distance n)
     165             :     {
     166             :         // Avoid negating n to sidestep possible integer overflow
     167             :         boost::iterators::reverse_iterator< T > rx(x);
     168             :         boost::iterators::advance(rx, n);
     169             :         return rx.base();
     170             :     }
     171             : };
     172             : 
     173             : } // namespace next_prior_detail
     174             : 
     175             : template <class T>
     176             : inline T next(T x) { return ++x; }
     177             : 
     178             : template <class T, class Distance>
     179             : inline T next(T x, Distance n)
     180             : {
     181             :     return next_prior_detail::next_advance_impl< T, Distance >::call(x, n);
     182             : }
     183             : 
     184             : template <class T>
     185           0 : inline T prior(T x) { return --x; }
     186             : 
     187             : template <class T, class Distance>
     188             : inline T prior(T x, Distance n)
     189             : {
     190             :     return next_prior_detail::prior_advance_impl< T, Distance >::call(x, n);
     191             : }
     192             : 
     193             : } // namespace boost
     194             : 
     195             : #endif  // BOOST_NEXT_PRIOR_HPP_INCLUDED

Generated by: LCOV version 1.14