1 //===- lib/Support/YAMLTraits.cpp -----------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "llvm/Support/YAMLTraits.h"
10 #include "llvm/ADT/STLExtras.h"
11 #include "llvm/ADT/SmallString.h"
12 #include "llvm/ADT/StringExtras.h"
13 #include "llvm/ADT/StringRef.h"
14 #include "llvm/ADT/Twine.h"
15 #include "llvm/Support/Casting.h"
16 #include "llvm/Support/Errc.h"
17 #include "llvm/Support/ErrorHandling.h"
18 #include "llvm/Support/Format.h"
19 #include "llvm/Support/LineIterator.h"
20 #include "llvm/Support/MemoryBuffer.h"
21 #include "llvm/Support/Unicode.h"
22 #include "llvm/Support/YAMLParser.h"
23 #include "llvm/Support/raw_ostream.h"
24 #include <algorithm>
25 #include <cassert>
26 #include <cstdint>
27 #include <cstdlib>
28 #include <cstring>
29 #include <string>
30 #include <vector>
31 
32 using namespace llvm;
33 using namespace yaml;
34 
35 //===----------------------------------------------------------------------===//
36 //  IO
37 //===----------------------------------------------------------------------===//
38 
39 IO::IO(void *Context) : Ctxt(Context) {}
40 
41 IO::~IO() = default;
42 
43 void *IO::getContext() const {
44   return Ctxt;
45 }
46 
47 void IO::setContext(void *Context) {
48   Ctxt = Context;
49 }
50 
51 void IO::setAllowUnknownKeys(bool Allow) {
52   llvm_unreachable("Only supported for Input");
53 }
54 
55 //===----------------------------------------------------------------------===//
56 //  Input
57 //===----------------------------------------------------------------------===//
58 
59 Input::Input(StringRef InputContent, void *Ctxt,
60              SourceMgr::DiagHandlerTy DiagHandler, void *DiagHandlerCtxt)
61     : IO(Ctxt), Strm(new Stream(InputContent, SrcMgr, false, &EC)) {
62   if (DiagHandler)
63     SrcMgr.setDiagHandler(DiagHandler, DiagHandlerCtxt);
64   DocIterator = Strm->begin();
65 }
66 
67 Input::Input(MemoryBufferRef Input, void *Ctxt,
68              SourceMgr::DiagHandlerTy DiagHandler, void *DiagHandlerCtxt)
69     : IO(Ctxt), Strm(new Stream(Input, SrcMgr, false, &EC)) {
70   if (DiagHandler)
71     SrcMgr.setDiagHandler(DiagHandler, DiagHandlerCtxt);
72   DocIterator = Strm->begin();
73 }
74 
75 Input::~Input() = default;
76 
77 std::error_code Input::error() { return EC; }
78 
79 // Pin the vtables to this file.
80 void Input::HNode::anchor() {}
81 void Input::EmptyHNode::anchor() {}
82 void Input::ScalarHNode::anchor() {}
83 void Input::MapHNode::anchor() {}
84 void Input::SequenceHNode::anchor() {}
85 
86 bool Input::outputting() const {
87   return false;
88 }
89 
90 bool Input::setCurrentDocument() {
91   if (DocIterator != Strm->end()) {
92     Node *N = DocIterator->getRoot();
93     if (!N) {
94       EC = make_error_code(errc::invalid_argument);
95       return false;
96     }
97 
98     if (isa<NullNode>(N)) {
99       // Empty files are allowed and ignored
100       ++DocIterator;
101       return setCurrentDocument();
102     }
103     TopNode = createHNodes(N);
104     CurrentNode = TopNode.get();
105     return true;
106   }
107   return false;
108 }
109 
110 bool Input::nextDocument() {
111   return ++DocIterator != Strm->end();
112 }
113 
114 const Node *Input::getCurrentNode() const {
115   return CurrentNode ? CurrentNode->_node : nullptr;
116 }
117 
118 bool Input::mapTag(StringRef Tag, bool Default) {
119   // CurrentNode can be null if setCurrentDocument() was unable to
120   // parse the document because it was invalid or empty.
121   if (!CurrentNode)
122     return false;
123 
124   std::string foundTag = CurrentNode->_node->getVerbatimTag();
125   if (foundTag.empty()) {
126     // If no tag found and 'Tag' is the default, say it was found.
127     return Default;
128   }
129   // Return true iff found tag matches supplied tag.
130   return Tag.equals(foundTag);
131 }
132 
133 void Input::beginMapping() {
134   if (EC)
135     return;
136   // CurrentNode can be null if the document is empty.
137   MapHNode *MN = dyn_cast_or_null<MapHNode>(CurrentNode);
138   if (MN) {
139     MN->ValidKeys.clear();
140   }
141 }
142 
143 std::vector<StringRef> Input::keys() {
144   MapHNode *MN = dyn_cast<MapHNode>(CurrentNode);
145   std::vector<StringRef> Ret;
146   if (!MN) {
147     setError(CurrentNode, "not a mapping");
148     return Ret;
149   }
150   for (auto &P : MN->Mapping)
151     Ret.push_back(P.first());
152   return Ret;
153 }
154 
155 bool Input::preflightKey(const char *Key, bool Required, bool, bool &UseDefault,
156                          void *&SaveInfo) {
157   UseDefault = false;
158   if (EC)
159     return false;
160 
161   // CurrentNode is null for empty documents, which is an error in case required
162   // nodes are present.
163   if (!CurrentNode) {
164     if (Required)
165       EC = make_error_code(errc::invalid_argument);
166     return false;
167   }
168 
169   MapHNode *MN = dyn_cast<MapHNode>(CurrentNode);
170   if (!MN) {
171     if (Required || !isa<EmptyHNode>(CurrentNode))
172       setError(CurrentNode, "not a mapping");
173     else
174       UseDefault = true;
175     return false;
176   }
177   MN->ValidKeys.push_back(Key);
178   HNode *Value = MN->Mapping[Key].first.get();
179   if (!Value) {
180     if (Required)
181       setError(CurrentNode, Twine("missing required key '") + Key + "'");
182     else
183       UseDefault = true;
184     return false;
185   }
186   SaveInfo = CurrentNode;
187   CurrentNode = Value;
188   return true;
189 }
190 
191 void Input::postflightKey(void *saveInfo) {
192   CurrentNode = reinterpret_cast<HNode *>(saveInfo);
193 }
194 
195 void Input::endMapping() {
196   if (EC)
197     return;
198   // CurrentNode can be null if the document is empty.
199   MapHNode *MN = dyn_cast_or_null<MapHNode>(CurrentNode);
200   if (!MN)
201     return;
202   for (const auto &NN : MN->Mapping) {
203     if (!is_contained(MN->ValidKeys, NN.first())) {
204       const SMRange &ReportLoc = NN.second.second;
205       if (!AllowUnknownKeys) {
206         setError(ReportLoc, Twine("unknown key '") + NN.first() + "'");
207         break;
208       } else
209         reportWarning(ReportLoc, Twine("unknown key '") + NN.first() + "'");
210     }
211   }
212 }
213 
214 void Input::beginFlowMapping() { beginMapping(); }
215 
216 void Input::endFlowMapping() { endMapping(); }
217 
218 unsigned Input::beginSequence() {
219   if (SequenceHNode *SQ = dyn_cast<SequenceHNode>(CurrentNode))
220     return SQ->Entries.size();
221   if (isa<EmptyHNode>(CurrentNode))
222     return 0;
223   // Treat case where there's a scalar "null" value as an empty sequence.
224   if (ScalarHNode *SN = dyn_cast<ScalarHNode>(CurrentNode)) {
225     if (isNull(SN->value()))
226       return 0;
227   }
228   // Any other type of HNode is an error.
229   setError(CurrentNode, "not a sequence");
230   return 0;
231 }
232 
233 void Input::endSequence() {
234 }
235 
236 bool Input::preflightElement(unsigned Index, void *&SaveInfo) {
237   if (EC)
238     return false;
239   if (SequenceHNode *SQ = dyn_cast<SequenceHNode>(CurrentNode)) {
240     SaveInfo = CurrentNode;
241     CurrentNode = SQ->Entries[Index].get();
242     return true;
243   }
244   return false;
245 }
246 
247 void Input::postflightElement(void *SaveInfo) {
248   CurrentNode = reinterpret_cast<HNode *>(SaveInfo);
249 }
250 
251 unsigned Input::beginFlowSequence() { return beginSequence(); }
252 
253 bool Input::preflightFlowElement(unsigned index, void *&SaveInfo) {
254   if (EC)
255     return false;
256   if (SequenceHNode *SQ = dyn_cast<SequenceHNode>(CurrentNode)) {
257     SaveInfo = CurrentNode;
258     CurrentNode = SQ->Entries[index].get();
259     return true;
260   }
261   return false;
262 }
263 
264 void Input::postflightFlowElement(void *SaveInfo) {
265   CurrentNode = reinterpret_cast<HNode *>(SaveInfo);
266 }
267 
268 void Input::endFlowSequence() {
269 }
270 
271 void Input::beginEnumScalar() {
272   ScalarMatchFound = false;
273 }
274 
275 bool Input::matchEnumScalar(const char *Str, bool) {
276   if (ScalarMatchFound)
277     return false;
278   if (ScalarHNode *SN = dyn_cast<ScalarHNode>(CurrentNode)) {
279     if (SN->value().equals(Str)) {
280       ScalarMatchFound = true;
281       return true;
282     }
283   }
284   return false;
285 }
286 
287 bool Input::matchEnumFallback() {
288   if (ScalarMatchFound)
289     return false;
290   ScalarMatchFound = true;
291   return true;
292 }
293 
294 void Input::endEnumScalar() {
295   if (!ScalarMatchFound) {
296     setError(CurrentNode, "unknown enumerated scalar");
297   }
298 }
299 
300 bool Input::beginBitSetScalar(bool &DoClear) {
301   BitValuesUsed.clear();
302   if (SequenceHNode *SQ = dyn_cast<SequenceHNode>(CurrentNode)) {
303     BitValuesUsed.insert(BitValuesUsed.begin(), SQ->Entries.size(), false);
304   } else {
305     setError(CurrentNode, "expected sequence of bit values");
306   }
307   DoClear = true;
308   return true;
309 }
310 
311 bool Input::bitSetMatch(const char *Str, bool) {
312   if (EC)
313     return false;
314   if (SequenceHNode *SQ = dyn_cast<SequenceHNode>(CurrentNode)) {
315     unsigned Index = 0;
316     for (auto &N : SQ->Entries) {
317       if (ScalarHNode *SN = dyn_cast<ScalarHNode>(N.get())) {
318         if (SN->value().equals(Str)) {
319           BitValuesUsed[Index] = true;
320           return true;
321         }
322       } else {
323         setError(CurrentNode, "unexpected scalar in sequence of bit values");
324       }
325       ++Index;
326     }
327   } else {
328     setError(CurrentNode, "expected sequence of bit values");
329   }
330   return false;
331 }
332 
333 void Input::endBitSetScalar() {
334   if (EC)
335     return;
336   if (SequenceHNode *SQ = dyn_cast<SequenceHNode>(CurrentNode)) {
337     assert(BitValuesUsed.size() == SQ->Entries.size());
338     for (unsigned i = 0; i < SQ->Entries.size(); ++i) {
339       if (!BitValuesUsed[i]) {
340         setError(SQ->Entries[i].get(), "unknown bit value");
341         return;
342       }
343     }
344   }
345 }
346 
347 void Input::scalarString(StringRef &S, QuotingType) {
348   if (ScalarHNode *SN = dyn_cast<ScalarHNode>(CurrentNode)) {
349     S = SN->value();
350   } else {
351     setError(CurrentNode, "unexpected scalar");
352   }
353 }
354 
355 void Input::blockScalarString(StringRef &S) { scalarString(S, QuotingType::None); }
356 
357 void Input::scalarTag(std::string &Tag) {
358   Tag = CurrentNode->_node->getVerbatimTag();
359 }
360 
361 void Input::setError(HNode *hnode, const Twine &message) {
362   assert(hnode && "HNode must not be NULL");
363   setError(hnode->_node, message);
364 }
365 
366 NodeKind Input::getNodeKind() {
367   if (isa<ScalarHNode>(CurrentNode))
368     return NodeKind::Scalar;
369   else if (isa<MapHNode>(CurrentNode))
370     return NodeKind::Map;
371   else if (isa<SequenceHNode>(CurrentNode))
372     return NodeKind::Sequence;
373   llvm_unreachable("Unsupported node kind");
374 }
375 
376 void Input::setError(Node *node, const Twine &message) {
377   Strm->printError(node, message);
378   EC = make_error_code(errc::invalid_argument);
379 }
380 
381 void Input::setError(const SMRange &range, const Twine &message) {
382   Strm->printError(range, message);
383   EC = make_error_code(errc::invalid_argument);
384 }
385 
386 void Input::reportWarning(HNode *hnode, const Twine &message) {
387   assert(hnode && "HNode must not be NULL");
388   Strm->printError(hnode->_node, message, SourceMgr::DK_Warning);
389 }
390 
391 void Input::reportWarning(Node *node, const Twine &message) {
392   Strm->printError(node, message, SourceMgr::DK_Warning);
393 }
394 
395 void Input::reportWarning(const SMRange &range, const Twine &message) {
396   Strm->printError(range, message, SourceMgr::DK_Warning);
397 }
398 
399 std::unique_ptr<Input::HNode> Input::createHNodes(Node *N) {
400   SmallString<128> StringStorage;
401   if (ScalarNode *SN = dyn_cast<ScalarNode>(N)) {
402     StringRef KeyStr = SN->getValue(StringStorage);
403     if (!StringStorage.empty()) {
404       // Copy string to permanent storage
405       KeyStr = StringStorage.str().copy(StringAllocator);
406     }
407     return std::make_unique<ScalarHNode>(N, KeyStr);
408   } else if (BlockScalarNode *BSN = dyn_cast<BlockScalarNode>(N)) {
409     StringRef ValueCopy = BSN->getValue().copy(StringAllocator);
410     return std::make_unique<ScalarHNode>(N, ValueCopy);
411   } else if (SequenceNode *SQ = dyn_cast<SequenceNode>(N)) {
412     auto SQHNode = std::make_unique<SequenceHNode>(N);
413     for (Node &SN : *SQ) {
414       auto Entry = createHNodes(&SN);
415       if (EC)
416         break;
417       SQHNode->Entries.push_back(std::move(Entry));
418     }
419     return std::move(SQHNode);
420   } else if (MappingNode *Map = dyn_cast<MappingNode>(N)) {
421     auto mapHNode = std::make_unique<MapHNode>(N);
422     for (KeyValueNode &KVN : *Map) {
423       Node *KeyNode = KVN.getKey();
424       ScalarNode *Key = dyn_cast_or_null<ScalarNode>(KeyNode);
425       Node *Value = KVN.getValue();
426       if (!Key || !Value) {
427         if (!Key)
428           setError(KeyNode, "Map key must be a scalar");
429         if (!Value)
430           setError(KeyNode, "Map value must not be empty");
431         break;
432       }
433       StringStorage.clear();
434       StringRef KeyStr = Key->getValue(StringStorage);
435       if (!StringStorage.empty()) {
436         // Copy string to permanent storage
437         KeyStr = StringStorage.str().copy(StringAllocator);
438       }
439       auto ValueHNode = createHNodes(Value);
440       if (EC)
441         break;
442       mapHNode->Mapping[KeyStr] =
443           std::make_pair(std::move(ValueHNode), KeyNode->getSourceRange());
444     }
445     return std::move(mapHNode);
446   } else if (isa<NullNode>(N)) {
447     return std::make_unique<EmptyHNode>(N);
448   } else {
449     setError(N, "unknown node kind");
450     return nullptr;
451   }
452 }
453 
454 void Input::setError(const Twine &Message) {
455   setError(CurrentNode, Message);
456 }
457 
458 void Input::setAllowUnknownKeys(bool Allow) { AllowUnknownKeys = Allow; }
459 
460 bool Input::canElideEmptySequence() {
461   return false;
462 }
463 
464 //===----------------------------------------------------------------------===//
465 //  Output
466 //===----------------------------------------------------------------------===//
467 
468 Output::Output(raw_ostream &yout, void *context, int WrapColumn)
469     : IO(context), Out(yout), WrapColumn(WrapColumn) {}
470 
471 Output::~Output() = default;
472 
473 bool Output::outputting() const {
474   return true;
475 }
476 
477 void Output::beginMapping() {
478   StateStack.push_back(inMapFirstKey);
479   PaddingBeforeContainer = Padding;
480   Padding = "\n";
481 }
482 
483 bool Output::mapTag(StringRef Tag, bool Use) {
484   if (Use) {
485     // If this tag is being written inside a sequence we should write the start
486     // of the sequence before writing the tag, otherwise the tag won't be
487     // attached to the element in the sequence, but rather the sequence itself.
488     bool SequenceElement = false;
489     if (StateStack.size() > 1) {
490       auto &E = StateStack[StateStack.size() - 2];
491       SequenceElement = inSeqAnyElement(E) || inFlowSeqAnyElement(E);
492     }
493     if (SequenceElement && StateStack.back() == inMapFirstKey) {
494       newLineCheck();
495     } else {
496       output(" ");
497     }
498     output(Tag);
499     if (SequenceElement) {
500       // If we're writing the tag during the first element of a map, the tag
501       // takes the place of the first element in the sequence.
502       if (StateStack.back() == inMapFirstKey) {
503         StateStack.pop_back();
504         StateStack.push_back(inMapOtherKey);
505       }
506       // Tags inside maps in sequences should act as keys in the map from a
507       // formatting perspective, so we always want a newline in a sequence.
508       Padding = "\n";
509     }
510   }
511   return Use;
512 }
513 
514 void Output::endMapping() {
515   // If we did not map anything, we should explicitly emit an empty map
516   if (StateStack.back() == inMapFirstKey) {
517     Padding = PaddingBeforeContainer;
518     newLineCheck();
519     output("{}");
520     Padding = "\n";
521   }
522   StateStack.pop_back();
523 }
524 
525 std::vector<StringRef> Output::keys() {
526   report_fatal_error("invalid call");
527 }
528 
529 bool Output::preflightKey(const char *Key, bool Required, bool SameAsDefault,
530                           bool &UseDefault, void *&SaveInfo) {
531   UseDefault = false;
532   SaveInfo = nullptr;
533   if (Required || !SameAsDefault || WriteDefaultValues) {
534     auto State = StateStack.back();
535     if (State == inFlowMapFirstKey || State == inFlowMapOtherKey) {
536       flowKey(Key);
537     } else {
538       newLineCheck();
539       paddedKey(Key);
540     }
541     return true;
542   }
543   return false;
544 }
545 
546 void Output::postflightKey(void *) {
547   if (StateStack.back() == inMapFirstKey) {
548     StateStack.pop_back();
549     StateStack.push_back(inMapOtherKey);
550   } else if (StateStack.back() == inFlowMapFirstKey) {
551     StateStack.pop_back();
552     StateStack.push_back(inFlowMapOtherKey);
553   }
554 }
555 
556 void Output::beginFlowMapping() {
557   StateStack.push_back(inFlowMapFirstKey);
558   newLineCheck();
559   ColumnAtMapFlowStart = Column;
560   output("{ ");
561 }
562 
563 void Output::endFlowMapping() {
564   StateStack.pop_back();
565   outputUpToEndOfLine(" }");
566 }
567 
568 void Output::beginDocuments() {
569   outputUpToEndOfLine("---");
570 }
571 
572 bool Output::preflightDocument(unsigned index) {
573   if (index > 0)
574     outputUpToEndOfLine("\n---");
575   return true;
576 }
577 
578 void Output::postflightDocument() {
579 }
580 
581 void Output::endDocuments() {
582   output("\n...\n");
583 }
584 
585 unsigned Output::beginSequence() {
586   StateStack.push_back(inSeqFirstElement);
587   PaddingBeforeContainer = Padding;
588   Padding = "\n";
589   return 0;
590 }
591 
592 void Output::endSequence() {
593   // If we did not emit anything, we should explicitly emit an empty sequence
594   if (StateStack.back() == inSeqFirstElement) {
595     Padding = PaddingBeforeContainer;
596     newLineCheck(/*EmptySequence=*/true);
597     output("[]");
598     Padding = "\n";
599   }
600   StateStack.pop_back();
601 }
602 
603 bool Output::preflightElement(unsigned, void *&SaveInfo) {
604   SaveInfo = nullptr;
605   return true;
606 }
607 
608 void Output::postflightElement(void *) {
609   if (StateStack.back() == inSeqFirstElement) {
610     StateStack.pop_back();
611     StateStack.push_back(inSeqOtherElement);
612   } else if (StateStack.back() == inFlowSeqFirstElement) {
613     StateStack.pop_back();
614     StateStack.push_back(inFlowSeqOtherElement);
615   }
616 }
617 
618 unsigned Output::beginFlowSequence() {
619   StateStack.push_back(inFlowSeqFirstElement);
620   newLineCheck();
621   ColumnAtFlowStart = Column;
622   output("[ ");
623   NeedFlowSequenceComma = false;
624   return 0;
625 }
626 
627 void Output::endFlowSequence() {
628   StateStack.pop_back();
629   outputUpToEndOfLine(" ]");
630 }
631 
632 bool Output::preflightFlowElement(unsigned, void *&) {
633   if (NeedFlowSequenceComma)
634     output(", ");
635   if (WrapColumn && Column > WrapColumn) {
636     output("\n");
637     for (int i = 0; i < ColumnAtFlowStart; ++i)
638       output(" ");
639     Column = ColumnAtFlowStart;
640     output("  ");
641   }
642   return true;
643 }
644 
645 void Output::postflightFlowElement(void *) {
646   NeedFlowSequenceComma = true;
647 }
648 
649 void Output::beginEnumScalar() {
650   EnumerationMatchFound = false;
651 }
652 
653 bool Output::matchEnumScalar(const char *Str, bool Match) {
654   if (Match && !EnumerationMatchFound) {
655     newLineCheck();
656     outputUpToEndOfLine(Str);
657     EnumerationMatchFound = true;
658   }
659   return false;
660 }
661 
662 bool Output::matchEnumFallback() {
663   if (EnumerationMatchFound)
664     return false;
665   EnumerationMatchFound = true;
666   return true;
667 }
668 
669 void Output::endEnumScalar() {
670   if (!EnumerationMatchFound)
671     llvm_unreachable("bad runtime enum value");
672 }
673 
674 bool Output::beginBitSetScalar(bool &DoClear) {
675   newLineCheck();
676   output("[ ");
677   NeedBitValueComma = false;
678   DoClear = false;
679   return true;
680 }
681 
682 bool Output::bitSetMatch(const char *Str, bool Matches) {
683   if (Matches) {
684     if (NeedBitValueComma)
685       output(", ");
686     output(Str);
687     NeedBitValueComma = true;
688   }
689   return false;
690 }
691 
692 void Output::endBitSetScalar() {
693   outputUpToEndOfLine(" ]");
694 }
695 
696 void Output::scalarString(StringRef &S, QuotingType MustQuote) {
697   newLineCheck();
698   if (S.empty()) {
699     // Print '' for the empty string because leaving the field empty is not
700     // allowed.
701     outputUpToEndOfLine("''");
702     return;
703   }
704   if (MustQuote == QuotingType::None) {
705     // Only quote if we must.
706     outputUpToEndOfLine(S);
707     return;
708   }
709 
710   const char *const Quote = MustQuote == QuotingType::Single ? "'" : "\"";
711   output(Quote); // Starting quote.
712 
713   // When using double-quoted strings (and only in that case), non-printable characters may be
714   // present, and will be escaped using a variety of unicode-scalar and special short-form
715   // escapes. This is handled in yaml::escape.
716   if (MustQuote == QuotingType::Double) {
717     output(yaml::escape(S, /* EscapePrintable= */ false));
718     outputUpToEndOfLine(Quote);
719     return;
720   }
721 
722   unsigned i = 0;
723   unsigned j = 0;
724   unsigned End = S.size();
725   const char *Base = S.data();
726 
727   // When using single-quoted strings, any single quote ' must be doubled to be escaped.
728   while (j < End) {
729     if (S[j] == '\'') {                    // Escape quotes.
730       output(StringRef(&Base[i], j - i));  // "flush".
731       output(StringLiteral("''"));         // Print it as ''
732       i = j + 1;
733     }
734     ++j;
735   }
736   output(StringRef(&Base[i], j - i));
737   outputUpToEndOfLine(Quote); // Ending quote.
738 }
739 
740 void Output::blockScalarString(StringRef &S) {
741   if (!StateStack.empty())
742     newLineCheck();
743   output(" |");
744   outputNewLine();
745 
746   unsigned Indent = StateStack.empty() ? 1 : StateStack.size();
747 
748   auto Buffer = MemoryBuffer::getMemBuffer(S, "", false);
749   for (line_iterator Lines(*Buffer, false); !Lines.is_at_end(); ++Lines) {
750     for (unsigned I = 0; I < Indent; ++I) {
751       output("  ");
752     }
753     output(*Lines);
754     outputNewLine();
755   }
756 }
757 
758 void Output::scalarTag(std::string &Tag) {
759   if (Tag.empty())
760     return;
761   newLineCheck();
762   output(Tag);
763   output(" ");
764 }
765 
766 void Output::setError(const Twine &message) {
767 }
768 
769 bool Output::canElideEmptySequence() {
770   // Normally, with an optional key/value where the value is an empty sequence,
771   // the whole key/value can be not written.  But, that produces wrong yaml
772   // if the key/value is the only thing in the map and the map is used in
773   // a sequence.  This detects if the this sequence is the first key/value
774   // in map that itself is embedded in a sequence.
775   if (StateStack.size() < 2)
776     return true;
777   if (StateStack.back() != inMapFirstKey)
778     return true;
779   return !inSeqAnyElement(StateStack[StateStack.size() - 2]);
780 }
781 
782 void Output::output(StringRef s) {
783   Column += s.size();
784   Out << s;
785 }
786 
787 void Output::outputUpToEndOfLine(StringRef s) {
788   output(s);
789   if (StateStack.empty() || (!inFlowSeqAnyElement(StateStack.back()) &&
790                              !inFlowMapAnyKey(StateStack.back())))
791     Padding = "\n";
792 }
793 
794 void Output::outputNewLine() {
795   Out << "\n";
796   Column = 0;
797 }
798 
799 // if seq at top, indent as if map, then add "- "
800 // if seq in middle, use "- " if firstKey, else use "  "
801 //
802 
803 void Output::newLineCheck(bool EmptySequence) {
804   if (Padding != "\n") {
805     output(Padding);
806     Padding = {};
807     return;
808   }
809   outputNewLine();
810   Padding = {};
811 
812   if (StateStack.size() == 0 || EmptySequence)
813     return;
814 
815   unsigned Indent = StateStack.size() - 1;
816   bool OutputDash = false;
817 
818   if (StateStack.back() == inSeqFirstElement ||
819       StateStack.back() == inSeqOtherElement) {
820     OutputDash = true;
821   } else if ((StateStack.size() > 1) &&
822              ((StateStack.back() == inMapFirstKey) ||
823               inFlowSeqAnyElement(StateStack.back()) ||
824               (StateStack.back() == inFlowMapFirstKey)) &&
825              inSeqAnyElement(StateStack[StateStack.size() - 2])) {
826     --Indent;
827     OutputDash = true;
828   }
829 
830   for (unsigned i = 0; i < Indent; ++i) {
831     output("  ");
832   }
833   if (OutputDash) {
834     output("- ");
835   }
836 }
837 
838 void Output::paddedKey(StringRef key) {
839   output(key);
840   output(":");
841   const char *spaces = "                ";
842   if (key.size() < strlen(spaces))
843     Padding = &spaces[key.size()];
844   else
845     Padding = " ";
846 }
847 
848 void Output::flowKey(StringRef Key) {
849   if (StateStack.back() == inFlowMapOtherKey)
850     output(", ");
851   if (WrapColumn && Column > WrapColumn) {
852     output("\n");
853     for (int I = 0; I < ColumnAtMapFlowStart; ++I)
854       output(" ");
855     Column = ColumnAtMapFlowStart;
856     output("  ");
857   }
858   output(Key);
859   output(": ");
860 }
861 
862 NodeKind Output::getNodeKind() { report_fatal_error("invalid call"); }
863 
864 bool Output::inSeqAnyElement(InState State) {
865   return State == inSeqFirstElement || State == inSeqOtherElement;
866 }
867 
868 bool Output::inFlowSeqAnyElement(InState State) {
869   return State == inFlowSeqFirstElement || State == inFlowSeqOtherElement;
870 }
871 
872 bool Output::inMapAnyKey(InState State) {
873   return State == inMapFirstKey || State == inMapOtherKey;
874 }
875 
876 bool Output::inFlowMapAnyKey(InState State) {
877   return State == inFlowMapFirstKey || State == inFlowMapOtherKey;
878 }
879 
880 //===----------------------------------------------------------------------===//
881 //  traits for built-in types
882 //===----------------------------------------------------------------------===//
883 
884 void ScalarTraits<bool>::output(const bool &Val, void *, raw_ostream &Out) {
885   Out << (Val ? "true" : "false");
886 }
887 
888 StringRef ScalarTraits<bool>::input(StringRef Scalar, void *, bool &Val) {
889   if (llvm::Optional<bool> Parsed = parseBool(Scalar)) {
890     Val = *Parsed;
891     return StringRef();
892   }
893   return "invalid boolean";
894 }
895 
896 void ScalarTraits<StringRef>::output(const StringRef &Val, void *,
897                                      raw_ostream &Out) {
898   Out << Val;
899 }
900 
901 StringRef ScalarTraits<StringRef>::input(StringRef Scalar, void *,
902                                          StringRef &Val) {
903   Val = Scalar;
904   return StringRef();
905 }
906 
907 void ScalarTraits<std::string>::output(const std::string &Val, void *,
908                                        raw_ostream &Out) {
909   Out << Val;
910 }
911 
912 StringRef ScalarTraits<std::string>::input(StringRef Scalar, void *,
913                                            std::string &Val) {
914   Val = Scalar.str();
915   return StringRef();
916 }
917 
918 void ScalarTraits<uint8_t>::output(const uint8_t &Val, void *,
919                                    raw_ostream &Out) {
920   // use temp uin32_t because ostream thinks uint8_t is a character
921   uint32_t Num = Val;
922   Out << Num;
923 }
924 
925 StringRef ScalarTraits<uint8_t>::input(StringRef Scalar, void *, uint8_t &Val) {
926   unsigned long long n;
927   if (getAsUnsignedInteger(Scalar, 0, n))
928     return "invalid number";
929   if (n > 0xFF)
930     return "out of range number";
931   Val = n;
932   return StringRef();
933 }
934 
935 void ScalarTraits<uint16_t>::output(const uint16_t &Val, void *,
936                                     raw_ostream &Out) {
937   Out << Val;
938 }
939 
940 StringRef ScalarTraits<uint16_t>::input(StringRef Scalar, void *,
941                                         uint16_t &Val) {
942   unsigned long long n;
943   if (getAsUnsignedInteger(Scalar, 0, n))
944     return "invalid number";
945   if (n > 0xFFFF)
946     return "out of range number";
947   Val = n;
948   return StringRef();
949 }
950 
951 void ScalarTraits<uint32_t>::output(const uint32_t &Val, void *,
952                                     raw_ostream &Out) {
953   Out << Val;
954 }
955 
956 StringRef ScalarTraits<uint32_t>::input(StringRef Scalar, void *,
957                                         uint32_t &Val) {
958   unsigned long long n;
959   if (getAsUnsignedInteger(Scalar, 0, n))
960     return "invalid number";
961   if (n > 0xFFFFFFFFUL)
962     return "out of range number";
963   Val = n;
964   return StringRef();
965 }
966 
967 void ScalarTraits<uint64_t>::output(const uint64_t &Val, void *,
968                                     raw_ostream &Out) {
969   Out << Val;
970 }
971 
972 StringRef ScalarTraits<uint64_t>::input(StringRef Scalar, void *,
973                                         uint64_t &Val) {
974   unsigned long long N;
975   if (getAsUnsignedInteger(Scalar, 0, N))
976     return "invalid number";
977   Val = N;
978   return StringRef();
979 }
980 
981 void ScalarTraits<int8_t>::output(const int8_t &Val, void *, raw_ostream &Out) {
982   // use temp in32_t because ostream thinks int8_t is a character
983   int32_t Num = Val;
984   Out << Num;
985 }
986 
987 StringRef ScalarTraits<int8_t>::input(StringRef Scalar, void *, int8_t &Val) {
988   long long N;
989   if (getAsSignedInteger(Scalar, 0, N))
990     return "invalid number";
991   if ((N > 127) || (N < -128))
992     return "out of range number";
993   Val = N;
994   return StringRef();
995 }
996 
997 void ScalarTraits<int16_t>::output(const int16_t &Val, void *,
998                                    raw_ostream &Out) {
999   Out << Val;
1000 }
1001 
1002 StringRef ScalarTraits<int16_t>::input(StringRef Scalar, void *, int16_t &Val) {
1003   long long N;
1004   if (getAsSignedInteger(Scalar, 0, N))
1005     return "invalid number";
1006   if ((N > INT16_MAX) || (N < INT16_MIN))
1007     return "out of range number";
1008   Val = N;
1009   return StringRef();
1010 }
1011 
1012 void ScalarTraits<int32_t>::output(const int32_t &Val, void *,
1013                                    raw_ostream &Out) {
1014   Out << Val;
1015 }
1016 
1017 StringRef ScalarTraits<int32_t>::input(StringRef Scalar, void *, int32_t &Val) {
1018   long long N;
1019   if (getAsSignedInteger(Scalar, 0, N))
1020     return "invalid number";
1021   if ((N > INT32_MAX) || (N < INT32_MIN))
1022     return "out of range number";
1023   Val = N;
1024   return StringRef();
1025 }
1026 
1027 void ScalarTraits<int64_t>::output(const int64_t &Val, void *,
1028                                    raw_ostream &Out) {
1029   Out << Val;
1030 }
1031 
1032 StringRef ScalarTraits<int64_t>::input(StringRef Scalar, void *, int64_t &Val) {
1033   long long N;
1034   if (getAsSignedInteger(Scalar, 0, N))
1035     return "invalid number";
1036   Val = N;
1037   return StringRef();
1038 }
1039 
1040 void ScalarTraits<double>::output(const double &Val, void *, raw_ostream &Out) {
1041   Out << format("%g", Val);
1042 }
1043 
1044 StringRef ScalarTraits<double>::input(StringRef Scalar, void *, double &Val) {
1045   if (to_float(Scalar, Val))
1046     return StringRef();
1047   return "invalid floating point number";
1048 }
1049 
1050 void ScalarTraits<float>::output(const float &Val, void *, raw_ostream &Out) {
1051   Out << format("%g", Val);
1052 }
1053 
1054 StringRef ScalarTraits<float>::input(StringRef Scalar, void *, float &Val) {
1055   if (to_float(Scalar, Val))
1056     return StringRef();
1057   return "invalid floating point number";
1058 }
1059 
1060 void ScalarTraits<Hex8>::output(const Hex8 &Val, void *, raw_ostream &Out) {
1061   Out << format("0x%" PRIX8, (uint8_t)Val);
1062 }
1063 
1064 StringRef ScalarTraits<Hex8>::input(StringRef Scalar, void *, Hex8 &Val) {
1065   unsigned long long n;
1066   if (getAsUnsignedInteger(Scalar, 0, n))
1067     return "invalid hex8 number";
1068   if (n > 0xFF)
1069     return "out of range hex8 number";
1070   Val = n;
1071   return StringRef();
1072 }
1073 
1074 void ScalarTraits<Hex16>::output(const Hex16 &Val, void *, raw_ostream &Out) {
1075   Out << format("0x%" PRIX16, (uint16_t)Val);
1076 }
1077 
1078 StringRef ScalarTraits<Hex16>::input(StringRef Scalar, void *, Hex16 &Val) {
1079   unsigned long long n;
1080   if (getAsUnsignedInteger(Scalar, 0, n))
1081     return "invalid hex16 number";
1082   if (n > 0xFFFF)
1083     return "out of range hex16 number";
1084   Val = n;
1085   return StringRef();
1086 }
1087 
1088 void ScalarTraits<Hex32>::output(const Hex32 &Val, void *, raw_ostream &Out) {
1089   Out << format("0x%" PRIX32, (uint32_t)Val);
1090 }
1091 
1092 StringRef ScalarTraits<Hex32>::input(StringRef Scalar, void *, Hex32 &Val) {
1093   unsigned long long n;
1094   if (getAsUnsignedInteger(Scalar, 0, n))
1095     return "invalid hex32 number";
1096   if (n > 0xFFFFFFFFUL)
1097     return "out of range hex32 number";
1098   Val = n;
1099   return StringRef();
1100 }
1101 
1102 void ScalarTraits<Hex64>::output(const Hex64 &Val, void *, raw_ostream &Out) {
1103   Out << format("0x%" PRIX64, (uint64_t)Val);
1104 }
1105 
1106 StringRef ScalarTraits<Hex64>::input(StringRef Scalar, void *, Hex64 &Val) {
1107   unsigned long long Num;
1108   if (getAsUnsignedInteger(Scalar, 0, Num))
1109     return "invalid hex64 number";
1110   Val = Num;
1111   return StringRef();
1112 }
1113 
1114 void ScalarTraits<VersionTuple>::output(const VersionTuple &Val, void *,
1115                                         llvm::raw_ostream &Out) {
1116   Out << Val.getAsString();
1117 }
1118 
1119 StringRef ScalarTraits<VersionTuple>::input(StringRef Scalar, void *,
1120                                             VersionTuple &Val) {
1121   if (Val.tryParse(Scalar))
1122     return "invalid version format";
1123   return StringRef();
1124 }
1125