lexy::scanner< ControlProduction, Input, State, ErrorCallback > Class Template Reference

#include <scan.hpp>

Inheritance diagram for lexy::scanner< ControlProduction, Input, State, ErrorCallback >:

Public Member Functions
constexpr auto	finish () &&-> lexy::validate_result< ErrorCallback >
constexpr const auto &	parse_state () const
constexpr	scanner (const Input &input, State *state, const ErrorCallback &callback)
Public Member Functions inherited from lexy::_detail::scanner< scanner< ControlProduction, Input, State, ErrorCallback >, lexy::input_reader< Input > >
constexpr bool	branch (Rule rule)
constexpr bool	branch (scan_result< T > &result, Production={})
constexpr bool	branch (scan_result< T > &result, Rule)
constexpr auto	capture (Rule rule) -> scan_result< lexeme< lexy::input_reader< Input > >>
constexpr auto	capture_token (Token)
constexpr bool	discard (TokenRule rule)
constexpr void	error (Tag, Args &&... args)
constexpr auto	error_recovery ()
constexpr void	fatal_error (Tag tag, Args &&... args)
constexpr auto	integer (Digits digits)
constexpr auto	integer (Digits digits)
constexpr bool	is_at_eof () const
constexpr	operator bool () const noexcept
constexpr scanner &	operator= (const scanner &) noexcept=delete
constexpr auto	parse (Production={})
constexpr void	parse (Rule rule)
constexpr auto	parse (Rule rule)
constexpr void	parse (scan_result< T > &result, Rule)
constexpr bool	peek (Rule)
constexpr auto	position () const noexcept -> typename lexy::input_reader< Input > ::iterator
constexpr auto	remaining_input () const noexcept
constexpr	scanner (const scanner &) noexcept=delete

Private Types
using	_handler = lexy::_vh< lexy::input_reader< Input > >
using	_impl = _detail::scanner< scanner< ControlProduction, Input, State, ErrorCallback >, lexy::input_reader< Input > >
using	_production = _scp< ControlProduction >

Private Member Functions
auto &	context () noexcept

Private Attributes
_detail::parse_context_control_block< _handler >	_cb
_pc< _handler, State, _production >	_context
friend	_impl
_detail::any_holder< const Input * >	_input
_detail::any_holder< _error_sink_t< ErrorCallback > >	_sink

Additional Inherited Members
Public Types inherited from lexy::_detail::scanner< scanner< ControlProduction, Input, State, ErrorCallback >, lexy::input_reader< Input > >
using	encoding = typename lexy::input_reader< Input > ::encoding
Protected Member Functions inherited from lexy::_detail::scanner< scanner< ControlProduction, Input, State, ErrorCallback >, lexy::input_reader< Input > >
constexpr lexy::input_reader< Input > &	reader () noexcept
constexpr	scanner (const lexy::input_reader< Input > &reader) noexcept

Detailed Description

template<typename ControlProduction, typename Input, typename State, typename ErrorCallback>
class lexy::scanner< ControlProduction, Input, State, ErrorCallback >

Definition at line 31 of file action/scan.hpp.

Member Typedef Documentation

_handler

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

using lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_handler = lexy::_vh<lexy::input_reader<Input> >

private

Definition at line 36 of file action/scan.hpp.

_impl

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

using lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_impl = _detail::scanner<scanner<ControlProduction, Input, State, ErrorCallback>, lexy::input_reader<Input> >

private

Definition at line 35 of file action/scan.hpp.

_production

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

using lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_production = _scp<ControlProduction>

private

Definition at line 37 of file action/scan.hpp.

Constructor & Destructor Documentation

scanner()

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

constexpr lexy::scanner< ControlProduction, Input, State, ErrorCallback >::scanner ( const Input &  input, State *  state, const ErrorCallback &  callback  )

inlineexplicitconstexpr

Definition at line 40 of file action/scan.hpp.

Member Function Documentation

context()

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

auto& lexy::scanner< ControlProduction, Input, State, ErrorCallback >::context ( )

inlineprivatenoexcept

Definition at line 66 of file action/scan.hpp.

finish()

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

constexpr auto lexy::scanner< ControlProduction, Input, State, ErrorCallback >::finish ( ) && -> lexy::validate_result<ErrorCallback>

inlineconstexpr

Definition at line 52 of file action/scan.hpp.

parse_state()

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

constexpr const auto& lexy::scanner< ControlProduction, Input, State, ErrorCallback >::parse_state ( ) const

inlineconstexpr

Definition at line 47 of file action/scan.hpp.

Member Data Documentation

_cb

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

_detail::parse_context_control_block<_handler> lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_cb

private

Definition at line 73 of file action/scan.hpp.

_context

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

_pc<_handler, State, _production> lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_context

private

Definition at line 74 of file action/scan.hpp.

_impl

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

friend lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_impl

private

Definition at line 76 of file action/scan.hpp.

_input

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

_detail::any_holder<const Input*> lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_input

private

Definition at line 71 of file action/scan.hpp.

_sink

template<typename ControlProduction , typename Input , typename State , typename ErrorCallback >

_detail::any_holder<_error_sink_t<ErrorCallback> > lexy::scanner< ControlProduction, Input, State, ErrorCallback >::_sink

private

Definition at line 72 of file action/scan.hpp.

---

The documentation for this class was generated from the following file:

• action/scan.hpp