| /////////////////////////////////////////////////////////////////////////////// |
| // compile.hpp |
| // |
| // Copyright 2008 Eric Niebler. 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_XPRESSIVE_DETAIL_STATIC_COMPILE_HPP_EAN_10_04_2005 |
| #define BOOST_XPRESSIVE_DETAIL_STATIC_COMPILE_HPP_EAN_10_04_2005 |
| |
| // MS compatible compilers support #pragma once |
| #if defined(_MSC_VER) && (_MSC_VER >= 1020) |
| # pragma once |
| #endif |
| |
| #include <boost/mpl/bool.hpp> |
| #include <boost/iterator/iterator_traits.hpp> |
| #include <boost/proto/core.hpp> |
| #include <boost/xpressive/regex_traits.hpp> |
| #include <boost/xpressive/detail/core/regex_impl.hpp> |
| #include <boost/xpressive/detail/core/linker.hpp> |
| #include <boost/xpressive/detail/core/optimize.hpp> |
| #include <boost/xpressive/detail/core/adaptor.hpp> |
| #include <boost/xpressive/detail/core/matcher/end_matcher.hpp> |
| #include <boost/xpressive/detail/static/static.hpp> |
| #include <boost/xpressive/detail/static/visitor.hpp> |
| #include <boost/xpressive/detail/static/grammar.hpp> |
| |
| namespace boost { namespace xpressive { namespace detail |
| { |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // static_compile_impl2 |
| template<typename Xpr, typename BidiIter, typename Traits> |
| void static_compile_impl2(Xpr const &xpr, shared_ptr<regex_impl<BidiIter> > const &impl, Traits const &tr) |
| { |
| typedef typename iterator_value<BidiIter>::type char_type; |
| impl->tracking_clear(); |
| impl->traits_ = new traits_holder<Traits>(tr); |
| |
| // "compile" the regex and wrap it in an xpression_adaptor. |
| typedef xpression_visitor<BidiIter, mpl::false_, Traits> visitor_type; |
| visitor_type visitor(tr, impl); |
| intrusive_ptr<matchable_ex<BidiIter> const> adxpr = make_adaptor<matchable_ex<BidiIter> >( |
| typename Grammar<char_type>::template impl<Xpr const &, end_xpression, visitor_type &>()( |
| xpr |
| , end_xpression() |
| , visitor |
| ) |
| ); |
| |
| // Link and optimize the regex |
| common_compile(adxpr, *impl, visitor.traits()); |
| |
| // References changed, update dependencies. |
| impl->tracking_update(); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // pattern for imbued regexes. |
| struct XpressiveLocaleModifier |
| : proto::binary_expr< |
| modifier_tag |
| , proto::terminal<locale_modifier<proto::_> > |
| , proto::_ |
| > |
| {}; |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // static_compile_impl1 |
| template<typename Xpr, typename BidiIter> |
| typename disable_if<proto::matches<Xpr, XpressiveLocaleModifier> >::type |
| static_compile_impl1(Xpr const &xpr, shared_ptr<regex_impl<BidiIter> > const &impl) |
| { |
| // use default traits |
| typedef typename iterator_value<BidiIter>::type char_type; |
| typedef typename default_regex_traits<char_type>::type traits_type; |
| traits_type tr; |
| static_compile_impl2(xpr, impl, tr); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // static_compile_impl1 |
| template<typename Xpr, typename BidiIter> |
| typename enable_if<proto::matches<Xpr, XpressiveLocaleModifier> >::type |
| static_compile_impl1(Xpr const &xpr, shared_ptr<regex_impl<BidiIter> > const &impl) |
| { |
| // use specified traits |
| typedef typename proto::result_of::value<typename proto::result_of::left<Xpr>::type>::type::locale_type locale_type; |
| typedef typename regex_traits_type<locale_type, BidiIter>::type traits_type; |
| static_compile_impl2(proto::right(xpr), impl, traits_type(proto::value(proto::left(xpr)).getloc())); |
| } |
| |
| /////////////////////////////////////////////////////////////////////////////// |
| // static_compile |
| template<typename Xpr, typename BidiIter> |
| void static_compile(Xpr const &xpr, shared_ptr<regex_impl<BidiIter> > const &impl) |
| { |
| static_compile_impl1(xpr, impl); |
| } |
| |
| }}} // namespace boost::xpressive::detail |
| |
| #endif |