range_run.ipp 6.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218
  1. /*=============================================================================
  2. Copyright (c) 2001-2003 Joel de Guzman
  3. http://spirit.sourceforge.net/
  4. Use, modification and distribution is subject to the Boost Software
  5. License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  6. http://www.boost.org/LICENSE_1_0.txt)
  7. =============================================================================*/
  8. #ifndef BOOST_SPIRIT_RANGE_RUN_IPP
  9. #define BOOST_SPIRIT_RANGE_RUN_IPP
  10. ///////////////////////////////////////////////////////////////////////////////
  11. #include <algorithm> // for std::lower_bound
  12. #include <boost/spirit/home/classic/core/assert.hpp> // for BOOST_SPIRIT_ASSERT
  13. #include <boost/spirit/home/classic/utility/impl/chset/range_run.hpp>
  14. #include <boost/spirit/home/classic/debug.hpp>
  15. #include <boost/limits.hpp>
  16. ///////////////////////////////////////////////////////////////////////////////
  17. namespace boost { namespace spirit {
  18. BOOST_SPIRIT_CLASSIC_NAMESPACE_BEGIN
  19. namespace utility { namespace impl {
  20. ///////////////////////////////////////////////////////////////////////
  21. //
  22. // range class implementation
  23. //
  24. ///////////////////////////////////////////////////////////////////////
  25. template <typename CharT>
  26. inline range<CharT>::range(CharT first_, CharT last_)
  27. : first(first_), last(last_) {}
  28. //////////////////////////////////
  29. template <typename CharT>
  30. inline bool
  31. range<CharT>::is_valid() const
  32. { return first <= last; }
  33. //////////////////////////////////
  34. template <typename CharT>
  35. inline bool
  36. range<CharT>::includes(range const& r) const
  37. { return (first <= r.first) && (last >= r.last); }
  38. //////////////////////////////////
  39. template <typename CharT>
  40. inline bool
  41. range<CharT>::includes(CharT v) const
  42. { return (first <= v) && (last >= v); }
  43. //////////////////////////////////
  44. template <typename CharT>
  45. inline bool
  46. range<CharT>::overlaps(range const& r) const
  47. {
  48. CharT decr_first =
  49. first == (std::numeric_limits<CharT>::min)() ? first : first-1;
  50. CharT incr_last =
  51. last == (std::numeric_limits<CharT>::max)() ? last : last+1;
  52. return (decr_first <= r.last) && (incr_last >= r.first);
  53. }
  54. //////////////////////////////////
  55. template <typename CharT>
  56. inline void
  57. range<CharT>::merge(range const& r)
  58. {
  59. first = (std::min)(first, r.first);
  60. last = (std::max)(last, r.last);
  61. }
  62. ///////////////////////////////////////////////////////////////////////
  63. //
  64. // range_run class implementation
  65. //
  66. ///////////////////////////////////////////////////////////////////////
  67. template <typename CharT>
  68. inline bool
  69. range_run<CharT>::test(CharT v) const
  70. {
  71. if (!run.empty())
  72. {
  73. const_iterator iter =
  74. std::lower_bound(
  75. run.begin(), run.end(), v,
  76. range_char_compare<CharT>()
  77. );
  78. if (iter != run.end() && iter->includes(v))
  79. return true;
  80. if (iter != run.begin())
  81. return (--iter)->includes(v);
  82. }
  83. return false;
  84. }
  85. //////////////////////////////////
  86. template <typename CharT>
  87. inline void
  88. range_run<CharT>::swap(range_run& rr)
  89. { run.swap(rr.run); }
  90. //////////////////////////////////
  91. template <typename CharT>
  92. void
  93. range_run<CharT>::merge(iterator iter, range<CharT> const& r)
  94. {
  95. iter->merge(r);
  96. iterator i = iter + 1;
  97. while (i != run.end() && iter->overlaps(*i))
  98. iter->merge(*i++);
  99. run.erase(iter+1, i);
  100. }
  101. //////////////////////////////////
  102. template <typename CharT>
  103. void
  104. range_run<CharT>::set(range<CharT> const& r)
  105. {
  106. BOOST_SPIRIT_ASSERT(r.is_valid());
  107. if (!run.empty())
  108. {
  109. iterator iter =
  110. std::lower_bound(
  111. run.begin(), run.end(), r,
  112. range_compare<CharT>()
  113. );
  114. if ((iter != run.end() && iter->includes(r)) ||
  115. ((iter != run.begin()) && (iter - 1)->includes(r)))
  116. return;
  117. if (iter != run.begin() && (iter - 1)->overlaps(r))
  118. merge(--iter, r);
  119. else if (iter != run.end() && iter->overlaps(r))
  120. merge(iter, r);
  121. else
  122. run.insert(iter, r);
  123. }
  124. else
  125. {
  126. run.push_back(r);
  127. }
  128. }
  129. //////////////////////////////////
  130. template <typename CharT>
  131. void
  132. range_run<CharT>::clear(range<CharT> const& r)
  133. {
  134. BOOST_SPIRIT_ASSERT(r.is_valid());
  135. if (!run.empty())
  136. {
  137. iterator iter =
  138. std::lower_bound(
  139. run.begin(), run.end(), r,
  140. range_compare<CharT>()
  141. );
  142. iterator left_iter;
  143. if ((iter != run.begin()) &&
  144. (left_iter = (iter - 1))->includes(r.first))
  145. {
  146. if (left_iter->last > r.last)
  147. {
  148. CharT save_last = left_iter->last;
  149. left_iter->last = r.first-1;
  150. run.insert(iter, range<CharT>(r.last+1, save_last));
  151. return;
  152. }
  153. else
  154. {
  155. left_iter->last = r.first-1;
  156. }
  157. }
  158. iterator i = iter;
  159. while (i != run.end() && r.includes(*i))
  160. i++;
  161. if (i != run.end() && i->includes(r.last))
  162. i->first = r.last+1;
  163. run.erase(iter, i);
  164. }
  165. }
  166. //////////////////////////////////
  167. template <typename CharT>
  168. inline void
  169. range_run<CharT>::clear()
  170. { run.clear(); }
  171. //////////////////////////////////
  172. template <typename CharT>
  173. inline typename range_run<CharT>::const_iterator
  174. range_run<CharT>::begin() const
  175. { return run.begin(); }
  176. //////////////////////////////////
  177. template <typename CharT>
  178. inline typename range_run<CharT>::const_iterator
  179. range_run<CharT>::end() const
  180. { return run.end(); }
  181. }} // namespace utility::impl
  182. BOOST_SPIRIT_CLASSIC_NAMESPACE_END
  183. }} // namespace boost::spirit
  184. #endif