driver_test.cpp 8.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245
  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 "driver/driver.h"
  5. #include "gmock/gmock.h"
  6. #include "gtest/gtest.h"
  7. #include "lexer/tokenized_buffer_test_helpers.h"
  8. #include "llvm/ADT/SmallString.h"
  9. #include "llvm/Support/FileSystem.h"
  10. #include "llvm/Support/SourceMgr.h"
  11. #include "llvm/Support/YAMLParser.h"
  12. namespace Carbon {
  13. namespace {
  14. using Carbon::Testing::IsKeyValueScalars;
  15. using ::testing::Eq;
  16. using ::testing::HasSubstr;
  17. using ::testing::NotNull;
  18. using ::testing::StrEq;
  19. /// A raw_ostream that makes it easy to repeatedly check streamed output.
  20. class RawTestOstream : public llvm::raw_ostream {
  21. std::string buffer;
  22. void write_impl(const char* ptr, size_t size) override {
  23. buffer.append(ptr, ptr + size);
  24. }
  25. [[nodiscard]] auto current_pos() const -> uint64_t override {
  26. return buffer.size();
  27. }
  28. public:
  29. ~RawTestOstream() override {
  30. flush();
  31. if (!buffer.empty()) {
  32. ADD_FAILURE() << "Unchecked output:\n" << buffer;
  33. }
  34. }
  35. /// Flushes the stream and returns the contents so far, clearing the stream
  36. /// back to empty.
  37. auto TakeStr() -> std::string {
  38. flush();
  39. std::string result = std::move(buffer);
  40. buffer.clear();
  41. return result;
  42. }
  43. };
  44. TEST(DriverTest, FullCommandErrors) {
  45. RawTestOstream test_output_stream;
  46. RawTestOstream test_error_stream;
  47. Driver driver = Driver(test_output_stream, test_error_stream);
  48. EXPECT_FALSE(driver.RunFullCommand({}));
  49. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  50. EXPECT_FALSE(driver.RunFullCommand({"foo"}));
  51. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  52. EXPECT_FALSE(driver.RunFullCommand({"foo --bar --baz"}));
  53. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  54. }
  55. TEST(DriverTest, Help) {
  56. RawTestOstream test_output_stream;
  57. RawTestOstream test_error_stream;
  58. Driver driver = Driver(test_output_stream, test_error_stream);
  59. EXPECT_TRUE(driver.RunHelpSubcommand({}));
  60. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  61. auto help_text = test_output_stream.TakeStr();
  62. // Help text should mention each subcommand.
  63. #define CARBON_SUBCOMMAND(Name, Spelling, ...) \
  64. EXPECT_THAT(help_text, HasSubstr(Spelling));
  65. #include "driver/flags.def"
  66. // Check that the subcommand dispatch works.
  67. EXPECT_TRUE(driver.RunFullCommand({"help"}));
  68. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  69. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(help_text));
  70. }
  71. TEST(DriverTest, HelpErrors) {
  72. RawTestOstream test_output_stream;
  73. RawTestOstream test_error_stream;
  74. Driver driver = Driver(test_output_stream, test_error_stream);
  75. EXPECT_FALSE(driver.RunHelpSubcommand({"foo"}));
  76. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  77. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  78. EXPECT_FALSE(driver.RunHelpSubcommand({"help"}));
  79. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  80. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  81. EXPECT_FALSE(driver.RunHelpSubcommand({"--xyz"}));
  82. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  83. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  84. }
  85. auto CreateTestFile(llvm::StringRef text) -> std::string {
  86. int fd = -1;
  87. llvm::SmallString<1024> path;
  88. auto ec = llvm::sys::fs::createTemporaryFile("test_file", ".txt", fd, path);
  89. if (ec) {
  90. llvm::report_fatal_error(llvm::Twine("Failed to create temporary file: ") +
  91. ec.message());
  92. }
  93. llvm::raw_fd_ostream s(fd, /*shouldClose=*/true);
  94. s << text;
  95. s.close();
  96. return path.str().str();
  97. }
  98. TEST(DriverTest, DumpTokens) {
  99. RawTestOstream test_output_stream;
  100. RawTestOstream test_error_stream;
  101. Driver driver = Driver(test_output_stream, test_error_stream);
  102. auto test_file_path = CreateTestFile("Hello World");
  103. EXPECT_TRUE(driver.RunDumpTokensSubcommand({test_file_path}));
  104. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  105. auto tokenized_text = test_output_stream.TakeStr();
  106. // Parse the output into a YAML stream. This will print errors to stderr and
  107. // is the most stable view of the textual dumping API.
  108. llvm::SourceMgr sm;
  109. llvm::yaml::Stream yaml_stream(tokenized_text, sm);
  110. auto yaml_it = yaml_stream.begin();
  111. auto* root_node = llvm::dyn_cast<llvm::yaml::MappingNode>(yaml_it->getRoot());
  112. ASSERT_THAT(root_node, NotNull());
  113. // Walk the top-level mapping of tokens, dig out the sub-mapping of data for
  114. // each taken, and then verify those entries.
  115. auto mapping_it = llvm::cast<llvm::yaml::MappingNode>(root_node)->begin();
  116. auto* token_node = llvm::dyn_cast<llvm::yaml::KeyValueNode>(&*mapping_it);
  117. ASSERT_THAT(token_node, NotNull());
  118. auto* token_key_node =
  119. llvm::dyn_cast<llvm::yaml::ScalarNode>(token_node->getKey());
  120. ASSERT_THAT(token_key_node, NotNull());
  121. EXPECT_THAT(token_key_node->getRawValue(), StrEq("token"));
  122. auto* token_value_node =
  123. llvm::dyn_cast<llvm::yaml::MappingNode>(token_node->getValue());
  124. ASSERT_THAT(token_value_node, NotNull());
  125. auto token_it = token_value_node->begin();
  126. EXPECT_THAT(&*token_it, IsKeyValueScalars("index", "0"));
  127. ++token_it;
  128. EXPECT_THAT(&*token_it, IsKeyValueScalars("kind", "Identifier"));
  129. ++token_it;
  130. EXPECT_THAT(&*token_it, IsKeyValueScalars("line", "1"));
  131. ++token_it;
  132. EXPECT_THAT(&*token_it, IsKeyValueScalars("column", "1"));
  133. ++token_it;
  134. EXPECT_THAT(&*token_it, IsKeyValueScalars("indent", "1"));
  135. ++token_it;
  136. EXPECT_THAT(&*token_it, IsKeyValueScalars("spelling", "Hello"));
  137. ++token_it;
  138. EXPECT_THAT(&*token_it, IsKeyValueScalars("identifier", "0"));
  139. EXPECT_THAT(++token_it, Eq(token_value_node->end()));
  140. ++mapping_it;
  141. token_node = llvm::dyn_cast<llvm::yaml::KeyValueNode>(&*mapping_it);
  142. ASSERT_THAT(token_node, NotNull());
  143. token_key_node = llvm::dyn_cast<llvm::yaml::ScalarNode>(token_node->getKey());
  144. ASSERT_THAT(token_key_node, NotNull());
  145. EXPECT_THAT(token_key_node->getRawValue(), StrEq("token"));
  146. token_value_node =
  147. llvm::dyn_cast<llvm::yaml::MappingNode>(token_node->getValue());
  148. ASSERT_THAT(token_value_node, NotNull());
  149. token_it = token_value_node->begin();
  150. EXPECT_THAT(&*token_it, IsKeyValueScalars("index", "1"));
  151. ++token_it;
  152. EXPECT_THAT(&*token_it, IsKeyValueScalars("kind", "Identifier"));
  153. ++token_it;
  154. EXPECT_THAT(&*token_it, IsKeyValueScalars("line", "1"));
  155. ++token_it;
  156. EXPECT_THAT(&*token_it, IsKeyValueScalars("column", "7"));
  157. ++token_it;
  158. EXPECT_THAT(&*token_it, IsKeyValueScalars("indent", "1"));
  159. ++token_it;
  160. EXPECT_THAT(&*token_it, IsKeyValueScalars("spelling", "World"));
  161. ++token_it;
  162. EXPECT_THAT(&*token_it, IsKeyValueScalars("identifier", "1"));
  163. EXPECT_THAT(++token_it, Eq(token_value_node->end()));
  164. ++mapping_it;
  165. token_node = llvm::dyn_cast<llvm::yaml::KeyValueNode>(&*mapping_it);
  166. ASSERT_THAT(token_node, NotNull());
  167. token_key_node = llvm::dyn_cast<llvm::yaml::ScalarNode>(token_node->getKey());
  168. ASSERT_THAT(token_key_node, NotNull());
  169. EXPECT_THAT(token_key_node->getRawValue(), StrEq("token"));
  170. token_value_node =
  171. llvm::dyn_cast<llvm::yaml::MappingNode>(token_node->getValue());
  172. ASSERT_THAT(token_value_node, NotNull());
  173. token_it = token_value_node->begin();
  174. EXPECT_THAT(&*token_it, IsKeyValueScalars("index", "2"));
  175. ++token_it;
  176. EXPECT_THAT(&*token_it, IsKeyValueScalars("kind", "EndOfFile"));
  177. ++token_it;
  178. EXPECT_THAT(&*token_it, IsKeyValueScalars("line", "1"));
  179. ++token_it;
  180. EXPECT_THAT(&*token_it, IsKeyValueScalars("column", "12"));
  181. ++token_it;
  182. EXPECT_THAT(&*token_it, IsKeyValueScalars("indent", "1"));
  183. ++token_it;
  184. EXPECT_THAT(&*token_it, IsKeyValueScalars("spelling", ""));
  185. EXPECT_THAT(++token_it, Eq(token_value_node->end()));
  186. ASSERT_THAT(++mapping_it, Eq(root_node->end()));
  187. ASSERT_THAT(++yaml_it, Eq(yaml_stream.end()));
  188. // Check that the subcommand dispatch works.
  189. EXPECT_TRUE(driver.RunFullCommand({"dump-tokens", test_file_path}));
  190. EXPECT_THAT(test_error_stream.TakeStr(), StrEq(""));
  191. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(tokenized_text));
  192. }
  193. TEST(DriverTest, DumpTokenErrors) {
  194. RawTestOstream test_output_stream;
  195. RawTestOstream test_error_stream;
  196. Driver driver = Driver(test_output_stream, test_error_stream);
  197. EXPECT_FALSE(driver.RunDumpTokensSubcommand({}));
  198. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  199. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  200. EXPECT_FALSE(driver.RunDumpTokensSubcommand({"--xyz"}));
  201. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  202. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  203. EXPECT_FALSE(driver.RunDumpTokensSubcommand({"/not/a/real/file/name"}));
  204. EXPECT_THAT(test_output_stream.TakeStr(), StrEq(""));
  205. EXPECT_THAT(test_error_stream.TakeStr(), HasSubstr("ERROR"));
  206. }
  207. } // namespace
  208. } // namespace Carbon