proto_to_carbon.cpp 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871
  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::Less:
  128. BinaryOperatorToCarbon(arg0, " < ", arg1, out);
  129. break;
  130. case Fuzzing::OperatorExpression::LessEq:
  131. BinaryOperatorToCarbon(arg0, " <= ", arg1, out);
  132. break;
  133. case Fuzzing::OperatorExpression::GreaterEq:
  134. BinaryOperatorToCarbon(arg0, " >= ", arg1, out);
  135. break;
  136. case Fuzzing::OperatorExpression::Greater:
  137. BinaryOperatorToCarbon(arg0, " > ", arg1, out);
  138. break;
  139. case Fuzzing::OperatorExpression::Or:
  140. BinaryOperatorToCarbon(arg0, " or ", arg1, out);
  141. break;
  142. case Fuzzing::OperatorExpression::Complement:
  143. PrefixUnaryOperatorToCarbon("^", arg0, out);
  144. break;
  145. case Fuzzing::OperatorExpression::BitwiseAnd:
  146. BinaryOperatorToCarbon(arg0, " & ", arg1, out);
  147. break;
  148. case Fuzzing::OperatorExpression::BitwiseOr:
  149. BinaryOperatorToCarbon(arg0, " | ", arg1, out);
  150. break;
  151. case Fuzzing::OperatorExpression::BitwiseXor:
  152. BinaryOperatorToCarbon(arg0, " ^ ", arg1, out);
  153. break;
  154. case Fuzzing::OperatorExpression::BitShiftLeft:
  155. BinaryOperatorToCarbon(arg0, " << ", arg1, out);
  156. break;
  157. case Fuzzing::OperatorExpression::BitShiftRight:
  158. BinaryOperatorToCarbon(arg0, " >> ", arg1, out);
  159. break;
  160. case Fuzzing::OperatorExpression::NotEq:
  161. BinaryOperatorToCarbon(arg0, " != ", arg1, out);
  162. break;
  163. }
  164. out << ")";
  165. }
  166. static auto FieldInitializerToCarbon(const Fuzzing::FieldInitializer& field,
  167. std::string_view separator,
  168. llvm::raw_ostream& out) -> void {
  169. out << ".";
  170. IdentifierToCarbon(field.name(), out);
  171. out << " " << separator << " ";
  172. ExpressionToCarbon(field.expression(), out);
  173. }
  174. static auto TupleLiteralExpressionToCarbon(
  175. const Fuzzing::TupleLiteralExpression& tuple_literal,
  176. llvm::raw_ostream& out) -> void {
  177. out << "(";
  178. llvm::ListSeparator sep;
  179. for (const auto& field : tuple_literal.fields()) {
  180. out << sep;
  181. ExpressionToCarbon(field, out);
  182. }
  183. if (tuple_literal.fields_size() == 1) {
  184. // Adding a trailing comma so that generated source will be parsed as a
  185. // tuple expression. See docs/design/tuples.md.
  186. out << ", ";
  187. }
  188. out << ")";
  189. }
  190. static auto ExpressionToCarbon(const Fuzzing::Expression& expression,
  191. llvm::raw_ostream& out) -> void {
  192. switch (expression.kind_case()) {
  193. case Fuzzing::Expression::KIND_NOT_SET:
  194. // Arbitrary default for missing expressions to avoid invalid syntax.
  195. out << "true";
  196. break;
  197. case Fuzzing::Expression::kCall: {
  198. const auto& call = expression.call();
  199. ExpressionToCarbon(call.function(), out);
  200. if (call.argument().kind_case() == Fuzzing::Expression::kTupleLiteral) {
  201. TupleLiteralExpressionToCarbon(call.argument().tuple_literal(), out);
  202. } else {
  203. out << "(";
  204. ExpressionToCarbon(call.argument(), out);
  205. out << ")";
  206. }
  207. break;
  208. }
  209. case Fuzzing::Expression::kFunctionType: {
  210. const auto& fun_type = expression.function_type();
  211. out << "__Fn";
  212. TupleLiteralExpressionToCarbon(fun_type.parameter(), out);
  213. out << " -> ";
  214. ExpressionToCarbon(fun_type.return_type(), out);
  215. break;
  216. }
  217. case Fuzzing::Expression::kSimpleMemberAccess: {
  218. const auto& simple_member_access = expression.simple_member_access();
  219. ExpressionToCarbon(simple_member_access.object(), out);
  220. out << ".";
  221. IdentifierToCarbon(simple_member_access.field(), out);
  222. break;
  223. }
  224. case Fuzzing::Expression::kCompoundMemberAccess: {
  225. const auto& simple_member_access = expression.compound_member_access();
  226. ExpressionToCarbon(simple_member_access.object(), out);
  227. out << ".(";
  228. ExpressionToCarbon(simple_member_access.path(), out);
  229. out << ")";
  230. break;
  231. }
  232. case Fuzzing::Expression::kIndex: {
  233. const auto& index = expression.index();
  234. ExpressionToCarbon(index.object(), out);
  235. out << "[";
  236. ExpressionToCarbon(index.offset(), out);
  237. out << "]";
  238. break;
  239. }
  240. case Fuzzing::Expression::kOperator:
  241. OperatorToCarbon(expression.operator_(), out);
  242. break;
  243. case Fuzzing::Expression::kTupleLiteral: {
  244. TupleLiteralExpressionToCarbon(expression.tuple_literal(), out);
  245. break;
  246. }
  247. case Fuzzing::Expression::kStructLiteral: {
  248. const auto& struct_literal = expression.struct_literal();
  249. out << "{";
  250. llvm::ListSeparator sep;
  251. for (const auto& field : struct_literal.fields()) {
  252. out << sep;
  253. FieldInitializerToCarbon(field, "=", out);
  254. }
  255. out << "}";
  256. break;
  257. }
  258. case Fuzzing::Expression::kStructTypeLiteral: {
  259. const auto& struct_type_literal = expression.struct_type_literal();
  260. out << "{";
  261. llvm::ListSeparator sep;
  262. for (const auto& field : struct_type_literal.fields()) {
  263. out << sep;
  264. FieldInitializerToCarbon(field, ":", out);
  265. }
  266. out << "}";
  267. break;
  268. }
  269. case Fuzzing::Expression::kIdentifier: {
  270. const auto& identifier = expression.identifier();
  271. IdentifierToCarbon(identifier.name(), out);
  272. break;
  273. }
  274. case Fuzzing::Expression::kDesignator: {
  275. const auto& designator = expression.designator();
  276. out << ".";
  277. IdentifierToCarbon(designator.name(), out);
  278. break;
  279. }
  280. case Fuzzing::Expression::kIfExpression: {
  281. const auto& if_expression = expression.if_expression();
  282. out << "if ";
  283. ExpressionToCarbon(if_expression.condition(), out);
  284. out << " then ";
  285. ExpressionToCarbon(if_expression.then_expression(), out);
  286. out << " else ";
  287. ExpressionToCarbon(if_expression.else_expression(), out);
  288. break;
  289. }
  290. case Fuzzing::Expression::kBoolTypeLiteral:
  291. out << "bool";
  292. break;
  293. case Fuzzing::Expression::kBoolLiteral: {
  294. const auto& bool_literal = expression.bool_literal();
  295. out << (bool_literal.value() ? "true" : "false");
  296. break;
  297. }
  298. case Fuzzing::Expression::kIntTypeLiteral:
  299. out << "i32";
  300. break;
  301. case Fuzzing::Expression::kIntLiteral: {
  302. out << expression.int_literal().value();
  303. break;
  304. }
  305. case Fuzzing::Expression::kStringLiteral:
  306. StringLiteralToCarbon(expression.string_literal().value(), out);
  307. break;
  308. case Fuzzing::Expression::kStringTypeLiteral:
  309. out << "String";
  310. break;
  311. case Fuzzing::Expression::kContinuationTypeLiteral:
  312. out << "__Continuation";
  313. break;
  314. case Fuzzing::Expression::kTypeTypeLiteral:
  315. out << "Type";
  316. break;
  317. case Fuzzing::Expression::kUnimplementedExpression:
  318. // Not really supported.
  319. // This is an arbitrary default to avoid getting invalid syntax.
  320. out << "1 __unimplemented_example_infix 2";
  321. break;
  322. case Fuzzing::Expression::kArrayTypeLiteral: {
  323. const Fuzzing::ArrayTypeLiteral& array_literal =
  324. expression.array_type_literal();
  325. out << "[";
  326. ExpressionToCarbon(array_literal.element_type(), out);
  327. out << "; ";
  328. ExpressionToCarbon(array_literal.size(), out);
  329. out << "]";
  330. break;
  331. }
  332. case Fuzzing::Expression::kWhere: {
  333. const Fuzzing::WhereExpression& where = expression.where();
  334. ExpressionToCarbon(where.base(), out);
  335. out << " where ";
  336. llvm::ListSeparator sep(" and ");
  337. for (const auto& clause : where.clauses()) {
  338. out << sep;
  339. switch (clause.kind_case()) {
  340. case Fuzzing::WhereClause::kIs:
  341. ExpressionToCarbon(clause.is().type(), out);
  342. out << " is ";
  343. ExpressionToCarbon(clause.is().constraint(), out);
  344. break;
  345. case Fuzzing::WhereClause::kEquals:
  346. ExpressionToCarbon(clause.equals().lhs(), out);
  347. out << " == ";
  348. ExpressionToCarbon(clause.equals().rhs(), out);
  349. break;
  350. case Fuzzing::WhereClause::KIND_NOT_SET:
  351. // Arbitrary default to avoid invalid syntax.
  352. out << ".Self == .Self";
  353. break;
  354. }
  355. }
  356. break;
  357. }
  358. }
  359. }
  360. static auto BindingPatternToCarbon(const Fuzzing::BindingPattern& pattern,
  361. llvm::raw_ostream& out) -> void {
  362. IdentifierToCarbon(pattern.name(), out);
  363. out << ": ";
  364. PatternToCarbon(pattern.type(), out);
  365. }
  366. static auto GenericBindingToCarbon(
  367. const Fuzzing::GenericBinding& generic_binding, llvm::raw_ostream& out) {
  368. IdentifierToCarbon(generic_binding.name(), out);
  369. out << ":! ";
  370. ExpressionToCarbon(generic_binding.type(), out);
  371. }
  372. static auto TuplePatternToCarbon(const Fuzzing::TuplePattern& tuple_pattern,
  373. llvm::raw_ostream& out) -> void {
  374. out << "(";
  375. llvm::ListSeparator sep;
  376. for (const auto& field : tuple_pattern.fields()) {
  377. out << sep;
  378. PatternToCarbon(field, out);
  379. }
  380. if (tuple_pattern.fields_size() == 1) {
  381. // Adding a trailing comma so that generated source will be parsed as a
  382. // tuple pattern expression. See docs/design/tuples.md.
  383. out << ", ";
  384. }
  385. out << ")";
  386. }
  387. static auto PatternToCarbon(const Fuzzing::Pattern& pattern,
  388. llvm::raw_ostream& out) -> void {
  389. switch (pattern.kind_case()) {
  390. case Fuzzing::Pattern::KIND_NOT_SET:
  391. // Arbitrary default to avoid getting invalid syntax.
  392. out << "auto";
  393. break;
  394. case Fuzzing::Pattern::kBindingPattern:
  395. BindingPatternToCarbon(pattern.binding_pattern(), out);
  396. break;
  397. case Fuzzing::Pattern::kTuplePattern:
  398. TuplePatternToCarbon(pattern.tuple_pattern(), out);
  399. break;
  400. case Fuzzing::Pattern::kAlternativePattern: {
  401. const auto& alternative_pattern = pattern.alternative_pattern();
  402. ExpressionToCarbon(alternative_pattern.choice_type(), out);
  403. out << ".";
  404. IdentifierToCarbon(alternative_pattern.alternative_name(), out);
  405. TuplePatternToCarbon(alternative_pattern.arguments(), out);
  406. break;
  407. }
  408. // Arbitrary expression.
  409. case Fuzzing::Pattern::kExpressionPattern: {
  410. const auto& expression_pattern = pattern.expression_pattern();
  411. ExpressionToCarbon(expression_pattern.expression(), out);
  412. break;
  413. }
  414. case Fuzzing::Pattern::kAutoPattern:
  415. out << "auto";
  416. break;
  417. case Fuzzing::Pattern::kVarPattern:
  418. out << "var ";
  419. PatternToCarbon(pattern.var_pattern().pattern(), out);
  420. break;
  421. case Fuzzing::Pattern::kGenericBinding:
  422. GenericBindingToCarbon(pattern.generic_binding(), out);
  423. break;
  424. case Fuzzing::Pattern::kAddrPattern:
  425. out << "addr ";
  426. BindingPatternToCarbon(pattern.addr_pattern().binding_pattern(), out);
  427. break;
  428. }
  429. }
  430. static auto BlockStatementToCarbon(const Fuzzing::BlockStatement& block,
  431. llvm::raw_ostream& out) -> void {
  432. out << "{\n";
  433. for (const auto& statement : block.statements()) {
  434. StatementToCarbon(statement, out);
  435. out << "\n";
  436. }
  437. out << "}\n";
  438. }
  439. static auto StatementToCarbon(const Fuzzing::Statement& statement,
  440. llvm::raw_ostream& out) -> void {
  441. switch (statement.kind_case()) {
  442. case Fuzzing::Statement::KIND_NOT_SET:
  443. // Arbitrary default to avoid getting invalid syntax.
  444. out << "true;\n";
  445. break;
  446. case Fuzzing::Statement::kExpressionStatement: {
  447. const auto& expression_statement = statement.expression_statement();
  448. ExpressionToCarbon(expression_statement.expression(), out);
  449. out << ";";
  450. break;
  451. }
  452. case Fuzzing::Statement::kAssign: {
  453. const auto& assign_statement = statement.assign();
  454. ExpressionToCarbon(assign_statement.lhs(), out);
  455. out << " = ";
  456. ExpressionToCarbon(assign_statement.rhs(), out);
  457. out << ";";
  458. break;
  459. }
  460. case Fuzzing::Statement::kVariableDefinition: {
  461. const auto& def = statement.variable_definition();
  462. if (def.is_returned()) {
  463. out << "returned ";
  464. }
  465. out << "var ";
  466. PatternToCarbon(def.pattern(), out);
  467. if (def.has_init()) {
  468. out << " = ";
  469. ExpressionToCarbon(def.init(), out);
  470. }
  471. out << ";";
  472. break;
  473. }
  474. case Fuzzing::Statement::kIfStatement: {
  475. const auto& if_statement = statement.if_statement();
  476. out << "if (";
  477. ExpressionToCarbon(if_statement.condition(), out);
  478. out << ") ";
  479. BlockStatementToCarbon(if_statement.then_block(), out);
  480. // `else` is optional.
  481. if (if_statement.has_else_block()) {
  482. out << " else ";
  483. BlockStatementToCarbon(if_statement.else_block(), out);
  484. }
  485. break;
  486. }
  487. case Fuzzing::Statement::kReturnVarStatement: {
  488. out << "return var;";
  489. break;
  490. }
  491. case Fuzzing::Statement::kReturnExpressionStatement: {
  492. const auto& ret = statement.return_expression_statement();
  493. out << "return";
  494. if (!ret.is_omitted_expression()) {
  495. out << " ";
  496. ExpressionToCarbon(ret.expression(), out);
  497. }
  498. out << ";";
  499. break;
  500. }
  501. case Fuzzing::Statement::kBlock:
  502. BlockStatementToCarbon(statement.block(), out);
  503. break;
  504. case Fuzzing::Statement::kWhileStatement: {
  505. const auto& while_statement = statement.while_statement();
  506. out << "while (";
  507. ExpressionToCarbon(while_statement.condition(), out);
  508. out << ") ";
  509. BlockStatementToCarbon(while_statement.body(), out);
  510. break;
  511. }
  512. case Fuzzing::Statement::kForStatement: {
  513. const auto& for_statement = statement.for_statement();
  514. out << "for (";
  515. BindingPatternToCarbon(for_statement.var_decl(), out);
  516. out << " in ";
  517. ExpressionToCarbon(for_statement.target(), out);
  518. out << ") ";
  519. BlockStatementToCarbon(for_statement.body(), out);
  520. break;
  521. }
  522. case Fuzzing::Statement::kMatch: {
  523. const auto& match = statement.match();
  524. out << "match (";
  525. ExpressionToCarbon(match.expression(), out);
  526. out << ") {";
  527. for (const auto& clause : match.clauses()) {
  528. if (clause.is_default()) {
  529. out << "default";
  530. } else {
  531. out << "case ";
  532. PatternToCarbon(clause.pattern(), out);
  533. }
  534. out << " => ";
  535. StatementToCarbon(clause.statement(), out);
  536. }
  537. out << "}";
  538. break;
  539. }
  540. case Fuzzing::Statement::kContinuation: {
  541. const auto& continuation = statement.continuation();
  542. out << "__continuation ";
  543. IdentifierToCarbon(continuation.name(), out);
  544. BlockStatementToCarbon(continuation.body(), out);
  545. break;
  546. }
  547. case Fuzzing::Statement::kRun: {
  548. const auto& run = statement.run();
  549. out << "__run ";
  550. ExpressionToCarbon(run.argument(), out);
  551. out << ";";
  552. break;
  553. }
  554. case Fuzzing::Statement::kAwaitStatement:
  555. out << "__await;";
  556. break;
  557. case Fuzzing::Statement::kBreakStatement:
  558. out << "break;";
  559. break;
  560. case Fuzzing::Statement::kContinueStatement:
  561. out << "continue;";
  562. break;
  563. }
  564. }
  565. static auto ReturnTermToCarbon(const Fuzzing::ReturnTerm& return_term,
  566. llvm::raw_ostream& out) -> void {
  567. switch (return_term.kind()) {
  568. case Fuzzing::ReturnTerm::UnknownReturnKind:
  569. case Fuzzing::ReturnTerm::Omitted:
  570. break;
  571. case Fuzzing::ReturnTerm::Auto:
  572. out << " -> auto";
  573. break;
  574. case Fuzzing::ReturnTerm::Expression:
  575. out << " -> ";
  576. ExpressionToCarbon(return_term.type(), out);
  577. break;
  578. }
  579. }
  580. static auto DeclarationToCarbon(const Fuzzing::Declaration& declaration,
  581. llvm::raw_ostream& out) -> void {
  582. switch (declaration.kind_case()) {
  583. case Fuzzing::Declaration::KIND_NOT_SET:
  584. // Arbitrary default to avoid getting invalid syntax.
  585. out << "var x: i32;";
  586. break;
  587. case Fuzzing::Declaration::kFunction: {
  588. const auto& function = declaration.function();
  589. out << "fn ";
  590. IdentifierToCarbon(function.name(), out);
  591. if (!function.deduced_parameters().empty() || function.has_me_pattern()) {
  592. out << "[";
  593. llvm::ListSeparator sep;
  594. for (const Fuzzing::GenericBinding& p : function.deduced_parameters()) {
  595. out << sep;
  596. GenericBindingToCarbon(p, out);
  597. }
  598. if (function.has_me_pattern()) {
  599. // This is a class method.
  600. out << sep;
  601. PatternToCarbon(function.me_pattern(), out);
  602. }
  603. out << "]";
  604. }
  605. TuplePatternToCarbon(function.param_pattern(), out);
  606. ReturnTermToCarbon(function.return_term(), out);
  607. // Body is optional.
  608. if (function.has_body()) {
  609. out << "\n";
  610. BlockStatementToCarbon(function.body(), out);
  611. } else {
  612. out << ";";
  613. }
  614. break;
  615. }
  616. case Fuzzing::Declaration::kClassDeclaration: {
  617. const auto& class_declaration = declaration.class_declaration();
  618. out << "class ";
  619. IdentifierToCarbon(class_declaration.name(), out);
  620. // type_params is optional.
  621. if (class_declaration.has_type_params()) {
  622. TuplePatternToCarbon(class_declaration.type_params(), out);
  623. }
  624. out << "{\n";
  625. for (const auto& member : class_declaration.members()) {
  626. DeclarationToCarbon(member, out);
  627. out << "\n";
  628. }
  629. out << "}";
  630. break;
  631. }
  632. // EXPERIMENTAL MIXIN FEATURE
  633. case Fuzzing::Declaration::kMixin: {
  634. const auto& mixin_declaration = declaration.mixin();
  635. out << "__mixin ";
  636. IdentifierToCarbon(mixin_declaration.name(), out);
  637. // type params are not implemented yet
  638. // if (mixin_declaration.has_params()) {
  639. // TuplePatternToCarbon(mixin_declaration.params(), out);
  640. //}
  641. out << "{\n";
  642. for (const auto& member : mixin_declaration.members()) {
  643. DeclarationToCarbon(member, out);
  644. out << "\n";
  645. }
  646. out << "}";
  647. // TODO: need to handle interface.self()?
  648. break;
  649. }
  650. // EXPERIMENTAL MIXIN FEATURE
  651. case Fuzzing::Declaration::kMix: {
  652. const auto& mix_declaration = declaration.mix();
  653. out << "__mix ";
  654. ExpressionToCarbon(mix_declaration.mixin(), out);
  655. out << ";";
  656. break;
  657. }
  658. case Fuzzing::Declaration::kChoice: {
  659. const auto& choice = declaration.choice();
  660. out << "choice ";
  661. IdentifierToCarbon(choice.name(), out);
  662. out << "{";
  663. llvm::ListSeparator sep;
  664. for (const auto& alternative : choice.alternatives()) {
  665. out << sep;
  666. IdentifierToCarbon(alternative.name(), out);
  667. TupleLiteralExpressionToCarbon(alternative.signature(), out);
  668. }
  669. out << "}";
  670. break;
  671. }
  672. case Fuzzing::Declaration::kVariable: {
  673. const auto& var = declaration.variable();
  674. out << "var ";
  675. BindingPatternToCarbon(var.binding(), out);
  676. // Initializer is optional.
  677. if (var.has_initializer()) {
  678. out << " = ";
  679. ExpressionToCarbon(var.initializer(), out);
  680. }
  681. out << ";";
  682. break;
  683. }
  684. case Fuzzing::Declaration::kLet: {
  685. const auto& let = declaration.let();
  686. out << "let ";
  687. PatternToCarbon(let.pattern(), out);
  688. // TODO: Print out the initializer once it's supported.
  689. /*
  690. if (let.has_initializer()) {
  691. out << " = ";
  692. ExpressionToCarbon(let.initializer(), out);
  693. }
  694. */
  695. out << ";";
  696. break;
  697. }
  698. case Fuzzing::Declaration::kInterface: {
  699. const auto& interface = declaration.interface();
  700. out << "interface ";
  701. IdentifierToCarbon(interface.name(), out);
  702. out << " {\n";
  703. for (const auto& member : interface.members()) {
  704. DeclarationToCarbon(member, out);
  705. out << "\n";
  706. }
  707. out << "}";
  708. // TODO: need to handle interface.self()?
  709. break;
  710. }
  711. case Fuzzing::Declaration::kImpl: {
  712. const auto& impl = declaration.impl();
  713. if (impl.kind() == Fuzzing::ImplDeclaration::ExternalImpl) {
  714. out << "external ";
  715. }
  716. out << "impl ";
  717. ExpressionToCarbon(impl.impl_type(), out);
  718. out << " as ";
  719. ExpressionToCarbon(impl.interface(), out);
  720. out << " {\n";
  721. for (const auto& member : impl.members()) {
  722. DeclarationToCarbon(member, out);
  723. out << "\n";
  724. }
  725. out << "}";
  726. break;
  727. }
  728. case Fuzzing::Declaration::kAlias: {
  729. const auto& alias = declaration.alias();
  730. out << "alias ";
  731. IdentifierToCarbon(alias.name(), out);
  732. out << " = ";
  733. ExpressionToCarbon(alias.target(), out);
  734. out << ";";
  735. break;
  736. }
  737. }
  738. }
  739. static auto ProtoToCarbon(const Fuzzing::CompilationUnit& compilation_unit,
  740. llvm::raw_ostream& out) -> void {
  741. out << "// Generated by proto_to_carbon.\n\n";
  742. out << "package ";
  743. LibraryNameToCarbon(compilation_unit.package_statement(), out);
  744. out << (compilation_unit.is_api() ? " api" : " impl") << ";\n";
  745. if (!compilation_unit.declarations().empty()) {
  746. out << "\n";
  747. for (const auto& declaration : compilation_unit.declarations()) {
  748. DeclarationToCarbon(declaration, out);
  749. out << "\n";
  750. }
  751. }
  752. }
  753. auto ProtoToCarbon(const Fuzzing::CompilationUnit& compilation_unit)
  754. -> std::string {
  755. std::string source;
  756. llvm::raw_string_ostream out(source);
  757. ProtoToCarbon(compilation_unit, out);
  758. return source;
  759. }
  760. } // namespace Carbon