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