diff options
Diffstat (limited to 'boost/metaparse/v1/fail_at_first_char_expected.hpp')
-rw-r--r-- | boost/metaparse/v1/fail_at_first_char_expected.hpp | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/boost/metaparse/v1/fail_at_first_char_expected.hpp b/boost/metaparse/v1/fail_at_first_char_expected.hpp new file mode 100644 index 0000000000..ff7046a831 --- /dev/null +++ b/boost/metaparse/v1/fail_at_first_char_expected.hpp @@ -0,0 +1,58 @@ +#ifndef BOOST_METAPARSE_V1_FAIL_AT_FIRST_CHAR_EXPECTED_HPP +#define BOOST_METAPARSE_V1_FAIL_AT_FIRST_CHAR_EXPECTED_HPP + +// Copyright Abel Sinkovics (abel@sinkovics.hu) 2015. +// 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) + +#include <boost/metaparse/v1/impl/void_.hpp> +#include <boost/metaparse/v1/accept.hpp> +#include <boost/metaparse/v1/reject.hpp> +#include <boost/metaparse/v1/is_error.hpp> +#include <boost/metaparse/v1/get_position.hpp> + +#include <boost/metaparse/v1/error/expected_to_fail.hpp> + +#include <boost/mpl/eval_if.hpp> +#include <boost/mpl/equal_to.hpp> + +namespace boost +{ + namespace metaparse + { + namespace v1 + { + template <class P> + struct fail_at_first_char_expected + { + private: + template <class S, class Pos> + struct apply_err : + boost::mpl::eval_if< + typename boost::mpl::equal_to< + Pos, + typename get_position<typename P::template apply<S, Pos> >::type + >::type, + accept<impl::void_, S, Pos>, + typename P::template apply<S, Pos> + > + {}; + public: + typedef fail_at_first_char_expected type; + + template <class S, class Pos> + struct apply : + boost::mpl::eval_if< + typename is_error<typename P::template apply<S, Pos> >::type, + apply_err<S, Pos>, + reject<error::expected_to_fail, Pos> + > + {}; + }; + } + } +} + +#endif + |