summaryrefslogtreecommitdiff
path: root/json4cpp/tests/src/unit-diagnostics.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'json4cpp/tests/src/unit-diagnostics.cpp')
-rw-r--r--json4cpp/tests/src/unit-diagnostics.cpp265
1 files changed, 265 insertions, 0 deletions
diff --git a/json4cpp/tests/src/unit-diagnostics.cpp b/json4cpp/tests/src/unit-diagnostics.cpp
new file mode 100644
index 0000000000..c5feafe442
--- /dev/null
+++ b/json4cpp/tests/src/unit-diagnostics.cpp
@@ -0,0 +1,265 @@
+// __ _____ _____ _____
+// __| | __| | | | JSON for Modern C++ (supporting code)
+// | | |__ | | | | | | version 3.12.0
+// |_____|_____|_____|_|___| https://github.com/nlohmann/json
+//
+// SPDX-FileCopyrightText: 2013-2026 Niels Lohmann <https://nlohmann.me>
+// SPDX-License-Identifier: MIT
+
+#include "doctest_compatibility.h"
+
+#ifdef JSON_DIAGNOSTICS
+ #undef JSON_DIAGNOSTICS
+#endif
+
+#define JSON_DIAGNOSTICS 1
+
+#include <nlohmann/json.hpp>
+using nlohmann::json;
+
+TEST_CASE("Better diagnostics")
+{
+ SECTION("empty JSON Pointer")
+ {
+ json const j = 1;
+ std::string s;
+ CHECK_THROWS_WITH_AS(s = j.get<std::string>(), "[json.exception.type_error.302] type must be string, but is number", json::type_error);
+ }
+
+ SECTION("invalid type")
+ {
+ json j;
+ j["a"]["b"]["c"] = 1;
+ std::string s;
+ CHECK_THROWS_WITH_AS(s = j["a"]["b"]["c"].get<std::string>(), "[json.exception.type_error.302] (/a/b/c) type must be string, but is number", json::type_error);
+ }
+
+ SECTION("missing key")
+ {
+ json j;
+ j["object"]["object"] = true;
+ CHECK_THROWS_WITH_AS(j["object"].at("not_found"), "[json.exception.out_of_range.403] (/object) key 'not_found' not found", json::out_of_range);
+ }
+
+ SECTION("array index out of range")
+ {
+ json j;
+ j["array"][4] = true;
+ CHECK_THROWS_WITH_AS(j["array"].at(5), "[json.exception.out_of_range.401] (/array) array index 5 is out of range", json::out_of_range);
+ }
+
+ SECTION("array index at wrong type")
+ {
+ json j;
+ j["array"][4] = true;
+ CHECK_THROWS_WITH_AS(j["array"][4][5], "[json.exception.type_error.305] (/array/4) cannot use operator[] with a numeric argument with boolean", json::type_error);
+ }
+
+ SECTION("wrong iterator")
+ {
+ json j;
+ j["array"] = json::array();
+ CHECK_THROWS_WITH_AS(j["array"].erase(j.begin()), "[json.exception.invalid_iterator.202] (/array) iterator does not fit current value", json::invalid_iterator);
+ }
+
+ SECTION("JSON Pointer escaping")
+ {
+ json j;
+ j["a/b"]["m~n"] = 1;
+ std::string s;
+ CHECK_THROWS_WITH_AS(s = j["a/b"]["m~n"].get<std::string>(), "[json.exception.type_error.302] (/a~1b/m~0n) type must be string, but is number", json::type_error);
+ }
+
+ SECTION("Parse error")
+ {
+ json _;
+ CHECK_THROWS_WITH_AS(_ = json::parse(""), "[json.exception.parse_error.101] parse error at line 1, column 1: attempting to parse an empty input; check that your input string or stream contains the expected JSON", json::parse_error);
+ }
+
+ SECTION("Wrong type in update()")
+ {
+ json j = {{"foo", "bar"}};
+ json k = {{"bla", 1}};
+
+ CHECK_THROWS_WITH_AS(j.update(k["bla"].begin(), k["bla"].end()), "[json.exception.type_error.312] (/bla) cannot use update() with number", json::type_error);
+ CHECK_THROWS_WITH_AS(j.update(k["bla"]), "[json.exception.type_error.312] (/bla) cannot use update() with number", json::type_error);
+ }
+}
+
+TEST_CASE("Regression tests for extended diagnostics")
+{
+ SECTION("Regression test for https://github.com/nlohmann/json/pull/2562#pullrequestreview-574858448")
+ {
+ CHECK_THROWS_WITH_AS(json({"0", "0"})[1].get<int>(), "[json.exception.type_error.302] (/1) type must be number, but is string", json::type_error);
+ CHECK_THROWS_WITH_AS(json({"0", "1"})[1].get<int>(), "[json.exception.type_error.302] (/1) type must be number, but is string", json::type_error);
+ }
+
+ SECTION("Regression test for https://github.com/nlohmann/json/pull/2562/files/380a613f2b5d32425021129cd1f371ddcfd54ddf#r563259793")
+ {
+ json j;
+ j["/foo"] = {1, 2, 3};
+ CHECK_THROWS_WITH_AS(j.unflatten(), "[json.exception.type_error.315] (/~1foo) values in object must be primitive", json::type_error);
+ }
+
+ SECTION("Regression test for issue #2838 - Assertion failure when inserting into arrays with JSON_DIAGNOSTICS set")
+ {
+ // void push_back(basic_json&& val)
+ {
+ json j_arr = json::array();
+ j_arr.push_back(json::object());
+ j_arr.push_back(json::object());
+ j_arr.push_back(json::object());
+ j_arr.push_back(json::object());
+ json j_obj = json::object();
+ j_obj["key"] = j_arr;
+ }
+
+ // void push_back(const basic_json& val)
+ {
+ json j_arr = json::array();
+ auto object = json::object();
+ j_arr.push_back(object);
+ j_arr.push_back(object);
+ j_arr.push_back(object);
+ j_arr.push_back(object);
+ json j_obj = json::object();
+ j_obj["key"] = j_arr;
+ }
+
+ // reference emplace_back(Args&& ... args)
+ {
+ json j_arr = json::array();
+ j_arr.emplace_back(json::object());
+ j_arr.emplace_back(json::object());
+ j_arr.emplace_back(json::object());
+ j_arr.emplace_back(json::object());
+ json j_obj = json::object();
+ j_obj["key"] = j_arr;
+ }
+
+ // iterator insert(const_iterator pos, const basic_json& val)
+ {
+ json j_arr = json::array();
+ j_arr.insert(j_arr.begin(), json::object());
+ j_arr.insert(j_arr.begin(), json::object());
+ j_arr.insert(j_arr.begin(), json::object());
+ j_arr.insert(j_arr.begin(), json::object());
+ json j_obj = json::object();
+ j_obj["key"] = j_arr;
+ }
+
+ // iterator insert(const_iterator pos, size_type cnt, const basic_json& val)
+ {
+ json j_arr = json::array();
+ j_arr.insert(j_arr.begin(), 2, json::object());
+ json j_obj = json::object();
+ j_obj["key"] = j_arr;
+ }
+
+ // iterator insert(const_iterator pos, const_iterator first, const_iterator last)
+ {
+ json j_arr = json::array();
+ json j_objects = {json::object(), json::object()};
+ j_arr.insert(j_arr.begin(), j_objects.begin(), j_objects.end());
+ json j_obj = json::object();
+ j_obj["key"] = j_arr;
+ }
+ }
+
+ SECTION("Regression test for issue #2962 - JSON_DIAGNOSTICS assertion for ordered_json")
+ {
+ nlohmann::ordered_json j;
+ nlohmann::ordered_json j2;
+ const std::string value;
+ j["first"] = value;
+ j["second"] = value;
+ j2["something"] = j;
+ }
+
+ SECTION("Regression test for issue #3007 - Parent pointers properly set when using update()")
+ {
+ // void update(const_reference j)
+ {
+ json j = json::object();
+
+ {
+ json j2 = json::object();
+ j2["one"] = 1;
+
+ j.update(j2);
+ }
+
+ // Must call operator[] on const element, otherwise m_parent gets updated.
+ auto const& constJ = j;
+ CHECK_THROWS_WITH_AS(constJ["one"].at(0), "[json.exception.type_error.304] (/one) cannot use at() with number", json::type_error);
+ }
+
+ // void update(const_iterator first, const_iterator last)
+ {
+ json j = json::object();
+
+ {
+ json j2 = json::object();
+ j2["one"] = 1;
+
+ j.update(j2.begin(), j2.end());
+ }
+
+ // Must call operator[] on const element, otherwise m_parent gets updated.
+ auto const& constJ = j;
+ CHECK_THROWS_WITH_AS(constJ["one"].at(0), "[json.exception.type_error.304] (/one) cannot use at() with number", json::type_error);
+ }
+
+ // Code from #3007 triggering unwanted assertion without fix to update().
+ {
+ json root = json::array();
+ json lower = json::object();
+
+ {
+ json lowest = json::object();
+ lowest["one"] = 1;
+
+ lower.update(lowest);
+ }
+
+ root.push_back(lower);
+ }
+ }
+
+ SECTION("Regression test for issue #3032 - Yet another assertion failure when inserting into arrays with JSON_DIAGNOSTICS set")
+ {
+ // reference operator[](size_type idx)
+ {
+ json j_arr = json::array();
+ j_arr[0] = 0;
+ j_arr[1] = 1;
+ j_arr[2] = 2;
+ j_arr[3] = 3;
+ j_arr[4] = 4;
+ j_arr[5] = 5;
+ j_arr[6] = 6;
+ j_arr[7] = 7;
+ json const j_arr_copy = j_arr;
+ }
+ }
+
+ SECTION("Regression test for issue #3915 - JSON_DIAGNOSTICS trigger assertion")
+ {
+ json j = json::object();
+ j["root"] = "root_str";
+
+ json jj = json::object();
+ jj["child"] = json::object();
+
+ // If do not push anything in object, then no assert will be produced
+ jj["child"]["prop1"] = "prop1_value";
+
+ // Push all properties of child in parent
+ j.insert(jj.at("child").begin(), jj.at("child").end());
+
+ // Here assert is generated when construct new json
+ const json k(j);
+
+ CHECK(k.dump() == "{\"prop1\":\"prop1_value\",\"root\":\"root_str\"}");
+ }
+}
generated by cgit 0.0.5-2-1-g0f52 (git 2.46.0) at 2026-04-05 20:52:52 +0000