123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985 |
- //
- // Copyright (c) 2019 Vinnie Falco (vinnie.falco@gmail.com)
- //
- // 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)
- //
- // Official repository: https://github.com/boostorg/json
- //
- #ifndef BOOST_JSON_STREAM_PARSER_HPP
- #define BOOST_JSON_STREAM_PARSER_HPP
- #include <boost/json/detail/config.hpp>
- #include <boost/json/basic_parser.hpp>
- #include <boost/json/parse_options.hpp>
- #include <boost/json/storage_ptr.hpp>
- #include <boost/json/value.hpp>
- #include <boost/json/detail/handler.hpp>
- #include <type_traits>
- #include <cstddef>
- BOOST_JSON_NS_BEGIN
- //----------------------------------------------------------
- /** A DOM parser for JSON contained in multiple buffers.
- This class is used to parse a JSON contained in a
- series of one or more character buffers, into a
- @ref value container. It implements a
- <a href="https://en.wikipedia.org/wiki/Streaming_algorithm">
- <em>streaming algorithm</em></a>, allowing these
- parsing strategies:
- @li Parse a JSON file a piece at a time.
- @li Parse incoming JSON as it arrives,
- one buffer at a time.
- @li Parse with bounded resource consumption
- per cycle.
- @par Usage
- To use the parser first construct it, then optionally
- call @ref reset to specify a @ref storage_ptr to use
- for the resulting @ref value. Then call @ref write
- one or more times to parse a single, complete JSON.
- Call @ref done to determine if the parse has completed.
- To indicate there are no more buffers, call @ref finish.
- If the parse is successful, call @ref release to take
- ownership of the value:
- @code
- stream_parser p; // construct a parser
- p.write( "[1,2" ); // parse some of a JSON
- p.write( ",3,4]" ); // parse the rest of the JSON
- assert( p.done() ); // we have a complete JSON
- value jv = p.release(); // take ownership of the value
- @endcode
- @par Extra Data
- When the character buffer provided as input contains
- additional data that is not part of the complete
- JSON, an error is returned. The @ref write_some
- function is an alternative which allows the parse
- to finish early, without consuming all the characters
- in the buffer. This allows parsing of a buffer
- containing multiple individual JSONs or containing
- different protocol data:
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write_some( "[1,2" ); // parse some of a JSON
- assert( n == 4 ); // all characters consumed
- n = p.write_some( ",3,4] null" ); // parse the remainder of the JSON
- assert( n == 6 ); // only some characters consumed
- assert( p.done() ); // we have a complete JSON
- value jv = p.release(); // take ownership of the value
- @endcode
- @par Temporary Storage
- The parser may dynamically allocate temporary
- storage as needed to accommodate the nesting level
- of the JSON being parsed. Temporary storage is
- first obtained from an optional, caller-owned
- buffer specified upon construction. When that
- is exhausted, the next allocation uses the
- @ref memory_resource passed to the constructor; if
- no such argument is specified, the default memory
- resource is used. Temporary storage is freed only
- when the parser is destroyed; The performance of
- parsing multiple JSONs may be improved by reusing
- the same parser instance.
- \n
- It is important to note that the @ref memory_resource
- supplied upon construction is used for temporary
- storage only, and not for allocating the elements
- which make up the parsed value. That other memory
- resource is optionally supplied in each call
- to @ref reset.
- @par Duplicate Keys
- If there are object elements with duplicate keys;
- that is, if multiple elements in an object have
- keys that compare equal, only the last equivalent
- element will be inserted.
- @par Non-Standard JSON
- The @ref parse_options structure optionally
- provided upon construction is used to customize
- some parameters of the parser, including which
- non-standard JSON extensions should be allowed.
- A default-constructed parse options allows only
- standard JSON.
- @par Thread Safety
- Distinct instances may be accessed concurrently.
- Non-const member functions of a shared instance
- may not be called concurrently with any other
- member functions of that instance.
- @see
- @ref parse,
- @ref parser,
- @ref parse_options,
- */
- class stream_parser
- {
- basic_parser<detail::handler> p_;
- public:
- /// Copy constructor (deleted)
- stream_parser(
- stream_parser const&) = delete;
- /// Copy assignment (deleted)
- stream_parser& operator=(
- stream_parser const&) = delete;
- /** Destructor.
- All dynamically allocated memory, including
- any incomplete parsing results, is freed.
- @par Complexity
- Linear in the size of partial results
- @par Exception Safety
- No-throw guarantee.
- */
- ~stream_parser() = default;
-
- /** Constructor.
- This constructs a new parser which first uses
- the caller-owned storage pointed to by `buffer`
- for temporary storage, falling back to the memory
- resource `sp` if needed. The parser will use the
- specified parsing options.
- \n
- The parsed value will use the default memory
- resource for storage. To use a different resource,
- call @ref reset after construction.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @param sp The memory resource to use for
- temporary storage after `buffer` is exhausted.
- @param opt The parsing options to use.
- @param buffer A pointer to valid memory of at least
- `size` bytes for the parser to use for temporary storage.
- Ownership is not transferred, the caller is responsible
- for ensuring the lifetime of the memory pointed to by
- `buffer` extends until the parser is destroyed.
- @param size The number of valid bytes in `buffer`.
- */
- BOOST_JSON_DECL
- stream_parser(
- storage_ptr sp,
- parse_options const& opt,
- unsigned char* buffer,
- std::size_t size) noexcept;
- /** Constructor.
- This constructs a new parser which uses the default
- memory resource for temporary storage, and accepts
- only strict JSON.
- \n
- The parsed value will use the default memory
- resource for storage. To use a different resource,
- call @ref reset after construction.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- */
- stream_parser() noexcept
- : stream_parser({}, {})
- {
- }
- /** Constructor.
- This constructs a new parser which uses the
- specified memory resource for temporary storage,
- and is configured to use the specified parsing
- options.
- \n
- The parsed value will use the default memory
- resource for storage. To use a different resource,
- call @ref reset after construction.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @param sp The memory resource to use for temporary storage.
- @param opt The parsing options to use.
- */
- BOOST_JSON_DECL
- stream_parser(
- storage_ptr sp,
- parse_options const& opt) noexcept;
- /** Constructor.
- This constructs a new parser which uses the
- specified memory resource for temporary storage,
- and accepts only strict JSON.
- \n
- The parsed value will use the default memory
- resource for storage. To use a different resource,
- call @ref reset after construction.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @param sp The memory resource to use for temporary storage.
- */
- explicit
- stream_parser(storage_ptr sp) noexcept
- : stream_parser(std::move(sp), {})
- {
- }
- /** Constructor.
- This constructs a new parser which first uses the
- caller-owned storage `buffer` for temporary storage,
- falling back to the memory resource `sp` if needed.
- The parser will use the specified parsing options.
- \n
- The parsed value will use the default memory
- resource for storage. To use a different resource,
- call @ref reset after construction.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @param sp The memory resource to use for
- temporary storage after `buffer` is exhausted.
- @param opt The parsing options to use.
- @param buffer A buffer for the parser to use for
- temporary storage. Ownership is not transferred,
- the caller is responsible for ensuring the lifetime
- of `buffer` extends until the parser is destroyed.
- */
- template<std::size_t N>
- stream_parser(
- storage_ptr sp,
- parse_options const& opt,
- unsigned char(&buffer)[N]) noexcept
- : stream_parser(std::move(sp),
- opt, &buffer[0], N)
- {
- }
- #if defined(__cpp_lib_byte) || defined(BOOST_JSON_DOCS)
- /** Constructor.
- This constructs a new parser which first uses
- the caller-owned storage pointed to by `buffer`
- for temporary storage, falling back to the memory
- resource `sp` if needed. The parser will use the
- specified parsing options.
- \n
- The parsed value will use the default memory
- resource for storage. To use a different resource,
- call @ref reset after construction.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @param sp The memory resource to use for
- temporary storage after `buffer` is exhausted.
- @param opt The parsing options to use.
- @param buffer A pointer to valid memory of at least
- `size` bytes for the parser to use for temporary storage.
- Ownership is not transferred, the caller is responsible
- for ensuring the lifetime of the memory pointed to by
- `buffer` extends until the parser is destroyed.
- @param size The number of valid bytes in `buffer`.
- */
- stream_parser(
- storage_ptr sp,
- parse_options const& opt,
- std::byte* buffer,
- std::size_t size) noexcept
- : stream_parser(sp, opt, reinterpret_cast<
- unsigned char*>(buffer), size)
- {
- }
- /** Constructor.
- This constructs a new parser which first uses the
- caller-owned storage `buffer` for temporary storage,
- falling back to the memory resource `sp` if needed.
- The parser will use the specified parsing options.
- \n
- The parsed value will use the default memory
- resource for storage. To use a different resource,
- call @ref reset after construction.
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- @param sp The memory resource to use for
- temporary storage after `buffer` is exhausted.
- @param opt The parsing options to use.
- @param buffer A buffer for the parser to use for
- temporary storage. Ownership is not transferred,
- the caller is responsible for ensuring the lifetime
- of `buffer` extends until the parser is destroyed.
- */
- template<std::size_t N>
- stream_parser(
- storage_ptr sp,
- parse_options const& opt,
- std::byte(&buffer)[N]) noexcept
- : stream_parser(std::move(sp),
- opt, &buffer[0], N)
- {
- }
- #endif
- #ifndef BOOST_JSON_DOCS
- // Safety net for accidental buffer overflows
- template<std::size_t N>
- stream_parser(
- storage_ptr sp,
- parse_options const& opt,
- unsigned char(&buffer)[N],
- std::size_t n) noexcept
- : stream_parser(std::move(sp),
- opt, &buffer[0], n)
- {
- // If this goes off, check your parameters
- // closely, chances are you passed an array
- // thinking it was a pointer.
- BOOST_ASSERT(n <= N);
- }
- #ifdef __cpp_lib_byte
- // Safety net for accidental buffer overflows
- template<std::size_t N>
- stream_parser(
- storage_ptr sp,
- parse_options const& opt,
- std::byte(&buffer)[N], std::size_t n) noexcept
- : stream_parser(std::move(sp),
- opt, &buffer[0], n)
- {
- // If this goes off, check your parameters
- // closely, chances are you passed an array
- // thinking it was a pointer.
- BOOST_ASSERT(n <= N);
- }
- #endif
- #endif
- /** Reset the parser for a new JSON.
- This function is used to reset the parser to
- prepare it for parsing a new complete JSON.
- Any previous partial results are destroyed.
- @par Complexity
- Constant or linear in the size of any previous
- partial parsing results.
- @par Exception Safety
- No-throw guarantee.
- @param sp A pointer to the @ref memory_resource
- to use for the resulting @ref value. The parser
- will acquire shared ownership.
- */
- BOOST_JSON_DECL
- void
- reset(storage_ptr sp = {}) noexcept;
- /** Return true if a complete JSON has been parsed.
- This function returns `true` when all of these
- conditions are met:
- @li A complete serialized JSON has been
- presented to the parser, and
- @li No error has occurred since the parser
- was constructed, or since the last call
- to @ref reset,
- @par Complexity
- Constant.
- @par Exception Safety
- No-throw guarantee.
- */
- bool
- done() const noexcept
- {
- return p_.done();
- }
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses JSON contained in the
- specified character buffer. If parsing completes,
- any additional characters past the end of the
- complete JSON are ignored. The function returns the
- actual number of characters parsed, which may be
- less than the size of the input. This allows parsing
- of a buffer containing multiple individual JSONs or
- containing different protocol data.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write_some( "[1,2" ); // parse the first part of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write_some( "3,4] null" ); // parse the rest of the JSON
- assert( n == 5 ); // only some characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param data A pointer to a buffer of `size`
- characters to parse.
- @param size The number of characters pointed to
- by `data`.
- @param ec Set to the error, if any occurred.
- */
- BOOST_JSON_DECL
- std::size_t
- write_some(
- char const* data,
- std::size_t size,
- error_code& ec);
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses JSON contained in the
- specified character buffer. If parsing completes,
- any additional characters past the end of the
- complete JSON are ignored. The function returns the
- actual number of characters parsed, which may be
- less than the size of the input. This allows parsing
- of a buffer containing multiple individual JSONs or
- containing different protocol data.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write_some( "[1,2" ); // parse the first part of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write_some( "3,4] null" ); // parse the rest of the JSON
- assert( n == 5 ); // only some characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param data A pointer to a buffer of `size`
- characters to parse.
- @param size The number of characters pointed to
- by `data`.
- @throw system_error Thrown on error.
- */
- BOOST_JSON_DECL
- std::size_t
- write_some(
- char const* data,
- std::size_t size);
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses JSON contained in the
- specified character buffer. If parsing completes,
- any additional characters past the end of the
- complete JSON are ignored. The function returns the
- actual number of characters parsed, which may be
- less than the size of the input. This allows parsing
- of a buffer containing multiple individual JSONs or
- containing different protocol data.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write_some( "[1,2" ); // parse the first part of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write_some( "3,4] null" ); // parse the rest of the JSON
- assert( n == 5 ); // only some characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param s The character string to parse.
- @param ec Set to the error, if any occurred.
- */
- std::size_t
- write_some(
- string_view s,
- error_code& ec)
- {
- return write_some(
- s.data(), s.size(), ec);
- }
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses JSON contained in the
- specified character buffer. If parsing completes,
- any additional characters past the end of the
- complete JSON are ignored. The function returns the
- actual number of characters parsed, which may be
- less than the size of the input. This allows parsing
- of a buffer containing multiple individual JSONs or
- containing different protocol data.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write_some( "[1,2" ); // parse the first part of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write_some( "3,4] null" ); // parse the rest of the JSON
- assert( n == 5 ); // only some characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param s The character string to parse.
- @throw system_error Thrown on error.
- */
- std::size_t
- write_some(
- string_view s)
- {
- return write_some(
- s.data(), s.size());
- }
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses a all or part of a JSON
- contained in the specified character buffer. The
- entire buffer must be consumed; if there are
- additional characters past the end of the complete
- JSON, the parse fails and an error is returned.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write( "[1,2" ); // parse some of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write( "3,4]" ); // parse the rest of the JSON
- assert( n == 4 ); // all characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param data A pointer to a buffer of `size`
- characters to parse.
- @param size The number of characters pointed to
- by `data`.
- @param ec Set to the error, if any occurred.
- */
- BOOST_JSON_DECL
- std::size_t
- write(
- char const* data,
- std::size_t size,
- error_code& ec);
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses a all or part of a JSON
- contained in the specified character buffer. The
- entire buffer must be consumed; if there are
- additional characters past the end of the complete
- JSON, the parse fails and an error is returned.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write( "[1,2" ); // parse some of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write( "3,4]" ); // parse the rest of the JSON
- assert( n == 4 ); // all characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param data A pointer to a buffer of `size`
- characters to parse.
- @param size The number of characters pointed to
- by `data`.
- @throw system_error Thrown on error.
- */
- BOOST_JSON_DECL
- std::size_t
- write(
- char const* data,
- std::size_t size);
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses a all or part of a JSON
- contained in the specified character buffer. The
- entire buffer must be consumed; if there are
- additional characters past the end of the complete
- JSON, the parse fails and an error is returned.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write( "[1,2" ); // parse some of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write( "3,4]" ); // parse the rest of the JSON
- assert( n == 4 ); // all characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param s The character string to parse.
- @param ec Set to the error, if any occurred.
- */
- std::size_t
- write(
- string_view s,
- error_code& ec)
- {
- return write(
- s.data(), s.size(), ec);
- }
- /** Parse a buffer containing all or part of a complete JSON.
- This function parses a all or part of a JSON
- contained in the specified character buffer. The
- entire buffer must be consumed; if there are
- additional characters past the end of the complete
- JSON, the parse fails and an error is returned.
- @par Example
- @code
- stream_parser p; // construct a parser
- std::size_t n; // number of characters used
- n = p.write( "[1,2" ); // parse some of the JSON
- assert( n == 4 ); // all characters consumed
- n = p.write( "3,4]" ); // parse the rest of the JSON
- assert( n == 4 ); // all characters consumed
- value jv = p.release(); // take ownership of the value
- @endcode
- @note
- To indicate there are no more character buffers,
- such as when @ref done returns `false` after
- writing, call @ref finish.
- @par Complexity
- Linear in `size`.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @return The number of characters consumed from
- the buffer.
- @param s The character string to parse.
- @throw system_error Thrown on error.
- */
- std::size_t
- write(
- string_view s)
- {
- return write(
- s.data(), s.size());
- }
- /** Indicate the end of JSON input.
- This function is used to indicate that there
- are no more character buffers in the current
- JSON being parsed. If ther resulting JSON is
- incomplete, the error is set to indicate a
- parsing failure.
- @par Example
- In the code below, @ref finish is called to
- indicate there are no more digits in the
- resulting number:
- @code
- stream_parser p; // construct a parser
- p.write( "3." ); // write the first part of the number
- p.write( "14" ); // write the second part of the number
- assert( ! p.done() ); // there could be more digits
- p.finish(); // indicate the end of the JSON input
- assert( p.done() ); // now we are finished
- value jv = p.release(); // take ownership of the value
- @endcode
- @par Complexity
- Constant.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @param ec Set to the error, if any occurred.
- */
- BOOST_JSON_DECL
- void
- finish(error_code& ec);
- /** Indicate the end of JSON input.
- This function is used to indicate that there
- are no more character buffers in the current
- JSON being parsed. If ther resulting JSON is
- incomplete, the error is set to indicate a
- parsing failure.
- @par Example
- In the code below, @ref finish is called to
- indicate there are no more digits in the
- resulting number:
- @code
- stream_parser p; // construct a parser
- p.write( "3." ); // write the first part of the number
- p.write( "14" ); // write the second part of the number
- assert( ! p.done() ); // there could be more digits
- p.finish(); // indicate the end of the JSON input
- assert( p.done() ); // now we are finished
- value jv = p.release(); // take ownership of the value
- @endcode
- @par Complexity
- Constant.
- @par Exception Safety
- Basic guarantee.
- Calls to `memory_resource::allocate` may throw.
- Upon error or exception, subsequent calls will
- fail until @ref reset is called to parse a new JSON.
- @throw system_error Thrown on error.
- */
- BOOST_JSON_DECL
- void
- finish();
- /** Return the parsed JSON as a @ref value.
- This returns the parsed value, or throws
- an exception if the parsing is incomplete or
- failed. It is necessary to call @ref reset
- after calling this function in order to parse
- another JSON.
- @par Effects
- @code
- if( ! this->done() )
- this->finish();
- @endcode
- @note
- @par Complexity
- Constant.
- @return The parsed value. Ownership of this
- value is transferred to the caller.
- @throw system_error Thrown on failure.
- */
- BOOST_JSON_DECL
- value
- release();
- };
- BOOST_JSON_NS_END
- #endif
|