chset_operators.ipp 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592
  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_CHSET_OPERATORS_IPP
  9. #define BOOST_SPIRIT_CHSET_OPERATORS_IPP
  10. ///////////////////////////////////////////////////////////////////////////////
  11. #include <boost/limits.hpp>
  12. ///////////////////////////////////////////////////////////////////////////////
  13. namespace boost { namespace spirit {
  14. BOOST_SPIRIT_CLASSIC_NAMESPACE_BEGIN
  15. ///////////////////////////////////////////////////////////////////////////////
  16. //
  17. // chset free operators implementation
  18. //
  19. ///////////////////////////////////////////////////////////////////////////////
  20. template <typename CharT>
  21. inline chset<CharT>
  22. operator|(chset<CharT> const& a, chset<CharT> const& b)
  23. {
  24. return chset<CharT>(a) |= b;
  25. }
  26. //////////////////////////////////
  27. template <typename CharT>
  28. inline chset<CharT>
  29. operator-(chset<CharT> const& a, chset<CharT> const& b)
  30. {
  31. return chset<CharT>(a) -= b;
  32. }
  33. //////////////////////////////////
  34. template <typename CharT>
  35. inline chset<CharT>
  36. operator~(chset<CharT> const& a)
  37. {
  38. return chset<CharT>(a).inverse();
  39. }
  40. //////////////////////////////////
  41. template <typename CharT>
  42. inline chset<CharT>
  43. operator&(chset<CharT> const& a, chset<CharT> const& b)
  44. {
  45. return chset<CharT>(a) &= b;
  46. }
  47. //////////////////////////////////
  48. template <typename CharT>
  49. inline chset<CharT>
  50. operator^(chset<CharT> const& a, chset<CharT> const& b)
  51. {
  52. return chset<CharT>(a) ^= b;
  53. }
  54. ///////////////////////////////////////////////////////////////////////////////
  55. //
  56. // range <--> chset free operators implementation
  57. //
  58. ///////////////////////////////////////////////////////////////////////////////
  59. template <typename CharT>
  60. inline chset<CharT>
  61. operator|(chset<CharT> const& a, range<CharT> const& b)
  62. {
  63. chset<CharT> a_(a);
  64. a_.set(b);
  65. return a_;
  66. }
  67. //////////////////////////////////
  68. template <typename CharT>
  69. inline chset<CharT>
  70. operator&(chset<CharT> const& a, range<CharT> const& b)
  71. {
  72. chset<CharT> a_(a);
  73. if(b.first != (std::numeric_limits<CharT>::min)()) {
  74. a_.clear(range<CharT>((std::numeric_limits<CharT>::min)(), b.first - 1));
  75. }
  76. if(b.last != (std::numeric_limits<CharT>::max)()) {
  77. a_.clear(range<CharT>(b.last + 1, (std::numeric_limits<CharT>::max)()));
  78. }
  79. return a_;
  80. }
  81. //////////////////////////////////
  82. template <typename CharT>
  83. inline chset<CharT>
  84. operator-(chset<CharT> const& a, range<CharT> const& b)
  85. {
  86. chset<CharT> a_(a);
  87. a_.clear(b);
  88. return a_;
  89. }
  90. //////////////////////////////////
  91. template <typename CharT>
  92. inline chset<CharT>
  93. operator^(chset<CharT> const& a, range<CharT> const& b)
  94. {
  95. return a ^ chset<CharT>(b);
  96. }
  97. //////////////////////////////////
  98. template <typename CharT>
  99. inline chset<CharT>
  100. operator|(range<CharT> const& a, chset<CharT> const& b)
  101. {
  102. chset<CharT> b_(b);
  103. b_.set(a);
  104. return b_;
  105. }
  106. //////////////////////////////////
  107. template <typename CharT>
  108. inline chset<CharT>
  109. operator&(range<CharT> const& a, chset<CharT> const& b)
  110. {
  111. chset<CharT> b_(b);
  112. if(a.first != (std::numeric_limits<CharT>::min)()) {
  113. b_.clear(range<CharT>((std::numeric_limits<CharT>::min)(), a.first - 1));
  114. }
  115. if(a.last != (std::numeric_limits<CharT>::max)()) {
  116. b_.clear(range<CharT>(a.last + 1, (std::numeric_limits<CharT>::max)()));
  117. }
  118. return b_;
  119. }
  120. //////////////////////////////////
  121. template <typename CharT>
  122. inline chset<CharT>
  123. operator-(range<CharT> const& a, chset<CharT> const& b)
  124. {
  125. return chset<CharT>(a) - b;
  126. }
  127. //////////////////////////////////
  128. template <typename CharT>
  129. inline chset<CharT>
  130. operator^(range<CharT> const& a, chset<CharT> const& b)
  131. {
  132. return chset<CharT>(a) ^ b;
  133. }
  134. ///////////////////////////////////////////////////////////////////////////////
  135. //
  136. // literal primitives <--> chset free operators implementation
  137. //
  138. ///////////////////////////////////////////////////////////////////////////////
  139. template <typename CharT>
  140. inline chset<CharT>
  141. operator|(chset<CharT> const& a, CharT b)
  142. {
  143. return a | chset<CharT>(b);
  144. }
  145. //////////////////////////////////
  146. template <typename CharT>
  147. inline chset<CharT>
  148. operator&(chset<CharT> const& a, CharT b)
  149. {
  150. return a & chset<CharT>(b);
  151. }
  152. //////////////////////////////////
  153. template <typename CharT>
  154. inline chset<CharT>
  155. operator-(chset<CharT> const& a, CharT b)
  156. {
  157. return a - chset<CharT>(b);
  158. }
  159. //////////////////////////////////
  160. template <typename CharT>
  161. inline chset<CharT>
  162. operator^(chset<CharT> const& a, CharT b)
  163. {
  164. return a ^ chset<CharT>(b);
  165. }
  166. //////////////////////////////////
  167. template <typename CharT>
  168. inline chset<CharT>
  169. operator|(CharT a, chset<CharT> const& b)
  170. {
  171. return chset<CharT>(a) | b;
  172. }
  173. //////////////////////////////////
  174. template <typename CharT>
  175. inline chset<CharT>
  176. operator&(CharT a, chset<CharT> const& b)
  177. {
  178. return chset<CharT>(a) & b;
  179. }
  180. //////////////////////////////////
  181. template <typename CharT>
  182. inline chset<CharT>
  183. operator-(CharT a, chset<CharT> const& b)
  184. {
  185. return chset<CharT>(a) - b;
  186. }
  187. //////////////////////////////////
  188. template <typename CharT>
  189. inline chset<CharT>
  190. operator^(CharT a, chset<CharT> const& b)
  191. {
  192. return chset<CharT>(a) ^ b;
  193. }
  194. ///////////////////////////////////////////////////////////////////////////////
  195. //
  196. // chlit <--> chset free operators implementation
  197. //
  198. ///////////////////////////////////////////////////////////////////////////////
  199. template <typename CharT>
  200. inline chset<CharT>
  201. operator|(chset<CharT> const& a, chlit<CharT> const& b)
  202. {
  203. return a | chset<CharT>(b.ch);
  204. }
  205. //////////////////////////////////
  206. template <typename CharT>
  207. inline chset<CharT>
  208. operator&(chset<CharT> const& a, chlit<CharT> const& b)
  209. {
  210. return a & chset<CharT>(b.ch);
  211. }
  212. //////////////////////////////////
  213. template <typename CharT>
  214. inline chset<CharT>
  215. operator-(chset<CharT> const& a, chlit<CharT> const& b)
  216. {
  217. return a - chset<CharT>(b.ch);
  218. }
  219. //////////////////////////////////
  220. template <typename CharT>
  221. inline chset<CharT>
  222. operator^(chset<CharT> const& a, chlit<CharT> const& b)
  223. {
  224. return a ^ chset<CharT>(b.ch);
  225. }
  226. //////////////////////////////////
  227. template <typename CharT>
  228. inline chset<CharT>
  229. operator|(chlit<CharT> const& a, chset<CharT> const& b)
  230. {
  231. return chset<CharT>(a.ch) | b;
  232. }
  233. //////////////////////////////////
  234. template <typename CharT>
  235. inline chset<CharT>
  236. operator&(chlit<CharT> const& a, chset<CharT> const& b)
  237. {
  238. return chset<CharT>(a.ch) & b;
  239. }
  240. //////////////////////////////////
  241. template <typename CharT>
  242. inline chset<CharT>
  243. operator-(chlit<CharT> const& a, chset<CharT> const& b)
  244. {
  245. return chset<CharT>(a.ch) - b;
  246. }
  247. //////////////////////////////////
  248. template <typename CharT>
  249. inline chset<CharT>
  250. operator^(chlit<CharT> const& a, chset<CharT> const& b)
  251. {
  252. return chset<CharT>(a.ch) ^ b;
  253. }
  254. ///////////////////////////////////////////////////////////////////////////////
  255. //
  256. // negated_char_parser<range> <--> chset free operators implementation
  257. //
  258. ///////////////////////////////////////////////////////////////////////////////
  259. template <typename CharT>
  260. inline chset<CharT>
  261. operator|(chset<CharT> const& a, negated_char_parser<range<CharT> > const& b)
  262. {
  263. return a | chset<CharT>(b);
  264. }
  265. //////////////////////////////////
  266. template <typename CharT>
  267. inline chset<CharT>
  268. operator&(chset<CharT> const& a, negated_char_parser<range<CharT> > const& b)
  269. {
  270. return a & chset<CharT>(b);
  271. }
  272. //////////////////////////////////
  273. template <typename CharT>
  274. inline chset<CharT>
  275. operator-(chset<CharT> const& a, negated_char_parser<range<CharT> > const& b)
  276. {
  277. return a - chset<CharT>(b);
  278. }
  279. //////////////////////////////////
  280. template <typename CharT>
  281. inline chset<CharT>
  282. operator^(chset<CharT> const& a, negated_char_parser<range<CharT> > const& b)
  283. {
  284. return a ^ chset<CharT>(b);
  285. }
  286. //////////////////////////////////
  287. template <typename CharT>
  288. inline chset<CharT>
  289. operator|(negated_char_parser<range<CharT> > const& a, chset<CharT> const& b)
  290. {
  291. return chset<CharT>(a) | b;
  292. }
  293. //////////////////////////////////
  294. template <typename CharT>
  295. inline chset<CharT>
  296. operator&(negated_char_parser<range<CharT> > const& a, chset<CharT> const& b)
  297. {
  298. return chset<CharT>(a) & b;
  299. }
  300. //////////////////////////////////
  301. template <typename CharT>
  302. inline chset<CharT>
  303. operator-(negated_char_parser<range<CharT> > const& a, chset<CharT> const& b)
  304. {
  305. return chset<CharT>(a) - b;
  306. }
  307. //////////////////////////////////
  308. template <typename CharT>
  309. inline chset<CharT>
  310. operator^(negated_char_parser<range<CharT> > const& a, chset<CharT> const& b)
  311. {
  312. return chset<CharT>(a) ^ b;
  313. }
  314. ///////////////////////////////////////////////////////////////////////////////
  315. //
  316. // negated_char_parser<chlit> <--> chset free operators implementation
  317. //
  318. ///////////////////////////////////////////////////////////////////////////////
  319. template <typename CharT>
  320. inline chset<CharT>
  321. operator|(chset<CharT> const& a, negated_char_parser<chlit<CharT> > const& b)
  322. {
  323. return a | chset<CharT>(b);
  324. }
  325. //////////////////////////////////
  326. template <typename CharT>
  327. inline chset<CharT>
  328. operator&(chset<CharT> const& a, negated_char_parser<chlit<CharT> > const& b)
  329. {
  330. return a & chset<CharT>(b);
  331. }
  332. //////////////////////////////////
  333. template <typename CharT>
  334. inline chset<CharT>
  335. operator-(chset<CharT> const& a, negated_char_parser<chlit<CharT> > const& b)
  336. {
  337. return a - chset<CharT>(b);
  338. }
  339. //////////////////////////////////
  340. template <typename CharT>
  341. inline chset<CharT>
  342. operator^(chset<CharT> const& a, negated_char_parser<chlit<CharT> > const& b)
  343. {
  344. return a ^ chset<CharT>(b);
  345. }
  346. //////////////////////////////////
  347. template <typename CharT>
  348. inline chset<CharT>
  349. operator|(negated_char_parser<chlit<CharT> > const& a, chset<CharT> const& b)
  350. {
  351. return chset<CharT>(a) | b;
  352. }
  353. //////////////////////////////////
  354. template <typename CharT>
  355. inline chset<CharT>
  356. operator&(negated_char_parser<chlit<CharT> > const& a, chset<CharT> const& b)
  357. {
  358. return chset<CharT>(a) & b;
  359. }
  360. //////////////////////////////////
  361. template <typename CharT>
  362. inline chset<CharT>
  363. operator-(negated_char_parser<chlit<CharT> > const& a, chset<CharT> const& b)
  364. {
  365. return chset<CharT>(a) - b;
  366. }
  367. //////////////////////////////////
  368. template <typename CharT>
  369. inline chset<CharT>
  370. operator^(negated_char_parser<chlit<CharT> > const& a, chset<CharT> const& b)
  371. {
  372. return chset<CharT>(a) ^ b;
  373. }
  374. ///////////////////////////////////////////////////////////////////////////////
  375. //
  376. // anychar_parser <--> chset free operators
  377. //
  378. // Where a is chset and b is a anychar_parser, and vice-versa, implements:
  379. //
  380. // a | b, a & b, a - b, a ^ b
  381. //
  382. ///////////////////////////////////////////////////////////////////////////////
  383. namespace impl {
  384. template <typename CharT>
  385. inline BOOST_SPIRIT_CLASSIC_NS::range<CharT> const&
  386. full()
  387. {
  388. static BOOST_SPIRIT_CLASSIC_NS::range<CharT> full_(
  389. (std::numeric_limits<CharT>::min)(),
  390. (std::numeric_limits<CharT>::max)());
  391. return full_;
  392. }
  393. template <typename CharT>
  394. inline BOOST_SPIRIT_CLASSIC_NS::range<CharT> const&
  395. empty()
  396. {
  397. static BOOST_SPIRIT_CLASSIC_NS::range<CharT> empty_;
  398. return empty_;
  399. }
  400. }
  401. //////////////////////////////////
  402. template <typename CharT>
  403. inline chset<CharT>
  404. operator|(chset<CharT> const&, anychar_parser)
  405. {
  406. return chset<CharT>(impl::full<CharT>());
  407. }
  408. //////////////////////////////////
  409. template <typename CharT>
  410. inline chset<CharT>
  411. operator&(chset<CharT> const& a, anychar_parser)
  412. {
  413. return a;
  414. }
  415. //////////////////////////////////
  416. template <typename CharT>
  417. inline chset<CharT>
  418. operator-(chset<CharT> const&, anychar_parser)
  419. {
  420. return chset<CharT>();
  421. }
  422. //////////////////////////////////
  423. template <typename CharT>
  424. inline chset<CharT>
  425. operator^(chset<CharT> const& a, anychar_parser)
  426. {
  427. return ~a;
  428. }
  429. //////////////////////////////////
  430. template <typename CharT>
  431. inline chset<CharT>
  432. operator|(anychar_parser, chset<CharT> const& /*b*/)
  433. {
  434. return chset<CharT>(impl::full<CharT>());
  435. }
  436. //////////////////////////////////
  437. template <typename CharT>
  438. inline chset<CharT>
  439. operator&(anychar_parser, chset<CharT> const& b)
  440. {
  441. return b;
  442. }
  443. //////////////////////////////////
  444. template <typename CharT>
  445. inline chset<CharT>
  446. operator-(anychar_parser, chset<CharT> const& b)
  447. {
  448. return ~b;
  449. }
  450. //////////////////////////////////
  451. template <typename CharT>
  452. inline chset<CharT>
  453. operator^(anychar_parser, chset<CharT> const& b)
  454. {
  455. return ~b;
  456. }
  457. ///////////////////////////////////////////////////////////////////////////////
  458. //
  459. // nothing_parser <--> chset free operators implementation
  460. //
  461. ///////////////////////////////////////////////////////////////////////////////
  462. template <typename CharT>
  463. inline chset<CharT>
  464. operator|(chset<CharT> const& a, nothing_parser)
  465. {
  466. return a;
  467. }
  468. //////////////////////////////////
  469. template <typename CharT>
  470. inline chset<CharT>
  471. operator&(chset<CharT> const& /*a*/, nothing_parser)
  472. {
  473. return impl::empty<CharT>();
  474. }
  475. //////////////////////////////////
  476. template <typename CharT>
  477. inline chset<CharT>
  478. operator-(chset<CharT> const& a, nothing_parser)
  479. {
  480. return a;
  481. }
  482. //////////////////////////////////
  483. template <typename CharT>
  484. inline chset<CharT>
  485. operator^(chset<CharT> const& a, nothing_parser)
  486. {
  487. return a;
  488. }
  489. //////////////////////////////////
  490. template <typename CharT>
  491. inline chset<CharT>
  492. operator|(nothing_parser, chset<CharT> const& b)
  493. {
  494. return b;
  495. }
  496. //////////////////////////////////
  497. template <typename CharT>
  498. inline chset<CharT>
  499. operator&(nothing_parser, chset<CharT> const& /*b*/)
  500. {
  501. return impl::empty<CharT>();
  502. }
  503. //////////////////////////////////
  504. template <typename CharT>
  505. inline chset<CharT>
  506. operator-(nothing_parser, chset<CharT> const& /*b*/)
  507. {
  508. return impl::empty<CharT>();
  509. }
  510. //////////////////////////////////
  511. template <typename CharT>
  512. inline chset<CharT>
  513. operator^(nothing_parser, chset<CharT> const& b)
  514. {
  515. return b;
  516. }
  517. ///////////////////////////////////////////////////////////////////////////////
  518. BOOST_SPIRIT_CLASSIC_NAMESPACE_END
  519. }} // namespace boost::spirit
  520. #endif