123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429 |
- /*=============================================================================
- Copyright (c) 2001-2011 Joel de Guzman
- Distributed under the Boost Software License, Version 1.0. (See accompanying
- file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- ==============================================================================*/
- #if !defined(BOOST_SPIRIT_SYMBOLS_MARCH_11_2007_1055AM)
- #define BOOST_SPIRIT_SYMBOLS_MARCH_11_2007_1055AM
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/spirit/home/qi/domain.hpp>
- #include <boost/spirit/home/qi/skip_over.hpp>
- #include <boost/spirit/home/qi/string/tst.hpp>
- #include <boost/spirit/home/qi/reference.hpp>
- #include <boost/spirit/home/qi/meta_compiler.hpp>
- #include <boost/spirit/home/qi/detail/assign_to.hpp>
- #include <boost/spirit/home/qi/parser.hpp>
- #include <boost/spirit/home/support/detail/get_encoding.hpp>
- #include <boost/spirit/home/support/modify.hpp>
- #include <boost/spirit/home/support/info.hpp>
- #include <boost/spirit/home/support/unused.hpp>
- #include <boost/spirit/home/support/string_traits.hpp>
- #include <boost/proto/extends.hpp>
- #include <boost/proto/traits.hpp>
- #include <boost/range/begin.hpp>
- #include <boost/range/end.hpp>
- #include <boost/shared_ptr.hpp>
- #if defined(BOOST_MSVC)
- # pragma warning(push)
- # pragma warning(disable: 4355) // 'this' : used in base member initializer list warning
- #endif
- namespace boost { namespace spirit { namespace qi
- {
- template <
- typename Char = char
- , typename T = unused_type
- , typename Lookup = tst<Char, T>
- , typename Filter = tst_pass_through>
- struct symbols
- : proto::extends<
- typename proto::terminal<
- reference<symbols<Char, T, Lookup, Filter> >
- >::type
- , symbols<Char, T, Lookup, Filter>
- >
- , primitive_parser<symbols<Char, T, Lookup, Filter> >
- {
- typedef Char char_type; // the character type
- typedef T value_type; // the value associated with each entry
- typedef symbols<Char, T, Lookup, Filter> this_type;
- typedef reference<this_type> reference_;
- typedef typename proto::terminal<reference_>::type terminal;
- typedef proto::extends<terminal, this_type> base_type;
- template <typename Context, typename Iterator>
- struct attribute
- {
- typedef value_type type;
- };
- symbols(std::string const& name = "symbols")
- : base_type(terminal::make(reference_(*this)))
- , add(*this)
- , remove(*this)
- , lookup(new Lookup())
- , name_(name)
- {
- }
- symbols(symbols const& syms)
- : base_type(terminal::make(reference_(*this)))
- , add(*this)
- , remove(*this)
- , lookup(syms.lookup)
- , name_(syms.name_)
- {
- }
- template <typename Filter_>
- symbols(symbols<Char, T, Lookup, Filter_> const& syms)
- : base_type(terminal::make(reference_(*this)))
- , add(*this)
- , remove(*this)
- , lookup(syms.lookup)
- , name_(syms.name_)
- {
- }
- template <typename Symbols>
- symbols(Symbols const& syms, std::string const& name = "symbols")
- : base_type(terminal::make(reference_(*this)))
- , add(*this)
- , remove(*this)
- , lookup(new Lookup())
- , name_(name)
- {
- typename range_const_iterator<Symbols>::type si = boost::begin(syms);
- while (si != boost::end(syms))
- add(*si++);
- }
- template <typename Symbols, typename Data>
- symbols(Symbols const& syms, Data const& data
- , std::string const& name = "symbols")
- : base_type(terminal::make(reference_(*this)))
- , add(*this)
- , remove(*this)
- , lookup(new Lookup())
- , name_(name)
- {
- typename range_const_iterator<Symbols>::type si = boost::begin(syms);
- typename range_const_iterator<Data>::type di = boost::begin(data);
- while (si != boost::end(syms))
- add(*si++, *di++);
- }
- symbols&
- operator=(symbols const& rhs)
- {
- name_ = rhs.name_;
- *lookup = *rhs.lookup;
- return *this;
- }
- template <typename Filter_>
- symbols&
- operator=(symbols<Char, T, Lookup, Filter_> const& rhs)
- {
- name_ = rhs.name_;
- *lookup = *rhs.lookup;
- return *this;
- }
- void clear()
- {
- lookup->clear();
- }
- struct adder;
- struct remover;
- template <typename Str>
- adder const&
- operator=(Str const& str)
- {
- lookup->clear();
- return add(str);
- }
- template <typename Str>
- friend adder const&
- operator+=(symbols& sym, Str const& str)
- {
- return sym.add(str);
- }
- template <typename Str>
- friend remover const&
- operator-=(symbols& sym, Str const& str)
- {
- return sym.remove(str);
- }
- #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
- // non-const version needed to suppress proto's += kicking in
- template <typename Str>
- friend adder const&
- operator+=(symbols& sym, Str& str)
- {
- return sym.add(str);
- }
- // non-const version needed to suppress proto's -= kicking in
- template <typename Str>
- friend remover const&
- operator-=(symbols& sym, Str& str)
- {
- return sym.remove(str);
- }
- #else
- // for rvalue references
- template <typename Str>
- friend adder const&
- operator+=(symbols& sym, Str&& str)
- {
- return sym.add(str);
- }
- // for rvalue references
- template <typename Str>
- friend remover const&
- operator-=(symbols& sym, Str&& str)
- {
- return sym.remove(str);
- }
- #endif
- template <typename F>
- void for_each(F f) const
- {
- lookup->for_each(f);
- }
- template <typename Str>
- value_type& at(Str const& str)
- {
- return *lookup->add(traits::get_begin<Char>(str)
- , traits::get_end<Char>(str), T());
- }
- template <typename Iterator>
- value_type* prefix_find(Iterator& first, Iterator const& last)
- {
- return lookup->find(first, last, Filter());
- }
- template <typename Iterator>
- value_type const* prefix_find(Iterator& first, Iterator const& last) const
- {
- return lookup->find(first, last, Filter());
- }
- template <typename Str>
- value_type* find(Str const& str)
- {
- return find_impl(traits::get_begin<Char>(str)
- , traits::get_end<Char>(str));
- }
- template <typename Str>
- value_type const* find(Str const& str) const
- {
- return find_impl(traits::get_begin<Char>(str)
- , traits::get_end<Char>(str));
- }
- private:
- template <typename Iterator>
- value_type* find_impl(Iterator begin, Iterator end)
- {
- value_type* r = lookup->find(begin, end, Filter());
- return begin == end ? r : 0;
- }
- template <typename Iterator>
- value_type const* find_impl(Iterator begin, Iterator end) const
- {
- value_type const* r = lookup->find(begin, end, Filter());
- return begin == end ? r : 0;
- }
- public:
- template <typename Iterator, typename Context
- , typename Skipper, typename Attribute>
- bool parse(Iterator& first, Iterator const& last
- , Context& /*context*/, Skipper const& skipper, Attribute& attr_) const
- {
- qi::skip_over(first, last, skipper);
- if (value_type* val_ptr
- = lookup->find(first, last, Filter()))
- {
- spirit::traits::assign_to(*val_ptr, attr_);
- return true;
- }
- return false;
- }
- template <typename Context>
- info what(Context& /*context*/) const
- {
- return info(name_);
- }
- void name(std::string const &str)
- {
- name_ = str;
- }
- std::string const &name() const
- {
- return name_;
- }
- struct adder
- {
- template <typename, typename = unused_type, typename = unused_type>
- struct result { typedef adder const& type; };
- adder(symbols& sym_)
- : sym(sym_)
- {
- }
- template <typename Iterator>
- adder const&
- operator()(Iterator const& first, Iterator const& last, T const& val) const
- {
- sym.lookup->add(first, last, val);
- return *this;
- }
- template <typename Str>
- adder const&
- operator()(Str const& s, T const& val = T()) const
- {
- sym.lookup->add(traits::get_begin<Char>(s)
- , traits::get_end<Char>(s), val);
- return *this;
- }
- template <typename Str>
- adder const&
- operator,(Str const& s) const
- {
- sym.lookup->add(traits::get_begin<Char>(s)
- , traits::get_end<Char>(s), T());
- return *this;
- }
- symbols& sym;
- // silence MSVC warning C4512: assignment operator could not be generated
- BOOST_DELETED_FUNCTION(adder& operator= (adder const&))
- };
- struct remover
- {
- template <typename, typename = unused_type, typename = unused_type>
- struct result { typedef remover const& type; };
- remover(symbols& sym_)
- : sym(sym_)
- {
- }
- template <typename Iterator>
- remover const&
- operator()(Iterator const& first, Iterator const& last) const
- {
- sym.lookup->remove(first, last);
- return *this;
- }
- template <typename Str>
- remover const&
- operator()(Str const& s) const
- {
- sym.lookup->remove(traits::get_begin<Char>(s)
- , traits::get_end<Char>(s));
- return *this;
- }
- template <typename Str>
- remover const&
- operator,(Str const& s) const
- {
- sym.lookup->remove(traits::get_begin<Char>(s)
- , traits::get_end<Char>(s));
- return *this;
- }
- symbols& sym;
- // silence MSVC warning C4512: assignment operator could not be generated
- BOOST_DELETED_FUNCTION(remover& operator= (remover const&))
- };
- adder add;
- remover remove;
- shared_ptr<Lookup> lookup;
- std::string name_;
- };
- ///////////////////////////////////////////////////////////////////////////
- // Parser generators: make_xxx function (objects)
- ///////////////////////////////////////////////////////////////////////////
- template <typename Char, typename T, typename Lookup
- , typename Filter, typename Modifiers>
- struct make_primitive<reference<symbols<Char, T, Lookup, Filter> >, Modifiers>
- {
- template <typename CharEncoding>
- struct no_case_filter
- {
- Char operator()(Char ch) const
- {
- return static_cast<Char>(CharEncoding::tolower(ch));
- }
- };
- typedef has_modifier<Modifiers, tag::char_code_base<tag::no_case> > no_case;
- typedef reference<symbols<Char, T, Lookup, Filter> > reference_;
- typedef no_case_filter<
- typename spirit::detail::get_encoding_with_case<
- Modifiers
- , char_encoding::standard
- , no_case::value>::type>
- nc_filter;
- typedef typename mpl::if_<
- no_case
- , symbols<Char, T, Lookup, nc_filter>
- , reference_>::type
- result_type;
- result_type operator()(reference_ ref, unused_type) const
- {
- return result_type(ref.ref.get());
- }
- };
- }}}
- namespace boost { namespace spirit { namespace traits
- {
- ///////////////////////////////////////////////////////////////////////////
- template <typename Char, typename T, typename Lookup, typename Filter
- , typename Attr, typename Context, typename Iterator>
- struct handles_container<qi::symbols<Char, T, Lookup, Filter>, Attr, Context, Iterator>
- : traits::is_container<Attr> {};
- }}}
- #if defined(BOOST_MSVC)
- # pragma warning(pop)
- #endif
- #endif
|