Struct template and

Struct template and_

boost::proto::and_ — For matching all of a set of grammars. When used as a transform, proto::and_<> applies the transform associated with each grammar in the set and returns the result of the last.

Synopsis

// In header: <boost/proto/matches.hpp>

template<typename... G> 
struct and_ :  proto::transform<and_<G...> > {
  // types
  typedef and_ proto_grammar;

  // member classes/structs/unions
  template<typename Expr, typename State, typename Data> 
  struct impl :  proto::transform_impl< Expr, State, Data > {
    // types
    typedef typename boost::result_of<G_n(Expr, State, Data)>::type result_type;

    // public member functions
    result_type operator()(typename impl::expr_param, 
                           typename impl::state_param, 
                           typename impl::data_param) const;
  };
};

Description

An expression type E matches proto::and_<G₀,G₁,...G_n> if E matches all G_x for x in [0,n].

When applying proto::and_<G₀,G₁,...G_n> as a transform with an expression e, state s and data d, it is equivalent to (G₀()(e, s, d),G₁()(e, s, d),...G_n()(e, s, d)).

The maximun number of template arguments proto::and_<> accepts is controlled by the BOOST_PROTO_MAX_LOGICAL_ARITY macro.