1 //===--- YAMLParser.h - Simple YAML parser --------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This is a YAML 1.2 parser.
12 // See http://www.yaml.org/spec/1.2/spec.html for the full standard.
14 // This currently does not implement the following:
15 // * Multi-line literal folding.
18 // * BOMs anywhere other than the first Unicode scalar value in the file.
20 // The most important class here is Stream. This represents a YAML stream with
21 // 0, 1, or many documents.
24 // StringRef input = getInput();
25 // yaml::Stream stream(input, sm);
27 // for (yaml::document_iterator di = stream.begin(), de = stream.end();
29 // yaml::Node *n = di->getRoot();
31 // // Do something with n...
36 //===----------------------------------------------------------------------===//
38 #ifndef LLVM_SUPPORT_YAMLPARSER_H
39 #define LLVM_SUPPORT_YAMLPARSER_H
41 #include "llvm/ADT/StringRef.h"
42 #include "llvm/Support/Allocator.h"
43 #include "llvm/Support/SMLoc.h"
49 class MemoryBufferRef;
56 class document_iterator;
62 /// \brief Dump all the tokens in this stream to OS.
63 /// \returns true if there was an error, false otherwise.
64 bool dumpTokens(StringRef Input, raw_ostream &);
66 /// \brief Scans all tokens in input without outputting anything. This is used
67 /// for benchmarking the tokenizer.
68 /// \returns true if there was an error, false otherwise.
69 bool scanTokens(StringRef Input);
71 /// \brief Escape \a Input for a double quoted scalar.
72 std::string escape(StringRef Input);
74 /// \brief This class represents a YAML stream potentially containing multiple
78 /// \brief This keeps a reference to the string referenced by \p Input.
79 Stream(StringRef Input, SourceMgr &, bool ShowColors = true);
81 Stream(MemoryBufferRef InputBuffer, SourceMgr &, bool ShowColors = true);
84 document_iterator begin();
85 document_iterator end();
93 void printError(Node *N, const Twine &Msg);
96 std::unique_ptr<Scanner> scanner;
97 std::unique_ptr<Document> CurrentDoc;
99 friend class Document;
102 /// \brief Abstract base class for all Nodes.
104 virtual void anchor();
117 Node(unsigned int Type, std::unique_ptr<Document> &, StringRef Anchor,
120 /// \brief Get the value of the anchor attached to this node. If it does not
121 /// have one, getAnchor().size() will be 0.
122 StringRef getAnchor() const { return Anchor; }
124 /// \brief Get the tag as it was written in the document. This does not
125 /// perform tag resolution.
126 StringRef getRawTag() const { return Tag; }
128 /// \brief Get the verbatium tag for a given Node. This performs tag resoluton
129 /// and substitution.
130 std::string getVerbatimTag() const;
132 SMRange getSourceRange() const { return SourceRange; }
133 void setSourceRange(SMRange SR) { SourceRange = SR; }
135 // These functions forward to Document and Scanner.
138 Node *parseBlockNode();
139 BumpPtrAllocator &getAllocator();
140 void setError(const Twine &Message, Token &Location) const;
143 virtual void skip() {}
145 unsigned int getType() const { return TypeID; }
147 void *operator new(size_t Size, BumpPtrAllocator &Alloc,
148 size_t Alignment = 16) throw() {
149 return Alloc.Allocate(Size, Alignment);
152 void operator delete(void *Ptr, BumpPtrAllocator &Alloc, size_t Size) throw() {
153 Alloc.Deallocate(Ptr, Size);
157 std::unique_ptr<Document> &Doc;
160 void operator delete(void *) throw() {}
167 /// \brief The tag as typed in the document.
171 /// \brief A null value.
175 class NullNode final : public Node {
176 void anchor() override;
179 NullNode(std::unique_ptr<Document> &D)
180 : Node(NK_Null, D, StringRef(), StringRef()) {}
182 static inline bool classof(const Node *N) { return N->getType() == NK_Null; }
185 /// \brief A scalar node is an opaque datum that can be presented as a
186 /// series of zero or more Unicode scalar values.
190 class ScalarNode final : public Node {
191 void anchor() override;
194 ScalarNode(std::unique_ptr<Document> &D, StringRef Anchor, StringRef Tag,
196 : Node(NK_Scalar, D, Anchor, Tag), Value(Val) {
197 SMLoc Start = SMLoc::getFromPointer(Val.begin());
198 SMLoc End = SMLoc::getFromPointer(Val.end());
199 SourceRange = SMRange(Start, End);
202 // Return Value without any escaping or folding or other fun YAML stuff. This
203 // is the exact bytes that are contained in the file (after conversion to
205 StringRef getRawValue() const { return Value; }
207 /// \brief Gets the value of this node as a StringRef.
209 /// \param Storage is used to store the content of the returned StringRef iff
210 /// it requires any modification from how it appeared in the source.
211 /// This happens with escaped characters and multi-line literals.
212 StringRef getValue(SmallVectorImpl<char> &Storage) const;
214 static inline bool classof(const Node *N) {
215 return N->getType() == NK_Scalar;
221 StringRef unescapeDoubleQuoted(StringRef UnquotedValue,
222 StringRef::size_type Start,
223 SmallVectorImpl<char> &Storage) const;
226 /// \brief A block scalar node is an opaque datum that can be presented as a
227 /// series of zero or more Unicode scalar values.
233 class BlockScalarNode final : public Node {
234 void anchor() override;
237 BlockScalarNode(std::unique_ptr<Document> &D, StringRef Anchor, StringRef Tag,
238 StringRef Value, StringRef RawVal)
239 : Node(NK_BlockScalar, D, Anchor, Tag), Value(Value) {
240 SMLoc Start = SMLoc::getFromPointer(RawVal.begin());
241 SMLoc End = SMLoc::getFromPointer(RawVal.end());
242 SourceRange = SMRange(Start, End);
245 /// \brief Gets the value of this node as a StringRef.
246 StringRef getValue() const { return Value; }
248 static inline bool classof(const Node *N) {
249 return N->getType() == NK_BlockScalar;
256 /// \brief A key and value pair. While not technically a Node under the YAML
257 /// representation graph, it is easier to treat them this way.
259 /// TODO: Consider making this not a child of Node.
263 class KeyValueNode final : public Node {
264 void anchor() override;
267 KeyValueNode(std::unique_ptr<Document> &D)
268 : Node(NK_KeyValue, D, StringRef(), StringRef()), Key(nullptr),
271 /// \brief Parse and return the key.
273 /// This may be called multiple times.
275 /// \returns The key, or nullptr if failed() == true.
278 /// \brief Parse and return the value.
280 /// This may be called multiple times.
282 /// \returns The value, or nullptr if failed() == true.
285 void skip() override {
287 if (Node *Val = getValue())
291 static inline bool classof(const Node *N) {
292 return N->getType() == NK_KeyValue;
300 /// \brief This is an iterator abstraction over YAML collections shared by both
301 /// sequences and maps.
303 /// BaseT must have a ValueT* member named CurrentEntry and a member function
304 /// increment() which must set CurrentEntry to 0 to create an end iterator.
305 template <class BaseT, class ValueT>
306 class basic_collection_iterator
307 : public std::iterator<std::forward_iterator_tag, ValueT> {
309 basic_collection_iterator() : Base(nullptr) {}
310 basic_collection_iterator(BaseT *B) : Base(B) {}
312 ValueT *operator->() const {
313 assert(Base && Base->CurrentEntry && "Attempted to access end iterator!");
314 return Base->CurrentEntry;
317 ValueT &operator*() const {
318 assert(Base && Base->CurrentEntry &&
319 "Attempted to dereference end iterator!");
320 return *Base->CurrentEntry;
323 operator ValueT *() const {
324 assert(Base && Base->CurrentEntry && "Attempted to access end iterator!");
325 return Base->CurrentEntry;
328 bool operator!=(const basic_collection_iterator &Other) const {
329 if (Base != Other.Base)
331 return (Base && Other.Base) &&
332 Base->CurrentEntry != Other.Base->CurrentEntry;
335 basic_collection_iterator &operator++() {
336 assert(Base && "Attempted to advance iterator past end!");
338 // Create an end iterator.
339 if (!Base->CurrentEntry)
348 // The following two templates are used for both MappingNode and Sequence Node.
349 template <class CollectionType>
350 typename CollectionType::iterator begin(CollectionType &C) {
351 assert(C.IsAtBeginning && "You may only iterate over a collection once!");
352 C.IsAtBeginning = false;
353 typename CollectionType::iterator ret(&C);
358 template <class CollectionType> void skip(CollectionType &C) {
359 // TODO: support skipping from the middle of a parsed collection ;/
360 assert((C.IsAtBeginning || C.IsAtEnd) && "Cannot skip mid parse!");
362 for (typename CollectionType::iterator i = begin(C), e = C.end(); i != e;
367 /// \brief Represents a YAML map created from either a block map for a flow map.
369 /// This parses the YAML stream as increment() is called.
374 class MappingNode final : public Node {
375 void anchor() override;
381 MT_Inline ///< An inline mapping node is used for "[key: value]".
384 MappingNode(std::unique_ptr<Document> &D, StringRef Anchor, StringRef Tag,
386 : Node(NK_Mapping, D, Anchor, Tag), Type(MT), IsAtBeginning(true),
387 IsAtEnd(false), CurrentEntry(nullptr) {}
389 friend class basic_collection_iterator<MappingNode, KeyValueNode>;
390 typedef basic_collection_iterator<MappingNode, KeyValueNode> iterator;
391 template <class T> friend typename T::iterator yaml::begin(T &);
392 template <class T> friend void yaml::skip(T &);
394 iterator begin() { return yaml::begin(*this); }
396 iterator end() { return iterator(); }
398 void skip() override { yaml::skip(*this); }
400 static inline bool classof(const Node *N) {
401 return N->getType() == NK_Mapping;
408 KeyValueNode *CurrentEntry;
413 /// \brief Represents a YAML sequence created from either a block sequence for a
416 /// This parses the YAML stream as increment() is called.
421 class SequenceNode final : public Node {
422 void anchor() override;
434 // As a BlockMappingEntry and BlockEnd are not created in this case.
438 SequenceNode(std::unique_ptr<Document> &D, StringRef Anchor, StringRef Tag,
440 : Node(NK_Sequence, D, Anchor, Tag), SeqType(ST), IsAtBeginning(true),
442 WasPreviousTokenFlowEntry(true), // Start with an imaginary ','.
443 CurrentEntry(nullptr) {}
445 friend class basic_collection_iterator<SequenceNode, Node>;
446 typedef basic_collection_iterator<SequenceNode, Node> iterator;
447 template <class T> friend typename T::iterator yaml::begin(T &);
448 template <class T> friend void yaml::skip(T &);
452 iterator begin() { return yaml::begin(*this); }
454 iterator end() { return iterator(); }
456 void skip() override { yaml::skip(*this); }
458 static inline bool classof(const Node *N) {
459 return N->getType() == NK_Sequence;
463 SequenceType SeqType;
466 bool WasPreviousTokenFlowEntry;
470 /// \brief Represents an alias to a Node with an anchor.
474 class AliasNode final : public Node {
475 void anchor() override;
478 AliasNode(std::unique_ptr<Document> &D, StringRef Val)
479 : Node(NK_Alias, D, StringRef(), StringRef()), Name(Val) {}
481 StringRef getName() const { return Name; }
484 static inline bool classof(const Node *N) { return N->getType() == NK_Alias; }
490 /// \brief A YAML Stream is a sequence of Documents. A document contains a root
494 /// \brief Root for parsing a node. Returns a single node.
495 Node *parseBlockNode();
497 Document(Stream &ParentStream);
499 /// \brief Finish parsing the current document and return true if there are
500 /// more. Return false otherwise.
503 /// \brief Parse and return the root level node.
507 return Root = parseBlockNode();
510 const std::map<StringRef, StringRef> &getTagMap() const { return TagMap; }
514 friend class document_iterator;
516 /// \brief Stream to read tokens from.
519 /// \brief Used to allocate nodes to. All are destroyed without calling their
520 /// destructor when the document is destroyed.
521 BumpPtrAllocator NodeAllocator;
523 /// \brief The root node. Used to support skipping a partially parsed
527 /// \brief Maps tag prefixes to their expansion.
528 std::map<StringRef, StringRef> TagMap;
532 void setError(const Twine &Message, Token &Location) const;
535 /// \brief Parse %BLAH directives and return true if any were encountered.
536 bool parseDirectives();
538 /// \brief Parse %YAML
539 void parseYAMLDirective();
541 /// \brief Parse %TAG
542 void parseTAGDirective();
544 /// \brief Consume the next token and error if it is not \a TK.
545 bool expectToken(int TK);
548 /// \brief Iterator abstraction for Documents over a Stream.
549 class document_iterator {
551 document_iterator() : Doc(nullptr) {}
552 document_iterator(std::unique_ptr<Document> &D) : Doc(&D) {}
554 bool operator==(const document_iterator &Other) {
555 if (isAtEnd() || Other.isAtEnd())
556 return isAtEnd() && Other.isAtEnd();
558 return Doc == Other.Doc;
560 bool operator!=(const document_iterator &Other) { return !(*this == Other); }
562 document_iterator operator++() {
563 assert(Doc && "incrementing iterator past the end.");
564 if (!(*Doc)->skip()) {
567 Stream &S = (*Doc)->stream;
568 Doc->reset(new Document(S));
573 Document &operator*() { return *Doc->get(); }
575 std::unique_ptr<Document> &operator->() { return *Doc; }
578 bool isAtEnd() const { return !Doc || !*Doc; }
580 std::unique_ptr<Document> *Doc;
583 } // End namespace yaml.
585 } // End namespace llvm.