symbols.hpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429
  1. /*=============================================================================
  2. Copyright (c) 2001-2011 Joel de Guzman
  3. Distributed under the Boost Software License, Version 1.0. (See accompanying
  4. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. ==============================================================================*/
  6. #if !defined(BOOST_SPIRIT_SYMBOLS_MARCH_11_2007_1055AM)
  7. #define BOOST_SPIRIT_SYMBOLS_MARCH_11_2007_1055AM
  8. #if defined(_MSC_VER)
  9. #pragma once
  10. #endif
  11. #include <boost/spirit/home/qi/domain.hpp>
  12. #include <boost/spirit/home/qi/skip_over.hpp>
  13. #include <boost/spirit/home/qi/string/tst.hpp>
  14. #include <boost/spirit/home/qi/reference.hpp>
  15. #include <boost/spirit/home/qi/meta_compiler.hpp>
  16. #include <boost/spirit/home/qi/detail/assign_to.hpp>
  17. #include <boost/spirit/home/qi/parser.hpp>
  18. #include <boost/spirit/home/support/detail/get_encoding.hpp>
  19. #include <boost/spirit/home/support/modify.hpp>
  20. #include <boost/spirit/home/support/info.hpp>
  21. #include <boost/spirit/home/support/unused.hpp>
  22. #include <boost/spirit/home/support/string_traits.hpp>
  23. #include <boost/proto/extends.hpp>
  24. #include <boost/proto/traits.hpp>
  25. #include <boost/range/begin.hpp>
  26. #include <boost/range/end.hpp>
  27. #include <boost/shared_ptr.hpp>
  28. #if defined(BOOST_MSVC)
  29. # pragma warning(push)
  30. # pragma warning(disable: 4355) // 'this' : used in base member initializer list warning
  31. #endif
  32. namespace boost { namespace spirit { namespace qi
  33. {
  34. template <
  35. typename Char = char
  36. , typename T = unused_type
  37. , typename Lookup = tst<Char, T>
  38. , typename Filter = tst_pass_through>
  39. struct symbols
  40. : proto::extends<
  41. typename proto::terminal<
  42. reference<symbols<Char, T, Lookup, Filter> >
  43. >::type
  44. , symbols<Char, T, Lookup, Filter>
  45. >
  46. , primitive_parser<symbols<Char, T, Lookup, Filter> >
  47. {
  48. typedef Char char_type; // the character type
  49. typedef T value_type; // the value associated with each entry
  50. typedef symbols<Char, T, Lookup, Filter> this_type;
  51. typedef reference<this_type> reference_;
  52. typedef typename proto::terminal<reference_>::type terminal;
  53. typedef proto::extends<terminal, this_type> base_type;
  54. template <typename Context, typename Iterator>
  55. struct attribute
  56. {
  57. typedef value_type type;
  58. };
  59. symbols(std::string const& name = "symbols")
  60. : base_type(terminal::make(reference_(*this)))
  61. , add(*this)
  62. , remove(*this)
  63. , lookup(new Lookup())
  64. , name_(name)
  65. {
  66. }
  67. symbols(symbols const& syms)
  68. : base_type(terminal::make(reference_(*this)))
  69. , add(*this)
  70. , remove(*this)
  71. , lookup(syms.lookup)
  72. , name_(syms.name_)
  73. {
  74. }
  75. template <typename Filter_>
  76. symbols(symbols<Char, T, Lookup, Filter_> const& syms)
  77. : base_type(terminal::make(reference_(*this)))
  78. , add(*this)
  79. , remove(*this)
  80. , lookup(syms.lookup)
  81. , name_(syms.name_)
  82. {
  83. }
  84. template <typename Symbols>
  85. symbols(Symbols const& syms, std::string const& name = "symbols")
  86. : base_type(terminal::make(reference_(*this)))
  87. , add(*this)
  88. , remove(*this)
  89. , lookup(new Lookup())
  90. , name_(name)
  91. {
  92. typename range_const_iterator<Symbols>::type si = boost::begin(syms);
  93. while (si != boost::end(syms))
  94. add(*si++);
  95. }
  96. template <typename Symbols, typename Data>
  97. symbols(Symbols const& syms, Data const& data
  98. , std::string const& name = "symbols")
  99. : base_type(terminal::make(reference_(*this)))
  100. , add(*this)
  101. , remove(*this)
  102. , lookup(new Lookup())
  103. , name_(name)
  104. {
  105. typename range_const_iterator<Symbols>::type si = boost::begin(syms);
  106. typename range_const_iterator<Data>::type di = boost::begin(data);
  107. while (si != boost::end(syms))
  108. add(*si++, *di++);
  109. }
  110. symbols&
  111. operator=(symbols const& rhs)
  112. {
  113. name_ = rhs.name_;
  114. *lookup = *rhs.lookup;
  115. return *this;
  116. }
  117. template <typename Filter_>
  118. symbols&
  119. operator=(symbols<Char, T, Lookup, Filter_> const& rhs)
  120. {
  121. name_ = rhs.name_;
  122. *lookup = *rhs.lookup;
  123. return *this;
  124. }
  125. void clear()
  126. {
  127. lookup->clear();
  128. }
  129. struct adder;
  130. struct remover;
  131. template <typename Str>
  132. adder const&
  133. operator=(Str const& str)
  134. {
  135. lookup->clear();
  136. return add(str);
  137. }
  138. template <typename Str>
  139. friend adder const&
  140. operator+=(symbols& sym, Str const& str)
  141. {
  142. return sym.add(str);
  143. }
  144. template <typename Str>
  145. friend remover const&
  146. operator-=(symbols& sym, Str const& str)
  147. {
  148. return sym.remove(str);
  149. }
  150. #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
  151. // non-const version needed to suppress proto's += kicking in
  152. template <typename Str>
  153. friend adder const&
  154. operator+=(symbols& sym, Str& str)
  155. {
  156. return sym.add(str);
  157. }
  158. // non-const version needed to suppress proto's -= kicking in
  159. template <typename Str>
  160. friend remover const&
  161. operator-=(symbols& sym, Str& str)
  162. {
  163. return sym.remove(str);
  164. }
  165. #else
  166. // for rvalue references
  167. template <typename Str>
  168. friend adder const&
  169. operator+=(symbols& sym, Str&& str)
  170. {
  171. return sym.add(str);
  172. }
  173. // for rvalue references
  174. template <typename Str>
  175. friend remover const&
  176. operator-=(symbols& sym, Str&& str)
  177. {
  178. return sym.remove(str);
  179. }
  180. #endif
  181. template <typename F>
  182. void for_each(F f) const
  183. {
  184. lookup->for_each(f);
  185. }
  186. template <typename Str>
  187. value_type& at(Str const& str)
  188. {
  189. return *lookup->add(traits::get_begin<Char>(str)
  190. , traits::get_end<Char>(str), T());
  191. }
  192. template <typename Iterator>
  193. value_type* prefix_find(Iterator& first, Iterator const& last)
  194. {
  195. return lookup->find(first, last, Filter());
  196. }
  197. template <typename Iterator>
  198. value_type const* prefix_find(Iterator& first, Iterator const& last) const
  199. {
  200. return lookup->find(first, last, Filter());
  201. }
  202. template <typename Str>
  203. value_type* find(Str const& str)
  204. {
  205. return find_impl(traits::get_begin<Char>(str)
  206. , traits::get_end<Char>(str));
  207. }
  208. template <typename Str>
  209. value_type const* find(Str const& str) const
  210. {
  211. return find_impl(traits::get_begin<Char>(str)
  212. , traits::get_end<Char>(str));
  213. }
  214. private:
  215. template <typename Iterator>
  216. value_type* find_impl(Iterator begin, Iterator end)
  217. {
  218. value_type* r = lookup->find(begin, end, Filter());
  219. return begin == end ? r : 0;
  220. }
  221. template <typename Iterator>
  222. value_type const* find_impl(Iterator begin, Iterator end) const
  223. {
  224. value_type const* r = lookup->find(begin, end, Filter());
  225. return begin == end ? r : 0;
  226. }
  227. public:
  228. template <typename Iterator, typename Context
  229. , typename Skipper, typename Attribute>
  230. bool parse(Iterator& first, Iterator const& last
  231. , Context& /*context*/, Skipper const& skipper, Attribute& attr_) const
  232. {
  233. qi::skip_over(first, last, skipper);
  234. if (value_type* val_ptr
  235. = lookup->find(first, last, Filter()))
  236. {
  237. spirit::traits::assign_to(*val_ptr, attr_);
  238. return true;
  239. }
  240. return false;
  241. }
  242. template <typename Context>
  243. info what(Context& /*context*/) const
  244. {
  245. return info(name_);
  246. }
  247. void name(std::string const &str)
  248. {
  249. name_ = str;
  250. }
  251. std::string const &name() const
  252. {
  253. return name_;
  254. }
  255. struct adder
  256. {
  257. template <typename, typename = unused_type, typename = unused_type>
  258. struct result { typedef adder const& type; };
  259. adder(symbols& sym_)
  260. : sym(sym_)
  261. {
  262. }
  263. template <typename Iterator>
  264. adder const&
  265. operator()(Iterator const& first, Iterator const& last, T const& val) const
  266. {
  267. sym.lookup->add(first, last, val);
  268. return *this;
  269. }
  270. template <typename Str>
  271. adder const&
  272. operator()(Str const& s, T const& val = T()) const
  273. {
  274. sym.lookup->add(traits::get_begin<Char>(s)
  275. , traits::get_end<Char>(s), val);
  276. return *this;
  277. }
  278. template <typename Str>
  279. adder const&
  280. operator,(Str const& s) const
  281. {
  282. sym.lookup->add(traits::get_begin<Char>(s)
  283. , traits::get_end<Char>(s), T());
  284. return *this;
  285. }
  286. symbols& sym;
  287. // silence MSVC warning C4512: assignment operator could not be generated
  288. BOOST_DELETED_FUNCTION(adder& operator= (adder const&))
  289. };
  290. struct remover
  291. {
  292. template <typename, typename = unused_type, typename = unused_type>
  293. struct result { typedef remover const& type; };
  294. remover(symbols& sym_)
  295. : sym(sym_)
  296. {
  297. }
  298. template <typename Iterator>
  299. remover const&
  300. operator()(Iterator const& first, Iterator const& last) const
  301. {
  302. sym.lookup->remove(first, last);
  303. return *this;
  304. }
  305. template <typename Str>
  306. remover const&
  307. operator()(Str const& s) const
  308. {
  309. sym.lookup->remove(traits::get_begin<Char>(s)
  310. , traits::get_end<Char>(s));
  311. return *this;
  312. }
  313. template <typename Str>
  314. remover const&
  315. operator,(Str const& s) const
  316. {
  317. sym.lookup->remove(traits::get_begin<Char>(s)
  318. , traits::get_end<Char>(s));
  319. return *this;
  320. }
  321. symbols& sym;
  322. // silence MSVC warning C4512: assignment operator could not be generated
  323. BOOST_DELETED_FUNCTION(remover& operator= (remover const&))
  324. };
  325. adder add;
  326. remover remove;
  327. shared_ptr<Lookup> lookup;
  328. std::string name_;
  329. };
  330. ///////////////////////////////////////////////////////////////////////////
  331. // Parser generators: make_xxx function (objects)
  332. ///////////////////////////////////////////////////////////////////////////
  333. template <typename Char, typename T, typename Lookup
  334. , typename Filter, typename Modifiers>
  335. struct make_primitive<reference<symbols<Char, T, Lookup, Filter> >, Modifiers>
  336. {
  337. template <typename CharEncoding>
  338. struct no_case_filter
  339. {
  340. Char operator()(Char ch) const
  341. {
  342. return static_cast<Char>(CharEncoding::tolower(ch));
  343. }
  344. };
  345. typedef has_modifier<Modifiers, tag::char_code_base<tag::no_case> > no_case;
  346. typedef reference<symbols<Char, T, Lookup, Filter> > reference_;
  347. typedef no_case_filter<
  348. typename spirit::detail::get_encoding_with_case<
  349. Modifiers
  350. , char_encoding::standard
  351. , no_case::value>::type>
  352. nc_filter;
  353. typedef typename mpl::if_<
  354. no_case
  355. , symbols<Char, T, Lookup, nc_filter>
  356. , reference_>::type
  357. result_type;
  358. result_type operator()(reference_ ref, unused_type) const
  359. {
  360. return result_type(ref.ref.get());
  361. }
  362. };
  363. }}}
  364. namespace boost { namespace spirit { namespace traits
  365. {
  366. ///////////////////////////////////////////////////////////////////////////
  367. template <typename Char, typename T, typename Lookup, typename Filter
  368. , typename Attr, typename Context, typename Iterator>
  369. struct handles_container<qi::symbols<Char, T, Lookup, Filter>, Attr, Context, Iterator>
  370. : traits::is_container<Attr> {};
  371. }}}
  372. #if defined(BOOST_MSVC)
  373. # pragma warning(pop)
  374. #endif
  375. #endif