daw_json_skip.h

Go to the documentation of this file.

// Copyright (c) Darrell Wright
//
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE or copy at http://www.boost.org/LICENSE_1_0.txt)
//
// Official repository: https://github.com/beached/daw_json_link
//
 
#pragma once
 
#include "version.h"
 
#include "daw_json_assert.h"
#include "daw_json_enums.h"
#include "daw_json_parse_digit.h"
#include "daw_json_parse_policy_policy_details.h"
#include "daw_json_parse_string_quote.h"
#include <daw/json/daw_json_exception.h>
 
#include <daw/daw_attributes.h>
#include <daw/daw_bit_cast.h>
#include <daw/daw_is_any_of.h>
#include <daw/daw_likely.h>
#include <daw/daw_unreachable.h>
 
#if defined( DAW_CX_BIT_CAST )
#include "daw_count_digits.h"
#endif
 
#include <iterator>
 
namespace daw::json {
  inline namespace DAW_JSON_VER {
    namespace json_details {
      /***
       * Skip a string, after the initial quote has been skipped already
       */
      template<typename ParseState>
      [[nodiscard]] DAW_ATTRIB_FLATINLINE static inline constexpr ParseState
      skip_string_nq( ParseState &parse_state ) {
        auto result = parse_state;
        result.counter =
          string_quote::string_quote_parser::parse_nq( parse_state );
 
        daw_json_assert_weak( parse_state.front( ) == '"',
                              ErrorReason::InvalidString, parse_state );
        result.last = parse_state.first;
        parse_state.remove_prefix( );
        return result;
      }
 
      /***
       * Skip a string and store the first escaped element's position, if any
       */
      template<bool KeepQuotes = false, typename ParseState>
      [[nodiscard]] DAW_ATTRIB_FLATINLINE static inline constexpr ParseState
      skip_string( ParseState &parse_state ) {
        if( parse_state.empty( ) ) {
          return parse_state;
        }
        daw_json_ensure( parse_state.front( ) == '"',
                         ErrorReason::InvalidString, parse_state );
        parse_state.remove_prefix( );
 
        daw_json_assert_weak( parse_state.has_more( ),
                              ErrorReason::InvalidString, parse_state );
        auto result = skip_string_nq( parse_state );
        if constexpr( KeepQuotes ) {
          --result.first;
          ++result.last;
        }
        return result;
      }
 
      template<typename ParseState>
      [[nodiscard]] static inline constexpr ParseState
      skip_true( ParseState &parse_state ) {
        auto result = parse_state;
        if constexpr( ( ParseState::is_zero_terminated_string or
                        ParseState::is_unchecked_input ) ) {
          parse_state.remove_prefix( 4 );
        } else {
          parse_state.remove_prefix( );
          daw_json_ensure( parse_state.starts_with( "rue" ),
                           ErrorReason::InvalidTrue, parse_state );
          parse_state.remove_prefix( 3 );
        }
        result.last = parse_state.first;
        parse_state.trim_left( );
        daw_json_assert_weak( not parse_state.has_more( ) or
                                parse_state.is_at_token_after_value( ),
                              ErrorReason::InvalidEndOfValue, parse_state );
        result.counter = static_cast<bool>( true );
        return result;
      }
 
      template<typename ParseState>
      [[nodiscard]] static inline constexpr ParseState
      skip_false( ParseState &parse_state ) {
        auto result = parse_state;
        if constexpr( ( ParseState::is_zero_terminated_string or
                        ParseState::is_unchecked_input ) ) {
          parse_state.remove_prefix( 5 );
        } else {
          parse_state.remove_prefix( );
          daw_json_ensure( parse_state.starts_with( "alse" ),
                           ErrorReason::InvalidFalse, parse_state );
          parse_state.remove_prefix( 4 );
        }
        result.last = parse_state.first;
        parse_state.trim_left( );
        daw_json_assert_weak( not parse_state.has_more( ) or
                                parse_state.is_at_token_after_value( ),
                              ErrorReason::InvalidEndOfValue, parse_state );
        result.counter = static_cast<bool>( false );
        return result;
      }
 
      template<typename ParseState>
      [[nodiscard]] static inline constexpr ParseState
      skip_null( ParseState &parse_state ) {
        if constexpr( ( ParseState::is_zero_terminated_string or
                        ParseState::is_unchecked_input ) ) {
          parse_state.remove_prefix( 4 );
        } else {
          parse_state.remove_prefix( );
          daw_json_ensure( parse_state.starts_with( "ull" ),
                           ErrorReason::InvalidNull, parse_state );
          parse_state.remove_prefix( 3 );
        }
        daw_json_assert_weak( parse_state.has_more( ),
                              ErrorReason::UnexpectedEndOfData, parse_state );
        parse_state.trim_left( );
        daw_json_assert_weak( not parse_state.has_more( ) or
                                parse_state.is_at_token_after_value( ),
                              ErrorReason::UnexpectedEndOfData, parse_state );
        auto result = parse_state;
        result.first = nullptr;
        result.last = nullptr;
        return result;
      }
 
      template<bool skip_end_check, typename CharT>
      DAW_ATTRIB_NONNULL( )
      DAW_ATTRIB_RET_NONNULL DAW_ATTRIB_FLATINLINE
        [[nodiscard]] static inline constexpr CharT *skip_digits(
          CharT *first, CharT *const last ) {
        (void)last; // only used inside if constexpr and gcc9 warns
        unsigned dig = parse_digit( *first );
        while( dig < 10 ) {
          ++first;
          if constexpr( not skip_end_check ) {
            if( DAW_UNLIKELY( first >= last ) ) {
              break;
            }
          }
          dig = parse_digit( *first );
        }
        return first;
      }
      /***
       * Skip a number and store the position of it's components in the returned
       * ParseState
       */
 
      // DAW TODO: This branch has a bug that shows up in twitter_test2
#if false and defined( DAW_CX_BIT_CAST )
      template<typename ParseState DAW_JSON_ENABLEIF(
        ParseState::is_unchecked_input or
        ParseState::is_zero_terminated_string )>
      DAW_JSON_REQUIRES( ParseState::is_unchecked_input or
                           ParseState::is_zero_terminated_string )
      [[nodiscard]] static constexpr ParseState
        skip_number( ParseState &parse_state ) {
        using CharT = typename ParseState::CharT;
 
        auto result = parse_state;
        CharT *first = parse_state.first;
        CharT *const last = parse_state.last;
 
        if( *first == '-' ) {
          ++first;
        }
 
        first = count_digits( first, last );
 
        CharT *decimal = nullptr;
        if( *first == '.' ) {
          decimal = first++;
          first = count_digits( first, last );
        }
 
        CharT *exp = nullptr;
        char const maybe_e = *first;
        if( ( maybe_e == 'e' ) | ( maybe_e == 'E' ) ) {
          exp = ++first;
          char const maybe_sign = *first;
          if( ( maybe_sign == '+' ) | ( maybe_sign == '-' ) ) {
            ++first;
          }
          first = count_digits( first, last );
        }
 
        daw_json_assert_weak( first <= last, ErrorReason::UnexpectedEndOfData );
 
        parse_state.first = first;
        result.last = first;
        result.class_first = decimal;
        result.class_last = exp;
        return result;
      }
 
      template<typename ParseState DAW_JSON_ENABLEIF(
        not( ParseState::is_unchecked_input or
             ParseState::is_zero_terminated_string ) )>
      DAW_JSON_REQUIRES( not( ParseState::is_unchecked_input or
                                ParseState::is_zero_terminated_string ) )
#else
      template<typename ParseState>
#endif
      [[nodiscard]] static constexpr ParseState
      skip_number( ParseState &parse_state ) {
        using CharT = typename ParseState::CharT;
        daw_json_assert_weak( parse_state.has_more( ),
                              ErrorReason::UnexpectedEndOfData, parse_state );
 
        auto result = parse_state;
        CharT *first = parse_state.first;
        CharT *const last = parse_state.last;
        if constexpr( ParseState::allow_leading_zero_plus ) {
          if( *first == '-' ) {
            ++first;
          }
        } else {
          switch( *first ) {
          case '-':
            ++first;
            break;
          case '+':
            daw_json_error( ErrorReason::InvalidNumberStart, parse_state );
          case '0':
            if( last - first > 1 ) {
              daw_json_ensure(
                not parse_policy_details::is_number( *std::next( first ) ),
                ErrorReason::InvalidNumberStart, parse_state );
            }
            break;
          }
        }
 
        if( DAW_LIKELY( first < last ) ) {
          DAW_LIKELY_BRANCH
          first =
            skip_digits<( ParseState::is_zero_terminated_string or
                          ParseState::is_unchecked_input )>( first, last );
        }
 
        CharT *decimal = nullptr;
        if( ( ( ParseState::is_zero_terminated_string or
                ParseState::is_unchecked_input ) or
              first < last ) and
            ( *first == '.' ) ) {
          decimal = first;
          ++first;
          if( DAW_LIKELY( first < last ) ) {
            DAW_LIKELY_BRANCH
            first =
              skip_digits<( ParseState::is_zero_terminated_string or
                            ParseState::is_unchecked_input )>( first, last );
          }
        }
        CharT *exp = nullptr;
 
        unsigned dig = [&] {
          if( ParseState::is_zero_terminated_string or first < last ) {
            return parse_digit( *first );
          }
          // We are out of range and the exponent part is optional
          return 0U;
        }( );
        if( ( dig == parsed_constants::e_char ) |
            ( dig == parsed_constants::E_char ) ) {
          exp = first;
          ++first;
          daw_json_assert_weak( first < last, ErrorReason::UnexpectedEndOfData,
                                [&] {
                                  auto r = parse_state;
                                  r.first = first;
                                  return r;
                                }( ) );
          dig = parse_digit( *first );
          if( ( dig == parsed_constants::plus_char ) |
              ( dig == parsed_constants::minus_char ) ) {
            ++first;
          }
          daw_json_assert_weak( first < last and parse_digit( *first ) < 10U,
                                ErrorReason::InvalidNumber );
 
          if( DAW_LIKELY( first < last ) ) {
            DAW_LIKELY_BRANCH
            first =
              skip_digits<( ParseState::is_zero_terminated_string or
                            ParseState::is_unchecked_input )>( first, last );
          }
        }
 
        parse_state.first = first;
        result.last = first;
        result.class_first = decimal;
        result.class_last = exp;
        return result;
      }
 
      /***
       * When we don't know ahead of time what we are skipping switch on the
       * first value and call that types specific skipper
       * TODO: Investigate if there is a difference for the times we know
       * what the member should be if that can increase performance
       */
      template<bool KeepInitialQuote = false, typename ParseState>
      [[nodiscard]] DAW_ATTRIB_NOINLINE constexpr ParseState
      skip_value( ParseState &parse_state ) {
        daw_json_assert_weak( parse_state.has_more( ),
                              ErrorReason::UnexpectedEndOfData, parse_state );
 
        // reset counter
        parse_state.counter = 0;
        switch( parse_state.front( ) ) {
        case '"':
          return skip_string<KeepInitialQuote>( parse_state );
        case '[':
          return parse_state.skip_array( );
        case '{':
          return parse_state.skip_class( );
        case 't':
          return skip_true( parse_state );
        case 'f':
          return skip_false( parse_state );
        case 'n':
          return skip_null( parse_state );
        case '-':
        case '0':
        case '1':
        case '2':
        case '3':
        case '4':
        case '5':
        case '6':
        case '7':
        case '8':
        case '9':
          return skip_number( parse_state );
        }
        DAW_UNLIKELY_BRANCH
        if constexpr( ParseState::is_unchecked_input ) {
          if( DAW_UNLIKELY( parse_state.front( ) == '\0' ) ) {
            daw_json_error( ErrorReason::InvalidStartOfValue, parse_state );
          }
          DAW_UNREACHABLE( );
        } else {
          daw_json_error( ErrorReason::InvalidStartOfValue, parse_state );
        }
      }
 
      /***
       * Used in json_array_iterator::operator++( ) as we know the type we
       * are skipping
       */
      template<typename JsonMember, typename ParseState>
      [[nodiscard]] DAW_ATTRIB_FLATINLINE static inline constexpr ParseState
      skip_known_value( ParseState &parse_state ) {
        daw_json_assert_weak( parse_state.has_more( ),
                              ErrorReason::UnexpectedEndOfData, parse_state );
        if constexpr( JsonMember::expected_type == JsonParseTypes::Date or
                      JsonMember::expected_type == JsonParseTypes::StringRaw or
                      JsonMember::expected_type ==
                        JsonParseTypes::StringEscaped or
                      JsonMember::expected_type == JsonParseTypes::Custom ) {
          // json string encodings
          daw_json_assert_weak( parse_state.front( ) == '"',
                                ErrorReason::InvalidString, parse_state );
          parse_state.remove_prefix( );
          return json_details::skip_string_nq( parse_state );
        } else if constexpr( daw::is_any_of_v<
                               JsonMember::expected_type, JsonParseTypes::Real,
                               JsonParseTypes::Signed, JsonParseTypes::Unsigned,
                               JsonParseTypes::Bool, JsonParseTypes::Null> ) {
          // All literals
          return skip_number( parse_state );
        } else if constexpr( JsonMember::expected_type ==
                             JsonParseTypes::Array ) {
          daw_json_assert_weak( parse_state.is_opening_bracket_checked( ),
                                ErrorReason::InvalidArrayStart, parse_state );
          return parse_state.skip_array( );
        } else if constexpr( JsonMember::expected_type ==
                             JsonParseTypes::Class ) {
          daw_json_assert_weak( parse_state.is_opening_brace_checked( ),
                                ErrorReason::InvalidClassStart, parse_state );
          return parse_state.skip_class( );
        } else {
          return skip_value( parse_state );
        }
      }
 
      template<typename ParseState>
      [[nodiscard]] static inline constexpr ParseState
      skip_literal( ParseState &parse_state ) {
        daw_json_assert_weak( parse_state.has_more( ),
                              ErrorReason::UnexpectedEndOfData, parse_state );
 
        // reset counter
        parse_state.counter = 0;
        switch( parse_state.front( ) ) {
        case 't':
          return skip_true( parse_state );
        case 'f':
          return skip_false( parse_state );
        case 'n':
          return skip_null( parse_state );
        case '-':
        case '0':
        case '1':
        case '2':
        case '3':
        case '4':
        case '5':
        case '6':
        case '7':
        case '8':
        case '9':
          return skip_number( parse_state );
        case '\0':
          daw_json_error( ErrorReason::InvalidStartOfValue, parse_state );
        }
        if constexpr( ParseState::is_unchecked_input ) {
          DAW_UNREACHABLE( );
        } else {
          daw_json_error( ErrorReason::InvalidStartOfValue, parse_state );
        }
      }
    } // namespace json_details
  } // namespace DAW_JSON_VER
} // namespace daw::json