proto_to_carbon.cpp 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816
  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 "common/fuzzing/proto_to_carbon.h"
  5. #include <string_view>
  6. #include "common/fuzzing/carbon.pb.h"
  7. #include "llvm/ADT/StringExtras.h"
  8. #include "llvm/Support/raw_ostream.h"
  9. namespace Carbon {
  10. static auto ExpressionToCarbon(const Fuzzing::Expression& expression,
  11. llvm::raw_ostream& out) -> void;
  12. static auto PatternToCarbon(const Fuzzing::Pattern& pattern,
  13. llvm::raw_ostream& out) -> void;
  14. static auto StatementToCarbon(const Fuzzing::Statement& statement,
  15. llvm::raw_ostream& out) -> void;
  16. static auto DeclarationToCarbon(const Fuzzing::Declaration& declaration,
  17. llvm::raw_ostream& out) -> void;
  18. // Produces a valid Carbon identifier, which must match the regex
  19. // `[A-Za-z_][A-Za-z0-9_]*`. In the case when `s` is generated by the
  20. // fuzzing framework, it might contain invalid/non-printable characters.
  21. static auto IdentifierToCarbon(std::string_view s, llvm::raw_ostream& out)
  22. -> void {
  23. if (s.empty()) {
  24. out << "EmptyIdentifier";
  25. } else {
  26. if (!llvm::isAlpha(s[0]) && s[0] != '_') {
  27. // Ensures that identifier starts with a valid character.
  28. out << 'x';
  29. }
  30. for (const char c : s) {
  31. if (llvm::isAlnum(c) || c == '_') {
  32. out << c;
  33. } else {
  34. out << llvm::toHex(c);
  35. }
  36. }
  37. }
  38. }
  39. static auto StringLiteralToCarbon(std::string_view s, llvm::raw_ostream& out) {
  40. out << '"';
  41. out.write_escaped(s, /*UseHexEscapes=*/true);
  42. out << '"';
  43. }
  44. static auto LibraryNameToCarbon(const Fuzzing::LibraryName& library,
  45. llvm::raw_ostream& out) -> void {
  46. IdentifierToCarbon(library.package_name(), out);
  47. // Path is optional.
  48. if (library.has_path()) {
  49. out << " library ";
  50. // library.path() is a string literal.
  51. StringLiteralToCarbon(library.path(), out);
  52. }
  53. }
  54. static auto PrefixUnaryOperatorToCarbon(std::string_view op,
  55. const Fuzzing::Expression& arg,
  56. llvm::raw_ostream& out) -> void {
  57. out << op;
  58. ExpressionToCarbon(arg, out);
  59. }
  60. static auto PostfixUnaryOperatorToCarbon(const Fuzzing::Expression& arg,
  61. std::string_view op,
  62. llvm::raw_ostream& out) -> void {
  63. ExpressionToCarbon(arg, out);
  64. out << op;
  65. }
  66. static auto BinaryOperatorToCarbon(const Fuzzing::Expression& lhs,
  67. std::string_view op,
  68. const Fuzzing::Expression& rhs,
  69. llvm::raw_ostream& out) -> void {
  70. ExpressionToCarbon(lhs, out);
  71. out << op;
  72. ExpressionToCarbon(rhs, out);
  73. }
  74. static auto OperatorToCarbon(const Fuzzing::OperatorExpression& operator_expr,
  75. llvm::raw_ostream& out) -> void {
  76. const Fuzzing::Expression& arg0 =
  77. !operator_expr.arguments().empty()
  78. ? operator_expr.arguments(0)
  79. : Fuzzing::Expression::default_instance();
  80. const Fuzzing::Expression& arg1 =
  81. operator_expr.arguments().size() > 1
  82. ? operator_expr.arguments(1)
  83. : Fuzzing::Expression::default_instance();
  84. out << "(";
  85. switch (operator_expr.op()) {
  86. case Fuzzing::OperatorExpression::UnknownOperator:
  87. // `-` is an arbitrary default to avoid getting invalid syntax.
  88. PrefixUnaryOperatorToCarbon("-", arg0, out);
  89. break;
  90. case Fuzzing::OperatorExpression::AddressOf:
  91. PrefixUnaryOperatorToCarbon("&", arg0, out);
  92. break;
  93. case Fuzzing::OperatorExpression::As:
  94. BinaryOperatorToCarbon(arg0, " as ", arg1, out);
  95. break;
  96. case Fuzzing::OperatorExpression::Deref:
  97. PrefixUnaryOperatorToCarbon("*", arg0, out);
  98. break;
  99. case Fuzzing::OperatorExpression::Mul:
  100. BinaryOperatorToCarbon(arg0, " * ", arg1, out);
  101. break;
  102. case Fuzzing::OperatorExpression::Mod:
  103. BinaryOperatorToCarbon(arg0, " % ", arg1, out);
  104. break;
  105. case Fuzzing::OperatorExpression::Ptr:
  106. PostfixUnaryOperatorToCarbon(arg0, "*", out);
  107. break;
  108. case Fuzzing::OperatorExpression::Neg:
  109. PrefixUnaryOperatorToCarbon("-", arg0, out);
  110. break;
  111. case Fuzzing::OperatorExpression::Sub:
  112. BinaryOperatorToCarbon(arg0, " - ", arg1, out);
  113. break;
  114. case Fuzzing::OperatorExpression::Not:
  115. // Needs a space to 'unglue' from the operand.
  116. PrefixUnaryOperatorToCarbon("not ", arg0, out);
  117. break;
  118. case Fuzzing::OperatorExpression::Add:
  119. BinaryOperatorToCarbon(arg0, " + ", arg1, out);
  120. break;
  121. case Fuzzing::OperatorExpression::And:
  122. BinaryOperatorToCarbon(arg0, " and ", arg1, out);
  123. break;
  124. case Fuzzing::OperatorExpression::Eq:
  125. BinaryOperatorToCarbon(arg0, " == ", arg1, out);
  126. break;
  127. case Fuzzing::OperatorExpression::Or:
  128. BinaryOperatorToCarbon(arg0, " or ", arg1, out);
  129. break;
  130. case Fuzzing::OperatorExpression::Complement:
  131. PrefixUnaryOperatorToCarbon("^", arg0, out);
  132. break;
  133. case Fuzzing::OperatorExpression::BitwiseAnd:
  134. BinaryOperatorToCarbon(arg0, " & ", arg1, out);
  135. break;
  136. case Fuzzing::OperatorExpression::BitwiseOr:
  137. BinaryOperatorToCarbon(arg0, " | ", arg1, out);
  138. break;
  139. case Fuzzing::OperatorExpression::BitwiseXor:
  140. BinaryOperatorToCarbon(arg0, " ^ ", arg1, out);
  141. break;
  142. case Fuzzing::OperatorExpression::BitShiftLeft:
  143. BinaryOperatorToCarbon(arg0, " << ", arg1, out);
  144. break;
  145. case Fuzzing::OperatorExpression::BitShiftRight:
  146. BinaryOperatorToCarbon(arg0, " >> ", arg1, out);
  147. break;
  148. }
  149. out << ")";
  150. }
  151. static auto FieldInitializerToCarbon(const Fuzzing::FieldInitializer& field,
  152. std::string_view separator,
  153. llvm::raw_ostream& out) -> void {
  154. out << ".";
  155. IdentifierToCarbon(field.name(), out);
  156. out << " " << separator << " ";
  157. ExpressionToCarbon(field.expression(), out);
  158. }
  159. static auto TupleLiteralExpressionToCarbon(
  160. const Fuzzing::TupleLiteralExpression& tuple_literal,
  161. llvm::raw_ostream& out) -> void {
  162. out << "(";
  163. llvm::ListSeparator sep;
  164. for (const auto& field : tuple_literal.fields()) {
  165. out << sep;
  166. ExpressionToCarbon(field, out);
  167. }
  168. if (tuple_literal.fields_size() == 1) {
  169. // Adding a trailing comma so that generated source will be parsed as a
  170. // tuple expression. See docs/design/tuples.md.
  171. out << ", ";
  172. }
  173. out << ")";
  174. }
  175. static auto ExpressionToCarbon(const Fuzzing::Expression& expression,
  176. llvm::raw_ostream& out) -> void {
  177. switch (expression.kind_case()) {
  178. case Fuzzing::Expression::KIND_NOT_SET:
  179. // Arbitrary default for missing expressions to avoid invalid syntax.
  180. out << "true";
  181. break;
  182. case Fuzzing::Expression::kCall: {
  183. const auto& call = expression.call();
  184. ExpressionToCarbon(call.function(), out);
  185. if (call.argument().kind_case() == Fuzzing::Expression::kTupleLiteral) {
  186. TupleLiteralExpressionToCarbon(call.argument().tuple_literal(), out);
  187. } else {
  188. out << "(";
  189. ExpressionToCarbon(call.argument(), out);
  190. out << ")";
  191. }
  192. break;
  193. }
  194. case Fuzzing::Expression::kFunctionType: {
  195. const auto& fun_type = expression.function_type();
  196. out << "__Fn";
  197. TupleLiteralExpressionToCarbon(fun_type.parameter(), out);
  198. out << " -> ";
  199. ExpressionToCarbon(fun_type.return_type(), out);
  200. break;
  201. }
  202. case Fuzzing::Expression::kSimpleMemberAccess: {
  203. const auto& simple_member_access = expression.simple_member_access();
  204. ExpressionToCarbon(simple_member_access.object(), out);
  205. out << ".";
  206. IdentifierToCarbon(simple_member_access.field(), out);
  207. break;
  208. }
  209. case Fuzzing::Expression::kCompoundMemberAccess: {
  210. const auto& simple_member_access = expression.compound_member_access();
  211. ExpressionToCarbon(simple_member_access.object(), out);
  212. out << ".(";
  213. ExpressionToCarbon(simple_member_access.path(), out);
  214. out << ")";
  215. break;
  216. }
  217. case Fuzzing::Expression::kIndex: {
  218. const auto& index = expression.index();
  219. ExpressionToCarbon(index.object(), out);
  220. out << "[";
  221. ExpressionToCarbon(index.offset(), out);
  222. out << "]";
  223. break;
  224. }
  225. case Fuzzing::Expression::kOperator:
  226. OperatorToCarbon(expression.operator_(), out);
  227. break;
  228. case Fuzzing::Expression::kTupleLiteral: {
  229. TupleLiteralExpressionToCarbon(expression.tuple_literal(), out);
  230. break;
  231. }
  232. case Fuzzing::Expression::kStructLiteral: {
  233. const auto& struct_literal = expression.struct_literal();
  234. out << "{";
  235. llvm::ListSeparator sep;
  236. for (const auto& field : struct_literal.fields()) {
  237. out << sep;
  238. FieldInitializerToCarbon(field, "=", out);
  239. }
  240. out << "}";
  241. break;
  242. }
  243. case Fuzzing::Expression::kStructTypeLiteral: {
  244. const auto& struct_type_literal = expression.struct_type_literal();
  245. out << "{";
  246. llvm::ListSeparator sep;
  247. for (const auto& field : struct_type_literal.fields()) {
  248. out << sep;
  249. FieldInitializerToCarbon(field, ":", out);
  250. }
  251. out << "}";
  252. break;
  253. }
  254. case Fuzzing::Expression::kIdentifier: {
  255. const auto& identifier = expression.identifier();
  256. IdentifierToCarbon(identifier.name(), out);
  257. break;
  258. }
  259. case Fuzzing::Expression::kDesignator: {
  260. const auto& designator = expression.designator();
  261. out << ".";
  262. IdentifierToCarbon(designator.name(), out);
  263. break;
  264. }
  265. case Fuzzing::Expression::kIfExpression: {
  266. const auto& if_expression = expression.if_expression();
  267. out << "if ";
  268. ExpressionToCarbon(if_expression.condition(), out);
  269. out << " then ";
  270. ExpressionToCarbon(if_expression.then_expression(), out);
  271. out << " else ";
  272. ExpressionToCarbon(if_expression.else_expression(), out);
  273. break;
  274. }
  275. case Fuzzing::Expression::kBoolTypeLiteral:
  276. out << "bool";
  277. break;
  278. case Fuzzing::Expression::kBoolLiteral: {
  279. const auto& bool_literal = expression.bool_literal();
  280. out << (bool_literal.value() ? "true" : "false");
  281. break;
  282. }
  283. case Fuzzing::Expression::kIntTypeLiteral:
  284. out << "i32";
  285. break;
  286. case Fuzzing::Expression::kIntLiteral: {
  287. out << expression.int_literal().value();
  288. break;
  289. }
  290. case Fuzzing::Expression::kStringLiteral:
  291. StringLiteralToCarbon(expression.string_literal().value(), out);
  292. break;
  293. case Fuzzing::Expression::kStringTypeLiteral:
  294. out << "String";
  295. break;
  296. case Fuzzing::Expression::kContinuationTypeLiteral:
  297. out << "__Continuation";
  298. break;
  299. case Fuzzing::Expression::kTypeTypeLiteral:
  300. out << "Type";
  301. break;
  302. case Fuzzing::Expression::kUnimplementedExpression:
  303. // Not really supported.
  304. // This is an arbitrary default to avoid getting invalid syntax.
  305. out << "1 __unimplemented_example_infix 2";
  306. break;
  307. case Fuzzing::Expression::kArrayTypeLiteral: {
  308. const Fuzzing::ArrayTypeLiteral& array_literal =
  309. expression.array_type_literal();
  310. out << "[";
  311. ExpressionToCarbon(array_literal.element_type(), out);
  312. out << "; ";
  313. ExpressionToCarbon(array_literal.size(), out);
  314. out << "]";
  315. break;
  316. }
  317. case Fuzzing::Expression::kWhere: {
  318. const Fuzzing::WhereExpression& where = expression.where();
  319. ExpressionToCarbon(where.base(), out);
  320. out << " where ";
  321. llvm::ListSeparator sep(" and ");
  322. for (const auto& clause : where.clauses()) {
  323. out << sep;
  324. switch (clause.kind_case()) {
  325. case Fuzzing::WhereClause::kIs:
  326. ExpressionToCarbon(clause.is().type(), out);
  327. out << " is ";
  328. ExpressionToCarbon(clause.is().constraint(), out);
  329. break;
  330. case Fuzzing::WhereClause::kEquals:
  331. ExpressionToCarbon(clause.equals().lhs(), out);
  332. out << " == ";
  333. ExpressionToCarbon(clause.equals().rhs(), out);
  334. break;
  335. case Fuzzing::WhereClause::KIND_NOT_SET:
  336. // Arbitrary default to avoid invalid syntax.
  337. out << ".Self == .Self";
  338. break;
  339. }
  340. }
  341. break;
  342. }
  343. }
  344. }
  345. static auto BindingPatternToCarbon(const Fuzzing::BindingPattern& pattern,
  346. llvm::raw_ostream& out) -> void {
  347. IdentifierToCarbon(pattern.name(), out);
  348. out << ": ";
  349. PatternToCarbon(pattern.type(), out);
  350. }
  351. static auto GenericBindingToCarbon(
  352. const Fuzzing::GenericBinding& generic_binding, llvm::raw_ostream& out) {
  353. IdentifierToCarbon(generic_binding.name(), out);
  354. out << ":! ";
  355. ExpressionToCarbon(generic_binding.type(), out);
  356. }
  357. static auto TuplePatternToCarbon(const Fuzzing::TuplePattern& tuple_pattern,
  358. llvm::raw_ostream& out) -> void {
  359. out << "(";
  360. llvm::ListSeparator sep;
  361. for (const auto& field : tuple_pattern.fields()) {
  362. out << sep;
  363. PatternToCarbon(field, out);
  364. }
  365. if (tuple_pattern.fields_size() == 1) {
  366. // Adding a trailing comma so that generated source will be parsed as a
  367. // tuple pattern expression. See docs/design/tuples.md.
  368. out << ", ";
  369. }
  370. out << ")";
  371. }
  372. static auto PatternToCarbon(const Fuzzing::Pattern& pattern,
  373. llvm::raw_ostream& out) -> void {
  374. switch (pattern.kind_case()) {
  375. case Fuzzing::Pattern::KIND_NOT_SET:
  376. // Arbitrary default to avoid getting invalid syntax.
  377. out << "auto";
  378. break;
  379. case Fuzzing::Pattern::kBindingPattern:
  380. BindingPatternToCarbon(pattern.binding_pattern(), out);
  381. break;
  382. case Fuzzing::Pattern::kTuplePattern:
  383. TuplePatternToCarbon(pattern.tuple_pattern(), out);
  384. break;
  385. case Fuzzing::Pattern::kAlternativePattern: {
  386. const auto& alternative_pattern = pattern.alternative_pattern();
  387. ExpressionToCarbon(alternative_pattern.choice_type(), out);
  388. out << ".";
  389. IdentifierToCarbon(alternative_pattern.alternative_name(), out);
  390. TuplePatternToCarbon(alternative_pattern.arguments(), out);
  391. break;
  392. }
  393. // Arbitrary expression.
  394. case Fuzzing::Pattern::kExpressionPattern: {
  395. const auto& expression_pattern = pattern.expression_pattern();
  396. ExpressionToCarbon(expression_pattern.expression(), out);
  397. break;
  398. }
  399. case Fuzzing::Pattern::kAutoPattern:
  400. out << "auto";
  401. break;
  402. case Fuzzing::Pattern::kVarPattern:
  403. out << "var ";
  404. PatternToCarbon(pattern.var_pattern().pattern(), out);
  405. break;
  406. case Fuzzing::Pattern::kGenericBinding:
  407. GenericBindingToCarbon(pattern.generic_binding(), out);
  408. break;
  409. case Fuzzing::Pattern::kAddrPattern:
  410. out << "addr ";
  411. BindingPatternToCarbon(pattern.addr_pattern().binding_pattern(), out);
  412. break;
  413. }
  414. }
  415. static auto BlockStatementToCarbon(const Fuzzing::BlockStatement& block,
  416. llvm::raw_ostream& out) -> void {
  417. out << "{\n";
  418. for (const auto& statement : block.statements()) {
  419. StatementToCarbon(statement, out);
  420. out << "\n";
  421. }
  422. out << "}\n";
  423. }
  424. static auto StatementToCarbon(const Fuzzing::Statement& statement,
  425. llvm::raw_ostream& out) -> void {
  426. switch (statement.kind_case()) {
  427. case Fuzzing::Statement::KIND_NOT_SET:
  428. // Arbitrary default to avoid getting invalid syntax.
  429. out << "true;\n";
  430. break;
  431. case Fuzzing::Statement::kExpressionStatement: {
  432. const auto& expression_statement = statement.expression_statement();
  433. ExpressionToCarbon(expression_statement.expression(), out);
  434. out << ";";
  435. break;
  436. }
  437. case Fuzzing::Statement::kAssign: {
  438. const auto& assign_statement = statement.assign();
  439. ExpressionToCarbon(assign_statement.lhs(), out);
  440. out << " = ";
  441. ExpressionToCarbon(assign_statement.rhs(), out);
  442. out << ";";
  443. break;
  444. }
  445. case Fuzzing::Statement::kVariableDefinition: {
  446. const auto& def = statement.variable_definition();
  447. if (def.is_returned()) {
  448. out << "returned ";
  449. }
  450. out << "var ";
  451. PatternToCarbon(def.pattern(), out);
  452. if (def.has_init()) {
  453. out << " = ";
  454. ExpressionToCarbon(def.init(), out);
  455. }
  456. out << ";";
  457. break;
  458. }
  459. case Fuzzing::Statement::kIfStatement: {
  460. const auto& if_statement = statement.if_statement();
  461. out << "if (";
  462. ExpressionToCarbon(if_statement.condition(), out);
  463. out << ") ";
  464. BlockStatementToCarbon(if_statement.then_block(), out);
  465. // `else` is optional.
  466. if (if_statement.has_else_block()) {
  467. out << " else ";
  468. BlockStatementToCarbon(if_statement.else_block(), out);
  469. }
  470. break;
  471. }
  472. case Fuzzing::Statement::kReturnVarStatement: {
  473. out << "return var;";
  474. break;
  475. }
  476. case Fuzzing::Statement::kReturnExpressionStatement: {
  477. const auto& ret = statement.return_expression_statement();
  478. out << "return";
  479. if (!ret.is_omitted_expression()) {
  480. out << " ";
  481. ExpressionToCarbon(ret.expression(), out);
  482. }
  483. out << ";";
  484. break;
  485. }
  486. case Fuzzing::Statement::kBlock:
  487. BlockStatementToCarbon(statement.block(), out);
  488. break;
  489. case Fuzzing::Statement::kWhileStatement: {
  490. const auto& while_statement = statement.while_statement();
  491. out << "while (";
  492. ExpressionToCarbon(while_statement.condition(), out);
  493. out << ") ";
  494. BlockStatementToCarbon(while_statement.body(), out);
  495. break;
  496. }
  497. case Fuzzing::Statement::kMatch: {
  498. const auto& match = statement.match();
  499. out << "match (";
  500. ExpressionToCarbon(match.expression(), out);
  501. out << ") {";
  502. for (const auto& clause : match.clauses()) {
  503. if (clause.is_default()) {
  504. out << "default";
  505. } else {
  506. out << "case ";
  507. PatternToCarbon(clause.pattern(), out);
  508. }
  509. out << " => ";
  510. StatementToCarbon(clause.statement(), out);
  511. }
  512. out << "}";
  513. break;
  514. }
  515. case Fuzzing::Statement::kContinuation: {
  516. const auto& continuation = statement.continuation();
  517. out << "__continuation ";
  518. IdentifierToCarbon(continuation.name(), out);
  519. BlockStatementToCarbon(continuation.body(), out);
  520. break;
  521. }
  522. case Fuzzing::Statement::kRun: {
  523. const auto& run = statement.run();
  524. out << "__run ";
  525. ExpressionToCarbon(run.argument(), out);
  526. out << ";";
  527. break;
  528. }
  529. case Fuzzing::Statement::kAwaitStatement:
  530. out << "__await;";
  531. break;
  532. case Fuzzing::Statement::kBreakStatement:
  533. out << "break;";
  534. break;
  535. case Fuzzing::Statement::kContinueStatement:
  536. out << "continue;";
  537. break;
  538. }
  539. }
  540. static auto ReturnTermToCarbon(const Fuzzing::ReturnTerm& return_term,
  541. llvm::raw_ostream& out) -> void {
  542. switch (return_term.kind()) {
  543. case Fuzzing::ReturnTerm::UnknownReturnKind:
  544. case Fuzzing::ReturnTerm::Omitted:
  545. break;
  546. case Fuzzing::ReturnTerm::Auto:
  547. out << " -> auto";
  548. break;
  549. case Fuzzing::ReturnTerm::Expression:
  550. out << " -> ";
  551. ExpressionToCarbon(return_term.type(), out);
  552. break;
  553. }
  554. }
  555. static auto DeclarationToCarbon(const Fuzzing::Declaration& declaration,
  556. llvm::raw_ostream& out) -> void {
  557. switch (declaration.kind_case()) {
  558. case Fuzzing::Declaration::KIND_NOT_SET:
  559. // Arbitrary default to avoid getting invalid syntax.
  560. out << "var x: i32;";
  561. break;
  562. case Fuzzing::Declaration::kFunction: {
  563. const auto& function = declaration.function();
  564. out << "fn ";
  565. IdentifierToCarbon(function.name(), out);
  566. if (!function.deduced_parameters().empty() || function.has_me_pattern()) {
  567. out << "[";
  568. llvm::ListSeparator sep;
  569. for (const Fuzzing::GenericBinding& p : function.deduced_parameters()) {
  570. out << sep;
  571. GenericBindingToCarbon(p, out);
  572. }
  573. if (function.has_me_pattern()) {
  574. // This is a class method.
  575. out << sep;
  576. PatternToCarbon(function.me_pattern(), out);
  577. }
  578. out << "]";
  579. }
  580. TuplePatternToCarbon(function.param_pattern(), out);
  581. ReturnTermToCarbon(function.return_term(), out);
  582. // Body is optional.
  583. if (function.has_body()) {
  584. out << "\n";
  585. BlockStatementToCarbon(function.body(), out);
  586. } else {
  587. out << ";";
  588. }
  589. break;
  590. }
  591. case Fuzzing::Declaration::kClassDeclaration: {
  592. const auto& class_declaration = declaration.class_declaration();
  593. out << "class ";
  594. IdentifierToCarbon(class_declaration.name(), out);
  595. // type_params is optional.
  596. if (class_declaration.has_type_params()) {
  597. TuplePatternToCarbon(class_declaration.type_params(), out);
  598. }
  599. out << "{\n";
  600. for (const auto& member : class_declaration.members()) {
  601. DeclarationToCarbon(member, out);
  602. out << "\n";
  603. }
  604. out << "}";
  605. break;
  606. }
  607. case Fuzzing::Declaration::kChoice: {
  608. const auto& choice = declaration.choice();
  609. out << "choice ";
  610. IdentifierToCarbon(choice.name(), out);
  611. out << "{";
  612. llvm::ListSeparator sep;
  613. for (const auto& alternative : choice.alternatives()) {
  614. out << sep;
  615. IdentifierToCarbon(alternative.name(), out);
  616. TupleLiteralExpressionToCarbon(alternative.signature(), out);
  617. }
  618. out << "}";
  619. break;
  620. }
  621. case Fuzzing::Declaration::kVariable: {
  622. const auto& var = declaration.variable();
  623. out << "var ";
  624. BindingPatternToCarbon(var.binding(), out);
  625. // Initializer is optional.
  626. if (var.has_initializer()) {
  627. out << " = ";
  628. ExpressionToCarbon(var.initializer(), out);
  629. }
  630. out << ";";
  631. break;
  632. }
  633. case Fuzzing::Declaration::kLet: {
  634. const auto& let = declaration.let();
  635. out << "let ";
  636. PatternToCarbon(let.pattern(), out);
  637. // TODO: Print out the initializer once it's supported.
  638. /*
  639. if (let.has_initializer()) {
  640. out << " = ";
  641. ExpressionToCarbon(let.initializer(), out);
  642. }
  643. */
  644. out << ";";
  645. break;
  646. }
  647. case Fuzzing::Declaration::kInterface: {
  648. const auto& interface = declaration.interface();
  649. out << "interface ";
  650. IdentifierToCarbon(interface.name(), out);
  651. out << " {\n";
  652. for (const auto& member : interface.members()) {
  653. DeclarationToCarbon(member, out);
  654. out << "\n";
  655. }
  656. out << "}";
  657. // TODO: need to handle interface.self()?
  658. break;
  659. }
  660. case Fuzzing::Declaration::kImpl: {
  661. const auto& impl = declaration.impl();
  662. if (impl.kind() == Fuzzing::ImplDeclaration::ExternalImpl) {
  663. out << "external ";
  664. }
  665. out << "impl ";
  666. ExpressionToCarbon(impl.impl_type(), out);
  667. out << " as ";
  668. ExpressionToCarbon(impl.interface(), out);
  669. out << " {\n";
  670. for (const auto& member : impl.members()) {
  671. DeclarationToCarbon(member, out);
  672. out << "\n";
  673. }
  674. out << "}";
  675. break;
  676. }
  677. case Fuzzing::Declaration::kAlias: {
  678. const auto& alias = declaration.alias();
  679. out << "alias ";
  680. IdentifierToCarbon(alias.name(), out);
  681. out << " = ";
  682. ExpressionToCarbon(alias.target(), out);
  683. out << ";";
  684. break;
  685. }
  686. }
  687. }
  688. static auto ProtoToCarbon(const Fuzzing::CompilationUnit& compilation_unit,
  689. llvm::raw_ostream& out) -> void {
  690. out << "// Generated by proto_to_carbon.\n\n";
  691. out << "package ";
  692. LibraryNameToCarbon(compilation_unit.package_statement(), out);
  693. out << (compilation_unit.is_api() ? " api" : " impl") << ";\n";
  694. if (!compilation_unit.declarations().empty()) {
  695. out << "\n";
  696. for (const auto& declaration : compilation_unit.declarations()) {
  697. DeclarationToCarbon(declaration, out);
  698. out << "\n";
  699. }
  700. }
  701. }
  702. auto ProtoToCarbon(const Fuzzing::CompilationUnit& compilation_unit)
  703. -> std::string {
  704. std::string source;
  705. llvm::raw_string_ostream out(source);
  706. ProtoToCarbon(compilation_unit, out);
  707. return source;
  708. }
  709. } // namespace Carbon