Function template assert_matches

Function template assert_matches_not

boost::proto::assert_matches_not — Assert at compile time that a particular expression does not match the specified grammar.

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


template<typename Grammar, typename Expr> 
  void assert_matches_not(Expr const & expr);

Use proto::assert_matches_not() to assert at compile-time that an expression does not match a grammar.

Example:

typedef proto::plus< proto::terminal< int >, proto::terminal< int > > PlusInts;

proto::assert_matches_not<PlusInts>( proto::lit("a string") + 42 );