123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121 |
- // Copyright (c) 2001-2011 Hartmut Kaiser
- //
- // 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_LEX_LEXER_SEMANTIC_ACTION_DATA_JUN_10_2009_0417PM)
- #define BOOST_SPIRIT_LEX_LEXER_SEMANTIC_ACTION_DATA_JUN_10_2009_0417PM
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/spirit/home/lex/lexer/pass_flags.hpp>
- #include <boost/mpl/bool.hpp>
- #include <boost/function.hpp>
- #include <vector>
- namespace boost { namespace spirit { namespace lex { namespace lexertl
- {
- namespace detail
- {
- ///////////////////////////////////////////////////////////////////////
- template <typename Iterator, typename SupportsState, typename Data>
- struct semantic_actions;
- // This specialization of semantic_actions will be used if the token
- // type (lexer definition) does not support states, which simplifies
- // the data structures used to store the semantic action function
- // objects.
- template <typename Iterator, typename Data>
- struct semantic_actions<Iterator, mpl::false_, Data>
- {
- typedef void functor_type(Iterator&, Iterator&
- , BOOST_SCOPED_ENUM(pass_flags)&, std::size_t&, Data&);
- typedef boost::function<functor_type> functor_wrapper_type;
- // add a semantic action function object
- template <typename F>
- void add_action(std::size_t unique_id, std::size_t, F act)
- {
- if (actions_.size() <= unique_id)
- actions_.resize(unique_id + 1);
- actions_[unique_id] = act;
- }
- // try to invoke a semantic action for the given token (unique_id)
- BOOST_SCOPED_ENUM(pass_flags) invoke_actions(std::size_t /*state*/
- , std::size_t& id, std::size_t unique_id, Iterator& end
- , Data& data) const
- {
- // if there is nothing to invoke, continue with 'match'
- if (unique_id >= actions_.size() || !actions_[unique_id])
- return pass_flags::pass_normal;
- // Note: all arguments might be changed by the invoked semantic
- // action
- BOOST_SCOPED_ENUM(pass_flags) match = pass_flags::pass_normal;
- actions_[unique_id](data.get_first(), end, match, id, data);
- return match;
- }
- std::vector<functor_wrapper_type> actions_;
- };
- // This specialization of semantic_actions will be used if the token
- // type (lexer definition) needs to support states, resulting in a more
- // complex data structure needed for storing the semantic action
- // function objects.
- template <typename Iterator, typename Data>
- struct semantic_actions<Iterator, mpl::true_, Data>
- {
- typedef void functor_type(Iterator&, Iterator&
- , BOOST_SCOPED_ENUM(pass_flags)&, std::size_t&, Data&);
- typedef boost::function<functor_type> functor_wrapper_type;
- // add a semantic action function object
- template <typename F>
- void add_action(std::size_t unique_id, std::size_t state, F act)
- {
- if (actions_.size() <= state)
- actions_.resize(state + 1);
- std::vector<functor_wrapper_type>& actions (actions_[state]);
- if (actions.size() <= unique_id)
- actions.resize(unique_id + 1);
- actions[unique_id] = act;
- }
- // try to invoke a semantic action for the given token (unique_id)
- BOOST_SCOPED_ENUM(pass_flags) invoke_actions(std::size_t state
- , std::size_t& id, std::size_t unique_id, Iterator& end
- , Data& data) const
- {
- // if there is no action defined for this state, return match
- if (state >= actions_.size())
- return pass_flags::pass_normal;
- // if there is nothing to invoke, continue with 'match'
- std::vector<functor_wrapper_type> const& actions = actions_[state];
- if (unique_id >= actions.size() || !actions[unique_id])
- return pass_flags::pass_normal;
- // set token value
- data.set_end(end);
- // Note: all arguments might be changed by the invoked semantic
- // action
- BOOST_SCOPED_ENUM(pass_flags) match = pass_flags::pass_normal;
- actions[unique_id](data.get_first(), end, match, id, data);
- return match;
- }
- std::vector<std::vector<functor_wrapper_type> > actions_;
- };
- }
- }}}}
- #endif
|