/usr/include/boost/spirit/home/qi/auxiliary
Edit: /usr/include/boost/spirit/home/qi/auxiliary/attr_cast.hpp (5478B)
// 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)
#ifndef BOOST_SPIRIT_QI_AUXILIARY_ATTR_CAST_HPP
#define BOOST_SPIRIT_QI_AUXILIARY_ATTR_CAST_HPP
#if defined(_MSC_VER)
#pragma once
#endif
#include
#include
#include
#include
#include
#include
#include
#include
namespace boost { namespace spirit
{
///////////////////////////////////////////////////////////////////////////
// Enablers
///////////////////////////////////////////////////////////////////////////
// enables attr_cast<>() pseudo parser
template
struct use_terminal >
: mpl::true_ {};
}}
namespace boost { namespace spirit { namespace qi
{
using spirit::attr_cast;
///////////////////////////////////////////////////////////////////////////
// attr_cast_parser consumes the attribute of subject generator without
// generating anything
///////////////////////////////////////////////////////////////////////////
template
struct attr_cast_parser
: unary_parser >
{
typedef typename result_of::compile::type
subject_type;
typedef typename mpl::eval_if<
traits::not_is_unused
, mpl::identity
, traits::attribute_of >::type
transformed_attribute_type;
attr_cast_parser(Subject const& subject_)
: subject(subject_)
{
// If you got an error_invalid_expression error message here,
// then the expression (Subject) is not a valid spirit qi
// expression.
BOOST_SPIRIT_ASSERT_MATCH(qi::domain, Subject);
}
// If Exposed is given, we use the given type, otherwise all we can do
// is to guess, so we expose our inner type as an attribute and
// deal with the passed attribute inside the parse function.
template
struct attribute
: mpl::if_, Exposed
, transformed_attribute_type>
{};
template
bool parse(Iterator& first, Iterator const& last
, Context& context, Skipper const& skipper
, Attribute& attr_param) const
{
// Find the real exposed attribute. If exposed is given, we use it
// otherwise we assume the exposed attribute type to be the actual
// attribute type as passed by the user.
typedef typename mpl::if_<
traits::not_is_unused, Exposed, Attribute>::type
exposed_attribute_type;
// do down-stream transformation, provides attribute for embedded
// parser
typedef traits::transform_attribute<
exposed_attribute_type, transformed_attribute_type, domain>
transform;
typename transform::type attr_ = transform::pre(attr_param);
if (!compile(subject).
parse(first, last, context, skipper, attr_))
{
transform::fail(attr_param);
return false;
}
// do up-stream transformation, this mainly integrates the results
// back into the original attribute value, if appropriate
transform::post(attr_param, attr_);
return true;
}
template
info what(Context& context) const
{
return info("attr_cast"
, compile(subject).what(context));
}
Subject subject;
// silence MSVC warning C4512: assignment operator could not be generated
BOOST_DELETED_FUNCTION(attr_cast_parser& operator= (attr_cast_parser const&))
};
///////////////////////////////////////////////////////////////////////////
// Parser generator: make_xxx function (objects)
///////////////////////////////////////////////////////////////////////////
template
struct make_primitive<
tag::stateful_tag, Modifiers>
{
typedef attr_cast_parser result_type;
template
result_type operator()(Terminal const& term, unused_type) const
{
typedef tag::stateful_tag<
Expr, tag::attr_cast, Exposed, Transformed> tag_type;
using spirit::detail::get_stateful_data;
return result_type(get_stateful_data::call(term));
}
};
}}}
#endif