2018-12-31 20:04:05 +01:00
|
|
|
//
|
2024-01-01 01:07:21 +01:00
|
|
|
// Copyright Aliaksei Levin (levlam@telegram.org), Arseny Smirnov (arseny30@gmail.com) 2014-2024
|
2018-12-31 20:04:05 +01:00
|
|
|
//
|
|
|
|
// 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)
|
|
|
|
//
|
|
|
|
#include "td/utils/JsonBuilder.h"
|
|
|
|
|
|
|
|
#include "td/utils/misc.h"
|
|
|
|
#include "td/utils/ScopeGuard.h"
|
2021-05-17 14:21:11 +02:00
|
|
|
#include "td/utils/SliceBuilder.h"
|
2023-08-08 15:33:37 +02:00
|
|
|
#include "td/utils/utf8.h"
|
2018-12-31 20:04:05 +01:00
|
|
|
|
|
|
|
namespace td {
|
2019-02-15 19:49:02 +01:00
|
|
|
|
2018-12-31 20:04:05 +01:00
|
|
|
StringBuilder &operator<<(StringBuilder &sb, const JsonRawString &val) {
|
|
|
|
sb << '"';
|
|
|
|
SCOPE_EXIT {
|
|
|
|
sb << '"';
|
|
|
|
};
|
|
|
|
auto *s = val.value_.begin();
|
|
|
|
auto len = val.value_.size();
|
|
|
|
|
|
|
|
for (size_t pos = 0; pos < len; pos++) {
|
|
|
|
auto ch = static_cast<unsigned char>(s[pos]);
|
|
|
|
switch (ch) {
|
|
|
|
case '"':
|
|
|
|
sb << '\\' << '"';
|
|
|
|
break;
|
|
|
|
case '\\':
|
|
|
|
sb << '\\' << '\\';
|
|
|
|
break;
|
|
|
|
case '\b':
|
|
|
|
sb << '\\' << 'b';
|
|
|
|
break;
|
|
|
|
case '\f':
|
|
|
|
sb << '\\' << 'f';
|
|
|
|
break;
|
|
|
|
case '\n':
|
|
|
|
sb << '\\' << 'n';
|
|
|
|
break;
|
|
|
|
case '\r':
|
|
|
|
sb << '\\' << 'r';
|
|
|
|
break;
|
|
|
|
case '\t':
|
|
|
|
sb << '\\' << 't';
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
if (ch <= 31) {
|
|
|
|
sb << JsonOneChar(s[pos]);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
sb << s[pos];
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return sb;
|
|
|
|
}
|
|
|
|
|
|
|
|
StringBuilder &operator<<(StringBuilder &sb, const JsonString &val) {
|
|
|
|
sb << '"';
|
|
|
|
SCOPE_EXIT {
|
|
|
|
sb << '"';
|
|
|
|
};
|
|
|
|
auto *s = val.str_.begin();
|
|
|
|
auto len = val.str_.size();
|
|
|
|
|
|
|
|
for (size_t pos = 0; pos < len; pos++) {
|
|
|
|
auto ch = static_cast<unsigned char>(s[pos]);
|
|
|
|
switch (ch) {
|
|
|
|
case '"':
|
|
|
|
sb << '\\' << '"';
|
|
|
|
break;
|
|
|
|
case '\\':
|
|
|
|
sb << '\\' << '\\';
|
|
|
|
break;
|
|
|
|
case '\b':
|
|
|
|
sb << '\\' << 'b';
|
|
|
|
break;
|
|
|
|
case '\f':
|
|
|
|
sb << '\\' << 'f';
|
|
|
|
break;
|
|
|
|
case '\n':
|
|
|
|
sb << '\\' << 'n';
|
|
|
|
break;
|
|
|
|
case '\r':
|
|
|
|
sb << '\\' << 'r';
|
|
|
|
break;
|
|
|
|
case '\t':
|
|
|
|
sb << '\\' << 't';
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
if (ch <= 31) {
|
|
|
|
sb << JsonOneChar(s[pos]);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (128 <= ch) {
|
2021-10-17 21:56:40 +02:00
|
|
|
uint32 a = ch;
|
2018-12-31 20:04:05 +01:00
|
|
|
CHECK((a & 0x40) != 0);
|
|
|
|
|
|
|
|
CHECK(pos + 1 < len);
|
2021-10-17 21:56:40 +02:00
|
|
|
uint32 b = static_cast<unsigned char>(s[++pos]);
|
2018-12-31 20:04:05 +01:00
|
|
|
CHECK((b & 0xc0) == 0x80);
|
|
|
|
if ((a & 0x20) == 0) {
|
|
|
|
CHECK((a & 0x1e) > 0);
|
|
|
|
sb << JsonChar(((a & 0x1f) << 6) | (b & 0x3f));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
CHECK(pos + 1 < len);
|
2021-10-17 21:56:40 +02:00
|
|
|
uint32 c = static_cast<unsigned char>(s[++pos]);
|
2018-12-31 20:04:05 +01:00
|
|
|
CHECK((c & 0xc0) == 0x80);
|
|
|
|
if ((a & 0x10) == 0) {
|
|
|
|
CHECK(((a & 0x0f) | (b & 0x20)) > 0);
|
|
|
|
sb << JsonChar(((a & 0x0f) << 12) | ((b & 0x3f) << 6) | (c & 0x3f));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
CHECK(pos + 1 < len);
|
2021-10-17 21:56:40 +02:00
|
|
|
uint32 d = static_cast<unsigned char>(s[++pos]);
|
2018-12-31 20:04:05 +01:00
|
|
|
CHECK((d & 0xc0) == 0x80);
|
|
|
|
if ((a & 0x08) == 0) {
|
|
|
|
CHECK(((a & 0x07) | (b & 0x30)) > 0);
|
|
|
|
sb << JsonChar(((a & 0x07) << 18) | ((b & 0x3f) << 12) | ((c & 0x3f) << 6) | (d & 0x3f));
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
UNREACHABLE();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
sb << s[pos];
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return sb;
|
|
|
|
}
|
2019-02-15 19:49:02 +01:00
|
|
|
|
2018-12-31 20:04:05 +01:00
|
|
|
Result<MutableSlice> json_string_decode(Parser &parser) {
|
|
|
|
if (!parser.try_skip('"')) {
|
|
|
|
return Status::Error("Opening '\"' expected");
|
|
|
|
}
|
2023-08-08 15:14:04 +02:00
|
|
|
auto data = parser.data();
|
|
|
|
auto *result_start = data.ubegin();
|
|
|
|
auto *cur_src = result_start;
|
|
|
|
auto *cur_dest = result_start;
|
|
|
|
auto *end = data.uend();
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2023-08-08 15:14:04 +02:00
|
|
|
while (true) {
|
|
|
|
if (cur_src == end) {
|
|
|
|
return Status::Error("Closing '\"' not found");
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2023-08-08 15:14:04 +02:00
|
|
|
if (*cur_src == '"') {
|
|
|
|
parser.advance(cur_src + 1 - result_start);
|
|
|
|
return data.substr(0, cur_dest - result_start);
|
|
|
|
}
|
|
|
|
if (*cur_src == '\\') {
|
2018-12-31 20:04:05 +01:00
|
|
|
cur_src++;
|
2023-08-08 15:14:04 +02:00
|
|
|
if (cur_src == end) {
|
|
|
|
return Status::Error("Closing '\"' not found");
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
switch (*cur_src) {
|
|
|
|
case 'b':
|
|
|
|
*cur_dest++ = '\b';
|
|
|
|
cur_src++;
|
|
|
|
break;
|
|
|
|
case 'f':
|
|
|
|
*cur_dest++ = '\f';
|
|
|
|
cur_src++;
|
|
|
|
break;
|
|
|
|
case 'n':
|
|
|
|
*cur_dest++ = '\n';
|
|
|
|
cur_src++;
|
|
|
|
break;
|
|
|
|
case 'r':
|
|
|
|
*cur_dest++ = '\r';
|
|
|
|
cur_src++;
|
|
|
|
break;
|
|
|
|
case 't':
|
|
|
|
*cur_dest++ = '\t';
|
|
|
|
cur_src++;
|
|
|
|
break;
|
|
|
|
case 'u': {
|
|
|
|
cur_src++;
|
2023-08-08 15:14:04 +02:00
|
|
|
if (cur_src + 4 > end) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return Status::Error("\\u has less than 4 symbols");
|
|
|
|
}
|
2023-08-08 15:33:37 +02:00
|
|
|
uint32 num = 0;
|
2018-12-31 20:04:05 +01:00
|
|
|
for (int i = 0; i < 4; i++, cur_src++) {
|
|
|
|
int d = hex_to_int(*cur_src);
|
|
|
|
if (d == 16) {
|
|
|
|
return Status::Error("Invalid \\u -- not hex digit");
|
|
|
|
}
|
|
|
|
num = num * 16 + d;
|
|
|
|
}
|
|
|
|
if (0xD7FF < num && num < 0xE000) {
|
2023-08-08 15:14:04 +02:00
|
|
|
if (cur_src + 6 <= end && cur_src[0] == '\\' && cur_src[1] == 'u') {
|
2018-12-31 20:04:05 +01:00
|
|
|
cur_src += 2;
|
|
|
|
int new_num = 0;
|
|
|
|
for (int i = 0; i < 4; i++, cur_src++) {
|
|
|
|
int d = hex_to_int(*cur_src);
|
|
|
|
if (d == 16) {
|
|
|
|
return Status::Error("Invalid \\u -- not hex digit");
|
|
|
|
}
|
|
|
|
new_num = new_num * 16 + d;
|
|
|
|
}
|
|
|
|
if (0xD7FF < new_num && new_num < 0xE000) {
|
|
|
|
num = (((num & 0x3FF) << 10) | (new_num & 0x3FF)) + 0x10000;
|
|
|
|
} else {
|
|
|
|
cur_src -= 6;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-08-08 15:33:37 +02:00
|
|
|
cur_dest = append_utf8_character_unsafe(cur_dest, num);
|
2018-12-31 20:04:05 +01:00
|
|
|
break;
|
|
|
|
}
|
2023-08-08 15:14:04 +02:00
|
|
|
default:
|
|
|
|
*cur_dest++ = *cur_src++;
|
|
|
|
break;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2023-08-08 15:14:04 +02:00
|
|
|
} else {
|
|
|
|
*cur_dest++ = *cur_src++;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
}
|
2023-08-08 15:14:04 +02:00
|
|
|
UNREACHABLE();
|
|
|
|
return {};
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
Status json_string_skip(Parser &parser) {
|
|
|
|
if (!parser.try_skip('"')) {
|
|
|
|
return Status::Error("Opening '\"' expected");
|
|
|
|
}
|
2023-08-08 15:26:28 +02:00
|
|
|
auto data = parser.data();
|
|
|
|
auto *cur_src = data.ubegin();
|
|
|
|
auto *end = data.uend();
|
2018-12-31 20:04:05 +01:00
|
|
|
|
2023-08-08 15:26:28 +02:00
|
|
|
while (true) {
|
|
|
|
if (cur_src == end) {
|
|
|
|
return Status::Error("Closing '\"' not found");
|
|
|
|
}
|
|
|
|
if (*cur_src == '"') {
|
|
|
|
parser.advance(cur_src + 1 - data.ubegin());
|
|
|
|
return Status::OK();
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2023-08-08 15:26:28 +02:00
|
|
|
if (*cur_src == '\\') {
|
2018-12-31 20:04:05 +01:00
|
|
|
cur_src++;
|
2023-08-08 15:26:28 +02:00
|
|
|
if (cur_src == end) {
|
|
|
|
return Status::Error("Closing '\"' not found");
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
switch (*cur_src) {
|
|
|
|
case 'u': {
|
|
|
|
cur_src++;
|
2023-08-08 15:26:28 +02:00
|
|
|
if (cur_src + 4 > end) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return Status::Error("\\u has less than 4 symbols");
|
|
|
|
}
|
|
|
|
int num = 0;
|
|
|
|
for (int i = 0; i < 4; i++, cur_src++) {
|
|
|
|
int d = hex_to_int(*cur_src);
|
|
|
|
if (d == 16) {
|
|
|
|
return Status::Error("Invalid \\u -- not hex digit");
|
|
|
|
}
|
|
|
|
num = num * 16 + d;
|
|
|
|
}
|
|
|
|
if (0xD7FF < num && num < 0xE000) {
|
2023-08-08 15:26:28 +02:00
|
|
|
if (cur_src + 6 <= end && cur_src[0] == '\\' && cur_src[1] == 'u') {
|
2018-12-31 20:04:05 +01:00
|
|
|
cur_src += 2;
|
|
|
|
int new_num = 0;
|
|
|
|
for (int i = 0; i < 4; i++, cur_src++) {
|
|
|
|
int d = hex_to_int(*cur_src);
|
|
|
|
if (d == 16) {
|
|
|
|
return Status::Error("Invalid \\u -- not hex digit");
|
|
|
|
}
|
|
|
|
new_num = new_num * 16 + d;
|
|
|
|
}
|
|
|
|
if (0xD7FF < new_num && new_num < 0xE000) {
|
|
|
|
// num = (((num & 0x3FF) << 10) | (new_num & 0x3FF)) + 0x10000;
|
|
|
|
} else {
|
|
|
|
cur_src -= 6;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2023-08-08 15:26:28 +02:00
|
|
|
default:
|
|
|
|
cur_src++;
|
|
|
|
break;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2023-08-08 15:26:28 +02:00
|
|
|
} else {
|
|
|
|
cur_src++;
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
}
|
2023-08-08 15:26:28 +02:00
|
|
|
UNREACHABLE();
|
2018-12-31 20:04:05 +01:00
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<JsonValue> do_json_decode(Parser &parser, int32 max_depth) {
|
|
|
|
if (max_depth < 0) {
|
|
|
|
return Status::Error("Too big object depth");
|
|
|
|
}
|
|
|
|
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
switch (parser.peek_char()) {
|
|
|
|
case 'f':
|
2020-07-21 13:24:55 +02:00
|
|
|
if (parser.try_skip("false")) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return JsonValue::create_boolean(false);
|
|
|
|
}
|
2018-12-10 02:01:02 +01:00
|
|
|
return Status::Error("Token starts with 'f' -- false expected");
|
2018-12-31 20:04:05 +01:00
|
|
|
case 't':
|
2020-07-21 13:24:55 +02:00
|
|
|
if (parser.try_skip("true")) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return JsonValue::create_boolean(true);
|
|
|
|
}
|
2018-12-10 02:01:02 +01:00
|
|
|
return Status::Error("Token starts with 't' -- true expected");
|
2018-12-31 20:04:05 +01:00
|
|
|
case 'n':
|
2020-07-21 13:24:55 +02:00
|
|
|
if (parser.try_skip("null")) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return JsonValue();
|
|
|
|
}
|
2018-12-10 02:01:02 +01:00
|
|
|
return Status::Error("Token starts with 'n' -- null expected");
|
2018-12-31 20:04:05 +01:00
|
|
|
case '"': {
|
|
|
|
TRY_RESULT(slice, json_string_decode(parser));
|
|
|
|
return JsonValue::create_string(slice);
|
|
|
|
}
|
|
|
|
case '[': {
|
|
|
|
parser.skip('[');
|
|
|
|
parser.skip_whitespaces();
|
2023-08-08 15:33:37 +02:00
|
|
|
vector<JsonValue> res;
|
2018-12-31 20:04:05 +01:00
|
|
|
if (parser.try_skip(']')) {
|
|
|
|
return JsonValue::create_array(std::move(res));
|
|
|
|
}
|
|
|
|
while (true) {
|
|
|
|
if (parser.empty()) {
|
2018-12-10 02:01:02 +01:00
|
|
|
return Status::Error("Unexpected string end");
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
TRY_RESULT(value, do_json_decode(parser, max_depth - 1));
|
|
|
|
res.emplace_back(std::move(value));
|
|
|
|
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (parser.try_skip(']')) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (parser.try_skip(',')) {
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
continue;
|
|
|
|
}
|
2018-12-10 02:01:02 +01:00
|
|
|
if (parser.empty()) {
|
|
|
|
return Status::Error("Unexpected string end");
|
|
|
|
}
|
|
|
|
return Status::Error("Unexpected symbol while parsing JSON Array");
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
return JsonValue::create_array(std::move(res));
|
|
|
|
}
|
|
|
|
case '{': {
|
|
|
|
parser.skip('{');
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (parser.try_skip('}')) {
|
2023-07-31 18:47:55 +02:00
|
|
|
return JsonValue::make_object(JsonObject());
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2023-07-31 18:47:55 +02:00
|
|
|
vector<std::pair<Slice, JsonValue>> field_values;
|
2018-12-31 20:04:05 +01:00
|
|
|
while (true) {
|
|
|
|
if (parser.empty()) {
|
2018-12-10 02:01:02 +01:00
|
|
|
return Status::Error("Unexpected string end");
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2023-07-31 12:31:48 +02:00
|
|
|
TRY_RESULT(field, json_string_decode(parser));
|
2018-12-31 20:04:05 +01:00
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (!parser.try_skip(':')) {
|
|
|
|
return Status::Error("':' expected");
|
|
|
|
}
|
|
|
|
TRY_RESULT(value, do_json_decode(parser, max_depth - 1));
|
2023-07-31 18:47:55 +02:00
|
|
|
field_values.emplace_back(field, std::move(value));
|
2018-12-31 20:04:05 +01:00
|
|
|
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (parser.try_skip('}')) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (parser.try_skip(',')) {
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
continue;
|
|
|
|
}
|
2018-12-10 02:01:02 +01:00
|
|
|
if (parser.empty()) {
|
|
|
|
return Status::Error("Unexpected string end");
|
|
|
|
}
|
|
|
|
return Status::Error("Unexpected symbol while parsing JSON Object");
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
2023-07-31 18:47:55 +02:00
|
|
|
return JsonValue::make_object(JsonObject(std::move(field_values)));
|
2018-12-31 20:04:05 +01:00
|
|
|
}
|
|
|
|
case '-':
|
|
|
|
case '+':
|
|
|
|
case '.':
|
|
|
|
case '0':
|
|
|
|
case '1':
|
|
|
|
case '2':
|
|
|
|
case '3':
|
|
|
|
case '4':
|
|
|
|
case '5':
|
|
|
|
case '6':
|
|
|
|
case '7':
|
|
|
|
case '8':
|
|
|
|
case '9': {
|
|
|
|
auto num = parser.read_while(
|
|
|
|
[](char c) { return c == '-' || ('0' <= c && c <= '9') || c == 'e' || c == 'E' || c == '+' || c == '.'; });
|
|
|
|
return JsonValue::create_number(num);
|
|
|
|
}
|
|
|
|
case 0:
|
2018-12-10 02:01:02 +01:00
|
|
|
return Status::Error("Unexpected string end");
|
2018-12-31 20:04:05 +01:00
|
|
|
default: {
|
|
|
|
char next = parser.peek_char();
|
|
|
|
if (0 < next && next < 127) {
|
|
|
|
return Status::Error(PSLICE() << "Unexpected symbol '" << parser.peek_char() << "'");
|
|
|
|
} else {
|
|
|
|
return Status::Error("Unexpected symbol");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
UNREACHABLE();
|
|
|
|
}
|
|
|
|
|
|
|
|
Status do_json_skip(Parser &parser, int32 max_depth) {
|
|
|
|
if (max_depth < 0) {
|
|
|
|
return Status::Error("Too big object depth");
|
|
|
|
}
|
|
|
|
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
switch (parser.peek_char()) {
|
|
|
|
case 'f':
|
2020-07-21 13:24:55 +02:00
|
|
|
if (parser.try_skip("false")) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
return Status::Error("Starts with 'f' -- false expected");
|
|
|
|
case 't':
|
2020-07-21 13:24:55 +02:00
|
|
|
if (parser.try_skip("true")) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
return Status::Error("Starts with 't' -- true expected");
|
|
|
|
case 'n':
|
2020-07-21 13:24:55 +02:00
|
|
|
if (parser.try_skip("null")) {
|
2018-12-31 20:04:05 +01:00
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
return Status::Error("Starts with 'n' -- null expected");
|
|
|
|
case '"': {
|
|
|
|
return json_string_skip(parser);
|
|
|
|
}
|
|
|
|
case '[': {
|
|
|
|
parser.skip('[');
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (parser.try_skip(']')) {
|
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
while (true) {
|
|
|
|
if (parser.empty()) {
|
|
|
|
return Status::Error("Unexpected end");
|
|
|
|
}
|
|
|
|
TRY_STATUS(do_json_skip(parser, max_depth - 1));
|
|
|
|
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (parser.try_skip(']')) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (parser.try_skip(',')) {
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
return Status::Error("Unexpected symbol");
|
|
|
|
}
|
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
case '{': {
|
|
|
|
parser.skip('{');
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (parser.try_skip('}')) {
|
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
while (true) {
|
|
|
|
if (parser.empty()) {
|
|
|
|
return Status::Error("Unexpected end");
|
|
|
|
}
|
|
|
|
TRY_STATUS(json_string_skip(parser));
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (!parser.try_skip(':')) {
|
|
|
|
return Status::Error("':' expected");
|
|
|
|
}
|
|
|
|
TRY_STATUS(do_json_skip(parser, max_depth - 1));
|
|
|
|
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
if (parser.try_skip('}')) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (parser.try_skip(',')) {
|
|
|
|
parser.skip_whitespaces();
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
return Status::Error("Unexpected symbol");
|
|
|
|
}
|
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
case '-':
|
|
|
|
case '+':
|
|
|
|
case '.':
|
|
|
|
case '0':
|
|
|
|
case '1':
|
|
|
|
case '2':
|
|
|
|
case '3':
|
|
|
|
case '4':
|
|
|
|
case '5':
|
|
|
|
case '6':
|
|
|
|
case '7':
|
|
|
|
case '8':
|
|
|
|
case '9': {
|
|
|
|
parser.read_while(
|
|
|
|
[](char c) { return c == '-' || ('0' <= c && c <= '9') || c == 'e' || c == 'E' || c == '+' || c == '.'; });
|
|
|
|
return Status::OK();
|
|
|
|
}
|
|
|
|
case 0:
|
|
|
|
return Status::Error("Unexpected end");
|
|
|
|
default: {
|
|
|
|
char next = parser.peek_char();
|
|
|
|
if (0 < next && next < 127) {
|
|
|
|
return Status::Error(PSLICE() << "Unexpected symbol '" << parser.peek_char() << "'");
|
|
|
|
} else {
|
|
|
|
return Status::Error("Unexpected symbol");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return Status::Error("Can't parse");
|
|
|
|
}
|
|
|
|
|
|
|
|
Slice JsonValue::get_type_name(Type type) {
|
|
|
|
switch (type) {
|
|
|
|
case Type::Null:
|
|
|
|
return Slice("Null");
|
|
|
|
case Type::Number:
|
|
|
|
return Slice("Number");
|
|
|
|
case Type::Boolean:
|
|
|
|
return Slice("Boolean");
|
|
|
|
case Type::String:
|
|
|
|
return Slice("String");
|
|
|
|
case Type::Array:
|
|
|
|
return Slice("Array");
|
|
|
|
case Type::Object:
|
|
|
|
return Slice("Object");
|
|
|
|
default:
|
|
|
|
UNREACHABLE();
|
|
|
|
return Slice("Unknown");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2024-05-17 13:53:27 +02:00
|
|
|
JsonObject::JsonObject(vector<std::pair<Slice, JsonValue>> &&field_values) : field_values_(std::move(field_values)) {
|
|
|
|
}
|
|
|
|
|
|
|
|
size_t JsonObject::field_count() const {
|
|
|
|
return field_values_.size();
|
|
|
|
}
|
|
|
|
|
2023-07-31 15:30:39 +02:00
|
|
|
JsonValue JsonObject::extract_field(Slice name) {
|
|
|
|
for (auto &field_value : field_values_) {
|
|
|
|
if (field_value.first == name) {
|
|
|
|
return std::move(field_value.second);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return JsonValue();
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<JsonValue> JsonObject::extract_optional_field(Slice name, JsonValueType type) {
|
|
|
|
for (auto &field_value : field_values_) {
|
|
|
|
if (field_value.first == name) {
|
|
|
|
if (type != JsonValue::Type::Null && field_value.second.type() != type) {
|
|
|
|
return Status::Error(400, PSLICE()
|
|
|
|
<< "Field \"" << name << "\" must be of type " << JsonValue::get_type_name(type));
|
|
|
|
}
|
|
|
|
|
|
|
|
return std::move(field_value.second);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return JsonValue();
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<JsonValue> JsonObject::extract_required_field(Slice name, JsonValueType type) {
|
|
|
|
for (auto &field_value : field_values_) {
|
|
|
|
if (field_value.first == name) {
|
|
|
|
if (type != JsonValue::Type::Null && field_value.second.type() != type) {
|
|
|
|
return Status::Error(400, PSLICE()
|
|
|
|
<< "Field \"" << name << "\" must be of type " << JsonValue::get_type_name(type));
|
|
|
|
}
|
|
|
|
|
|
|
|
return std::move(field_value.second);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Can't find field \"" << name << "\"");
|
|
|
|
}
|
|
|
|
|
|
|
|
const JsonValue *JsonObject::get_field(Slice name) const {
|
|
|
|
for (auto &field_value : field_values_) {
|
|
|
|
if (field_value.first == name) {
|
|
|
|
return &field_value.second;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
bool JsonObject::has_field(Slice name) const {
|
|
|
|
return get_field(name) != nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<bool> JsonObject::get_optional_bool_field(Slice name, bool default_value) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::Boolean) {
|
|
|
|
return value->get_boolean();
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be of type Boolean");
|
|
|
|
}
|
|
|
|
return default_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<bool> JsonObject::get_required_bool_field(Slice name) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::Boolean) {
|
|
|
|
return value->get_boolean();
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be of type Boolean");
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Can't find field \"" << name << '"');
|
|
|
|
}
|
|
|
|
|
2023-11-15 11:40:32 +01:00
|
|
|
template <class T>
|
|
|
|
static Result<T> get_integer_field(Slice name, Slice value) {
|
|
|
|
auto r_int = to_integer_safe<T>(value);
|
|
|
|
if (r_int.is_ok()) {
|
|
|
|
return r_int.ok();
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be a valid Number");
|
|
|
|
}
|
|
|
|
|
2023-07-31 15:30:39 +02:00
|
|
|
Result<int32> JsonObject::get_optional_int_field(Slice name, int32 default_value) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::String) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int32>(name, value->get_string());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int32>(name, value->get_number());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
2023-11-15 11:40:32 +01:00
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be a Number");
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
return default_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<int32> JsonObject::get_required_int_field(Slice name) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::String) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int32>(name, value->get_string());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int32>(name, value->get_number());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
2023-11-15 11:40:32 +01:00
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be a Number");
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Can't find field \"" << name << '"');
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<int64> JsonObject::get_optional_long_field(Slice name, int64 default_value) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::String) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int64>(name, value->get_string());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int64>(name, value->get_number());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be a Number");
|
|
|
|
}
|
|
|
|
return default_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<int64> JsonObject::get_required_long_field(Slice name) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::String) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int64>(name, value->get_string());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
2023-11-15 11:40:32 +01:00
|
|
|
return get_integer_field<int64>(name, value->get_number());
|
2023-07-31 15:30:39 +02:00
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be a Number");
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Can't find field \"" << name << '"');
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<double> JsonObject::get_optional_double_field(Slice name, double default_value) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
|
|
|
return to_double(value->get_number());
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be of type Number");
|
|
|
|
}
|
|
|
|
return default_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<double> JsonObject::get_required_double_field(Slice name) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
|
|
|
return to_double(value->get_number());
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be of type Number");
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Can't find field \"" << name << '"');
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<string> JsonObject::get_optional_string_field(Slice name, string default_value) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::String) {
|
|
|
|
return value->get_string().str();
|
|
|
|
}
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
|
|
|
return value->get_number().str();
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be of type String");
|
|
|
|
}
|
|
|
|
return std::move(default_value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Result<string> JsonObject::get_required_string_field(Slice name) const {
|
|
|
|
auto value = get_field(name);
|
|
|
|
if (value != nullptr) {
|
|
|
|
if (value->type() == JsonValue::Type::String) {
|
|
|
|
return value->get_string().str();
|
|
|
|
}
|
|
|
|
if (value->type() == JsonValue::Type::Number) {
|
|
|
|
return value->get_number().str();
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Field \"" << name << "\" must be of type String");
|
|
|
|
}
|
|
|
|
return Status::Error(400, PSLICE() << "Can't find field \"" << name << '"');
|
|
|
|
}
|
|
|
|
|
2023-07-31 18:38:53 +02:00
|
|
|
void JsonObject::foreach(const std::function<void(Slice name, const JsonValue &value)> &callback) const {
|
|
|
|
for (auto &field_value : field_values_) {
|
|
|
|
callback(field_value.first, field_value.second);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-12-31 20:04:05 +01:00
|
|
|
} // namespace td
|