/* __ _____ _____ _____ __| | __| | | | JSON for Modern C++ (test suite) | | |__ | | | | | | version 2.1.1 |_____|_____|_____|_|___| https://github.com/nlohmann/json Licensed under the MIT License . Copyright (c) 2013-2017 Niels Lohmann . Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */ #include "catch.hpp" #define private public #include "json.hpp" using nlohmann::json; #include TEST_CASE("parser class") { SECTION("parse") { SECTION("null") { CHECK(json::parser("null").parse() == json(nullptr)); } SECTION("true") { CHECK(json::parser("true").parse() == json(true)); } SECTION("false") { CHECK(json::parser("false").parse() == json(false)); } SECTION("array") { SECTION("empty array") { CHECK(json::parser("[]").parse() == json(json::value_t::array)); CHECK(json::parser("[ ]").parse() == json(json::value_t::array)); } SECTION("nonempty array") { CHECK(json::parser("[true, false, null]").parse() == json({true, false, nullptr})); } } SECTION("object") { SECTION("empty object") { CHECK(json::parser("{}").parse() == json(json::value_t::object)); CHECK(json::parser("{ }").parse() == json(json::value_t::object)); } SECTION("nonempty object") { CHECK(json::parser("{\"\": true, \"one\": 1, \"two\": null}").parse() == json({{"", true}, {"one", 1}, {"two", nullptr}})); } } SECTION("string") { // empty string CHECK(json::parser("\"\"").parse() == json(json::value_t::string)); SECTION("errors") { // error: tab in string CHECK_THROWS_AS(json::parser("\"\t\"").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("\"\t\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); // error: newline in string CHECK_THROWS_AS(json::parser("\"\n\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\r\"").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("\"\n\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\r\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); // error: backspace in string CHECK_THROWS_AS(json::parser("\"\b\"").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("\"\b\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); // improve code coverage CHECK_THROWS_AS(json::parser("\uFF01").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("[-4:1,]").parse(), json::parse_error); // unescaped control characters CHECK_THROWS_AS(json::parser("\"\x00\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x01\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x02\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x03\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x04\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x05\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x06\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x07\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x08\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x09\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x0a\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x0b\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x0c\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x0d\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x0e\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x0f\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x10\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x11\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x12\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x13\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x14\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x15\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x16\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x17\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x18\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x19\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x1a\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x1b\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x1c\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x1d\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x1e\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\x1f\"").parse(), json::parse_error); } SECTION("escaped") { // quotation mark "\"" auto r1 = R"("\"")"_json; CHECK(json::parser("\"\\\"\"").parse() == r1); // reverse solidus "\\" auto r2 = R"("\\")"_json; CHECK(json::parser("\"\\\\\"").parse() == r2); // solidus CHECK(json::parser("\"\\/\"").parse() == R"("/")"_json); // backspace CHECK(json::parser("\"\\b\"").parse() == json("\b")); // formfeed CHECK(json::parser("\"\\f\"").parse() == json("\f")); // newline CHECK(json::parser("\"\\n\"").parse() == json("\n")); // carriage return CHECK(json::parser("\"\\r\"").parse() == json("\r")); // horizontal tab CHECK(json::parser("\"\\t\"").parse() == json("\t")); CHECK(json::parser("\"\\u0001\"").parse().get() == "\x01"); CHECK(json::parser("\"\\u000a\"").parse().get() == "\n"); CHECK(json::parser("\"\\u00b0\"").parse().get() == "°"); CHECK(json::parser("\"\\u0c00\"").parse().get() == "ఀ"); CHECK(json::parser("\"\\ud000\"").parse().get() == "퀀"); CHECK(json::parser("\"\\u000E\"").parse().get() == "\x0E"); CHECK(json::parser("\"\\u00F0\"").parse().get() == "ð"); CHECK(json::parser("\"\\u0100\"").parse().get() == "Ā"); CHECK(json::parser("\"\\u2000\"").parse().get() == " "); CHECK(json::parser("\"\\uFFFF\"").parse().get() == "￿"); CHECK(json::parser("\"\\u20AC\"").parse().get() == "€"); CHECK(json::parser("\"€\"").parse().get() == "€"); CHECK(json::parser("\"🎈\"").parse().get() == "🎈"); CHECK(json::parse("\"\\ud80c\\udc60\"").get() == u8"\U00013060"); CHECK(json::parse("\"\\ud83c\\udf1e\"").get() == "🌞"); } } SECTION("number") { SECTION("integers") { SECTION("without exponent") { CHECK(json::parser("-128").parse() == json(-128)); CHECK(json::parser("-0").parse() == json(-0)); CHECK(json::parser("0").parse() == json(0)); CHECK(json::parser("128").parse() == json(128)); } SECTION("with exponent") { CHECK(json::parser("0e1").parse() == json(0e1)); CHECK(json::parser("0E1").parse() == json(0e1)); CHECK(json::parser("10000E-4").parse() == json(10000e-4)); CHECK(json::parser("10000E-3").parse() == json(10000e-3)); CHECK(json::parser("10000E-2").parse() == json(10000e-2)); CHECK(json::parser("10000E-1").parse() == json(10000e-1)); CHECK(json::parser("10000E0").parse() == json(10000e0)); CHECK(json::parser("10000E1").parse() == json(10000e1)); CHECK(json::parser("10000E2").parse() == json(10000e2)); CHECK(json::parser("10000E3").parse() == json(10000e3)); CHECK(json::parser("10000E4").parse() == json(10000e4)); CHECK(json::parser("10000e-4").parse() == json(10000e-4)); CHECK(json::parser("10000e-3").parse() == json(10000e-3)); CHECK(json::parser("10000e-2").parse() == json(10000e-2)); CHECK(json::parser("10000e-1").parse() == json(10000e-1)); CHECK(json::parser("10000e0").parse() == json(10000e0)); CHECK(json::parser("10000e1").parse() == json(10000e1)); CHECK(json::parser("10000e2").parse() == json(10000e2)); CHECK(json::parser("10000e3").parse() == json(10000e3)); CHECK(json::parser("10000e4").parse() == json(10000e4)); CHECK(json::parser("-0e1").parse() == json(-0e1)); CHECK(json::parser("-0E1").parse() == json(-0e1)); CHECK(json::parser("-0E123").parse() == json(-0e123)); } SECTION("edge cases") { // From RFC7159, Section 6: // Note that when such software is used, numbers that are // integers and are in the range [-(2**53)+1, (2**53)-1] // are interoperable in the sense that implementations will // agree exactly on their numeric values. // -(2**53)+1 CHECK(json::parser("-9007199254740991").parse().get() == -9007199254740991); // (2**53)-1 CHECK(json::parser("9007199254740991").parse().get() == 9007199254740991); } SECTION("over the edge cases") // issue #178 - Integer conversion to unsigned (incorrect handling of 64 bit integers) { // While RFC7159, Section 6 specifies a preference for support // for ranges in range of IEEE 754-2008 binary64 (double precision) // this does not accommodate 64 bit integers without loss of accuracy. // As 64 bit integers are now widely used in software, it is desirable // to expand support to to the full 64 bit (signed and unsigned) range // i.e. -(2**63) -> (2**64)-1. // -(2**63) ** Note: compilers see negative literals as negated positive numbers (hence the -1)) CHECK(json::parser("-9223372036854775808").parse().get() == -9223372036854775807 - 1); // (2**63)-1 CHECK(json::parser("9223372036854775807").parse().get() == 9223372036854775807); // (2**64)-1 CHECK(json::parser("18446744073709551615").parse().get() == 18446744073709551615u); } } SECTION("floating-point") { SECTION("without exponent") { CHECK(json::parser("-128.5").parse() == json(-128.5)); CHECK(json::parser("0.999").parse() == json(0.999)); CHECK(json::parser("128.5").parse() == json(128.5)); CHECK(json::parser("-0.0").parse() == json(-0.0)); } SECTION("with exponent") { CHECK(json::parser("-128.5E3").parse() == json(-128.5E3)); CHECK(json::parser("-128.5E-3").parse() == json(-128.5E-3)); CHECK(json::parser("-0.0e1").parse() == json(-0.0e1)); CHECK(json::parser("-0.0E1").parse() == json(-0.0e1)); } } SECTION("overflow") { CHECK(json::parser("1.18973e+4932").parse() == json()); } SECTION("invalid numbers") { CHECK_THROWS_AS(json::parser("01").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("--1").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1.").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1E").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1E-").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1.E1").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-1E").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0E#").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0E-#").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0#").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0.0:").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0.0Z").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0E123:").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0e0-:").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0e-:").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0f").parse(), json::parse_error); // numbers must not begin with "+" CHECK_THROWS_AS(json::parser("+1").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("+0").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("01").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected '01'"); CHECK_THROWS_WITH(json::parser("-01").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected '-01'"); CHECK_THROWS_WITH(json::parser("--1").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '-'"); CHECK_THROWS_WITH(json::parser("1.").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected '.'; expected end of input"); CHECK_THROWS_WITH(json::parser("1E").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'E'; expected end of input"); CHECK_THROWS_WITH(json::parser("1E-").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'E'; expected end of input"); CHECK_THROWS_WITH(json::parser("1.E1").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected '.'; expected end of input"); CHECK_THROWS_WITH(json::parser("-1E").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected 'E'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0E#").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected 'E'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0E-#").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected 'E'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0#").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected '#'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0.0:").parse(), "[json.exception.parse_error.101] parse error at 5: parse error - unexpected ':'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0.0Z").parse(), "[json.exception.parse_error.101] parse error at 5: parse error - unexpected 'Z'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0E123:").parse(), "[json.exception.parse_error.101] parse error at 7: parse error - unexpected ':'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0e0-:").parse(), "[json.exception.parse_error.101] parse error at 5: parse error - unexpected '-'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0e-:").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected 'e'; expected end of input"); CHECK_THROWS_WITH(json::parser("-0f").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected 'f'; expected end of input"); } } } SECTION("parse errors") { // unexpected end of number CHECK_THROWS_AS(json::parser("0.").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("--").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-0.").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-.").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("-:").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("0.:").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("e.").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1e.").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1e/").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1e:").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1E.").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1E/").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("1E:").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("0.").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected '.'; expected end of input"); CHECK_THROWS_WITH(json::parser("-").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '-'"); CHECK_THROWS_WITH(json::parser("--").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '-'"); CHECK_THROWS_WITH(json::parser("-0.").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected '.'; expected end of input"); CHECK_THROWS_WITH(json::parser("-.").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '-'"); CHECK_THROWS_WITH(json::parser("-:").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '-'"); CHECK_THROWS_WITH(json::parser("0.:").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected '.'; expected end of input"); CHECK_THROWS_WITH(json::parser("e.").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'e'"); CHECK_THROWS_WITH(json::parser("1e.").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'e'; expected end of input"); CHECK_THROWS_WITH(json::parser("1e/").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'e'; expected end of input"); CHECK_THROWS_WITH(json::parser("1e:").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'e'; expected end of input"); CHECK_THROWS_WITH(json::parser("1E.").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'E'; expected end of input"); CHECK_THROWS_WITH(json::parser("1E/").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'E'; expected end of input"); CHECK_THROWS_WITH(json::parser("1E:").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected 'E'; expected end of input"); // unexpected end of null CHECK_THROWS_AS(json::parser("n").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("nu").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("nul").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("n").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'n'"); CHECK_THROWS_WITH(json::parser("nu").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'n'"); CHECK_THROWS_WITH(json::parser("nul").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'n'"); // unexpected end of true CHECK_THROWS_AS(json::parser("t").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("tr").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("tru").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("t").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 't'"); CHECK_THROWS_WITH(json::parser("tr").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 't'"); CHECK_THROWS_WITH(json::parser("tru").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 't'"); // unexpected end of false CHECK_THROWS_AS(json::parser("f").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("fa").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("fal").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("fals").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("f").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'f'"); CHECK_THROWS_WITH(json::parser("fa").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'f'"); CHECK_THROWS_WITH(json::parser("fal").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'f'"); CHECK_THROWS_WITH(json::parser("fals").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected 'f'"); // missing/unexpected end of array CHECK_THROWS_AS(json::parser("[").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("[1").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("[1,").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("[1,]").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("]").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("[").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected end of input"); CHECK_THROWS_WITH(json::parser("[1").parse(), "[json.exception.parse_error.101] parse error at 3: parse error - unexpected end of input; expected ']'"); CHECK_THROWS_WITH(json::parser("[1,").parse(), "[json.exception.parse_error.101] parse error at 4: parse error - unexpected end of input"); CHECK_THROWS_WITH(json::parser("[1,]").parse(), "[json.exception.parse_error.101] parse error at 4: parse error - unexpected ']'"); CHECK_THROWS_WITH(json::parser("]").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected ']'"); // missing/unexpected end of object CHECK_THROWS_AS(json::parser("{").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("{\"foo\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("{\"foo\":").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("{\"foo\":}").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("{\"foo\":1,}").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("}").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("{").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected end of input; expected string literal"); CHECK_THROWS_WITH(json::parser("{\"foo\"").parse(), "[json.exception.parse_error.101] parse error at 7: parse error - unexpected end of input; expected ':'"); CHECK_THROWS_WITH(json::parser("{\"foo\":").parse(), "[json.exception.parse_error.101] parse error at 8: parse error - unexpected end of input"); CHECK_THROWS_WITH(json::parser("{\"foo\":}").parse(), "[json.exception.parse_error.101] parse error at 8: parse error - unexpected '}'"); CHECK_THROWS_WITH(json::parser("{\"foo\":1,}").parse(), "[json.exception.parse_error.101] parse error at 10: parse error - unexpected '}'; expected string literal"); CHECK_THROWS_WITH(json::parser("}").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '}'"); // missing/unexpected end of string CHECK_THROWS_AS(json::parser("\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u0\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u01\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u012\"").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u0").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u01").parse(), json::parse_error); CHECK_THROWS_AS(json::parser("\"\\u012").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u0\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u01\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u012\"").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u0").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u01").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser("\"\\u012").parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); // invalid escapes for (int c = 1; c < 128; ++c) { auto s = std::string("\"\\") + std::string(1, c) + "\""; switch (c) { // valid escapes case ('"'): case ('\\'): case ('/'): case ('b'): case ('f'): case ('n'): case ('r'): case ('t'): { CHECK_NOTHROW(json::parser(s.c_str()).parse()); break; } // \u must be followed with four numbers, so we skip it here case ('u'): { break; } // any other combination of backslash and character is invalid default: { CHECK_THROWS_AS(json::parser(s.c_str()).parse(), json::parse_error); CHECK_THROWS_WITH(json::parser(s.c_str()).parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); break; } } } // invalid \uxxxx escapes { // check whether character is a valid hex character const auto valid = [](int c) { switch (c) { case ('0'): case ('1'): case ('2'): case ('3'): case ('4'): case ('5'): case ('6'): case ('7'): case ('8'): case ('9'): case ('a'): case ('b'): case ('c'): case ('d'): case ('e'): case ('f'): case ('A'): case ('B'): case ('C'): case ('D'): case ('E'): case ('F'): { return true; } default: { return false; } } }; for (int c = 1; c < 128; ++c) { std::string s = "\"\\u"; // create a string with the iterated character at each position auto s1 = s + "000" + std::string(1, c) + "\""; auto s2 = s + "00" + std::string(1, c) + "0\""; auto s3 = s + "0" + std::string(1, c) + "00\""; auto s4 = s + std::string(1, c) + "000\""; if (valid(c)) { CHECK_NOTHROW(json::parser(s1.c_str()).parse()); CHECK_NOTHROW(json::parser(s2.c_str()).parse()); CHECK_NOTHROW(json::parser(s3.c_str()).parse()); CHECK_NOTHROW(json::parser(s4.c_str()).parse()); } else { CHECK_THROWS_AS(json::parser(s1.c_str()).parse(), json::parse_error); CHECK_THROWS_AS(json::parser(s2.c_str()).parse(), json::parse_error); CHECK_THROWS_AS(json::parser(s3.c_str()).parse(), json::parse_error); CHECK_THROWS_AS(json::parser(s4.c_str()).parse(), json::parse_error); CHECK_THROWS_WITH(json::parser(s1.c_str()).parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser(s2.c_str()).parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser(s3.c_str()).parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); CHECK_THROWS_WITH(json::parser(s4.c_str()).parse(), "[json.exception.parse_error.101] parse error at 1: parse error - unexpected '\"'"); } } } // missing part of a surrogate pair CHECK_THROWS_AS(json::parse("\"\\uD80C\""), json::parse_error); CHECK_THROWS_WITH(json::parse("\"\\uD80C\""), "[json.exception.parse_error.102] parse error at 8: missing low surrogate"); // invalid surrogate pair CHECK_THROWS_AS(json::parse("\"\\uD80C\\uD80C\""), json::parse_error); CHECK_THROWS_AS(json::parse("\"\\uD80C\\u0000\""), json::parse_error); CHECK_THROWS_AS(json::parse("\"\\uD80C\\uFFFF\""), json::parse_error); CHECK_THROWS_WITH(json::parse("\"\\uD80C\\uD80C\""), "[json.exception.parse_error.102] parse error at 14: missing or wrong low surrogate"); CHECK_THROWS_WITH(json::parse("\"\\uD80C\\u0000\""), "[json.exception.parse_error.102] parse error at 14: missing or wrong low surrogate"); CHECK_THROWS_WITH(json::parse("\"\\uD80C\\uFFFF\""), "[json.exception.parse_error.102] parse error at 14: missing or wrong low surrogate"); } SECTION("tests found by mutate++") { // test case to make sure no comma preceeds the first key CHECK_THROWS_AS(json::parser("{,\"key\": false}").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("{,\"key\": false}").parse(), "[json.exception.parse_error.101] parse error at 2: parse error - unexpected ','"); // test case to make sure an object is properly closed CHECK_THROWS_AS(json::parser("[{\"key\": false true]").parse(), json::parse_error); CHECK_THROWS_WITH(json::parser("[{\"key\": false true]").parse(), "[json.exception.parse_error.101] parse error at 19: parse error - unexpected true literal; expected '}'"); // test case to make sure the callback is properly evaluated after reading a key { json::parser_callback_t cb = [](int, json::parse_event_t event, json&) { if (event == json::parse_event_t::key) { return false; } else { return true; } }; json x = json::parse("{\"key\": false}", cb); CHECK(x == json::object()); } } SECTION("callback function") { auto s_object = R"( { "foo": 2, "bar": { "baz": 1 } } )"; auto s_array = R"( [1,2,[3,4,5],4,5] )"; SECTION("filter nothing") { json j_object = json::parse(s_object, [](int, json::parse_event_t, const json&) { return true; }); CHECK (j_object == json({{"foo", 2}, {"bar", {{"baz", 1}}}})); json j_array = json::parse(s_array, [](int, json::parse_event_t, const json&) { return true; }); CHECK (j_array == json({1, 2, {3, 4, 5}, 4, 5})); } SECTION("filter everything") { json j_object = json::parse(s_object, [](int, json::parse_event_t, const json&) { return false; }); // the top-level object will be discarded, leaving a null CHECK (j_object.is_null()); json j_array = json::parse(s_array, [](int, json::parse_event_t, const json&) { return false; }); // the top-level array will be discarded, leaving a null CHECK (j_array.is_null()); } SECTION("filter specific element") { json j_object = json::parse(s_object, [](int, json::parse_event_t, const json & j) { // filter all number(2) elements if (j == json(2)) { return false; } else { return true; } }); CHECK (j_object == json({{"bar", {{"baz", 1}}}})); json j_array = json::parse(s_array, [](int, json::parse_event_t, const json & j) { if (j == json(2)) { return false; } else { return true; } }); CHECK (j_array == json({1, {3, 4, 5}, 4, 5})); } SECTION("filter specific events") { SECTION("first closing event") { { json j_object = json::parse(s_object, [](int, json::parse_event_t e, const json&) { static bool first = true; if (e == json::parse_event_t::object_end and first) { first = false; return false; } else { return true; } }); // the first completed object will be discarded CHECK (j_object == json({{"foo", 2}})); } { json j_array = json::parse(s_array, [](int, json::parse_event_t e, const json&) { static bool first = true; if (e == json::parse_event_t::array_end and first) { first = false; return false; } else { return true; } }); // the first completed array will be discarded CHECK (j_array == json({1, 2, 4, 5})); } } } SECTION("special cases") { // the following test cases cover the situation in which an empty // object and array is discarded only after the closing character // has been read json j_empty_object = json::parse("{}", [](int, json::parse_event_t e, const json&) { if (e == json::parse_event_t::object_end) { return false; } else { return true; } }); CHECK(j_empty_object == json()); json j_empty_array = json::parse("[]", [](int, json::parse_event_t e, const json&) { if (e == json::parse_event_t::array_end) { return false; } else { return true; } }); CHECK(j_empty_array == json()); } } SECTION("constructing from contiguous containers") { SECTION("from std::vector") { std::vector v = {'t', 'r', 'u', 'e'}; CHECK(json::parser(std::begin(v), std::end(v)).parse() == json(true)); } SECTION("from std::array") { std::array v { {'t', 'r', 'u', 'e'} }; CHECK(json::parser(std::begin(v), std::end(v)).parse() == json(true)); } SECTION("from array") { uint8_t v[] = {'t', 'r', 'u', 'e'}; CHECK(json::parser(std::begin(v), std::end(v)).parse() == json(true)); } SECTION("from char literal") { CHECK(json::parser("true").parse() == json(true)); } SECTION("from std::string") { std::string v = {'t', 'r', 'u', 'e'}; CHECK(json::parser(std::begin(v), std::end(v)).parse() == json(true)); } SECTION("from std::initializer_list") { std::initializer_list v = {'t', 'r', 'u', 'e'}; CHECK(json::parser(std::begin(v), std::end(v)).parse() == json(true)); } SECTION("from std::valarray") { std::valarray v = {'t', 'r', 'u', 'e'}; CHECK(json::parser(std::begin(v), std::end(v)).parse() == json(true)); } } }