libs/spirit/example/qi/compiler_tutorial/conjure2/lexer.hpp

/*=============================================================================
    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_CONJURE_LEXER_HPP)
#define BOOST_SPIRIT_CONJURE_LEXER_HPP

#include "config.hpp"
#include "token_ids.hpp"

#if CONJURE_LEXER_STATIC_TABLES != 0
#include <boost/spirit/include/lex_static_lexertl.hpp>
#include "conjure_static_lexer.hpp"
#elif CONJURE_LEXER_STATIC_SWITCH != 0
#include <boost/spirit/include/lex_static_lexertl.hpp>
#include "conjure_static_switch_lexer.hpp"
#endif

namespace client { namespace lexer 
{
    ///////////////////////////////////////////////////////////////////////////
    namespace detail
    {
        namespace lex = boost::spirit::lex;

        template <typename BaseIterator>
        struct get_lexer_type
        {
            // Our token needs to be able to carry several token values: 
            // std::string, unsigned int, and bool
            typedef boost::mpl::vector<std::string, unsigned int, bool> 
                token_value_types;

            // Using the position_token class as the token type to be returned
            // from the lexer iterators allows to retain positional information
            // as every token instance stores an iterator pair pointing to the
            // matched input sequence.
            typedef lex::lexertl::position_token<
                BaseIterator, token_value_types, boost::mpl::false_
            > token_type;

#if CONJURE_LEXER_DYNAMIC_TABLES != 0
            // use the lexer based on runtime generated DFA tables
            typedef lex::lexertl::actor_lexer<token_type> type;
#elif CONJURE_LEXER_STATIC_TABLES != 0
            // use the lexer based on pre-generated static DFA tables
            typedef lex::lexertl::static_actor_lexer<
                token_type
              , boost::spirit::lex::lexertl::static_::lexer_conjure_static
            > type;
#elif CONJURE_LEXER_STATIC_SWITCH != 0
            // use the lexer based on pre-generated static code
            typedef lex::lexertl::static_actor_lexer<
                token_type
              , boost::spirit::lex::lexertl::static_::lexer_conjure_static_switch
            > type;
#else
#error "Configuration problem: please select exactly one type of lexer to build"
#endif
        };
    }

    ///////////////////////////////////////////////////////////////////////////
    template <typename BaseIterator>
    struct conjure_tokens 
      : lex::lexer<typename detail::get_lexer_type<BaseIterator>::type>
    {
        typedef BaseIterator base_iterator_type;

        conjure_tokens();

        lex::token_def<std::string> identifier;
        lex::token_def<unsigned int> uint_;
        lex::token_def<bool> bool_;
    };
}}

#endif