parse_tree.cpp 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. #include "parser/parse_tree.h"
  5. #include <cstdlib>
  6. #include "lexer/token_kind.h"
  7. #include "llvm/ADT/ArrayRef.h"
  8. #include "llvm/ADT/Optional.h"
  9. #include "llvm/ADT/Sequence.h"
  10. #include "llvm/ADT/SmallSet.h"
  11. #include "llvm/ADT/SmallVector.h"
  12. #include "llvm/ADT/iterator.h"
  13. #include "llvm/Support/raw_ostream.h"
  14. #include "parser/parse_node_kind.h"
  15. #include "parser/parser_impl.h"
  16. namespace Carbon {
  17. auto ParseTree::Parse(TokenizedBuffer& tokens, DiagnosticEmitter& emitter)
  18. -> ParseTree {
  19. // Delegate to the parser.
  20. return Parser::Parse(tokens, emitter);
  21. }
  22. auto ParseTree::Postorder() const -> llvm::iterator_range<PostorderIterator> {
  23. return {PostorderIterator(Node(0)),
  24. PostorderIterator(Node(node_impls.size()))};
  25. }
  26. auto ParseTree::Postorder(Node n) const
  27. -> llvm::iterator_range<PostorderIterator> {
  28. // The postorder ends after this node, the root, and begins at the start of
  29. // its subtree.
  30. int end_index = n.index + 1;
  31. int start_index = end_index - node_impls[n.index].subtree_size;
  32. return {PostorderIterator(Node(start_index)),
  33. PostorderIterator(Node(end_index))};
  34. }
  35. auto ParseTree::Children(Node n) const
  36. -> llvm::iterator_range<SiblingIterator> {
  37. int end_index = n.index - node_impls[n.index].subtree_size;
  38. return {SiblingIterator(*this, Node(n.index - 1)),
  39. SiblingIterator(*this, Node(end_index))};
  40. }
  41. auto ParseTree::Roots() const -> llvm::iterator_range<SiblingIterator> {
  42. return {SiblingIterator(*this, Node(static_cast<int>(node_impls.size()) - 1)),
  43. SiblingIterator(*this, Node(-1))};
  44. }
  45. auto ParseTree::HasErrorInNode(Node n) const -> bool {
  46. return node_impls[n.index].has_error;
  47. }
  48. auto ParseTree::GetNodeKind(Node n) const -> ParseNodeKind {
  49. return node_impls[n.index].kind;
  50. }
  51. auto ParseTree::GetNodeToken(Node n) const -> TokenizedBuffer::Token {
  52. return node_impls[n.index].token;
  53. }
  54. auto ParseTree::GetNodeText(Node n) const -> llvm::StringRef {
  55. return tokens->GetTokenText(node_impls[n.index].token);
  56. }
  57. auto ParseTree::Print(llvm::raw_ostream& output) const -> void {
  58. output << "[\n";
  59. // The parse tree is stored in postorder, but the most natural order to
  60. // visualize is preorder. This is a tree, so the preorder can be constructed
  61. // by reversing the order of each level of siblings within an RPO. The sibling
  62. // iterators are directly built around RPO and so can be used with a stack to
  63. // produce preorder.
  64. // The roots, like siblings, are in RPO (so reversed), but we add them in
  65. // order here because we'll pop off the stack effectively reversing then.
  66. llvm::SmallVector<std::pair<Node, int>, 16> node_stack;
  67. for (Node n : Roots())
  68. node_stack.push_back({n, 0});
  69. while (!node_stack.empty()) {
  70. Node n;
  71. int depth;
  72. std::tie(n, depth) = node_stack.pop_back_val();
  73. auto& n_impl = node_impls[n.GetIndex()];
  74. for (int unused_indent : llvm::seq(0, depth)) {
  75. (void)unused_indent;
  76. output << " ";
  77. }
  78. output << "{node_index: " << n.index << ", kind: '" << n_impl.kind.GetName()
  79. << "', text: '" << tokens->GetTokenText(n_impl.token) << "'";
  80. if (n_impl.has_error)
  81. output << ", has_error: yes";
  82. if (n_impl.subtree_size > 1) {
  83. output << ", subtree_size: " << n_impl.subtree_size;
  84. // Has children, so we descend.
  85. output << ", children: [\n";
  86. // We append the children in order here as well because they will get
  87. // reversed when popped off the stack.
  88. for (Node sibling_n : Children(n))
  89. node_stack.push_back({sibling_n, depth + 1});
  90. continue;
  91. }
  92. // This node is finished, so close it up.
  93. assert(n_impl.subtree_size == 1 &&
  94. "Subtree size must always be a positive integer!");
  95. output << "}";
  96. int next_depth = node_stack.empty() ? 0 : node_stack.back().second;
  97. assert(next_depth <= depth && "Cannot have the next depth increase!");
  98. for (int close_children_count : llvm::seq(0, depth - next_depth)) {
  99. (void)close_children_count;
  100. output << "]}";
  101. }
  102. // We always end with a comma and a new line as we'll move to the next node
  103. // at whatever the current level ends up being.
  104. output << ",\n";
  105. }
  106. output << "]\n";
  107. }
  108. auto ParseTree::Verify() const -> bool {
  109. // Verify basic tree structure invariants.
  110. llvm::SmallVector<ParseTree::Node, 16> ancestors;
  111. for (Node n : llvm::reverse(Postorder())) {
  112. auto& n_impl = node_impls[n.GetIndex()];
  113. if (n_impl.has_error && !has_errors) {
  114. llvm::errs()
  115. << "Node #" << n.GetIndex()
  116. << " has errors, but the tree is not marked as having any.\n";
  117. return false;
  118. }
  119. if (n_impl.subtree_size > 1) {
  120. if (!ancestors.empty()) {
  121. auto parent_n = ancestors.back();
  122. auto& parent_n_impl = node_impls[parent_n.GetIndex()];
  123. int end_index = n.GetIndex() - n_impl.subtree_size;
  124. int parent_end_index = parent_n.GetIndex() - parent_n_impl.subtree_size;
  125. if (parent_end_index > end_index) {
  126. llvm::errs() << "Node #" << n.GetIndex() << " has a subtree size of "
  127. << n_impl.subtree_size
  128. << " which extends beyond its parent's (node #"
  129. << parent_n.GetIndex() << ") subtree (size "
  130. << parent_n_impl.subtree_size << ")\n";
  131. return false;
  132. }
  133. }
  134. // Has children, so we descend.
  135. ancestors.push_back(n);
  136. continue;
  137. }
  138. if (n_impl.subtree_size < 1) {
  139. llvm::errs() << "Node #" << n.GetIndex()
  140. << " has an invalid subtree size of " << n_impl.subtree_size
  141. << "!\n";
  142. return false;
  143. }
  144. // We're going to pop off some levels of the tree. Check each ancestor to
  145. // make sure the offsets are correct.
  146. int next_index = n.GetIndex() - 1;
  147. while (!ancestors.empty()) {
  148. ParseTree::Node parent_n = ancestors.back();
  149. if ((parent_n.GetIndex() -
  150. node_impls[parent_n.GetIndex()].subtree_size) != next_index)
  151. break;
  152. ancestors.pop_back();
  153. }
  154. }
  155. if (!ancestors.empty()) {
  156. llvm::errs()
  157. << "Finished walking the parse tree and there are still ancestors:\n";
  158. for (Node ancestor_n : ancestors)
  159. llvm::errs() << " Node #" << ancestor_n.GetIndex() << "\n";
  160. return false;
  161. }
  162. return true;
  163. }
  164. } // namespace Carbon