10b57cec5SDimitry Andric //=== JSON.cpp - JSON value, parsing and serialization - C++ -----------*-===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===---------------------------------------------------------------------===//
80b57cec5SDimitry Andric 
90b57cec5SDimitry Andric #include "llvm/Support/JSON.h"
10*af732203SDimitry Andric #include "llvm/ADT/STLExtras.h"
110b57cec5SDimitry Andric #include "llvm/Support/ConvertUTF.h"
12*af732203SDimitry Andric #include "llvm/Support/Error.h"
130b57cec5SDimitry Andric #include "llvm/Support/Format.h"
14*af732203SDimitry Andric #include "llvm/Support/raw_ostream.h"
150b57cec5SDimitry Andric #include <cctype>
160b57cec5SDimitry Andric 
170b57cec5SDimitry Andric namespace llvm {
180b57cec5SDimitry Andric namespace json {
190b57cec5SDimitry Andric 
operator [](const ObjectKey & K)200b57cec5SDimitry Andric Value &Object::operator[](const ObjectKey &K) {
210b57cec5SDimitry Andric   return try_emplace(K, nullptr).first->getSecond();
220b57cec5SDimitry Andric }
operator [](ObjectKey && K)230b57cec5SDimitry Andric Value &Object::operator[](ObjectKey &&K) {
240b57cec5SDimitry Andric   return try_emplace(std::move(K), nullptr).first->getSecond();
250b57cec5SDimitry Andric }
get(StringRef K)260b57cec5SDimitry Andric Value *Object::get(StringRef K) {
270b57cec5SDimitry Andric   auto I = find(K);
280b57cec5SDimitry Andric   if (I == end())
290b57cec5SDimitry Andric     return nullptr;
300b57cec5SDimitry Andric   return &I->second;
310b57cec5SDimitry Andric }
get(StringRef K) const320b57cec5SDimitry Andric const Value *Object::get(StringRef K) const {
330b57cec5SDimitry Andric   auto I = find(K);
340b57cec5SDimitry Andric   if (I == end())
350b57cec5SDimitry Andric     return nullptr;
360b57cec5SDimitry Andric   return &I->second;
370b57cec5SDimitry Andric }
getNull(StringRef K) const380b57cec5SDimitry Andric llvm::Optional<std::nullptr_t> Object::getNull(StringRef K) const {
390b57cec5SDimitry Andric   if (auto *V = get(K))
400b57cec5SDimitry Andric     return V->getAsNull();
410b57cec5SDimitry Andric   return llvm::None;
420b57cec5SDimitry Andric }
getBoolean(StringRef K) const430b57cec5SDimitry Andric llvm::Optional<bool> Object::getBoolean(StringRef K) const {
440b57cec5SDimitry Andric   if (auto *V = get(K))
450b57cec5SDimitry Andric     return V->getAsBoolean();
460b57cec5SDimitry Andric   return llvm::None;
470b57cec5SDimitry Andric }
getNumber(StringRef K) const480b57cec5SDimitry Andric llvm::Optional<double> Object::getNumber(StringRef K) const {
490b57cec5SDimitry Andric   if (auto *V = get(K))
500b57cec5SDimitry Andric     return V->getAsNumber();
510b57cec5SDimitry Andric   return llvm::None;
520b57cec5SDimitry Andric }
getInteger(StringRef K) const530b57cec5SDimitry Andric llvm::Optional<int64_t> Object::getInteger(StringRef K) const {
540b57cec5SDimitry Andric   if (auto *V = get(K))
550b57cec5SDimitry Andric     return V->getAsInteger();
560b57cec5SDimitry Andric   return llvm::None;
570b57cec5SDimitry Andric }
getString(StringRef K) const580b57cec5SDimitry Andric llvm::Optional<llvm::StringRef> Object::getString(StringRef K) const {
590b57cec5SDimitry Andric   if (auto *V = get(K))
600b57cec5SDimitry Andric     return V->getAsString();
610b57cec5SDimitry Andric   return llvm::None;
620b57cec5SDimitry Andric }
getObject(StringRef K) const630b57cec5SDimitry Andric const json::Object *Object::getObject(StringRef K) const {
640b57cec5SDimitry Andric   if (auto *V = get(K))
650b57cec5SDimitry Andric     return V->getAsObject();
660b57cec5SDimitry Andric   return nullptr;
670b57cec5SDimitry Andric }
getObject(StringRef K)680b57cec5SDimitry Andric json::Object *Object::getObject(StringRef K) {
690b57cec5SDimitry Andric   if (auto *V = get(K))
700b57cec5SDimitry Andric     return V->getAsObject();
710b57cec5SDimitry Andric   return nullptr;
720b57cec5SDimitry Andric }
getArray(StringRef K) const730b57cec5SDimitry Andric const json::Array *Object::getArray(StringRef K) const {
740b57cec5SDimitry Andric   if (auto *V = get(K))
750b57cec5SDimitry Andric     return V->getAsArray();
760b57cec5SDimitry Andric   return nullptr;
770b57cec5SDimitry Andric }
getArray(StringRef K)780b57cec5SDimitry Andric json::Array *Object::getArray(StringRef K) {
790b57cec5SDimitry Andric   if (auto *V = get(K))
800b57cec5SDimitry Andric     return V->getAsArray();
810b57cec5SDimitry Andric   return nullptr;
820b57cec5SDimitry Andric }
operator ==(const Object & LHS,const Object & RHS)830b57cec5SDimitry Andric bool operator==(const Object &LHS, const Object &RHS) {
840b57cec5SDimitry Andric   if (LHS.size() != RHS.size())
850b57cec5SDimitry Andric     return false;
860b57cec5SDimitry Andric   for (const auto &L : LHS) {
870b57cec5SDimitry Andric     auto R = RHS.find(L.first);
880b57cec5SDimitry Andric     if (R == RHS.end() || L.second != R->second)
890b57cec5SDimitry Andric       return false;
900b57cec5SDimitry Andric   }
910b57cec5SDimitry Andric   return true;
920b57cec5SDimitry Andric }
930b57cec5SDimitry Andric 
Array(std::initializer_list<Value> Elements)940b57cec5SDimitry Andric Array::Array(std::initializer_list<Value> Elements) {
950b57cec5SDimitry Andric   V.reserve(Elements.size());
960b57cec5SDimitry Andric   for (const Value &V : Elements) {
970b57cec5SDimitry Andric     emplace_back(nullptr);
980b57cec5SDimitry Andric     back().moveFrom(std::move(V));
990b57cec5SDimitry Andric   }
1000b57cec5SDimitry Andric }
1010b57cec5SDimitry Andric 
Value(std::initializer_list<Value> Elements)1020b57cec5SDimitry Andric Value::Value(std::initializer_list<Value> Elements)
1030b57cec5SDimitry Andric     : Value(json::Array(Elements)) {}
1040b57cec5SDimitry Andric 
copyFrom(const Value & M)1050b57cec5SDimitry Andric void Value::copyFrom(const Value &M) {
1060b57cec5SDimitry Andric   Type = M.Type;
1070b57cec5SDimitry Andric   switch (Type) {
1080b57cec5SDimitry Andric   case T_Null:
1090b57cec5SDimitry Andric   case T_Boolean:
1100b57cec5SDimitry Andric   case T_Double:
1110b57cec5SDimitry Andric   case T_Integer:
112*af732203SDimitry Andric     memcpy(&Union, &M.Union, sizeof(Union));
1130b57cec5SDimitry Andric     break;
1140b57cec5SDimitry Andric   case T_StringRef:
1150b57cec5SDimitry Andric     create<StringRef>(M.as<StringRef>());
1160b57cec5SDimitry Andric     break;
1170b57cec5SDimitry Andric   case T_String:
1180b57cec5SDimitry Andric     create<std::string>(M.as<std::string>());
1190b57cec5SDimitry Andric     break;
1200b57cec5SDimitry Andric   case T_Object:
1210b57cec5SDimitry Andric     create<json::Object>(M.as<json::Object>());
1220b57cec5SDimitry Andric     break;
1230b57cec5SDimitry Andric   case T_Array:
1240b57cec5SDimitry Andric     create<json::Array>(M.as<json::Array>());
1250b57cec5SDimitry Andric     break;
1260b57cec5SDimitry Andric   }
1270b57cec5SDimitry Andric }
1280b57cec5SDimitry Andric 
moveFrom(const Value && M)1290b57cec5SDimitry Andric void Value::moveFrom(const Value &&M) {
1300b57cec5SDimitry Andric   Type = M.Type;
1310b57cec5SDimitry Andric   switch (Type) {
1320b57cec5SDimitry Andric   case T_Null:
1330b57cec5SDimitry Andric   case T_Boolean:
1340b57cec5SDimitry Andric   case T_Double:
1350b57cec5SDimitry Andric   case T_Integer:
136*af732203SDimitry Andric     memcpy(&Union, &M.Union, sizeof(Union));
1370b57cec5SDimitry Andric     break;
1380b57cec5SDimitry Andric   case T_StringRef:
1390b57cec5SDimitry Andric     create<StringRef>(M.as<StringRef>());
1400b57cec5SDimitry Andric     break;
1410b57cec5SDimitry Andric   case T_String:
1420b57cec5SDimitry Andric     create<std::string>(std::move(M.as<std::string>()));
1430b57cec5SDimitry Andric     M.Type = T_Null;
1440b57cec5SDimitry Andric     break;
1450b57cec5SDimitry Andric   case T_Object:
1460b57cec5SDimitry Andric     create<json::Object>(std::move(M.as<json::Object>()));
1470b57cec5SDimitry Andric     M.Type = T_Null;
1480b57cec5SDimitry Andric     break;
1490b57cec5SDimitry Andric   case T_Array:
1500b57cec5SDimitry Andric     create<json::Array>(std::move(M.as<json::Array>()));
1510b57cec5SDimitry Andric     M.Type = T_Null;
1520b57cec5SDimitry Andric     break;
1530b57cec5SDimitry Andric   }
1540b57cec5SDimitry Andric }
1550b57cec5SDimitry Andric 
destroy()1560b57cec5SDimitry Andric void Value::destroy() {
1570b57cec5SDimitry Andric   switch (Type) {
1580b57cec5SDimitry Andric   case T_Null:
1590b57cec5SDimitry Andric   case T_Boolean:
1600b57cec5SDimitry Andric   case T_Double:
1610b57cec5SDimitry Andric   case T_Integer:
1620b57cec5SDimitry Andric     break;
1630b57cec5SDimitry Andric   case T_StringRef:
1640b57cec5SDimitry Andric     as<StringRef>().~StringRef();
1650b57cec5SDimitry Andric     break;
1660b57cec5SDimitry Andric   case T_String:
1670b57cec5SDimitry Andric     as<std::string>().~basic_string();
1680b57cec5SDimitry Andric     break;
1690b57cec5SDimitry Andric   case T_Object:
1700b57cec5SDimitry Andric     as<json::Object>().~Object();
1710b57cec5SDimitry Andric     break;
1720b57cec5SDimitry Andric   case T_Array:
1730b57cec5SDimitry Andric     as<json::Array>().~Array();
1740b57cec5SDimitry Andric     break;
1750b57cec5SDimitry Andric   }
1760b57cec5SDimitry Andric }
1770b57cec5SDimitry Andric 
operator ==(const Value & L,const Value & R)1780b57cec5SDimitry Andric bool operator==(const Value &L, const Value &R) {
1790b57cec5SDimitry Andric   if (L.kind() != R.kind())
1800b57cec5SDimitry Andric     return false;
1810b57cec5SDimitry Andric   switch (L.kind()) {
1820b57cec5SDimitry Andric   case Value::Null:
1830b57cec5SDimitry Andric     return *L.getAsNull() == *R.getAsNull();
1840b57cec5SDimitry Andric   case Value::Boolean:
1850b57cec5SDimitry Andric     return *L.getAsBoolean() == *R.getAsBoolean();
1860b57cec5SDimitry Andric   case Value::Number:
1870b57cec5SDimitry Andric     // Workaround for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=323
1880b57cec5SDimitry Andric     // The same integer must convert to the same double, per the standard.
1890b57cec5SDimitry Andric     // However we see 64-vs-80-bit precision comparisons with gcc-7 -O3 -m32.
1900b57cec5SDimitry Andric     // So we avoid floating point promotion for exact comparisons.
1910b57cec5SDimitry Andric     if (L.Type == Value::T_Integer || R.Type == Value::T_Integer)
1920b57cec5SDimitry Andric       return L.getAsInteger() == R.getAsInteger();
1930b57cec5SDimitry Andric     return *L.getAsNumber() == *R.getAsNumber();
1940b57cec5SDimitry Andric   case Value::String:
1950b57cec5SDimitry Andric     return *L.getAsString() == *R.getAsString();
1960b57cec5SDimitry Andric   case Value::Array:
1970b57cec5SDimitry Andric     return *L.getAsArray() == *R.getAsArray();
1980b57cec5SDimitry Andric   case Value::Object:
1990b57cec5SDimitry Andric     return *L.getAsObject() == *R.getAsObject();
2000b57cec5SDimitry Andric   }
2010b57cec5SDimitry Andric   llvm_unreachable("Unknown value kind");
2020b57cec5SDimitry Andric }
2030b57cec5SDimitry Andric 
report(llvm::StringLiteral Msg)204*af732203SDimitry Andric void Path::report(llvm::StringLiteral Msg) {
205*af732203SDimitry Andric   // Walk up to the root context, and count the number of segments.
206*af732203SDimitry Andric   unsigned Count = 0;
207*af732203SDimitry Andric   const Path *P;
208*af732203SDimitry Andric   for (P = this; P->Parent != nullptr; P = P->Parent)
209*af732203SDimitry Andric     ++Count;
210*af732203SDimitry Andric   Path::Root *R = P->Seg.root();
211*af732203SDimitry Andric   // Fill in the error message and copy the path (in reverse order).
212*af732203SDimitry Andric   R->ErrorMessage = Msg;
213*af732203SDimitry Andric   R->ErrorPath.resize(Count);
214*af732203SDimitry Andric   auto It = R->ErrorPath.begin();
215*af732203SDimitry Andric   for (P = this; P->Parent != nullptr; P = P->Parent)
216*af732203SDimitry Andric     *It++ = P->Seg;
217*af732203SDimitry Andric }
218*af732203SDimitry Andric 
getError() const219*af732203SDimitry Andric Error Path::Root::getError() const {
220*af732203SDimitry Andric   std::string S;
221*af732203SDimitry Andric   raw_string_ostream OS(S);
222*af732203SDimitry Andric   OS << (ErrorMessage.empty() ? "invalid JSON contents" : ErrorMessage);
223*af732203SDimitry Andric   if (ErrorPath.empty()) {
224*af732203SDimitry Andric     if (!Name.empty())
225*af732203SDimitry Andric       OS << " when parsing " << Name;
226*af732203SDimitry Andric   } else {
227*af732203SDimitry Andric     OS << " at " << (Name.empty() ? "(root)" : Name);
228*af732203SDimitry Andric     for (const Path::Segment &S : llvm::reverse(ErrorPath)) {
229*af732203SDimitry Andric       if (S.isField())
230*af732203SDimitry Andric         OS << '.' << S.field();
231*af732203SDimitry Andric       else
232*af732203SDimitry Andric         OS << '[' << S.index() << ']';
233*af732203SDimitry Andric     }
234*af732203SDimitry Andric   }
235*af732203SDimitry Andric   return createStringError(llvm::inconvertibleErrorCode(), OS.str());
236*af732203SDimitry Andric }
237*af732203SDimitry Andric 
238*af732203SDimitry Andric namespace {
239*af732203SDimitry Andric 
sortedElements(const Object & O)240*af732203SDimitry Andric std::vector<const Object::value_type *> sortedElements(const Object &O) {
241*af732203SDimitry Andric   std::vector<const Object::value_type *> Elements;
242*af732203SDimitry Andric   for (const auto &E : O)
243*af732203SDimitry Andric     Elements.push_back(&E);
244*af732203SDimitry Andric   llvm::sort(Elements,
245*af732203SDimitry Andric              [](const Object::value_type *L, const Object::value_type *R) {
246*af732203SDimitry Andric                return L->first < R->first;
247*af732203SDimitry Andric              });
248*af732203SDimitry Andric   return Elements;
249*af732203SDimitry Andric }
250*af732203SDimitry Andric 
251*af732203SDimitry Andric // Prints a one-line version of a value that isn't our main focus.
252*af732203SDimitry Andric // We interleave writes to OS and JOS, exploiting the lack of extra buffering.
253*af732203SDimitry Andric // This is OK as we own the implementation.
abbreviate(const Value & V,OStream & JOS)254*af732203SDimitry Andric void abbreviate(const Value &V, OStream &JOS) {
255*af732203SDimitry Andric   switch (V.kind()) {
256*af732203SDimitry Andric   case Value::Array:
257*af732203SDimitry Andric     JOS.rawValue(V.getAsArray()->empty() ? "[]" : "[ ... ]");
258*af732203SDimitry Andric     break;
259*af732203SDimitry Andric   case Value::Object:
260*af732203SDimitry Andric     JOS.rawValue(V.getAsObject()->empty() ? "{}" : "{ ... }");
261*af732203SDimitry Andric     break;
262*af732203SDimitry Andric   case Value::String: {
263*af732203SDimitry Andric     llvm::StringRef S = *V.getAsString();
264*af732203SDimitry Andric     if (S.size() < 40) {
265*af732203SDimitry Andric       JOS.value(V);
266*af732203SDimitry Andric     } else {
267*af732203SDimitry Andric       std::string Truncated = fixUTF8(S.take_front(37));
268*af732203SDimitry Andric       Truncated.append("...");
269*af732203SDimitry Andric       JOS.value(Truncated);
270*af732203SDimitry Andric     }
271*af732203SDimitry Andric     break;
272*af732203SDimitry Andric   }
273*af732203SDimitry Andric   default:
274*af732203SDimitry Andric     JOS.value(V);
275*af732203SDimitry Andric   }
276*af732203SDimitry Andric }
277*af732203SDimitry Andric 
278*af732203SDimitry Andric // Prints a semi-expanded version of a value that is our main focus.
279*af732203SDimitry Andric // Array/Object entries are printed, but not recursively as they may be huge.
abbreviateChildren(const Value & V,OStream & JOS)280*af732203SDimitry Andric void abbreviateChildren(const Value &V, OStream &JOS) {
281*af732203SDimitry Andric   switch (V.kind()) {
282*af732203SDimitry Andric   case Value::Array:
283*af732203SDimitry Andric     JOS.array([&] {
284*af732203SDimitry Andric       for (const auto &I : *V.getAsArray())
285*af732203SDimitry Andric         abbreviate(I, JOS);
286*af732203SDimitry Andric     });
287*af732203SDimitry Andric     break;
288*af732203SDimitry Andric   case Value::Object:
289*af732203SDimitry Andric     JOS.object([&] {
290*af732203SDimitry Andric       for (const auto *KV : sortedElements(*V.getAsObject())) {
291*af732203SDimitry Andric         JOS.attributeBegin(KV->first);
292*af732203SDimitry Andric         abbreviate(KV->second, JOS);
293*af732203SDimitry Andric         JOS.attributeEnd();
294*af732203SDimitry Andric       }
295*af732203SDimitry Andric     });
296*af732203SDimitry Andric     break;
297*af732203SDimitry Andric   default:
298*af732203SDimitry Andric     JOS.value(V);
299*af732203SDimitry Andric   }
300*af732203SDimitry Andric }
301*af732203SDimitry Andric 
302*af732203SDimitry Andric } // namespace
303*af732203SDimitry Andric 
printErrorContext(const Value & R,raw_ostream & OS) const304*af732203SDimitry Andric void Path::Root::printErrorContext(const Value &R, raw_ostream &OS) const {
305*af732203SDimitry Andric   OStream JOS(OS, /*IndentSize=*/2);
306*af732203SDimitry Andric   // PrintValue recurses down the path, printing the ancestors of our target.
307*af732203SDimitry Andric   // Siblings of nodes along the path are printed with abbreviate(), and the
308*af732203SDimitry Andric   // target itself is printed with the somewhat richer abbreviateChildren().
309*af732203SDimitry Andric   // 'Recurse' is the lambda itself, to allow recursive calls.
310*af732203SDimitry Andric   auto PrintValue = [&](const Value &V, ArrayRef<Segment> Path, auto &Recurse) {
311*af732203SDimitry Andric     // Print the target node itself, with the error as a comment.
312*af732203SDimitry Andric     // Also used if we can't follow our path, e.g. it names a field that
313*af732203SDimitry Andric     // *should* exist but doesn't.
314*af732203SDimitry Andric     auto HighlightCurrent = [&] {
315*af732203SDimitry Andric       std::string Comment = "error: ";
316*af732203SDimitry Andric       Comment.append(ErrorMessage.data(), ErrorMessage.size());
317*af732203SDimitry Andric       JOS.comment(Comment);
318*af732203SDimitry Andric       abbreviateChildren(V, JOS);
319*af732203SDimitry Andric     };
320*af732203SDimitry Andric     if (Path.empty()) // We reached our target.
321*af732203SDimitry Andric       return HighlightCurrent();
322*af732203SDimitry Andric     const Segment &S = Path.back(); // Path is in reverse order.
323*af732203SDimitry Andric     if (S.isField()) {
324*af732203SDimitry Andric       // Current node is an object, path names a field.
325*af732203SDimitry Andric       llvm::StringRef FieldName = S.field();
326*af732203SDimitry Andric       const Object *O = V.getAsObject();
327*af732203SDimitry Andric       if (!O || !O->get(FieldName))
328*af732203SDimitry Andric         return HighlightCurrent();
329*af732203SDimitry Andric       JOS.object([&] {
330*af732203SDimitry Andric         for (const auto *KV : sortedElements(*O)) {
331*af732203SDimitry Andric           JOS.attributeBegin(KV->first);
332*af732203SDimitry Andric           if (FieldName.equals(KV->first))
333*af732203SDimitry Andric             Recurse(KV->second, Path.drop_back(), Recurse);
334*af732203SDimitry Andric           else
335*af732203SDimitry Andric             abbreviate(KV->second, JOS);
336*af732203SDimitry Andric           JOS.attributeEnd();
337*af732203SDimitry Andric         }
338*af732203SDimitry Andric       });
339*af732203SDimitry Andric     } else {
340*af732203SDimitry Andric       // Current node is an array, path names an element.
341*af732203SDimitry Andric       const Array *A = V.getAsArray();
342*af732203SDimitry Andric       if (!A || S.index() >= A->size())
343*af732203SDimitry Andric         return HighlightCurrent();
344*af732203SDimitry Andric       JOS.array([&] {
345*af732203SDimitry Andric         unsigned Current = 0;
346*af732203SDimitry Andric         for (const auto &V : *A) {
347*af732203SDimitry Andric           if (Current++ == S.index())
348*af732203SDimitry Andric             Recurse(V, Path.drop_back(), Recurse);
349*af732203SDimitry Andric           else
350*af732203SDimitry Andric             abbreviate(V, JOS);
351*af732203SDimitry Andric         }
352*af732203SDimitry Andric       });
353*af732203SDimitry Andric     }
354*af732203SDimitry Andric   };
355*af732203SDimitry Andric   PrintValue(R, ErrorPath, PrintValue);
356*af732203SDimitry Andric }
357*af732203SDimitry Andric 
3580b57cec5SDimitry Andric namespace {
3590b57cec5SDimitry Andric // Simple recursive-descent JSON parser.
3600b57cec5SDimitry Andric class Parser {
3610b57cec5SDimitry Andric public:
Parser(StringRef JSON)3620b57cec5SDimitry Andric   Parser(StringRef JSON)
3630b57cec5SDimitry Andric       : Start(JSON.begin()), P(JSON.begin()), End(JSON.end()) {}
3640b57cec5SDimitry Andric 
checkUTF8()3650b57cec5SDimitry Andric   bool checkUTF8() {
3660b57cec5SDimitry Andric     size_t ErrOffset;
3670b57cec5SDimitry Andric     if (isUTF8(StringRef(Start, End - Start), &ErrOffset))
3680b57cec5SDimitry Andric       return true;
3690b57cec5SDimitry Andric     P = Start + ErrOffset; // For line/column calculation.
3700b57cec5SDimitry Andric     return parseError("Invalid UTF-8 sequence");
3710b57cec5SDimitry Andric   }
3720b57cec5SDimitry Andric 
3730b57cec5SDimitry Andric   bool parseValue(Value &Out);
3740b57cec5SDimitry Andric 
assertEnd()3750b57cec5SDimitry Andric   bool assertEnd() {
3760b57cec5SDimitry Andric     eatWhitespace();
3770b57cec5SDimitry Andric     if (P == End)
3780b57cec5SDimitry Andric       return true;
3790b57cec5SDimitry Andric     return parseError("Text after end of document");
3800b57cec5SDimitry Andric   }
3810b57cec5SDimitry Andric 
takeError()3820b57cec5SDimitry Andric   Error takeError() {
3830b57cec5SDimitry Andric     assert(Err);
3840b57cec5SDimitry Andric     return std::move(*Err);
3850b57cec5SDimitry Andric   }
3860b57cec5SDimitry Andric 
3870b57cec5SDimitry Andric private:
eatWhitespace()3880b57cec5SDimitry Andric   void eatWhitespace() {
3890b57cec5SDimitry Andric     while (P != End && (*P == ' ' || *P == '\r' || *P == '\n' || *P == '\t'))
3900b57cec5SDimitry Andric       ++P;
3910b57cec5SDimitry Andric   }
3920b57cec5SDimitry Andric 
3930b57cec5SDimitry Andric   // On invalid syntax, parseX() functions return false and set Err.
3940b57cec5SDimitry Andric   bool parseNumber(char First, Value &Out);
3950b57cec5SDimitry Andric   bool parseString(std::string &Out);
3960b57cec5SDimitry Andric   bool parseUnicode(std::string &Out);
3970b57cec5SDimitry Andric   bool parseError(const char *Msg); // always returns false
3980b57cec5SDimitry Andric 
next()3990b57cec5SDimitry Andric   char next() { return P == End ? 0 : *P++; }
peek()4000b57cec5SDimitry Andric   char peek() { return P == End ? 0 : *P; }
isNumber(char C)4010b57cec5SDimitry Andric   static bool isNumber(char C) {
4020b57cec5SDimitry Andric     return C == '0' || C == '1' || C == '2' || C == '3' || C == '4' ||
4030b57cec5SDimitry Andric            C == '5' || C == '6' || C == '7' || C == '8' || C == '9' ||
4040b57cec5SDimitry Andric            C == 'e' || C == 'E' || C == '+' || C == '-' || C == '.';
4050b57cec5SDimitry Andric   }
4060b57cec5SDimitry Andric 
4070b57cec5SDimitry Andric   Optional<Error> Err;
4080b57cec5SDimitry Andric   const char *Start, *P, *End;
4090b57cec5SDimitry Andric };
4100b57cec5SDimitry Andric 
parseValue(Value & Out)4110b57cec5SDimitry Andric bool Parser::parseValue(Value &Out) {
4120b57cec5SDimitry Andric   eatWhitespace();
4130b57cec5SDimitry Andric   if (P == End)
4140b57cec5SDimitry Andric     return parseError("Unexpected EOF");
4150b57cec5SDimitry Andric   switch (char C = next()) {
4160b57cec5SDimitry Andric   // Bare null/true/false are easy - first char identifies them.
4170b57cec5SDimitry Andric   case 'n':
4180b57cec5SDimitry Andric     Out = nullptr;
4190b57cec5SDimitry Andric     return (next() == 'u' && next() == 'l' && next() == 'l') ||
4200b57cec5SDimitry Andric            parseError("Invalid JSON value (null?)");
4210b57cec5SDimitry Andric   case 't':
4220b57cec5SDimitry Andric     Out = true;
4230b57cec5SDimitry Andric     return (next() == 'r' && next() == 'u' && next() == 'e') ||
4240b57cec5SDimitry Andric            parseError("Invalid JSON value (true?)");
4250b57cec5SDimitry Andric   case 'f':
4260b57cec5SDimitry Andric     Out = false;
4270b57cec5SDimitry Andric     return (next() == 'a' && next() == 'l' && next() == 's' && next() == 'e') ||
4280b57cec5SDimitry Andric            parseError("Invalid JSON value (false?)");
4290b57cec5SDimitry Andric   case '"': {
4300b57cec5SDimitry Andric     std::string S;
4310b57cec5SDimitry Andric     if (parseString(S)) {
4320b57cec5SDimitry Andric       Out = std::move(S);
4330b57cec5SDimitry Andric       return true;
4340b57cec5SDimitry Andric     }
4350b57cec5SDimitry Andric     return false;
4360b57cec5SDimitry Andric   }
4370b57cec5SDimitry Andric   case '[': {
4380b57cec5SDimitry Andric     Out = Array{};
4390b57cec5SDimitry Andric     Array &A = *Out.getAsArray();
4400b57cec5SDimitry Andric     eatWhitespace();
4410b57cec5SDimitry Andric     if (peek() == ']') {
4420b57cec5SDimitry Andric       ++P;
4430b57cec5SDimitry Andric       return true;
4440b57cec5SDimitry Andric     }
4450b57cec5SDimitry Andric     for (;;) {
4460b57cec5SDimitry Andric       A.emplace_back(nullptr);
4470b57cec5SDimitry Andric       if (!parseValue(A.back()))
4480b57cec5SDimitry Andric         return false;
4490b57cec5SDimitry Andric       eatWhitespace();
4500b57cec5SDimitry Andric       switch (next()) {
4510b57cec5SDimitry Andric       case ',':
4520b57cec5SDimitry Andric         eatWhitespace();
4530b57cec5SDimitry Andric         continue;
4540b57cec5SDimitry Andric       case ']':
4550b57cec5SDimitry Andric         return true;
4560b57cec5SDimitry Andric       default:
4570b57cec5SDimitry Andric         return parseError("Expected , or ] after array element");
4580b57cec5SDimitry Andric       }
4590b57cec5SDimitry Andric     }
4600b57cec5SDimitry Andric   }
4610b57cec5SDimitry Andric   case '{': {
4620b57cec5SDimitry Andric     Out = Object{};
4630b57cec5SDimitry Andric     Object &O = *Out.getAsObject();
4640b57cec5SDimitry Andric     eatWhitespace();
4650b57cec5SDimitry Andric     if (peek() == '}') {
4660b57cec5SDimitry Andric       ++P;
4670b57cec5SDimitry Andric       return true;
4680b57cec5SDimitry Andric     }
4690b57cec5SDimitry Andric     for (;;) {
4700b57cec5SDimitry Andric       if (next() != '"')
4710b57cec5SDimitry Andric         return parseError("Expected object key");
4720b57cec5SDimitry Andric       std::string K;
4730b57cec5SDimitry Andric       if (!parseString(K))
4740b57cec5SDimitry Andric         return false;
4750b57cec5SDimitry Andric       eatWhitespace();
4760b57cec5SDimitry Andric       if (next() != ':')
4770b57cec5SDimitry Andric         return parseError("Expected : after object key");
4780b57cec5SDimitry Andric       eatWhitespace();
4790b57cec5SDimitry Andric       if (!parseValue(O[std::move(K)]))
4800b57cec5SDimitry Andric         return false;
4810b57cec5SDimitry Andric       eatWhitespace();
4820b57cec5SDimitry Andric       switch (next()) {
4830b57cec5SDimitry Andric       case ',':
4840b57cec5SDimitry Andric         eatWhitespace();
4850b57cec5SDimitry Andric         continue;
4860b57cec5SDimitry Andric       case '}':
4870b57cec5SDimitry Andric         return true;
4880b57cec5SDimitry Andric       default:
4890b57cec5SDimitry Andric         return parseError("Expected , or } after object property");
4900b57cec5SDimitry Andric       }
4910b57cec5SDimitry Andric     }
4920b57cec5SDimitry Andric   }
4930b57cec5SDimitry Andric   default:
4940b57cec5SDimitry Andric     if (isNumber(C))
4950b57cec5SDimitry Andric       return parseNumber(C, Out);
4960b57cec5SDimitry Andric     return parseError("Invalid JSON value");
4970b57cec5SDimitry Andric   }
4980b57cec5SDimitry Andric }
4990b57cec5SDimitry Andric 
parseNumber(char First,Value & Out)5000b57cec5SDimitry Andric bool Parser::parseNumber(char First, Value &Out) {
5010b57cec5SDimitry Andric   // Read the number into a string. (Must be null-terminated for strto*).
5020b57cec5SDimitry Andric   SmallString<24> S;
5030b57cec5SDimitry Andric   S.push_back(First);
5040b57cec5SDimitry Andric   while (isNumber(peek()))
5050b57cec5SDimitry Andric     S.push_back(next());
5060b57cec5SDimitry Andric   char *End;
5070b57cec5SDimitry Andric   // Try first to parse as integer, and if so preserve full 64 bits.
5080b57cec5SDimitry Andric   // strtoll returns long long >= 64 bits, so check it's in range too.
5090b57cec5SDimitry Andric   auto I = std::strtoll(S.c_str(), &End, 10);
5100b57cec5SDimitry Andric   if (End == S.end() && I >= std::numeric_limits<int64_t>::min() &&
5110b57cec5SDimitry Andric       I <= std::numeric_limits<int64_t>::max()) {
5120b57cec5SDimitry Andric     Out = int64_t(I);
5130b57cec5SDimitry Andric     return true;
5140b57cec5SDimitry Andric   }
5150b57cec5SDimitry Andric   // If it's not an integer
5160b57cec5SDimitry Andric   Out = std::strtod(S.c_str(), &End);
5170b57cec5SDimitry Andric   return End == S.end() || parseError("Invalid JSON value (number?)");
5180b57cec5SDimitry Andric }
5190b57cec5SDimitry Andric 
parseString(std::string & Out)5200b57cec5SDimitry Andric bool Parser::parseString(std::string &Out) {
5210b57cec5SDimitry Andric   // leading quote was already consumed.
5220b57cec5SDimitry Andric   for (char C = next(); C != '"'; C = next()) {
5230b57cec5SDimitry Andric     if (LLVM_UNLIKELY(P == End))
5240b57cec5SDimitry Andric       return parseError("Unterminated string");
5250b57cec5SDimitry Andric     if (LLVM_UNLIKELY((C & 0x1f) == C))
5260b57cec5SDimitry Andric       return parseError("Control character in string");
5270b57cec5SDimitry Andric     if (LLVM_LIKELY(C != '\\')) {
5280b57cec5SDimitry Andric       Out.push_back(C);
5290b57cec5SDimitry Andric       continue;
5300b57cec5SDimitry Andric     }
5310b57cec5SDimitry Andric     // Handle escape sequence.
5320b57cec5SDimitry Andric     switch (C = next()) {
5330b57cec5SDimitry Andric     case '"':
5340b57cec5SDimitry Andric     case '\\':
5350b57cec5SDimitry Andric     case '/':
5360b57cec5SDimitry Andric       Out.push_back(C);
5370b57cec5SDimitry Andric       break;
5380b57cec5SDimitry Andric     case 'b':
5390b57cec5SDimitry Andric       Out.push_back('\b');
5400b57cec5SDimitry Andric       break;
5410b57cec5SDimitry Andric     case 'f':
5420b57cec5SDimitry Andric       Out.push_back('\f');
5430b57cec5SDimitry Andric       break;
5440b57cec5SDimitry Andric     case 'n':
5450b57cec5SDimitry Andric       Out.push_back('\n');
5460b57cec5SDimitry Andric       break;
5470b57cec5SDimitry Andric     case 'r':
5480b57cec5SDimitry Andric       Out.push_back('\r');
5490b57cec5SDimitry Andric       break;
5500b57cec5SDimitry Andric     case 't':
5510b57cec5SDimitry Andric       Out.push_back('\t');
5520b57cec5SDimitry Andric       break;
5530b57cec5SDimitry Andric     case 'u':
5540b57cec5SDimitry Andric       if (!parseUnicode(Out))
5550b57cec5SDimitry Andric         return false;
5560b57cec5SDimitry Andric       break;
5570b57cec5SDimitry Andric     default:
5580b57cec5SDimitry Andric       return parseError("Invalid escape sequence");
5590b57cec5SDimitry Andric     }
5600b57cec5SDimitry Andric   }
5610b57cec5SDimitry Andric   return true;
5620b57cec5SDimitry Andric }
5630b57cec5SDimitry Andric 
encodeUtf8(uint32_t Rune,std::string & Out)5640b57cec5SDimitry Andric static void encodeUtf8(uint32_t Rune, std::string &Out) {
5650b57cec5SDimitry Andric   if (Rune < 0x80) {
5660b57cec5SDimitry Andric     Out.push_back(Rune & 0x7F);
5670b57cec5SDimitry Andric   } else if (Rune < 0x800) {
5680b57cec5SDimitry Andric     uint8_t FirstByte = 0xC0 | ((Rune & 0x7C0) >> 6);
5690b57cec5SDimitry Andric     uint8_t SecondByte = 0x80 | (Rune & 0x3F);
5700b57cec5SDimitry Andric     Out.push_back(FirstByte);
5710b57cec5SDimitry Andric     Out.push_back(SecondByte);
5720b57cec5SDimitry Andric   } else if (Rune < 0x10000) {
5730b57cec5SDimitry Andric     uint8_t FirstByte = 0xE0 | ((Rune & 0xF000) >> 12);
5740b57cec5SDimitry Andric     uint8_t SecondByte = 0x80 | ((Rune & 0xFC0) >> 6);
5750b57cec5SDimitry Andric     uint8_t ThirdByte = 0x80 | (Rune & 0x3F);
5760b57cec5SDimitry Andric     Out.push_back(FirstByte);
5770b57cec5SDimitry Andric     Out.push_back(SecondByte);
5780b57cec5SDimitry Andric     Out.push_back(ThirdByte);
5790b57cec5SDimitry Andric   } else if (Rune < 0x110000) {
5800b57cec5SDimitry Andric     uint8_t FirstByte = 0xF0 | ((Rune & 0x1F0000) >> 18);
5810b57cec5SDimitry Andric     uint8_t SecondByte = 0x80 | ((Rune & 0x3F000) >> 12);
5820b57cec5SDimitry Andric     uint8_t ThirdByte = 0x80 | ((Rune & 0xFC0) >> 6);
5830b57cec5SDimitry Andric     uint8_t FourthByte = 0x80 | (Rune & 0x3F);
5840b57cec5SDimitry Andric     Out.push_back(FirstByte);
5850b57cec5SDimitry Andric     Out.push_back(SecondByte);
5860b57cec5SDimitry Andric     Out.push_back(ThirdByte);
5870b57cec5SDimitry Andric     Out.push_back(FourthByte);
5880b57cec5SDimitry Andric   } else {
5890b57cec5SDimitry Andric     llvm_unreachable("Invalid codepoint");
5900b57cec5SDimitry Andric   }
5910b57cec5SDimitry Andric }
5920b57cec5SDimitry Andric 
5930b57cec5SDimitry Andric // Parse a UTF-16 \uNNNN escape sequence. "\u" has already been consumed.
5940b57cec5SDimitry Andric // May parse several sequential escapes to ensure proper surrogate handling.
5950b57cec5SDimitry Andric // We do not use ConvertUTF.h, it can't accept and replace unpaired surrogates.
5960b57cec5SDimitry Andric // These are invalid Unicode but valid JSON (RFC 8259, section 8.2).
parseUnicode(std::string & Out)5970b57cec5SDimitry Andric bool Parser::parseUnicode(std::string &Out) {
5980b57cec5SDimitry Andric   // Invalid UTF is not a JSON error (RFC 8529§8.2). It gets replaced by U+FFFD.
5990b57cec5SDimitry Andric   auto Invalid = [&] { Out.append(/* UTF-8 */ {'\xef', '\xbf', '\xbd'}); };
6000b57cec5SDimitry Andric   // Decodes 4 hex digits from the stream into Out, returns false on error.
6010b57cec5SDimitry Andric   auto Parse4Hex = [this](uint16_t &Out) -> bool {
6020b57cec5SDimitry Andric     Out = 0;
6030b57cec5SDimitry Andric     char Bytes[] = {next(), next(), next(), next()};
6040b57cec5SDimitry Andric     for (unsigned char C : Bytes) {
6050b57cec5SDimitry Andric       if (!std::isxdigit(C))
6060b57cec5SDimitry Andric         return parseError("Invalid \\u escape sequence");
6070b57cec5SDimitry Andric       Out <<= 4;
6080b57cec5SDimitry Andric       Out |= (C > '9') ? (C & ~0x20) - 'A' + 10 : (C - '0');
6090b57cec5SDimitry Andric     }
6100b57cec5SDimitry Andric     return true;
6110b57cec5SDimitry Andric   };
6120b57cec5SDimitry Andric   uint16_t First; // UTF-16 code unit from the first \u escape.
6130b57cec5SDimitry Andric   if (!Parse4Hex(First))
6140b57cec5SDimitry Andric     return false;
6150b57cec5SDimitry Andric 
6160b57cec5SDimitry Andric   // We loop to allow proper surrogate-pair error handling.
6170b57cec5SDimitry Andric   while (true) {
6180b57cec5SDimitry Andric     // Case 1: the UTF-16 code unit is already a codepoint in the BMP.
6190b57cec5SDimitry Andric     if (LLVM_LIKELY(First < 0xD800 || First >= 0xE000)) {
6200b57cec5SDimitry Andric       encodeUtf8(First, Out);
6210b57cec5SDimitry Andric       return true;
6220b57cec5SDimitry Andric     }
6230b57cec5SDimitry Andric 
6240b57cec5SDimitry Andric     // Case 2: it's an (unpaired) trailing surrogate.
6250b57cec5SDimitry Andric     if (LLVM_UNLIKELY(First >= 0xDC00)) {
6260b57cec5SDimitry Andric       Invalid();
6270b57cec5SDimitry Andric       return true;
6280b57cec5SDimitry Andric     }
6290b57cec5SDimitry Andric 
6300b57cec5SDimitry Andric     // Case 3: it's a leading surrogate. We expect a trailing one next.
6310b57cec5SDimitry Andric     // Case 3a: there's no trailing \u escape. Don't advance in the stream.
6320b57cec5SDimitry Andric     if (LLVM_UNLIKELY(P + 2 > End || *P != '\\' || *(P + 1) != 'u')) {
6330b57cec5SDimitry Andric       Invalid(); // Leading surrogate was unpaired.
6340b57cec5SDimitry Andric       return true;
6350b57cec5SDimitry Andric     }
6360b57cec5SDimitry Andric     P += 2;
6370b57cec5SDimitry Andric     uint16_t Second;
6380b57cec5SDimitry Andric     if (!Parse4Hex(Second))
6390b57cec5SDimitry Andric       return false;
6400b57cec5SDimitry Andric     // Case 3b: there was another \u escape, but it wasn't a trailing surrogate.
6410b57cec5SDimitry Andric     if (LLVM_UNLIKELY(Second < 0xDC00 || Second >= 0xE000)) {
6420b57cec5SDimitry Andric       Invalid();      // Leading surrogate was unpaired.
6430b57cec5SDimitry Andric       First = Second; // Second escape still needs to be processed.
6440b57cec5SDimitry Andric       continue;
6450b57cec5SDimitry Andric     }
6460b57cec5SDimitry Andric     // Case 3c: a valid surrogate pair encoding an astral codepoint.
6470b57cec5SDimitry Andric     encodeUtf8(0x10000 | ((First - 0xD800) << 10) | (Second - 0xDC00), Out);
6480b57cec5SDimitry Andric     return true;
6490b57cec5SDimitry Andric   }
6500b57cec5SDimitry Andric }
6510b57cec5SDimitry Andric 
parseError(const char * Msg)6520b57cec5SDimitry Andric bool Parser::parseError(const char *Msg) {
6530b57cec5SDimitry Andric   int Line = 1;
6540b57cec5SDimitry Andric   const char *StartOfLine = Start;
6550b57cec5SDimitry Andric   for (const char *X = Start; X < P; ++X) {
6560b57cec5SDimitry Andric     if (*X == 0x0A) {
6570b57cec5SDimitry Andric       ++Line;
6580b57cec5SDimitry Andric       StartOfLine = X + 1;
6590b57cec5SDimitry Andric     }
6600b57cec5SDimitry Andric   }
6610b57cec5SDimitry Andric   Err.emplace(
6628bcb0991SDimitry Andric       std::make_unique<ParseError>(Msg, Line, P - StartOfLine, P - Start));
6630b57cec5SDimitry Andric   return false;
6640b57cec5SDimitry Andric }
6650b57cec5SDimitry Andric } // namespace
6660b57cec5SDimitry Andric 
parse(StringRef JSON)6670b57cec5SDimitry Andric Expected<Value> parse(StringRef JSON) {
6680b57cec5SDimitry Andric   Parser P(JSON);
6690b57cec5SDimitry Andric   Value E = nullptr;
6700b57cec5SDimitry Andric   if (P.checkUTF8())
6710b57cec5SDimitry Andric     if (P.parseValue(E))
6720b57cec5SDimitry Andric       if (P.assertEnd())
6730b57cec5SDimitry Andric         return std::move(E);
6740b57cec5SDimitry Andric   return P.takeError();
6750b57cec5SDimitry Andric }
6760b57cec5SDimitry Andric char ParseError::ID = 0;
6770b57cec5SDimitry Andric 
isUTF8(llvm::StringRef S,size_t * ErrOffset)6780b57cec5SDimitry Andric bool isUTF8(llvm::StringRef S, size_t *ErrOffset) {
6790b57cec5SDimitry Andric   // Fast-path for ASCII, which is valid UTF-8.
6800b57cec5SDimitry Andric   if (LLVM_LIKELY(isASCII(S)))
6810b57cec5SDimitry Andric     return true;
6820b57cec5SDimitry Andric 
6830b57cec5SDimitry Andric   const UTF8 *Data = reinterpret_cast<const UTF8 *>(S.data()), *Rest = Data;
6840b57cec5SDimitry Andric   if (LLVM_LIKELY(isLegalUTF8String(&Rest, Data + S.size())))
6850b57cec5SDimitry Andric     return true;
6860b57cec5SDimitry Andric 
6870b57cec5SDimitry Andric   if (ErrOffset)
6880b57cec5SDimitry Andric     *ErrOffset = Rest - Data;
6890b57cec5SDimitry Andric   return false;
6900b57cec5SDimitry Andric }
6910b57cec5SDimitry Andric 
fixUTF8(llvm::StringRef S)6920b57cec5SDimitry Andric std::string fixUTF8(llvm::StringRef S) {
6930b57cec5SDimitry Andric   // This isn't particularly efficient, but is only for error-recovery.
6940b57cec5SDimitry Andric   std::vector<UTF32> Codepoints(S.size()); // 1 codepoint per byte suffices.
6950b57cec5SDimitry Andric   const UTF8 *In8 = reinterpret_cast<const UTF8 *>(S.data());
6960b57cec5SDimitry Andric   UTF32 *Out32 = Codepoints.data();
6970b57cec5SDimitry Andric   ConvertUTF8toUTF32(&In8, In8 + S.size(), &Out32, Out32 + Codepoints.size(),
6980b57cec5SDimitry Andric                      lenientConversion);
6990b57cec5SDimitry Andric   Codepoints.resize(Out32 - Codepoints.data());
7000b57cec5SDimitry Andric   std::string Res(4 * Codepoints.size(), 0); // 4 bytes per codepoint suffice
7010b57cec5SDimitry Andric   const UTF32 *In32 = Codepoints.data();
7020b57cec5SDimitry Andric   UTF8 *Out8 = reinterpret_cast<UTF8 *>(&Res[0]);
7030b57cec5SDimitry Andric   ConvertUTF32toUTF8(&In32, In32 + Codepoints.size(), &Out8, Out8 + Res.size(),
7040b57cec5SDimitry Andric                      strictConversion);
7050b57cec5SDimitry Andric   Res.resize(reinterpret_cast<char *>(Out8) - Res.data());
7060b57cec5SDimitry Andric   return Res;
7070b57cec5SDimitry Andric }
7080b57cec5SDimitry Andric 
quote(llvm::raw_ostream & OS,llvm::StringRef S)7090b57cec5SDimitry Andric static void quote(llvm::raw_ostream &OS, llvm::StringRef S) {
7100b57cec5SDimitry Andric   OS << '\"';
7110b57cec5SDimitry Andric   for (unsigned char C : S) {
7120b57cec5SDimitry Andric     if (C == 0x22 || C == 0x5C)
7130b57cec5SDimitry Andric       OS << '\\';
7140b57cec5SDimitry Andric     if (C >= 0x20) {
7150b57cec5SDimitry Andric       OS << C;
7160b57cec5SDimitry Andric       continue;
7170b57cec5SDimitry Andric     }
7180b57cec5SDimitry Andric     OS << '\\';
7190b57cec5SDimitry Andric     switch (C) {
7200b57cec5SDimitry Andric     // A few characters are common enough to make short escapes worthwhile.
7210b57cec5SDimitry Andric     case '\t':
7220b57cec5SDimitry Andric       OS << 't';
7230b57cec5SDimitry Andric       break;
7240b57cec5SDimitry Andric     case '\n':
7250b57cec5SDimitry Andric       OS << 'n';
7260b57cec5SDimitry Andric       break;
7270b57cec5SDimitry Andric     case '\r':
7280b57cec5SDimitry Andric       OS << 'r';
7290b57cec5SDimitry Andric       break;
7300b57cec5SDimitry Andric     default:
7310b57cec5SDimitry Andric       OS << 'u';
7320b57cec5SDimitry Andric       llvm::write_hex(OS, C, llvm::HexPrintStyle::Lower, 4);
7330b57cec5SDimitry Andric       break;
7340b57cec5SDimitry Andric     }
7350b57cec5SDimitry Andric   }
7360b57cec5SDimitry Andric   OS << '\"';
7370b57cec5SDimitry Andric }
7380b57cec5SDimitry Andric 
value(const Value & V)7390b57cec5SDimitry Andric void llvm::json::OStream::value(const Value &V) {
7400b57cec5SDimitry Andric   switch (V.kind()) {
7410b57cec5SDimitry Andric   case Value::Null:
7420b57cec5SDimitry Andric     valueBegin();
7430b57cec5SDimitry Andric     OS << "null";
7440b57cec5SDimitry Andric     return;
7450b57cec5SDimitry Andric   case Value::Boolean:
7460b57cec5SDimitry Andric     valueBegin();
7470b57cec5SDimitry Andric     OS << (*V.getAsBoolean() ? "true" : "false");
7480b57cec5SDimitry Andric     return;
7490b57cec5SDimitry Andric   case Value::Number:
7500b57cec5SDimitry Andric     valueBegin();
7510b57cec5SDimitry Andric     if (V.Type == Value::T_Integer)
7520b57cec5SDimitry Andric       OS << *V.getAsInteger();
7530b57cec5SDimitry Andric     else
7540b57cec5SDimitry Andric       OS << format("%.*g", std::numeric_limits<double>::max_digits10,
7550b57cec5SDimitry Andric                    *V.getAsNumber());
7560b57cec5SDimitry Andric     return;
7570b57cec5SDimitry Andric   case Value::String:
7580b57cec5SDimitry Andric     valueBegin();
7590b57cec5SDimitry Andric     quote(OS, *V.getAsString());
7600b57cec5SDimitry Andric     return;
7610b57cec5SDimitry Andric   case Value::Array:
7620b57cec5SDimitry Andric     return array([&] {
7630b57cec5SDimitry Andric       for (const Value &E : *V.getAsArray())
7640b57cec5SDimitry Andric         value(E);
7650b57cec5SDimitry Andric     });
7660b57cec5SDimitry Andric   case Value::Object:
7670b57cec5SDimitry Andric     return object([&] {
7680b57cec5SDimitry Andric       for (const Object::value_type *E : sortedElements(*V.getAsObject()))
7690b57cec5SDimitry Andric         attribute(E->first, E->second);
7700b57cec5SDimitry Andric     });
7710b57cec5SDimitry Andric   }
7720b57cec5SDimitry Andric }
7730b57cec5SDimitry Andric 
valueBegin()7740b57cec5SDimitry Andric void llvm::json::OStream::valueBegin() {
7750b57cec5SDimitry Andric   assert(Stack.back().Ctx != Object && "Only attributes allowed here");
7760b57cec5SDimitry Andric   if (Stack.back().HasValue) {
7770b57cec5SDimitry Andric     assert(Stack.back().Ctx != Singleton && "Only one value allowed here");
7780b57cec5SDimitry Andric     OS << ',';
7790b57cec5SDimitry Andric   }
7800b57cec5SDimitry Andric   if (Stack.back().Ctx == Array)
7810b57cec5SDimitry Andric     newline();
782*af732203SDimitry Andric   flushComment();
7830b57cec5SDimitry Andric   Stack.back().HasValue = true;
7840b57cec5SDimitry Andric }
7850b57cec5SDimitry Andric 
comment(llvm::StringRef Comment)786*af732203SDimitry Andric void OStream::comment(llvm::StringRef Comment) {
787*af732203SDimitry Andric   assert(PendingComment.empty() && "Only one comment per value!");
788*af732203SDimitry Andric   PendingComment = Comment;
789*af732203SDimitry Andric }
790*af732203SDimitry Andric 
flushComment()791*af732203SDimitry Andric void OStream::flushComment() {
792*af732203SDimitry Andric   if (PendingComment.empty())
793*af732203SDimitry Andric     return;
794*af732203SDimitry Andric   OS << (IndentSize ? "/* " : "/*");
795*af732203SDimitry Andric   // Be sure not to accidentally emit "*/". Transform to "* /".
796*af732203SDimitry Andric   while (!PendingComment.empty()) {
797*af732203SDimitry Andric     auto Pos = PendingComment.find("*/");
798*af732203SDimitry Andric     if (Pos == StringRef::npos) {
799*af732203SDimitry Andric       OS << PendingComment;
800*af732203SDimitry Andric       PendingComment = "";
801*af732203SDimitry Andric     } else {
802*af732203SDimitry Andric       OS << PendingComment.take_front(Pos) << "* /";
803*af732203SDimitry Andric       PendingComment = PendingComment.drop_front(Pos + 2);
804*af732203SDimitry Andric     }
805*af732203SDimitry Andric   }
806*af732203SDimitry Andric   OS << (IndentSize ? " */" : "*/");
807*af732203SDimitry Andric   // Comments are on their own line unless attached to an attribute value.
808*af732203SDimitry Andric   if (Stack.size() > 1 && Stack.back().Ctx == Singleton) {
809*af732203SDimitry Andric     if (IndentSize)
810*af732203SDimitry Andric       OS << ' ';
811*af732203SDimitry Andric   } else {
812*af732203SDimitry Andric     newline();
813*af732203SDimitry Andric   }
814*af732203SDimitry Andric }
815*af732203SDimitry Andric 
newline()8160b57cec5SDimitry Andric void llvm::json::OStream::newline() {
8170b57cec5SDimitry Andric   if (IndentSize) {
8180b57cec5SDimitry Andric     OS.write('\n');
8190b57cec5SDimitry Andric     OS.indent(Indent);
8200b57cec5SDimitry Andric   }
8210b57cec5SDimitry Andric }
8220b57cec5SDimitry Andric 
arrayBegin()8230b57cec5SDimitry Andric void llvm::json::OStream::arrayBegin() {
8240b57cec5SDimitry Andric   valueBegin();
8250b57cec5SDimitry Andric   Stack.emplace_back();
8260b57cec5SDimitry Andric   Stack.back().Ctx = Array;
8270b57cec5SDimitry Andric   Indent += IndentSize;
8280b57cec5SDimitry Andric   OS << '[';
8290b57cec5SDimitry Andric }
8300b57cec5SDimitry Andric 
arrayEnd()8310b57cec5SDimitry Andric void llvm::json::OStream::arrayEnd() {
8320b57cec5SDimitry Andric   assert(Stack.back().Ctx == Array);
8330b57cec5SDimitry Andric   Indent -= IndentSize;
8340b57cec5SDimitry Andric   if (Stack.back().HasValue)
8350b57cec5SDimitry Andric     newline();
8360b57cec5SDimitry Andric   OS << ']';
837*af732203SDimitry Andric   assert(PendingComment.empty());
8380b57cec5SDimitry Andric   Stack.pop_back();
8390b57cec5SDimitry Andric   assert(!Stack.empty());
8400b57cec5SDimitry Andric }
8410b57cec5SDimitry Andric 
objectBegin()8420b57cec5SDimitry Andric void llvm::json::OStream::objectBegin() {
8430b57cec5SDimitry Andric   valueBegin();
8440b57cec5SDimitry Andric   Stack.emplace_back();
8450b57cec5SDimitry Andric   Stack.back().Ctx = Object;
8460b57cec5SDimitry Andric   Indent += IndentSize;
8470b57cec5SDimitry Andric   OS << '{';
8480b57cec5SDimitry Andric }
8490b57cec5SDimitry Andric 
objectEnd()8500b57cec5SDimitry Andric void llvm::json::OStream::objectEnd() {
8510b57cec5SDimitry Andric   assert(Stack.back().Ctx == Object);
8520b57cec5SDimitry Andric   Indent -= IndentSize;
8530b57cec5SDimitry Andric   if (Stack.back().HasValue)
8540b57cec5SDimitry Andric     newline();
8550b57cec5SDimitry Andric   OS << '}';
856*af732203SDimitry Andric   assert(PendingComment.empty());
8570b57cec5SDimitry Andric   Stack.pop_back();
8580b57cec5SDimitry Andric   assert(!Stack.empty());
8590b57cec5SDimitry Andric }
8600b57cec5SDimitry Andric 
attributeBegin(llvm::StringRef Key)8610b57cec5SDimitry Andric void llvm::json::OStream::attributeBegin(llvm::StringRef Key) {
8620b57cec5SDimitry Andric   assert(Stack.back().Ctx == Object);
8630b57cec5SDimitry Andric   if (Stack.back().HasValue)
8640b57cec5SDimitry Andric     OS << ',';
8650b57cec5SDimitry Andric   newline();
866*af732203SDimitry Andric   flushComment();
8670b57cec5SDimitry Andric   Stack.back().HasValue = true;
8680b57cec5SDimitry Andric   Stack.emplace_back();
8690b57cec5SDimitry Andric   Stack.back().Ctx = Singleton;
8700b57cec5SDimitry Andric   if (LLVM_LIKELY(isUTF8(Key))) {
8710b57cec5SDimitry Andric     quote(OS, Key);
8720b57cec5SDimitry Andric   } else {
8730b57cec5SDimitry Andric     assert(false && "Invalid UTF-8 in attribute key");
8740b57cec5SDimitry Andric     quote(OS, fixUTF8(Key));
8750b57cec5SDimitry Andric   }
8760b57cec5SDimitry Andric   OS.write(':');
8770b57cec5SDimitry Andric   if (IndentSize)
8780b57cec5SDimitry Andric     OS.write(' ');
8790b57cec5SDimitry Andric }
8800b57cec5SDimitry Andric 
attributeEnd()8810b57cec5SDimitry Andric void llvm::json::OStream::attributeEnd() {
8820b57cec5SDimitry Andric   assert(Stack.back().Ctx == Singleton);
8830b57cec5SDimitry Andric   assert(Stack.back().HasValue && "Attribute must have a value");
884*af732203SDimitry Andric   assert(PendingComment.empty());
8850b57cec5SDimitry Andric   Stack.pop_back();
8860b57cec5SDimitry Andric   assert(Stack.back().Ctx == Object);
8870b57cec5SDimitry Andric }
8880b57cec5SDimitry Andric 
rawValueBegin()889*af732203SDimitry Andric raw_ostream &llvm::json::OStream::rawValueBegin() {
890*af732203SDimitry Andric   valueBegin();
891*af732203SDimitry Andric   Stack.emplace_back();
892*af732203SDimitry Andric   Stack.back().Ctx = RawValue;
893*af732203SDimitry Andric   return OS;
894*af732203SDimitry Andric }
895*af732203SDimitry Andric 
rawValueEnd()896*af732203SDimitry Andric void llvm::json::OStream::rawValueEnd() {
897*af732203SDimitry Andric   assert(Stack.back().Ctx == RawValue);
898*af732203SDimitry Andric   Stack.pop_back();
899*af732203SDimitry Andric }
900*af732203SDimitry Andric 
9010b57cec5SDimitry Andric } // namespace json
9020b57cec5SDimitry Andric } // namespace llvm
9030b57cec5SDimitry Andric 
format(const llvm::json::Value & E,raw_ostream & OS,StringRef Options)9040b57cec5SDimitry Andric void llvm::format_provider<llvm::json::Value>::format(
9050b57cec5SDimitry Andric     const llvm::json::Value &E, raw_ostream &OS, StringRef Options) {
9060b57cec5SDimitry Andric   unsigned IndentAmount = 0;
9070b57cec5SDimitry Andric   if (!Options.empty() && Options.getAsInteger(/*Radix=*/10, IndentAmount))
9080b57cec5SDimitry Andric     llvm_unreachable("json::Value format options should be an integer");
9090b57cec5SDimitry Andric   json::OStream(OS, IndentAmount).value(E);
9100b57cec5SDimitry Andric }
9110b57cec5SDimitry Andric 
912