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 "daw/json/impl/version.h"
 
#include "daw/json/daw_json_exception.h"
#include "daw/json/impl/daw_json_assert.h"
#include "daw/json/impl/daw_json_enums.h"
#include "daw/json/impl/daw_json_parse_digit.h"
#include "daw/json/impl/daw_json_parse_policy_policy_details.h"
#include "daw/json/impl/daw_json_parse_string_quote.h"
 
#include <daw/daw_attributes.h>
#include <daw/daw_bit_cast.h>
#include <daw/daw_enable_requires.h>
#include <daw/daw_is_any_of.h>
#include <daw/daw_likely.h>
#include <daw/daw_not_null.h>
#include <daw/daw_unreachable.h>
 
#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 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 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 constexpr ParseState
      skip_true( ParseState &parse_state ) {
        auto result = parse_state;
        if constexpr( 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 constexpr ParseState
      skip_false( ParseState &parse_state ) {
        auto result = parse_state;
        if constexpr( 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 constexpr ParseState
      skip_null( ParseState &parse_state ) {
        if constexpr( 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 iterator>
      DAW_ATTRIB_FLATINLINE [[nodiscard]] constexpr daw::not_null<iterator>
      skip_digits( daw::not_null<iterator> first,
                   daw::not_null<iterator> 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
       */
      template<typename ParseState>
      [[nodiscard]] static constexpr ParseState
      skip_number( ParseState &parse_state ) {
        daw_json_assert_weak( parse_state.has_more( ),
                              ErrorReason::UnexpectedEndOfData,
                              parse_state );
 
        auto result = parse_state;
        daw::not_null<char const *> first = parse_state.first;
        daw::not_null<char const *> 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(
              true, 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_unchecked_input>( first, last );
        }
 
        char const *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 );
          }
        }
        char const *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 = input_pointer( r.first, first.get( ) );
              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 = input_pointer( parse_state.first, first.get( ) );
        result.last = input_pointer( result.first, first.get( ) );
        result.class_first = input_pointer( result.first, decimal );
        result.class_last = input_pointer( result.first, 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(
              true, ErrorReason::InvalidStartOfValue, parse_state );
          }
          DAW_UNREACHABLE( );
        } else {
          daw_json_error( true, 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 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::StringInsitu 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 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( true, ErrorReason::InvalidStartOfValue, parse_state );
        }
        if constexpr( ParseState::is_unchecked_input ) {
          DAW_UNREACHABLE( );
        } else {
          daw_json_error( true, ErrorReason::InvalidStartOfValue, parse_state );
        }
      }
    } // namespace json_details
  } // namespace DAW_JSON_VER
} // namespace daw::json