16be38247SSam McCall //===-- JSONTest.cpp - JSON unit tests --------------------------*- C++ -*-===//
26be38247SSam McCall //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
66be38247SSam McCall //
76be38247SSam McCall //===----------------------------------------------------------------------===//
86be38247SSam McCall 
96be38247SSam McCall #include "llvm/Support/JSON.h"
10a7edcfb5SSam McCall #include "llvm/Support/raw_ostream.h"
1116619e71SSam McCall #include "llvm/Testing/Support/Error.h"
126be38247SSam McCall 
136be38247SSam McCall #include "gmock/gmock.h"
146be38247SSam McCall #include "gtest/gtest.h"
156be38247SSam McCall 
166be38247SSam McCall namespace llvm {
176be38247SSam McCall namespace json {
186be38247SSam McCall 
196be38247SSam McCall namespace {
206be38247SSam McCall 
s(const Value & E)216be38247SSam McCall std::string s(const Value &E) { return llvm::formatv("{0}", E).str(); }
sp(const Value & E)226be38247SSam McCall std::string sp(const Value &E) { return llvm::formatv("{0:2}", E).str(); }
236be38247SSam McCall 
TEST(JSONTest,Types)246be38247SSam McCall TEST(JSONTest, Types) {
256be38247SSam McCall   EXPECT_EQ("true", s(true));
266be38247SSam McCall   EXPECT_EQ("null", s(nullptr));
276be38247SSam McCall   EXPECT_EQ("2.5", s(2.5));
286be38247SSam McCall   EXPECT_EQ(R"("foo")", s("foo"));
296be38247SSam McCall   EXPECT_EQ("[1,2,3]", s({1, 2, 3}));
306be38247SSam McCall   EXPECT_EQ(R"({"x":10,"y":20})", s(Object{{"x", 10}, {"y", 20}}));
31e6057bc6SSam McCall 
32e6057bc6SSam McCall #ifdef NDEBUG
33e6057bc6SSam McCall   EXPECT_EQ(R"("��")", s("\xC0\x80"));
34e6057bc6SSam McCall   EXPECT_EQ(R"({"��":0})", s(Object{{"\xC0\x80", 0}}));
35e6057bc6SSam McCall #else
36e6057bc6SSam McCall   EXPECT_DEATH(s("\xC0\x80"), "Invalid UTF-8");
37e6057bc6SSam McCall   EXPECT_DEATH(s(Object{{"\xC0\x80", 0}}), "Invalid UTF-8");
38e6057bc6SSam McCall #endif
396be38247SSam McCall }
406be38247SSam McCall 
TEST(JSONTest,Constructors)416be38247SSam McCall TEST(JSONTest, Constructors) {
426be38247SSam McCall   // Lots of edge cases around empty and singleton init lists.
436be38247SSam McCall   EXPECT_EQ("[[[3]]]", s({{{3}}}));
446be38247SSam McCall   EXPECT_EQ("[[[]]]", s({{{}}}));
456be38247SSam McCall   EXPECT_EQ("[[{}]]", s({{Object{}}}));
466be38247SSam McCall   EXPECT_EQ(R"({"A":{"B":{}}})", s(Object{{"A", Object{{"B", Object{}}}}}));
476be38247SSam McCall   EXPECT_EQ(R"({"A":{"B":{"X":"Y"}}})",
486be38247SSam McCall             s(Object{{"A", Object{{"B", Object{{"X", "Y"}}}}}}));
497e4234fcSSam McCall   EXPECT_EQ("null", s(llvm::Optional<double>()));
507e4234fcSSam McCall   EXPECT_EQ("2.5", s(llvm::Optional<double>(2.5)));
515ee0188fSSam McCall   EXPECT_EQ("[[2.5,null]]", s(std::vector<std::vector<llvm::Optional<double>>>{
525ee0188fSSam McCall                                  {2.5, llvm::None}}));
536be38247SSam McCall }
546be38247SSam McCall 
TEST(JSONTest,StringOwnership)556be38247SSam McCall TEST(JSONTest, StringOwnership) {
566be38247SSam McCall   char X[] = "Hello";
576be38247SSam McCall   Value Alias = static_cast<const char *>(X);
586be38247SSam McCall   X[1] = 'a';
596be38247SSam McCall   EXPECT_EQ(R"("Hallo")", s(Alias));
606be38247SSam McCall 
616be38247SSam McCall   std::string Y = "Hello";
626be38247SSam McCall   Value Copy = Y;
636be38247SSam McCall   Y[1] = 'a';
646be38247SSam McCall   EXPECT_EQ(R"("Hello")", s(Copy));
656be38247SSam McCall }
666be38247SSam McCall 
TEST(JSONTest,CanonicalOutput)676be38247SSam McCall TEST(JSONTest, CanonicalOutput) {
686be38247SSam McCall   // Objects are sorted (but arrays aren't)!
696be38247SSam McCall   EXPECT_EQ(R"({"a":1,"b":2,"c":3})", s(Object{{"a", 1}, {"c", 3}, {"b", 2}}));
706be38247SSam McCall   EXPECT_EQ(R"(["a","c","b"])", s({"a", "c", "b"}));
716be38247SSam McCall   EXPECT_EQ("3", s(3.0));
726be38247SSam McCall }
736be38247SSam McCall 
TEST(JSONTest,Escaping)746be38247SSam McCall TEST(JSONTest, Escaping) {
754162875cSSam McCall   std::string Test = {
766be38247SSam McCall       0,                    // Strings may contain nulls.
776be38247SSam McCall       '\b',   '\f',         // Have mnemonics, but we escape numerically.
786be38247SSam McCall       '\r',   '\n',   '\t', // Escaped with mnemonics.
796be38247SSam McCall       'S',    '\"',   '\\', // Printable ASCII characters.
806be38247SSam McCall       '\x7f',               // Delete is not escaped.
816be38247SSam McCall       '\xce', '\x94',       // Non-ASCII UTF-8 is not escaped.
826be38247SSam McCall   };
836be38247SSam McCall 
844162875cSSam McCall   std::string TestString = R"("\u0000\u0008\u000c\r\n\tS\"\\)"
856be38247SSam McCall                            "\x7f\xCE\x94\"";
866be38247SSam McCall 
874162875cSSam McCall   EXPECT_EQ(TestString, s(Test));
886be38247SSam McCall 
896be38247SSam McCall   EXPECT_EQ(R"({"object keys are\nescaped":true})",
906be38247SSam McCall             s(Object{{"object keys are\nescaped", true}}));
916be38247SSam McCall }
926be38247SSam McCall 
TEST(JSONTest,PrettyPrinting)936be38247SSam McCall TEST(JSONTest, PrettyPrinting) {
944162875cSSam McCall   const char Str[] = R"({
956be38247SSam McCall   "empty_array": [],
966be38247SSam McCall   "empty_object": {},
976be38247SSam McCall   "full_array": [
986be38247SSam McCall     1,
996be38247SSam McCall     null
1006be38247SSam McCall   ],
1016be38247SSam McCall   "full_object": {
1026be38247SSam McCall     "nested_array": [
1036be38247SSam McCall       {
1046be38247SSam McCall         "property": "value"
1056be38247SSam McCall       }
1066be38247SSam McCall     ]
1076be38247SSam McCall   }
1086be38247SSam McCall })";
1096be38247SSam McCall 
1104162875cSSam McCall   EXPECT_EQ(Str, sp(Object{
1116be38247SSam McCall                      {"empty_object", Object{}},
1126be38247SSam McCall                      {"empty_array", {}},
1136be38247SSam McCall                      {"full_array", {1, nullptr}},
1146be38247SSam McCall                      {"full_object",
1156be38247SSam McCall                       Object{
1166be38247SSam McCall                           {"nested_array",
1176be38247SSam McCall                            {Object{
1186be38247SSam McCall                                {"property", "value"},
1196be38247SSam McCall                            }}},
1206be38247SSam McCall                       }},
1216be38247SSam McCall                  }));
1226be38247SSam McCall }
1236be38247SSam McCall 
TEST(JSONTest,Array)1244162875cSSam McCall TEST(JSONTest, Array) {
1254162875cSSam McCall   Array A{1, 2};
1264162875cSSam McCall   A.emplace_back(3);
1274162875cSSam McCall   A.emplace(++A.begin(), 0);
1284162875cSSam McCall   A.push_back(4);
1294162875cSSam McCall   A.insert(++++A.begin(), 99);
1304162875cSSam McCall 
1314162875cSSam McCall   EXPECT_EQ(A.size(), 6u);
1324162875cSSam McCall   EXPECT_EQ(R"([1,0,99,2,3,4])", s(std::move(A)));
1334162875cSSam McCall }
1344162875cSSam McCall 
TEST(JSONTest,Object)1354162875cSSam McCall TEST(JSONTest, Object) {
1364162875cSSam McCall   Object O{{"a", 1}, {"b", 2}, {"c", 3}};
1374162875cSSam McCall   EXPECT_TRUE(O.try_emplace("d", 4).second);
1384162875cSSam McCall   EXPECT_FALSE(O.try_emplace("a", 4).second);
1394162875cSSam McCall 
1404162875cSSam McCall   auto D = O.find("d");
14138ac4093SArchibald Elliott   EXPECT_NE(D, O.end());
1424162875cSSam McCall   auto E = O.find("e");
14338ac4093SArchibald Elliott   EXPECT_EQ(E, O.end());
1444162875cSSam McCall 
1454162875cSSam McCall   O.erase("b");
1464162875cSSam McCall   O.erase(D);
1474162875cSSam McCall   EXPECT_EQ(O.size(), 2u);
1484162875cSSam McCall   EXPECT_EQ(R"({"a":1,"c":3})", s(std::move(O)));
1494162875cSSam McCall }
1504162875cSSam McCall 
TEST(JSONTest,Parse)1516be38247SSam McCall TEST(JSONTest, Parse) {
1526be38247SSam McCall   auto Compare = [](llvm::StringRef S, Value Expected) {
1536be38247SSam McCall     if (auto E = parse(S)) {
1546be38247SSam McCall       // Compare both string forms and with operator==, in case we have bugs.
1556be38247SSam McCall       EXPECT_EQ(*E, Expected);
1566be38247SSam McCall       EXPECT_EQ(sp(*E), sp(Expected));
1576be38247SSam McCall     } else {
1586be38247SSam McCall       handleAllErrors(E.takeError(), [S](const llvm::ErrorInfoBase &E) {
1596be38247SSam McCall         FAIL() << "Failed to parse JSON >>> " << S << " <<<: " << E.message();
1606be38247SSam McCall       });
1616be38247SSam McCall     }
1626be38247SSam McCall   };
1636be38247SSam McCall 
1646be38247SSam McCall   Compare(R"(true)", true);
1656be38247SSam McCall   Compare(R"(false)", false);
1666be38247SSam McCall   Compare(R"(null)", nullptr);
1676be38247SSam McCall 
1686be38247SSam McCall   Compare(R"(42)", 42);
1696be38247SSam McCall   Compare(R"(2.5)", 2.5);
1706be38247SSam McCall   Compare(R"(2e50)", 2e50);
1716be38247SSam McCall   Compare(R"(1.2e3456789)", std::numeric_limits<double>::infinity());
1726be38247SSam McCall 
1736be38247SSam McCall   Compare(R"("foo")", "foo");
1746be38247SSam McCall   Compare(R"("\"\\\b\f\n\r\t")", "\"\\\b\f\n\r\t");
1756be38247SSam McCall   Compare(R"("\u0000")", llvm::StringRef("\0", 1));
1766be38247SSam McCall   Compare("\"\x7f\"", "\x7f");
1776be38247SSam McCall   Compare(R"("\ud801\udc37")", u8"\U00010437"); // UTF16 surrogate pair escape.
1786be38247SSam McCall   Compare("\"\xE2\x82\xAC\xF0\x9D\x84\x9E\"", u8"\u20ac\U0001d11e"); // UTF8
1796be38247SSam McCall   Compare(
1806be38247SSam McCall       R"("LoneLeading=\ud801, LoneTrailing=\udc01, LeadingLeadingTrailing=\ud801\ud801\udc37")",
1816be38247SSam McCall       u8"LoneLeading=\ufffd, LoneTrailing=\ufffd, "
1826be38247SSam McCall       u8"LeadingLeadingTrailing=\ufffd\U00010437"); // Invalid unicode.
1836be38247SSam McCall 
1846be38247SSam McCall   Compare(R"({"":0,"":0})", Object{{"", 0}});
1856be38247SSam McCall   Compare(R"({"obj":{},"arr":[]})", Object{{"obj", Object{}}, {"arr", {}}});
1866be38247SSam McCall   Compare(R"({"\n":{"\u0000":[[[[]]]]}})",
1876be38247SSam McCall           Object{{"\n", Object{
1886be38247SSam McCall                             {llvm::StringRef("\0", 1), {{{{}}}}},
1896be38247SSam McCall                         }}});
1906be38247SSam McCall   Compare("\r[\n\t] ", {});
1916be38247SSam McCall }
1926be38247SSam McCall 
TEST(JSONTest,ParseErrors)1936be38247SSam McCall TEST(JSONTest, ParseErrors) {
1946be38247SSam McCall   auto ExpectErr = [](llvm::StringRef Msg, llvm::StringRef S) {
1956be38247SSam McCall     if (auto E = parse(S)) {
1966be38247SSam McCall       // Compare both string forms and with operator==, in case we have bugs.
1976be38247SSam McCall       FAIL() << "Parsed JSON >>> " << S << " <<< but wanted error: " << Msg;
1986be38247SSam McCall     } else {
1996be38247SSam McCall       handleAllErrors(E.takeError(), [S, Msg](const llvm::ErrorInfoBase &E) {
200adcd0268SBenjamin Kramer         EXPECT_THAT(E.message(), testing::HasSubstr(std::string(Msg))) << S;
2016be38247SSam McCall       });
2026be38247SSam McCall     }
2036be38247SSam McCall   };
2046be38247SSam McCall   ExpectErr("Unexpected EOF", "");
2056be38247SSam McCall   ExpectErr("Unexpected EOF", "[");
2066be38247SSam McCall   ExpectErr("Text after end of document", "[][]");
2076be38247SSam McCall   ExpectErr("Invalid JSON value (false?)", "fuzzy");
2086be38247SSam McCall   ExpectErr("Expected , or ]", "[2?]");
2096be38247SSam McCall   ExpectErr("Expected object key", "{a:2}");
2106be38247SSam McCall   ExpectErr("Expected : after object key", R"({"a",2})");
2116be38247SSam McCall   ExpectErr("Expected , or } after object property", R"({"a":2 "b":3})");
2126be38247SSam McCall   ExpectErr("Invalid JSON value", R"([&%!])");
2136be38247SSam McCall   ExpectErr("Invalid JSON value (number?)", "1e1.0");
2146be38247SSam McCall   ExpectErr("Unterminated string", R"("abc\"def)");
2156be38247SSam McCall   ExpectErr("Control character in string", "\"abc\ndef\"");
2166be38247SSam McCall   ExpectErr("Invalid escape sequence", R"("\030")");
2176be38247SSam McCall   ExpectErr("Invalid \\u escape sequence", R"("\usuck")");
2186be38247SSam McCall   ExpectErr("[3:3, byte=19]", R"({
2196be38247SSam McCall   "valid": 1,
2206be38247SSam McCall   invalid: 2
2216be38247SSam McCall })");
222e6057bc6SSam McCall   ExpectErr("Invalid UTF-8 sequence", "\"\xC0\x80\""); // WTF-8 null
223e6057bc6SSam McCall }
224e6057bc6SSam McCall 
225e6057bc6SSam McCall // Direct tests of isUTF8 and fixUTF8. Internal uses are also tested elsewhere.
TEST(JSONTest,UTF8)226e6057bc6SSam McCall TEST(JSONTest, UTF8) {
227e6057bc6SSam McCall   for (const char *Valid : {
228e6057bc6SSam McCall            "this is ASCII text",
229e6057bc6SSam McCall            "thïs tëxt häs BMP chäräctërs",
230e6057bc6SSam McCall            "����L���� C��������",
231e6057bc6SSam McCall        }) {
232e6057bc6SSam McCall     EXPECT_TRUE(isUTF8(Valid)) << Valid;
233e6057bc6SSam McCall     EXPECT_EQ(fixUTF8(Valid), Valid);
234e6057bc6SSam McCall   }
235e6057bc6SSam McCall   for (auto Invalid : std::vector<std::pair<const char *, const char *>>{
236e6057bc6SSam McCall            {"lone trailing \x81\x82 bytes", "lone trailing �� bytes"},
237e6057bc6SSam McCall            {"missing trailing \xD0 bytes", "missing trailing � bytes"},
238e6057bc6SSam McCall            {"truncated character \xD0", "truncated character �"},
239e6057bc6SSam McCall            {"not \xC1\x80 the \xE0\x9f\xBF shortest \xF0\x83\x83\x83 encoding",
240e6057bc6SSam McCall             "not �� the ��� shortest ���� encoding"},
241e6057bc6SSam McCall            {"too \xF9\x80\x80\x80\x80 long", "too ����� long"},
242e6057bc6SSam McCall            {"surrogate \xED\xA0\x80 invalid \xF4\x90\x80\x80",
243e6057bc6SSam McCall             "surrogate ��� invalid ����"}}) {
244e6057bc6SSam McCall     EXPECT_FALSE(isUTF8(Invalid.first)) << Invalid.first;
245e6057bc6SSam McCall     EXPECT_EQ(fixUTF8(Invalid.first), Invalid.second);
246e6057bc6SSam McCall   }
2476be38247SSam McCall }
2486be38247SSam McCall 
TEST(JSONTest,Inspection)2496be38247SSam McCall TEST(JSONTest, Inspection) {
2506be38247SSam McCall   llvm::Expected<Value> Doc = parse(R"(
2516be38247SSam McCall     {
2526be38247SSam McCall       "null": null,
2536be38247SSam McCall       "boolean": false,
2546be38247SSam McCall       "number": 2.78,
2556be38247SSam McCall       "string": "json",
2566be38247SSam McCall       "array": [null, true, 3.14, "hello", [1,2,3], {"time": "arrow"}],
2576be38247SSam McCall       "object": {"fruit": "banana"}
2586be38247SSam McCall     }
2596be38247SSam McCall   )");
2606be38247SSam McCall   EXPECT_TRUE(!!Doc);
2616be38247SSam McCall 
2626be38247SSam McCall   Object *O = Doc->getAsObject();
2636be38247SSam McCall   ASSERT_TRUE(O);
2646be38247SSam McCall 
2656be38247SSam McCall   EXPECT_FALSE(O->getNull("missing"));
2666be38247SSam McCall   EXPECT_FALSE(O->getNull("boolean"));
2676be38247SSam McCall   EXPECT_TRUE(O->getNull("null"));
2686be38247SSam McCall 
2696be38247SSam McCall   EXPECT_EQ(O->getNumber("number"), llvm::Optional<double>(2.78));
2706be38247SSam McCall   EXPECT_FALSE(O->getInteger("number"));
2716be38247SSam McCall   EXPECT_EQ(O->getString("string"), llvm::Optional<llvm::StringRef>("json"));
2726be38247SSam McCall   ASSERT_FALSE(O->getObject("missing"));
2736be38247SSam McCall   ASSERT_FALSE(O->getObject("array"));
2746be38247SSam McCall   ASSERT_TRUE(O->getObject("object"));
2756be38247SSam McCall   EXPECT_EQ(*O->getObject("object"), (Object{{"fruit", "banana"}}));
2766be38247SSam McCall 
2776be38247SSam McCall   Array *A = O->getArray("array");
2786be38247SSam McCall   ASSERT_TRUE(A);
2796be38247SSam McCall   EXPECT_EQ((*A)[1].getAsBoolean(), llvm::Optional<bool>(true));
2806be38247SSam McCall   ASSERT_TRUE((*A)[4].getAsArray());
2816be38247SSam McCall   EXPECT_EQ(*(*A)[4].getAsArray(), (Array{1, 2, 3}));
2826be38247SSam McCall   EXPECT_EQ((*(*A)[4].getAsArray())[1].getAsInteger(),
2836be38247SSam McCall             llvm::Optional<int64_t>(2));
2846be38247SSam McCall   int I = 0;
2856be38247SSam McCall   for (Value &E : *A) {
2866be38247SSam McCall     if (I++ == 5) {
2876be38247SSam McCall       ASSERT_TRUE(E.getAsObject());
2886be38247SSam McCall       EXPECT_EQ(E.getAsObject()->getString("time"),
2896be38247SSam McCall                 llvm::Optional<llvm::StringRef>("arrow"));
2906be38247SSam McCall     } else
2916be38247SSam McCall       EXPECT_FALSE(E.getAsObject());
2926be38247SSam McCall   }
2936be38247SSam McCall }
2946be38247SSam McCall 
295d93eaeb7SSam McCall // Verify special integer handling - we try to preserve exact int64 values.
TEST(JSONTest,Integers)296d93eaeb7SSam McCall TEST(JSONTest, Integers) {
297d93eaeb7SSam McCall   struct {
298d93eaeb7SSam McCall     const char *Desc;
299d93eaeb7SSam McCall     Value Val;
300d93eaeb7SSam McCall     const char *Str;
301d93eaeb7SSam McCall     llvm::Optional<int64_t> AsInt;
302d93eaeb7SSam McCall     llvm::Optional<double> AsNumber;
303d93eaeb7SSam McCall   } TestCases[] = {
304d93eaeb7SSam McCall       {
305d93eaeb7SSam McCall           "Non-integer. Stored as double, not convertible.",
306d93eaeb7SSam McCall           double{1.5},
307d93eaeb7SSam McCall           "1.5",
308d93eaeb7SSam McCall           llvm::None,
309d93eaeb7SSam McCall           1.5,
310d93eaeb7SSam McCall       },
311d93eaeb7SSam McCall 
312d93eaeb7SSam McCall       {
313d93eaeb7SSam McCall           "Integer, not exact double. Stored as int64, convertible.",
314d93eaeb7SSam McCall           int64_t{0x4000000000000001},
315d93eaeb7SSam McCall           "4611686018427387905",
316d93eaeb7SSam McCall           int64_t{0x4000000000000001},
317d93eaeb7SSam McCall           double{0x4000000000000000},
318d93eaeb7SSam McCall       },
319d93eaeb7SSam McCall 
320d93eaeb7SSam McCall       {
321d93eaeb7SSam McCall           "Negative integer, not exact double. Stored as int64, convertible.",
322d93eaeb7SSam McCall           int64_t{-0x4000000000000001},
323d93eaeb7SSam McCall           "-4611686018427387905",
324d93eaeb7SSam McCall           int64_t{-0x4000000000000001},
325d93eaeb7SSam McCall           double{-0x4000000000000000},
326d93eaeb7SSam McCall       },
327d93eaeb7SSam McCall 
328fb1aa286SNico Weber       // PR46470,
329fb1aa286SNico Weber       // https://developercommunity.visualstudio.com/content/problem/1093399/incorrect-result-when-printing-6917529027641081856.html
33028ef93cbSNico Weber #if !defined(_MSC_VER) || _MSC_VER < 1926
331d93eaeb7SSam McCall       {
332d93eaeb7SSam McCall           "Dynamically exact integer. Stored as double, convertible.",
333d93eaeb7SSam McCall           double{0x6000000000000000},
334d93eaeb7SSam McCall           "6.9175290276410819e+18",
335d93eaeb7SSam McCall           int64_t{0x6000000000000000},
336d93eaeb7SSam McCall           double{0x6000000000000000},
337d93eaeb7SSam McCall       },
338fb1aa286SNico Weber #endif
339d93eaeb7SSam McCall 
340d93eaeb7SSam McCall       {
341d93eaeb7SSam McCall           "Dynamically integer, >64 bits. Stored as double, not convertible.",
342d93eaeb7SSam McCall           1.5 * double{0x8000000000000000},
343d93eaeb7SSam McCall           "1.3835058055282164e+19",
344d93eaeb7SSam McCall           llvm::None,
345d93eaeb7SSam McCall           1.5 * double{0x8000000000000000},
346d93eaeb7SSam McCall       },
347d93eaeb7SSam McCall   };
348d93eaeb7SSam McCall   for (const auto &T : TestCases) {
349d93eaeb7SSam McCall     EXPECT_EQ(T.Str, s(T.Val)) << T.Desc;
350d93eaeb7SSam McCall     llvm::Expected<Value> Doc = parse(T.Str);
351d93eaeb7SSam McCall     EXPECT_TRUE(!!Doc) << T.Desc;
352d93eaeb7SSam McCall     EXPECT_EQ(Doc->getAsInteger(), T.AsInt) << T.Desc;
353d93eaeb7SSam McCall     EXPECT_EQ(Doc->getAsNumber(), T.AsNumber) << T.Desc;
354d93eaeb7SSam McCall     EXPECT_EQ(T.Val, *Doc) << T.Desc;
355d93eaeb7SSam McCall     EXPECT_EQ(T.Str, s(*Doc)) << T.Desc;
356d93eaeb7SSam McCall   }
357d93eaeb7SSam McCall }
358d93eaeb7SSam McCall 
3598c3adce8Sdjtodoro // Verify uint64_t type.
TEST(JSONTest,U64Integers)3608c3adce8Sdjtodoro TEST(JSONTest, U64Integers) {
3618c3adce8Sdjtodoro   Value Val = uint64_t{3100100100};
3628c3adce8Sdjtodoro   uint64_t Var = 3100100100;
3638c3adce8Sdjtodoro   EXPECT_EQ(Val, Var);
3648c3adce8Sdjtodoro 
365*d8f4f102SWalter Erquinigo   Val = uint64_t{std::numeric_limits<uint64_t>::max()};
366*d8f4f102SWalter Erquinigo   Var = std::numeric_limits<uint64_t>::max();
367*d8f4f102SWalter Erquinigo   EXPECT_EQ(Val, Var);
368*d8f4f102SWalter Erquinigo 
3698c3adce8Sdjtodoro   // Test the parse() part.
370*d8f4f102SWalter Erquinigo   {
3718c3adce8Sdjtodoro     const char *Str = "4611686018427387905";
3728c3adce8Sdjtodoro     llvm::Expected<Value> Doc = parse(Str);
3738c3adce8Sdjtodoro 
3748c3adce8Sdjtodoro     EXPECT_TRUE(!!Doc);
3758c3adce8Sdjtodoro     EXPECT_EQ(Doc->getAsInteger(), int64_t{4611686018427387905});
3768c3adce8Sdjtodoro     EXPECT_EQ(Doc->getAsUINT64(), uint64_t{4611686018427387905});
377*d8f4f102SWalter Erquinigo   }
3788c3adce8Sdjtodoro 
379*d8f4f102SWalter Erquinigo   {
380*d8f4f102SWalter Erquinigo     const char *Str = "-78278238238328222";
381*d8f4f102SWalter Erquinigo     llvm::Expected<Value> Doc = parse(Str);
382*d8f4f102SWalter Erquinigo 
383*d8f4f102SWalter Erquinigo     EXPECT_TRUE(!!Doc);
384*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsInteger(), int64_t{-78278238238328222});
385*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsUINT64(), llvm::None);
386*d8f4f102SWalter Erquinigo   }
387*d8f4f102SWalter Erquinigo 
388*d8f4f102SWalter Erquinigo   // Test with the largest 64 signed int.
389*d8f4f102SWalter Erquinigo   {
390*d8f4f102SWalter Erquinigo     const char *Str = "9223372036854775807";
391*d8f4f102SWalter Erquinigo     llvm::Expected<Value> Doc = parse(Str);
392*d8f4f102SWalter Erquinigo 
393*d8f4f102SWalter Erquinigo     EXPECT_TRUE(!!Doc);
394*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsInteger(), int64_t{9223372036854775807});
395*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsUINT64(), uint64_t{9223372036854775807});
396*d8f4f102SWalter Erquinigo   }
397*d8f4f102SWalter Erquinigo 
398*d8f4f102SWalter Erquinigo   // Test with the largest 64 unsigned int.
399*d8f4f102SWalter Erquinigo   {
400*d8f4f102SWalter Erquinigo     const char *Str = "18446744073709551615";
401*d8f4f102SWalter Erquinigo     llvm::Expected<Value> Doc = parse(Str);
402*d8f4f102SWalter Erquinigo 
403*d8f4f102SWalter Erquinigo     EXPECT_TRUE(!!Doc);
404*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsInteger(), None);
405*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsUINT64(), uint64_t{18446744073709551615u});
406*d8f4f102SWalter Erquinigo   }
407*d8f4f102SWalter Erquinigo 
408*d8f4f102SWalter Erquinigo   // Test with a number that is too big for 64 bits.
409*d8f4f102SWalter Erquinigo   {
410*d8f4f102SWalter Erquinigo     const char *Str = "184467440737095516150";
411*d8f4f102SWalter Erquinigo     llvm::Expected<Value> Doc = parse(Str);
412*d8f4f102SWalter Erquinigo 
413*d8f4f102SWalter Erquinigo     EXPECT_TRUE(!!Doc);
414*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsInteger(), None);
415*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsUINT64(), None);
416*d8f4f102SWalter Erquinigo     // The number was parsed as a double.
417*d8f4f102SWalter Erquinigo     EXPECT_TRUE(!!Doc->getAsNumber());
418*d8f4f102SWalter Erquinigo   }
419*d8f4f102SWalter Erquinigo 
420*d8f4f102SWalter Erquinigo   // Test with a negative number that is too small for 64 bits.
421*d8f4f102SWalter Erquinigo   {
422*d8f4f102SWalter Erquinigo     const char *Str = "-18446744073709551615";
423*d8f4f102SWalter Erquinigo     llvm::Expected<Value> Doc = parse(Str);
424*d8f4f102SWalter Erquinigo 
425*d8f4f102SWalter Erquinigo     EXPECT_TRUE(!!Doc);
426*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsInteger(), None);
427*d8f4f102SWalter Erquinigo     EXPECT_EQ(Doc->getAsUINT64(), None);
428*d8f4f102SWalter Erquinigo     // The number was parsed as a double.
429*d8f4f102SWalter Erquinigo     EXPECT_TRUE(!!Doc->getAsNumber());
430*d8f4f102SWalter Erquinigo   }
431*d8f4f102SWalter Erquinigo   // Test with a large number that is malformed.
432*d8f4f102SWalter Erquinigo   {
433*d8f4f102SWalter Erquinigo     const char *Str = "184467440737095516150.12.12";
434*d8f4f102SWalter Erquinigo     llvm::Expected<Value> Doc = parse(Str);
435*d8f4f102SWalter Erquinigo 
436*d8f4f102SWalter Erquinigo     EXPECT_EQ("[1:27, byte=27]: Invalid JSON value (number?)",
437*d8f4f102SWalter Erquinigo               llvm::toString(Doc.takeError()));
438*d8f4f102SWalter Erquinigo   }
4398c3adce8Sdjtodoro }
4408c3adce8Sdjtodoro 
4416be38247SSam McCall // Sample struct with typical JSON-mapping rules.
4426be38247SSam McCall struct CustomStruct {
CustomStructllvm::json::__anon6aef12220111::CustomStruct4436be38247SSam McCall   CustomStruct() : B(false) {}
CustomStructllvm::json::__anon6aef12220111::CustomStruct4446be38247SSam McCall   CustomStruct(std::string S, llvm::Optional<int> I, bool B)
4456be38247SSam McCall       : S(S), I(I), B(B) {}
4466be38247SSam McCall   std::string S;
4476be38247SSam McCall   llvm::Optional<int> I;
4486be38247SSam McCall   bool B;
4496be38247SSam McCall };
operator ==(const CustomStruct & L,const CustomStruct & R)4506be38247SSam McCall inline bool operator==(const CustomStruct &L, const CustomStruct &R) {
4516be38247SSam McCall   return L.S == R.S && L.I == R.I && L.B == R.B;
4526be38247SSam McCall }
operator <<(llvm::raw_ostream & OS,const CustomStruct & S)4536be38247SSam McCall inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
4546be38247SSam McCall                                      const CustomStruct &S) {
4556be38247SSam McCall   return OS << "(" << S.S << ", " << (S.I ? std::to_string(*S.I) : "None")
4566be38247SSam McCall             << ", " << S.B << ")";
4576be38247SSam McCall }
fromJSON(const Value & E,CustomStruct & R,Path P)458fa69b608SSam McCall bool fromJSON(const Value &E, CustomStruct &R, Path P) {
459fa69b608SSam McCall   ObjectMapper O(E, P);
46031a575bbSSam McCall   return O && O.map("str", R.S) && O.map("int", R.I) &&
46131a575bbSSam McCall          O.mapOptional("bool", R.B);
4626be38247SSam McCall }
4636be38247SSam McCall 
errorContext(const Value & V,const Path::Root & R)464fa69b608SSam McCall static std::string errorContext(const Value &V, const Path::Root &R) {
465fa69b608SSam McCall   std::string Context;
466fa69b608SSam McCall   llvm::raw_string_ostream OS(Context);
467fa69b608SSam McCall   R.printErrorContext(V, OS);
468fa69b608SSam McCall   return OS.str();
469fa69b608SSam McCall }
470fa69b608SSam McCall 
TEST(JSONTest,Deserialize)4716be38247SSam McCall TEST(JSONTest, Deserialize) {
4726be38247SSam McCall   std::map<std::string, std::vector<CustomStruct>> R;
4736be38247SSam McCall   CustomStruct ExpectedStruct = {"foo", 42, true};
4746be38247SSam McCall   std::map<std::string, std::vector<CustomStruct>> Expected;
47531a575bbSSam McCall   Value J = Object{{"foo", Array{
4766be38247SSam McCall                                Object{
4776be38247SSam McCall                                    {"str", "foo"},
4786be38247SSam McCall                                    {"int", 42},
4796be38247SSam McCall                                    {"bool", true},
4806be38247SSam McCall                                    {"unknown", "ignored"},
4816be38247SSam McCall                                },
4826be38247SSam McCall                                Object{{"str", "bar"}},
4836be38247SSam McCall                            }}};
4846be38247SSam McCall   Expected["foo"] = {
4856be38247SSam McCall       CustomStruct("foo", 42, true),
4866be38247SSam McCall       CustomStruct("bar", llvm::None, false),
4876be38247SSam McCall   };
488fa69b608SSam McCall   Path::Root Root("CustomStruct");
489fa69b608SSam McCall   ASSERT_TRUE(fromJSON(J, R, Root));
4906be38247SSam McCall   EXPECT_EQ(R, Expected);
4916be38247SSam McCall 
492fa69b608SSam McCall   (*J.getAsObject()->getArray("foo"))[0] = 123;
493fa69b608SSam McCall   ASSERT_FALSE(fromJSON(J, R, Root));
494fa69b608SSam McCall   EXPECT_EQ("expected object at CustomStruct.foo[0]",
495fa69b608SSam McCall             toString(Root.getError()));
496fa69b608SSam McCall   const char *ExpectedDump = R"({
497fa69b608SSam McCall   "foo": [
498fa69b608SSam McCall     /* error: expected object */
499fa69b608SSam McCall     123,
500fa69b608SSam McCall     { ... }
501fa69b608SSam McCall   ]
502fa69b608SSam McCall })";
503fa69b608SSam McCall   EXPECT_EQ(ExpectedDump, errorContext(J, Root));
504fa69b608SSam McCall 
5056be38247SSam McCall   CustomStruct V;
506fa69b608SSam McCall   EXPECT_FALSE(fromJSON(nullptr, V, Root));
507fa69b608SSam McCall   EXPECT_EQ("expected object when parsing CustomStruct",
508fa69b608SSam McCall             toString(Root.getError()));
509fa69b608SSam McCall 
510fa69b608SSam McCall   EXPECT_FALSE(fromJSON(Object{}, V, Root));
511fa69b608SSam McCall   EXPECT_EQ("missing value at CustomStruct.str", toString(Root.getError()));
512fa69b608SSam McCall 
513fa69b608SSam McCall   EXPECT_FALSE(fromJSON(Object{{"str", 1}}, V, Root));
514fa69b608SSam McCall   EXPECT_EQ("expected string at CustomStruct.str", toString(Root.getError()));
515fa69b608SSam McCall 
5166be38247SSam McCall   // Optional<T> must parse as the correct type if present.
517fa69b608SSam McCall   EXPECT_FALSE(fromJSON(Object{{"str", "1"}, {"int", "string"}}, V, Root));
518fa69b608SSam McCall   EXPECT_EQ("expected integer at CustomStruct.int", toString(Root.getError()));
51931a575bbSSam McCall 
52031a575bbSSam McCall   // mapOptional must parse as the correct type if present.
52131a575bbSSam McCall   EXPECT_FALSE(fromJSON(Object{{"str", "1"}, {"bool", "string"}}, V, Root));
52231a575bbSSam McCall   EXPECT_EQ("expected boolean at CustomStruct.bool", toString(Root.getError()));
523fa69b608SSam McCall }
524fa69b608SSam McCall 
TEST(JSONTest,ParseDeserialize)525fa69b608SSam McCall TEST(JSONTest, ParseDeserialize) {
526fa69b608SSam McCall   auto E = parse<std::vector<CustomStruct>>(R"json(
527fa69b608SSam McCall     [{"str": "foo", "int": 42}, {"int": 42}]
528fa69b608SSam McCall   )json");
529fa69b608SSam McCall   EXPECT_THAT_EXPECTED(E, FailedWithMessage("missing value at (root)[1].str"));
530fa69b608SSam McCall 
531fa69b608SSam McCall   E = parse<std::vector<CustomStruct>>(R"json(
532fa69b608SSam McCall     [{"str": "foo", "int": 42}, {"str": "bar"}
533fa69b608SSam McCall   )json");
534fa69b608SSam McCall   EXPECT_THAT_EXPECTED(
535fa69b608SSam McCall       E,
536fa69b608SSam McCall       FailedWithMessage("[3:2, byte=50]: Expected , or ] after array element"));
537fa69b608SSam McCall 
538fa69b608SSam McCall   E = parse<std::vector<CustomStruct>>(R"json(
539fa69b608SSam McCall     [{"str": "foo", "int": 42}]
540fa69b608SSam McCall   )json");
541fa69b608SSam McCall   EXPECT_THAT_EXPECTED(E, Succeeded());
542fa69b608SSam McCall   EXPECT_THAT(*E, testing::SizeIs(1));
5436be38247SSam McCall }
5446be38247SSam McCall 
TEST(JSONTest,Stream)545a7edcfb5SSam McCall TEST(JSONTest, Stream) {
546a7edcfb5SSam McCall   auto StreamStuff = [](unsigned Indent) {
547a7edcfb5SSam McCall     std::string S;
548a7edcfb5SSam McCall     llvm::raw_string_ostream OS(S);
549a7edcfb5SSam McCall     OStream J(OS, Indent);
550140b7b6fSSam McCall     J.comment("top*/level");
551a7edcfb5SSam McCall     J.object([&] {
552a7edcfb5SSam McCall       J.attributeArray("foo", [&] {
553a7edcfb5SSam McCall         J.value(nullptr);
554140b7b6fSSam McCall         J.comment("element");
555a7edcfb5SSam McCall         J.value(42.5);
556a7edcfb5SSam McCall         J.arrayBegin();
557a7edcfb5SSam McCall         J.value(43);
558a7edcfb5SSam McCall         J.arrayEnd();
55991a98ec1SDaniel Sanders         J.rawValue([](raw_ostream &OS) { OS << "'unverified\nraw value'"; });
560a7edcfb5SSam McCall       });
561140b7b6fSSam McCall       J.comment("attribute");
562a7edcfb5SSam McCall       J.attributeBegin("bar");
563140b7b6fSSam McCall       J.comment("attribute value");
564a7edcfb5SSam McCall       J.objectBegin();
565a7edcfb5SSam McCall       J.objectEnd();
566a7edcfb5SSam McCall       J.attributeEnd();
567a7edcfb5SSam McCall       J.attribute("baz", "xyz");
568a7edcfb5SSam McCall     });
569a7edcfb5SSam McCall     return OS.str();
570a7edcfb5SSam McCall   };
571a7edcfb5SSam McCall 
572140b7b6fSSam McCall   const char *Plain =
57391a98ec1SDaniel Sanders       R"(/*top* /level*/{"foo":[null,/*element*/42.5,[43],'unverified
57491a98ec1SDaniel Sanders raw value'],/*attribute*/"bar":/*attribute value*/{},"baz":"xyz"})";
575a7edcfb5SSam McCall   EXPECT_EQ(Plain, StreamStuff(0));
576140b7b6fSSam McCall   const char *Pretty = R"(/* top* /level */
577140b7b6fSSam McCall {
578a7edcfb5SSam McCall   "foo": [
579a7edcfb5SSam McCall     null,
580140b7b6fSSam McCall     /* element */
581a7edcfb5SSam McCall     42.5,
582a7edcfb5SSam McCall     [
583a7edcfb5SSam McCall       43
58491a98ec1SDaniel Sanders     ],
58591a98ec1SDaniel Sanders     'unverified
58691a98ec1SDaniel Sanders raw value'
587a7edcfb5SSam McCall   ],
588140b7b6fSSam McCall   /* attribute */
589140b7b6fSSam McCall   "bar": /* attribute value */ {},
590a7edcfb5SSam McCall   "baz": "xyz"
591a7edcfb5SSam McCall })";
592a7edcfb5SSam McCall   EXPECT_EQ(Pretty, StreamStuff(2));
593a7edcfb5SSam McCall }
594a7edcfb5SSam McCall 
TEST(JSONTest,Path)59516619e71SSam McCall TEST(JSONTest, Path) {
59616619e71SSam McCall   Path::Root R("foo");
59716619e71SSam McCall   Path P = R, A = P.field("a"), B = P.field("b");
59838de1c33SSam McCall   P.report("oh no");
59938de1c33SSam McCall   EXPECT_THAT_ERROR(R.getError(), FailedWithMessage("oh no when parsing foo"));
60016619e71SSam McCall   A.index(1).field("c").index(2).report("boom");
60116619e71SSam McCall   EXPECT_THAT_ERROR(R.getError(), FailedWithMessage("boom at foo.a[1].c[2]"));
60216619e71SSam McCall   B.field("d").field("e").report("bam");
60316619e71SSam McCall   EXPECT_THAT_ERROR(R.getError(), FailedWithMessage("bam at foo.b.d.e"));
60438de1c33SSam McCall 
60538de1c33SSam McCall   Value V = Object{
60638de1c33SSam McCall       {"a", Array{42}},
60738de1c33SSam McCall       {"b",
60838de1c33SSam McCall        Object{{"d",
60938de1c33SSam McCall                Object{
61038de1c33SSam McCall                    {"e", Array{1, Object{{"x", "y"}}}},
61138de1c33SSam McCall                    {"f", "a moderately long string: 48 characters in total"},
61238de1c33SSam McCall                }}}},
61338de1c33SSam McCall   };
61438de1c33SSam McCall   const char *Expected = R"({
61538de1c33SSam McCall   "a": [ ... ],
61638de1c33SSam McCall   "b": {
61738de1c33SSam McCall     "d": {
61838de1c33SSam McCall       "e": /* error: bam */ [
61938de1c33SSam McCall         1,
62038de1c33SSam McCall         { ... }
62138de1c33SSam McCall       ],
62238de1c33SSam McCall       "f": "a moderately long string: 48 characte..."
62338de1c33SSam McCall     }
62438de1c33SSam McCall   }
62538de1c33SSam McCall })";
626fa69b608SSam McCall   EXPECT_EQ(Expected, errorContext(V, R));
62716619e71SSam McCall }
62816619e71SSam McCall 
6296be38247SSam McCall } // namespace
6306be38247SSam McCall } // namespace json
6316be38247SSam McCall } // namespace llvm
632