semantics_parse_tree_handler.cpp 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653
  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 "toolchain/semantics/semantics_parse_tree_handler.h"
  5. #include "common/vlog.h"
  6. #include "llvm/Support/PrettyStackTrace.h"
  7. #include "toolchain/lexer/token_kind.h"
  8. #include "toolchain/lexer/tokenized_buffer.h"
  9. #include "toolchain/parser/parse_node_kind.h"
  10. #include "toolchain/semantics/semantics_builtin_kind.h"
  11. #include "toolchain/semantics/semantics_node.h"
  12. namespace Carbon {
  13. class SemanticsParseTreeHandler::PrettyStackTraceNodeStack
  14. : public llvm::PrettyStackTraceEntry {
  15. public:
  16. explicit PrettyStackTraceNodeStack(const SemanticsParseTreeHandler* handler)
  17. : handler_(handler) {}
  18. ~PrettyStackTraceNodeStack() override = default;
  19. auto print(llvm::raw_ostream& output) const -> void override {
  20. output << "node_stack_:\n";
  21. for (int i = 0; i < static_cast<int>(handler_->node_stack_.size()); ++i) {
  22. const auto& entry = handler_->node_stack_[i];
  23. output << "\t" << i << ".\t"
  24. << handler_->parse_tree_->node_kind(entry.parse_node);
  25. if (entry.result_id.is_valid()) {
  26. output << " -> " << entry.result_id;
  27. }
  28. output << "\n";
  29. }
  30. }
  31. private:
  32. const SemanticsParseTreeHandler* handler_;
  33. };
  34. class SemanticsParseTreeHandler::PrettyStackTraceNodeBlockStack
  35. : public llvm::PrettyStackTraceEntry {
  36. public:
  37. explicit PrettyStackTraceNodeBlockStack(
  38. const SemanticsParseTreeHandler* handler)
  39. : handler_(handler) {}
  40. ~PrettyStackTraceNodeBlockStack() override = default;
  41. auto print(llvm::raw_ostream& output) const -> void override {
  42. output << "node_block_stack_:\n";
  43. for (int i = 0; i < static_cast<int>(handler_->node_block_stack_.size());
  44. ++i) {
  45. const auto& entry = handler_->node_block_stack_[i];
  46. output << "\t" << i << ".\t" << entry << "\n";
  47. }
  48. }
  49. private:
  50. const SemanticsParseTreeHandler* handler_;
  51. };
  52. auto SemanticsParseTreeHandler::Build() -> void {
  53. PrettyStackTraceNodeStack pretty_node_stack(this);
  54. PrettyStackTraceNodeBlockStack pretty_node_block_stack(this);
  55. // Add a block for the ParseTree.
  56. node_block_stack_.push_back(semantics_->AddNodeBlock());
  57. for (auto parse_node : parse_tree_->postorder()) {
  58. switch (auto parse_kind = parse_tree_->node_kind(parse_node)) {
  59. #define CARBON_PARSE_NODE_KIND(Name) \
  60. case ParseNodeKind::Name(): { \
  61. Handle##Name(parse_node); \
  62. break; \
  63. }
  64. #include "toolchain/parser/parse_node_kind.def"
  65. }
  66. }
  67. }
  68. auto SemanticsParseTreeHandler::AddNode(SemanticsNode node) -> SemanticsNodeId {
  69. CARBON_VLOG() << "AddNode " << node_block_stack_.back() << ": " << node
  70. << "\n";
  71. return semantics_->AddNode(node_block_stack_.back(), node);
  72. }
  73. auto SemanticsParseTreeHandler::Push(ParseTree::Node parse_node) -> void {
  74. CARBON_VLOG() << "Push " << node_stack_.size() << ": "
  75. << parse_tree_->node_kind(parse_node) << "\n";
  76. CARBON_CHECK(node_stack_.size() < (1 << 20))
  77. << "Excessive stack size: likely infinite loop";
  78. node_stack_.push_back({parse_node, SemanticsNodeId::MakeInvalid()});
  79. }
  80. auto SemanticsParseTreeHandler::Push(ParseTree::Node parse_node,
  81. SemanticsNode node) -> void {
  82. CARBON_VLOG() << "Push " << node_stack_.size() << ": "
  83. << parse_tree_->node_kind(parse_node) << " -> " << node.kind()
  84. << "\n";
  85. CARBON_CHECK(node_stack_.size() < (1 << 20))
  86. << "Excessive stack size: likely infinite loop";
  87. auto node_id = AddNode(node);
  88. node_stack_.push_back({parse_node, node_id});
  89. }
  90. auto SemanticsParseTreeHandler::Push(ParseTree::Node parse_node,
  91. SemanticsNodeId node_id) -> void {
  92. CARBON_VLOG() << "Push " << node_stack_.size() << ": "
  93. << parse_tree_->node_kind(parse_node) << " -> " << node_id
  94. << "\n";
  95. CARBON_CHECK(node_stack_.size() < (1 << 20))
  96. << "Excessive stack size: likely infinite loop";
  97. node_stack_.push_back({parse_node, node_id});
  98. }
  99. auto SemanticsParseTreeHandler::Pop(ParseNodeKind pop_parse_kind) -> void {
  100. auto back = node_stack_.pop_back_val();
  101. auto parse_kind = parse_tree_->node_kind(back.parse_node);
  102. CARBON_VLOG() << "Pop " << node_stack_.size() << ": " << pop_parse_kind
  103. << "\n";
  104. CARBON_CHECK(parse_kind == pop_parse_kind)
  105. << "Expected " << pop_parse_kind << ", found " << parse_kind;
  106. CARBON_CHECK(!back.result_id.is_valid())
  107. << "Expected no result ID on " << parse_kind << ", was "
  108. << back.result_id;
  109. }
  110. auto SemanticsParseTreeHandler::PopWithResult() -> SemanticsNodeId {
  111. auto back = node_stack_.pop_back_val();
  112. auto node_id = back.result_id;
  113. CARBON_VLOG() << "Pop " << node_stack_.size() << ": any ("
  114. << parse_tree_->node_kind(back.parse_node) << ") -> " << node_id
  115. << "\n";
  116. CARBON_CHECK(node_id.is_valid())
  117. << "Invalid PopWithResult on " << parse_tree_->node_kind(back.parse_node);
  118. return node_id;
  119. }
  120. auto SemanticsParseTreeHandler::PopWithResult(ParseNodeKind pop_parse_kind)
  121. -> SemanticsNodeId {
  122. auto back = node_stack_.pop_back_val();
  123. auto parse_kind = parse_tree_->node_kind(back.parse_node);
  124. auto node_id = back.result_id;
  125. CARBON_VLOG() << "Pop " << node_stack_.size() << ": " << pop_parse_kind
  126. << ") -> " << node_id << "\n";
  127. CARBON_CHECK(parse_kind == pop_parse_kind)
  128. << "Expected " << pop_parse_kind << ", found " << parse_kind;
  129. CARBON_CHECK(node_id.is_valid())
  130. << "Invalid PopWithResult with " << parse_kind;
  131. return node_id;
  132. }
  133. auto SemanticsParseTreeHandler::PopWithResultIf(ParseNodeKind pop_parse_kind)
  134. -> std::optional<SemanticsNodeId> {
  135. auto parse_kind = parse_tree_->node_kind(node_stack_.back().parse_node);
  136. if (parse_kind != pop_parse_kind) {
  137. return std::nullopt;
  138. }
  139. auto back = node_stack_.pop_back_val();
  140. auto node_id = back.result_id;
  141. CARBON_VLOG() << "Pop " << node_stack_.size() << ": " << pop_parse_kind
  142. << ") -> " << node_id << "\n";
  143. CARBON_CHECK(node_id.is_valid())
  144. << "Invalid PopWithResult with " << parse_kind;
  145. return node_id;
  146. }
  147. auto SemanticsParseTreeHandler::TryTypeConversion(ParseTree::Node parse_node,
  148. SemanticsNodeId lhs_id,
  149. SemanticsNodeId rhs_id,
  150. bool /*can_convert_lhs*/)
  151. -> SemanticsNodeId {
  152. auto block = node_block_stack_.back();
  153. auto lhs_type = semantics_->GetType(block, lhs_id);
  154. auto rhs_type = semantics_->GetType(block, rhs_id);
  155. // TODO: This should attempt a type conversion, but there's not enough
  156. // implemented to do that right now.
  157. if (lhs_type != rhs_type) {
  158. auto invalid_type = SemanticsNodeId::MakeBuiltinReference(
  159. SemanticsBuiltinKind::InvalidType());
  160. if (lhs_type != invalid_type && rhs_type != invalid_type) {
  161. // TODO: This is a poor diagnostic, and should be expanded.
  162. CARBON_DIAGNOSTIC(TypeMismatch, Error, "Type mismatch");
  163. emitter_->Emit(parse_tree_->node_token(parse_node), TypeMismatch);
  164. }
  165. return invalid_type;
  166. }
  167. return lhs_type;
  168. }
  169. auto SemanticsParseTreeHandler::AddIdentifier(ParseTree::Node decl_node)
  170. -> SemanticsIdentifierId {
  171. CARBON_CHECK(parse_tree_->node_kind(decl_node) ==
  172. ParseNodeKind::DeclaredName())
  173. << parse_tree_->node_kind(decl_node);
  174. auto text = parse_tree_->GetNodeText(decl_node);
  175. return semantics_->AddIdentifier(text);
  176. }
  177. auto SemanticsParseTreeHandler::HandleBreakStatement(
  178. ParseTree::Node /*parse_node*/) -> void {
  179. CARBON_FATAL() << "TODO";
  180. }
  181. auto SemanticsParseTreeHandler::HandleBreakStatementStart(
  182. ParseTree::Node /*parse_node*/) -> void {
  183. CARBON_FATAL() << "TODO";
  184. }
  185. auto SemanticsParseTreeHandler::HandleCallExpression(
  186. ParseTree::Node /*parse_node*/) -> void {
  187. CARBON_FATAL() << "TODO";
  188. }
  189. auto SemanticsParseTreeHandler::HandleCallExpressionComma(
  190. ParseTree::Node /*parse_node*/) -> void {
  191. CARBON_FATAL() << "TODO";
  192. }
  193. auto SemanticsParseTreeHandler::HandleCallExpressionStart(
  194. ParseTree::Node /*parse_node*/) -> void {
  195. CARBON_FATAL() << "TODO";
  196. }
  197. auto SemanticsParseTreeHandler::HandleCodeBlock(ParseTree::Node /*parse_node*/)
  198. -> void {
  199. CARBON_FATAL() << "TODO";
  200. }
  201. auto SemanticsParseTreeHandler::HandleCodeBlockStart(
  202. ParseTree::Node /*parse_node*/) -> void {
  203. CARBON_FATAL() << "TODO";
  204. }
  205. auto SemanticsParseTreeHandler::HandleContinueStatement(
  206. ParseTree::Node /*parse_node*/) -> void {
  207. CARBON_FATAL() << "TODO";
  208. }
  209. auto SemanticsParseTreeHandler::HandleContinueStatementStart(
  210. ParseTree::Node /*parse_node*/) -> void {
  211. CARBON_FATAL() << "TODO";
  212. }
  213. auto SemanticsParseTreeHandler::HandleDeclaredName(ParseTree::Node parse_node)
  214. -> void {
  215. // The parent is responsible for binding the name.
  216. Push(parse_node);
  217. }
  218. auto SemanticsParseTreeHandler::HandleDesignatedName(
  219. ParseTree::Node /*parse_node*/) -> void {
  220. CARBON_FATAL() << "TODO";
  221. }
  222. auto SemanticsParseTreeHandler::HandleDesignatorExpression(
  223. ParseTree::Node /*parse_node*/) -> void {
  224. CARBON_FATAL() << "TODO";
  225. }
  226. auto SemanticsParseTreeHandler::HandleEmptyDeclaration(
  227. ParseTree::Node parse_node) -> void {
  228. // Empty declarations have no actions associated, but we still balance the
  229. // tree.
  230. Push(parse_node);
  231. }
  232. auto SemanticsParseTreeHandler::HandleExpressionStatement(
  233. ParseTree::Node /*parse_node*/) -> void {
  234. CARBON_FATAL() << "TODO";
  235. }
  236. auto SemanticsParseTreeHandler::HandleFileEnd(ParseTree::Node /*parse_node*/)
  237. -> void {
  238. CARBON_CHECK(node_block_stack_.size() == 1) << node_block_stack_.size();
  239. }
  240. auto SemanticsParseTreeHandler::HandleForHeader(ParseTree::Node /*parse_node*/)
  241. -> void {
  242. CARBON_FATAL() << "TODO";
  243. }
  244. auto SemanticsParseTreeHandler::HandleForHeaderStart(
  245. ParseTree::Node /*parse_node*/) -> void {
  246. CARBON_FATAL() << "TODO";
  247. }
  248. auto SemanticsParseTreeHandler::HandleForIn(ParseTree::Node /*parse_node*/)
  249. -> void {
  250. CARBON_FATAL() << "TODO";
  251. }
  252. auto SemanticsParseTreeHandler::HandleForStatement(
  253. ParseTree::Node /*parse_node*/) -> void {
  254. CARBON_FATAL() << "TODO";
  255. }
  256. auto SemanticsParseTreeHandler::HandleFunctionDeclaration(
  257. ParseTree::Node /*parse_node*/) -> void {
  258. CARBON_FATAL() << "TODO";
  259. }
  260. auto SemanticsParseTreeHandler::HandleFunctionDefinition(
  261. ParseTree::Node parse_node) -> void {
  262. // Merges code block children up under the FunctionDefinitionStart.
  263. while (parse_tree_->node_kind(node_stack_.back().parse_node) !=
  264. ParseNodeKind::FunctionDefinitionStart()) {
  265. node_stack_.pop_back();
  266. }
  267. Pop(ParseNodeKind::FunctionDefinitionStart());
  268. node_block_stack_.pop_back();
  269. Push(parse_node);
  270. }
  271. auto SemanticsParseTreeHandler::HandleFunctionDefinitionStart(
  272. ParseTree::Node parse_node) -> void {
  273. Pop(ParseNodeKind::ParameterList());
  274. auto name_node = node_stack_.back().parse_node;
  275. auto name = AddIdentifier(name_node);
  276. node_stack_.pop_back();
  277. auto fn_node = node_stack_.back().parse_node;
  278. Pop(ParseNodeKind::FunctionIntroducer());
  279. auto decl_id = AddNode(SemanticsNode::MakeFunctionDeclaration(fn_node));
  280. // TODO: Propagate the type of the function.
  281. AddNode(SemanticsNode::MakeBindName(name_node, SemanticsNodeId::MakeInvalid(),
  282. name, decl_id));
  283. auto block_id = semantics_->AddNodeBlock();
  284. AddNode(SemanticsNode::MakeFunctionDefinition(parse_node, decl_id, block_id));
  285. node_block_stack_.push_back(block_id);
  286. Push(parse_node);
  287. }
  288. auto SemanticsParseTreeHandler::HandleFunctionIntroducer(
  289. ParseTree::Node parse_node) -> void {
  290. // No action, just a bracketing node.
  291. Push(parse_node);
  292. }
  293. auto SemanticsParseTreeHandler::HandleIfCondition(
  294. ParseTree::Node /*parse_node*/) -> void {
  295. CARBON_FATAL() << "TODO";
  296. }
  297. auto SemanticsParseTreeHandler::HandleIfConditionStart(
  298. ParseTree::Node /*parse_node*/) -> void {
  299. CARBON_FATAL() << "TODO";
  300. }
  301. auto SemanticsParseTreeHandler::HandleIfStatement(
  302. ParseTree::Node /*parse_node*/) -> void {
  303. CARBON_FATAL() << "TODO";
  304. }
  305. auto SemanticsParseTreeHandler::HandleIfStatementElse(
  306. ParseTree::Node /*parse_node*/) -> void {
  307. CARBON_FATAL() << "TODO";
  308. }
  309. auto SemanticsParseTreeHandler::HandleInfixOperator(ParseTree::Node parse_node)
  310. -> void {
  311. auto rhs_id = PopWithResult();
  312. auto lhs_id = PopWithResult();
  313. SemanticsNodeId result_type =
  314. TryTypeConversion(parse_node, lhs_id, rhs_id, /*can_convert_lhs=*/true);
  315. // Figure out the operator for the token.
  316. auto token = parse_tree_->node_token(parse_node);
  317. switch (auto token_kind = tokens_->GetKind(token)) {
  318. case TokenKind::Plus():
  319. Push(parse_node, SemanticsNode::MakeBinaryOperatorAdd(
  320. parse_node, result_type, lhs_id, rhs_id));
  321. break;
  322. default:
  323. CARBON_FATAL() << "Unrecognized token kind: " << token_kind.name();
  324. }
  325. }
  326. auto SemanticsParseTreeHandler::HandleInterfaceBody(
  327. ParseTree::Node /*parse_node*/) -> void {
  328. CARBON_FATAL() << "TODO";
  329. }
  330. auto SemanticsParseTreeHandler::HandleInterfaceBodyStart(
  331. ParseTree::Node /*parse_node*/) -> void {
  332. CARBON_FATAL() << "TODO";
  333. }
  334. auto SemanticsParseTreeHandler::HandleInterfaceDefinition(
  335. ParseTree::Node /*parse_node*/) -> void {
  336. CARBON_FATAL() << "TODO";
  337. }
  338. auto SemanticsParseTreeHandler::HandleLiteral(ParseTree::Node parse_node)
  339. -> void {
  340. auto token = parse_tree_->node_token(parse_node);
  341. switch (auto token_kind = tokens_->GetKind(token)) {
  342. case TokenKind::IntegerLiteral(): {
  343. auto id =
  344. semantics_->AddIntegerLiteral(tokens_->GetIntegerLiteral(token));
  345. Push(parse_node, SemanticsNode::MakeIntegerLiteral(parse_node, id));
  346. break;
  347. }
  348. case TokenKind::RealLiteral(): {
  349. // TODO: Add storage of the Real literal.
  350. Push(parse_node, SemanticsNode::MakeRealLiteral(parse_node));
  351. break;
  352. }
  353. case TokenKind::IntegerTypeLiteral(): {
  354. auto text = tokens_->GetTokenText(token);
  355. CARBON_CHECK(text == "i32") << "Currently only i32 is allowed";
  356. Push(parse_node, SemanticsNodeId::MakeBuiltinReference(
  357. SemanticsBuiltinKind::IntegerType()));
  358. break;
  359. }
  360. default:
  361. CARBON_FATAL() << "Unhandled kind: " << token_kind.name();
  362. }
  363. }
  364. auto SemanticsParseTreeHandler::HandleNameReference(
  365. ParseTree::Node /*parse_node*/) -> void {
  366. CARBON_FATAL() << "TODO";
  367. }
  368. auto SemanticsParseTreeHandler::HandlePackageApi(ParseTree::Node /*parse_node*/)
  369. -> void {
  370. CARBON_FATAL() << "TODO";
  371. }
  372. auto SemanticsParseTreeHandler::HandlePackageDirective(
  373. ParseTree::Node /*parse_node*/) -> void {
  374. CARBON_FATAL() << "TODO";
  375. }
  376. auto SemanticsParseTreeHandler::HandlePackageImpl(
  377. ParseTree::Node /*parse_node*/) -> void {
  378. CARBON_FATAL() << "TODO";
  379. }
  380. auto SemanticsParseTreeHandler::HandlePackageIntroducer(
  381. ParseTree::Node /*parse_node*/) -> void {
  382. CARBON_FATAL() << "TODO";
  383. }
  384. auto SemanticsParseTreeHandler::HandlePackageLibrary(
  385. ParseTree::Node /*parse_node*/) -> void {
  386. CARBON_FATAL() << "TODO";
  387. }
  388. auto SemanticsParseTreeHandler::HandleParameterList(ParseTree::Node parse_node)
  389. -> void {
  390. // TODO: This should transform into a usable parameter list. For now
  391. // it's unused and only stored so that node counts match.
  392. Pop(ParseNodeKind::ParameterListStart());
  393. Push(parse_node);
  394. }
  395. auto SemanticsParseTreeHandler::HandleParameterListComma(
  396. ParseTree::Node /*parse_node*/) -> void {
  397. CARBON_FATAL() << "TODO";
  398. }
  399. auto SemanticsParseTreeHandler::HandleParameterListStart(
  400. ParseTree::Node parse_node) -> void {
  401. // TODO: See HandleParameterList.
  402. Push(parse_node);
  403. }
  404. auto SemanticsParseTreeHandler::HandleParenExpression(
  405. ParseTree::Node /*parse_node*/) -> void {
  406. CARBON_FATAL() << "TODO";
  407. }
  408. auto SemanticsParseTreeHandler::HandleParenExpressionOrTupleLiteralStart(
  409. ParseTree::Node /*parse_node*/) -> void {
  410. CARBON_FATAL() << "TODO";
  411. }
  412. auto SemanticsParseTreeHandler::HandlePatternBinding(ParseTree::Node parse_node)
  413. -> void {
  414. // Allocate storage.
  415. auto type = node_stack_.pop_back_val();
  416. CARBON_CHECK(type.result_id.is_valid());
  417. auto storage_id =
  418. AddNode(SemanticsNode::MakeVarStorage(parse_node, type.result_id));
  419. // Get the name.
  420. auto name_node = node_stack_.pop_back_val().parse_node;
  421. auto name_id = AddIdentifier(name_node);
  422. // Bind the name to storage.
  423. AddNode(SemanticsNode::MakeBindName(name_node, type.result_id, name_id,
  424. storage_id));
  425. // If this node's result is used, it'll be for the storage address, so provide
  426. // that.
  427. Push(parse_node, storage_id);
  428. }
  429. auto SemanticsParseTreeHandler::HandlePostfixOperator(
  430. ParseTree::Node /*parse_node*/) -> void {
  431. CARBON_FATAL() << "TODO";
  432. }
  433. auto SemanticsParseTreeHandler::HandlePrefixOperator(
  434. ParseTree::Node /*parse_node*/) -> void {
  435. CARBON_FATAL() << "TODO";
  436. }
  437. auto SemanticsParseTreeHandler::HandleReturnStatement(
  438. ParseTree::Node parse_node) -> void {
  439. if (parse_tree_->node_kind(node_stack_.back().parse_node) ==
  440. ParseNodeKind::ReturnStatementStart()) {
  441. Pop(ParseNodeKind::ReturnStatementStart());
  442. Push(parse_node, SemanticsNode::MakeReturn(parse_node));
  443. } else {
  444. auto arg = PopWithResult();
  445. auto arg_type = semantics_->GetType(node_block_stack_.back(), arg);
  446. Pop(ParseNodeKind::ReturnStatementStart());
  447. Push(parse_node,
  448. SemanticsNode::MakeReturnExpression(parse_node, arg_type, arg));
  449. }
  450. }
  451. auto SemanticsParseTreeHandler::HandleReturnStatementStart(
  452. ParseTree::Node parse_node) -> void {
  453. // No action, just a bracketing node.
  454. Push(parse_node);
  455. }
  456. auto SemanticsParseTreeHandler::HandleReturnType(ParseTree::Node /*parse_node*/)
  457. -> void {
  458. CARBON_FATAL() << "TODO";
  459. }
  460. auto SemanticsParseTreeHandler::HandleStructComma(
  461. ParseTree::Node /*parse_node*/) -> void {
  462. CARBON_FATAL() << "TODO";
  463. }
  464. auto SemanticsParseTreeHandler::HandleStructFieldDesignator(
  465. ParseTree::Node /*parse_node*/) -> void {
  466. CARBON_FATAL() << "TODO";
  467. }
  468. auto SemanticsParseTreeHandler::HandleStructFieldType(
  469. ParseTree::Node /*parse_node*/) -> void {
  470. CARBON_FATAL() << "TODO";
  471. }
  472. auto SemanticsParseTreeHandler::HandleStructFieldUnknown(
  473. ParseTree::Node /*parse_node*/) -> void {
  474. CARBON_FATAL() << "TODO";
  475. }
  476. auto SemanticsParseTreeHandler::HandleStructFieldValue(
  477. ParseTree::Node /*parse_node*/) -> void {
  478. CARBON_FATAL() << "TODO";
  479. }
  480. auto SemanticsParseTreeHandler::HandleStructLiteral(
  481. ParseTree::Node /*parse_node*/) -> void {
  482. CARBON_FATAL() << "TODO";
  483. }
  484. auto SemanticsParseTreeHandler::HandleStructLiteralOrStructTypeLiteralStart(
  485. ParseTree::Node /*parse_node*/) -> void {
  486. CARBON_FATAL() << "TODO";
  487. }
  488. auto SemanticsParseTreeHandler::HandleStructTypeLiteral(
  489. ParseTree::Node /*parse_node*/) -> void {
  490. CARBON_FATAL() << "TODO";
  491. }
  492. auto SemanticsParseTreeHandler::HandleTupleLiteral(
  493. ParseTree::Node /*parse_node*/) -> void {
  494. CARBON_FATAL() << "TODO";
  495. }
  496. auto SemanticsParseTreeHandler::HandleTupleLiteralComma(
  497. ParseTree::Node /*parse_node*/) -> void {
  498. CARBON_FATAL() << "TODO";
  499. }
  500. auto SemanticsParseTreeHandler::HandleVariableDeclaration(
  501. ParseTree::Node parse_node) -> void {
  502. auto init_id = PopWithResultIf(ParseNodeKind::VariableInitializer());
  503. auto storage_id = PopWithResult(ParseNodeKind::PatternBinding());
  504. if (init_id) {
  505. auto storage_type = TryTypeConversion(parse_node, storage_id, *init_id,
  506. /*can_convert_lhs=*/false);
  507. AddNode(SemanticsNode::MakeAssign(parse_node, storage_type, storage_id,
  508. *init_id));
  509. }
  510. Pop(ParseNodeKind::VariableIntroducer());
  511. Push(parse_node, storage_id);
  512. }
  513. auto SemanticsParseTreeHandler::HandleVariableIntroducer(
  514. ParseTree::Node parse_node) -> void {
  515. // No action, just a bracketing node.
  516. Push(parse_node);
  517. }
  518. auto SemanticsParseTreeHandler::HandleVariableInitializer(
  519. ParseTree::Node parse_node) -> void {
  520. // The child is the expression; propagate it for the parent.
  521. Push(parse_node, PopWithResult());
  522. }
  523. auto SemanticsParseTreeHandler::HandleWhileCondition(
  524. ParseTree::Node /*parse_node*/) -> void {
  525. CARBON_FATAL() << "TODO";
  526. }
  527. auto SemanticsParseTreeHandler::HandleWhileConditionStart(
  528. ParseTree::Node /*parse_node*/) -> void {
  529. CARBON_FATAL() << "TODO";
  530. }
  531. auto SemanticsParseTreeHandler::HandleWhileStatement(
  532. ParseTree::Node /*parse_node*/) -> void {
  533. CARBON_FATAL() << "TODO";
  534. }
  535. auto SemanticsParseTreeHandler::HandleAddress(ParseTree::Node /*parse_node*/)
  536. -> void {
  537. CARBON_FATAL() << "TODO";
  538. }
  539. auto SemanticsParseTreeHandler::HandleSelfType(ParseTree::Node /*parse_node*/)
  540. -> void {
  541. CARBON_FATAL() << "TODO";
  542. }
  543. auto SemanticsParseTreeHandler::HandleDeducedParameterList(
  544. ParseTree::Node /*parse_node*/) -> void {
  545. CARBON_FATAL() << "TODO";
  546. }
  547. auto SemanticsParseTreeHandler::HandleSelfDeducedParameter(
  548. ParseTree::Node /*parse_node*/) -> void {
  549. CARBON_FATAL() << "TODO";
  550. }
  551. auto SemanticsParseTreeHandler::HandleDeducedParameterListStart(
  552. ParseTree::Node /*parse_node*/) -> void {
  553. CARBON_FATAL() << "TODO";
  554. }
  555. } // namespace Carbon