cpp-json/json_common.hpp

//
//  json_common.h
//  json
//
//  Created by Sam Jaffe on 4/22/16.
//

#pragma once

#include <cstdint>
#include <cstdlib>
#include <stdexcept>
#include <string>
#include <errno.h>

namespace json {
  using string_jt = std::string;
  using double_jt = double;
  using int_jt = int32_t;
  using uint_jt = uint32_t;
  using bool_jt = bool;
  
  class value;
  
  class malformed_json_exception :
  public std::domain_error {
    using std::domain_error::domain_error;
  };
  
  class unterminated_json_exception :
  public malformed_json_exception {
    using malformed_json_exception::malformed_json_exception;
  };
  
  class json_numeric_exception :
  public std::domain_error {
    using std::domain_error::domain_error;
  };

  class json_numeric_width_exception :
  public json_numeric_exception {
    using json_numeric_exception::json_numeric_exception;
  };

  namespace {
    const constexpr json::int_jt INT_JT_MAX = std::numeric_limits<json::int_jt>::max();
    const constexpr json::int_jt INT_JT_MAX_LAST_DIGIT = (INT_JT_MAX % 10);
    const constexpr json::int_jt INT_JT_MIN = std::numeric_limits<json::int_jt>::min();
    const constexpr json::uint_jt INT_JT_OVER = json::uint_jt(INT_JT_MAX) + 1;
    const constexpr json::uint_jt UINT_JT_MAX = json::uint_jt(0) - 1;
    //  const constexpr json::uint_jt UINT_JT_MIN = 0;
  }
}

namespace json { namespace parser {
  enum options {
    allow_all                        = 0x00,
    disable_unknown_keys             = 0x01,
    disable_concatenated_json_bodies = 0x02,
    disable_all                      = 0xFF,
  };
} }

namespace json { namespace helper {
  const char get_next_element(char const*& data);
  
  enum numeric_state {
    DOUBLE, INTEGER
  };
  
  struct numeric_token_info {
    numeric_token_info(char const * start);
    numeric_state parse_numeric();
    
    uint_jt val;
    
    char const * it;
    char const * end;
    bool is_double;
    bool is_negative;
  };
  
  numeric_token_info get_numeric_token_info(char const * it);
  
  /**
   * @throws json::malformed_json_exception
   */
  void advance_to_boundary(char const endtok, char const *& data);
  
  /**
   * @throws json::malformed_json_exception
   */
  std::string parse_string(char const * & data);
  
  template <typename T>
  void parse_string(T& json, char const * & data) {
    json = parse_string(data);
  }
  
  template <typename T>
  T parse_double_impl(char const * begin, char const * & end) {
    return std::strtod(begin, const_cast<char**>(&end));
  }
  template <>
  inline float parse_double_impl<float>(char const * begin, char const * & end) {
    return std::strtof(begin, const_cast<char**>(&end));
  }
  template <>
  inline long double parse_double_impl<long double>(char const * begin, char const * & end) {
    return std::strtold(begin, const_cast<char**>(&end));
  }
  
  template <typename T>
  void parse_double(T& json, char const * & data) {
    char const * begin = data;
    errno = 0;
    T tmp = parse_double_impl<T>(begin, data);
    if (errno != 0) {
      throw json::json_numeric_width_exception{"Number is out-of-range for floating-point type"};
    } else if ( begin == data ) {
      throw json::json_numeric_exception{"Expected numeric data"};
    }
    errno = 0;
    json = std::move(tmp);
  }
  
  template <typename J>
  void parse_numeric(J & json, char const * & data) {
    numeric_token_info info = data;
    
    if ( info.is_double || info.parse_numeric() == DOUBLE ) {
      if (std::is_integral<J>::value) {
        throw json::json_numeric_exception{"Expected integer, got double"};
      }
      helper::parse_double(json, data);
    } else {
      uint_jt const val = info.val;
      
      if (fls(val) > std::numeric_limits<J>::digits + info.is_negative) {
        throw json::json_numeric_width_exception{"Integer width too small for parsed value"};
      }

      if (info.is_negative) {
        if (!std::is_signed<J>::value) {
          throw json::json_numeric_exception{"Expected signed integer"};
        }
        if (val == INT_JT_OVER) {
          json = (J) INT_JT_MIN; // Cast suppresses error message, narrowing check above makes safe
        } else {
          json = -int_jt(val);
        }
      } else if (val <= uint_jt(INT_JT_MAX)) {
        json = int_jt(val);
      } else if (std::is_signed<J>::value) {
        throw json::json_numeric_exception{"Expected unsigned integer"};
      } else {
        json = val;
      }
      data = info.it;
    }
  }
} }