x
Yes
No
Do you want to visit DriveHQ English website?
首页
产品服务
价格
免费试用
下载客户端
关于我们
云文件服务
|
云备份服务
|
FTP服务
|
企业邮箱服务
|
网站托管
|
客户端软件
云文件服务
云备份服务
FTP服务
企业级邮箱服务
网站托管
客户端软件
as_action.hpp - Hosted on DriveHQ Cloud IT Platform
返回上层目录
上传
下载
共享
发布
新建文件夹
新建文件
复制
剪切
删除
粘贴
评论
升级服务
路径: \\game3dprogramming\materials\GameFactory\GameFactoryDemo\references\boost_1_35_0\boost\xpressive\detail\static\transforms\as_action.hpp
旋转
特效
属性
历史版本
/////////////////////////////////////////////////////////////////////////////// // as_action.hpp // // Copyright 2007 Eric Niebler. // Copyright 2007 David Jenkins. // // 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_TRANSFORMS_AS_ACTION_HPP_EAN_04_05_2007 #define BOOST_XPRESSIVE_DETAIL_STATIC_TRANSFORMS_AS_ACTION_HPP_EAN_04_05_2007 // MS compatible compilers support #pragma once #if defined(_MSC_VER) && (_MSC_VER >= 1020) # pragma once #endif #include
#include
#include
#include
#include
#include
#include
#include
#include
#include
namespace boost { namespace xpressive { namespace detail { /////////////////////////////////////////////////////////////////////////////// // FindAttr // Look for patterns like (a1= terminal
) and return the type of the RHS. template
struct FindAttr : proto::or_< proto::transform::state< proto::terminal
> // Ignore nested actions, because attributes are scoped: , proto::transform::state< proto::subscript
> , proto::transform::arg< proto::transform::right< proto::assign< proto::terminal
> , proto::_ > > > , proto::transform::fold
> > > > {}; /////////////////////////////////////////////////////////////////////////////// // by_value // Store all terminals within an action by value to avoid dangling references. template
struct by_value : Terminal { template
struct apply : proto::result_of::as_expr
::type> {}; template
static typename apply
::type call(Expr const &expr, State const &, Visitor &) { return proto::as_expr(proto::arg(expr)); } }; /////////////////////////////////////////////////////////////////////////////// // read_attr // Placeholder that knows the slot number of an attribute as well as the type // of the object stored in it. template
struct read_attr { typedef Nbr nbr_type; typedef Matcher matcher_type; }; /////////////////////////////////////////////////////////////////////////////// // as_read_attr // For patterns like (a1 = RHS)[ref(i) = a1], transform to // (a1 = RHS)[ref(i) = read_attr<1, RHS>] so that when reading the attribute // we know what type is stored in the attribute slot. template
struct as_read_attr : Grammar { template
struct apply : proto::result_of::as_expr< read_attr< typename Expr::proto_arg0::nbr_type , typename FindAttr
::template apply
::type > > {}; template
static typename apply
::type call(Expr const &, State const &, Visitor &) { typename apply
::type that = {{}}; return that; } }; /////////////////////////////////////////////////////////////////////////////// // DeepCopy // Turn all refs into values, and also bind all attribute placeholders with // the types from which they are being assigned. struct DeepCopy : proto::or_< as_read_attr
> > , by_value
> , proto::nary_expr
> > {}; /////////////////////////////////////////////////////////////////////////////// // max_attr // Take the maximum of the current attr slot number and the state. template
struct max_attr : Grammar { template
struct apply : mpl::max
::type> {}; }; /////////////////////////////////////////////////////////////////////////////// // attr_nbr // For an attribute placeholder, return the attribute's slot number. template
struct attr_nbr : Grammar { template
struct apply : Expr::proto_arg0::nbr_type {}; }; /////////////////////////////////////////////////////////////////////////////// // MaxAttr // In an action (rx)[act], find the largest attribute slot being used. struct MaxAttr : proto::or_< attr_nbr< proto::terminal< xpressive::detail::attribute_placeholder
> > , proto::transform::state< proto::terminal
> // Ignore nested actions, because attributes are scoped: , proto::transform::state< proto::subscript
> , proto::transform::fold
> > > > {}; /////////////////////////////////////////////////////////////////////////////// // as_attr_matcher // turn a1=matcher into attr_matcher
(1) template
struct as_attr_matcher : Grammar { as_attr_matcher(); template
struct apply { typedef attr_matcher< typename proto::result_of::arg
::type , typename Visitor::traits_type , Visitor::icase_type::value > type; }; template
static typename apply
::type call(Expr const &expr, State const &, Visitor &visitor) { return typename apply
::type( Expr::proto_arg0::proto_base_expr::proto_arg0::nbr_type::value , proto::arg(proto::right(expr)) , visitor.traits() ); } }; /////////////////////////////////////////////////////////////////////////////// // add_attrs // Wrap an expression in attr_begin_matcher/attr_end_matcher pair template
struct add_attrs : Grammar { add_attrs(); template
struct apply : proto::shift_right< typename proto::terminal< attr_begin_matcher
, int>::type> >::type , typename proto::shift_right< Expr , proto::terminal
::type >::type > {}; template
static typename apply
::type call(Expr const &expr, State const &, Visitor &) { attr_begin_matcher
, int>::type> begin; attr_end_matcher end; typename apply
::type that = {{begin}, {expr, {end}}}; return that; } }; /////////////////////////////////////////////////////////////////////////////// // InsertAttrs struct InsertAttrs : proto::or_< add_attrs
, int> > > , proto::_ > {}; /////////////////////////////////////////////////////////////////////////////// // CheckAssertion struct CheckAssertion : proto::function< proto::terminal
, proto::_ > {}; /////////////////////////////////////////////////////////////////////////////// // action_transform // Turn A[B] into (mark_begin(n) >> A >> mark_end(n) >> action_matcher
(n)) // If A and B use attributes, wrap the above expression in // a attr_begin_matcher
/ attr_end_matcher pair, where Count is // the number of attribute slots used by the pattern/action. template
struct as_action : Grammar { as_action(); template
struct apply { typedef typename proto::result_of::left
::type expr_type; typedef typename proto::result_of::right
::type action_type; typedef typename DeepCopy::apply
::type action_copy_type; typedef typename InsertMark::apply
::type marked_expr_type; typedef typename mpl::if_< proto::matches
, predicate_matcher
, action_matcher
>::type matcher_type; typedef typename proto::shift_right< marked_expr_type , typename proto::terminal
::type >::type no_attr_type; typedef typename InsertAttrs::apply
::type type; }; template
static typename apply
::type call(Expr const &expr, State const &state, Visitor &visitor) { typedef apply
apply_type; typedef typename apply_type::matcher_type matcher_type; int dummy = 0; typename apply_type::marked_expr_type marked_expr = InsertMark::call(proto::left(expr), state, visitor); typename apply_type::no_attr_type that = { marked_expr , { matcher_type ( DeepCopy::call(proto::right(expr), proto::left(expr), dummy) , proto::arg(proto::left(marked_expr)).mark_number_ ) } }; return InsertAttrs::call(that, state, visitor); } }; }}} #endif
as_action.hpp
网页地址
文件地址
上一页 1/10
下一页
下载
( 11 KB )
Comments
Total ratings:
0
Average rating:
无评论
of 10
Would you like to comment?
Join now
, or
Logon
if you are already a member.