Files
quickbook/src/template_stack.hpp
Daniel James 19ccdd6cbd Reformat
2017-12-24 12:46:59 +00:00

127 lines
4.0 KiB
C++

/*=============================================================================
Copyright (c) 2002 2004 2006 Joel de Guzman
http://spirit.sourceforge.net/
Use, modification and distribution is subject to 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_QUICKBOOK_TEMPLATE_STACK_HPP)
#define BOOST_SPIRIT_QUICKBOOK_TEMPLATE_STACK_HPP
#include <cassert>
#include <deque>
#include <string>
#include <vector>
#include <boost/assert.hpp>
#include <boost/filesystem/path.hpp>
#include <boost/next_prior.hpp>
#include <boost/spirit/include/classic_functor_parser.hpp>
#include <boost/spirit/include/classic_symbols.hpp>
#include <boost/tuple/tuple.hpp>
#include "fwd.hpp"
#include "template_tags.hpp"
#include "values.hpp"
namespace quickbook
{
namespace fs = boost::filesystem;
struct template_scope;
struct template_symbol
{
template_symbol(
std::string const& identifier,
std::vector<std::string> const& params,
value const& content,
template_scope const* parent = 0);
std::string identifier;
std::vector<std::string> params;
value content;
template_scope const* lexical_parent;
};
typedef boost::spirit::classic::symbols<template_symbol> template_symbols;
// template scope
//
// 1.4-: parent_scope is the previous scope on the dynamic
// lookup chain. This moves up the stack skipping
// 1.5 templates (but not 1.5 included files).
// 1.5+: parent_scope is the template's lexical parent.
//
// This means that a search along the parent_scope chain will follow the
// correct lookup chain for that version of quickboook.
//
// symbols contains the templates defined in this scope.
struct template_scope
{
template_scope() : parent_scope(), parent_1_4() {}
template_scope const* parent_scope;
template_scope const* parent_1_4;
template_symbols symbols;
};
struct template_stack
{
typedef std::deque<template_scope> deque;
struct parser
{
typedef boost::spirit::classic::nil_t result_t;
parser(template_stack& ts_) : ts(ts_) {}
template <typename Scanner>
std::ptrdiff_t operator()(Scanner const& scan, result_t) const
{
// search all scopes for the longest matching symbol.
typename Scanner::iterator_t f = scan.first;
std::ptrdiff_t len = -1;
for (template_scope const* i = &*ts.scopes.begin(); i;
i = i->parent_scope) {
boost::spirit::classic::match<> m = i->symbols.parse(scan);
if (m.length() > len) len = m.length();
scan.first = f;
}
if (len >= 0) scan.first = boost::next(f, len);
return len;
}
template_stack& ts;
private:
parser& operator=(parser const&);
};
template_stack();
template_symbol* find(std::string const& symbol) const;
template_symbol* find_top_scope(std::string const& symbol) const;
template_symbols const& top() const;
template_scope const& top_scope() const;
// Add the given template symbol to the current scope.
// If it doesn't have a scope, sets the symbol's scope to the current
// scope.
bool add(template_symbol const&);
void push();
void pop();
void start_template(template_symbol const*);
boost::spirit::classic::functor_parser<parser> scope;
private:
friend struct parser;
deque scopes;
template_scope const* parent_1_4;
template_stack& operator=(template_stack const&);
};
}
#endif // BOOST_SPIRIT_QUICKBOOK_TEMPLATE_STACK_HPP