1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69
|
// Copyright (c) 2019-2020 Dr. Colin Hirsch and Daniel Frey
// Please see LICENSE for license or visit https://github.com/taocpp/PEGTL/
#ifndef TAO_JSON_PEGTL_CONTRIB_REMOVE_FIRST_STATE_HPP
#define TAO_JSON_PEGTL_CONTRIB_REMOVE_FIRST_STATE_HPP
#include <type_traits>
#include "../config.hpp"
#include "../internal/has_unwind.hpp"
namespace TAO_JSON_PEGTL_NAMESPACE
{
// Applies to start(), success(), failure(), raise(), apply(), and apply0():
// The first state is removed when the call is forwarded to Base.
template< typename Base >
struct remove_first_state
: Base
{
template< typename ParseInput, typename State, typename... States >
static void start( const ParseInput& in, State&& /*unused*/, States&&... st ) noexcept( noexcept( Base::start( in, st... ) ) )
{
Base::start( in, st... );
}
template< typename ParseInput, typename State, typename... States >
static void success( const ParseInput& in, State&& /*unused*/, States&&... st ) noexcept( noexcept( Base::success( in, st... ) ) )
{
Base::success( in, st... );
}
template< typename ParseInput, typename State, typename... States >
static void failure( const ParseInput& in, State&& /*unused*/, States&&... st ) noexcept( noexcept( Base::failure( in, st... ) ) )
{
Base::failure( in, st... );
}
template< typename ParseInput, typename State, typename... States >
[[noreturn]] static void raise( const ParseInput& in, State&& /*unused*/, States&&... st )
{
Base::raise( in, st... );
}
template< typename ParseInput, typename State, typename... States >
static auto unwind( const ParseInput& in, State&& /*unused*/, States&&... st )
-> std::enable_if_t< internal::has_unwind< Base, void, const ParseInput&, States... > >
{
Base::unwind( in, st... );
}
template< template< typename... > class Action, typename Iterator, typename ParseInput, typename State, typename... States >
static auto apply( const Iterator& begin, const ParseInput& in, State&& /*unused*/, States&&... st ) noexcept( noexcept( Base::template apply< Action >( begin, in, st... ) ) )
-> decltype( Base::template apply< Action >( begin, in, st... ) )
{
return Base::template apply< Action >( begin, in, st... );
}
template< template< typename... > class Action, typename ParseInput, typename State, typename... States >
static auto apply0( const ParseInput& in, State&& /*unused*/, States&&... st ) noexcept( noexcept( Base::template apply0< Action >( in, st... ) ) )
-> decltype( Base::template apply0< Action >( in, st... ) )
{
return Base::template apply0< Action >( in, st... );
}
};
} // namespace TAO_JSON_PEGTL_NAMESPACE
#endif
|