proto_to_carbon.cpp 21 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716
  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);
  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 PrimitiveOperatorToCarbon(
  75. const Fuzzing::PrimitiveOperatorExpression& primitive_operator,
  76. llvm::raw_ostream& out) -> void {
  77. const Fuzzing::Expression& arg0 =
  78. !primitive_operator.arguments().empty()
  79. ? primitive_operator.arguments(0)
  80. : Fuzzing::Expression::default_instance();
  81. const Fuzzing::Expression& arg1 =
  82. primitive_operator.arguments().size() > 1
  83. ? primitive_operator.arguments(1)
  84. : Fuzzing::Expression::default_instance();
  85. out << "(";
  86. switch (primitive_operator.op()) {
  87. case Fuzzing::PrimitiveOperatorExpression::UnknownOperator:
  88. // `-` is an arbitrary default to avoid getting invalid syntax.
  89. PrefixUnaryOperatorToCarbon("-", arg0, out);
  90. break;
  91. case Fuzzing::PrimitiveOperatorExpression::AddressOf:
  92. PrefixUnaryOperatorToCarbon("&", arg0, out);
  93. break;
  94. case Fuzzing::PrimitiveOperatorExpression::Deref:
  95. PrefixUnaryOperatorToCarbon("*", arg0, out);
  96. break;
  97. case Fuzzing::PrimitiveOperatorExpression::Mul:
  98. BinaryOperatorToCarbon(arg0, " * ", arg1, out);
  99. break;
  100. case Fuzzing::PrimitiveOperatorExpression::Ptr:
  101. PostfixUnaryOperatorToCarbon(arg0, "*", out);
  102. break;
  103. case Fuzzing::PrimitiveOperatorExpression::Neg:
  104. PrefixUnaryOperatorToCarbon("-", arg0, out);
  105. break;
  106. case Fuzzing::PrimitiveOperatorExpression::Sub:
  107. BinaryOperatorToCarbon(arg0, " - ", arg1, out);
  108. break;
  109. case Fuzzing::PrimitiveOperatorExpression::Not:
  110. // Needs a space to 'unglue' from the operand.
  111. PrefixUnaryOperatorToCarbon("not ", arg0, out);
  112. break;
  113. case Fuzzing::PrimitiveOperatorExpression::Add:
  114. BinaryOperatorToCarbon(arg0, " + ", arg1, out);
  115. break;
  116. case Fuzzing::PrimitiveOperatorExpression::And:
  117. BinaryOperatorToCarbon(arg0, " and ", arg1, out);
  118. break;
  119. case Fuzzing::PrimitiveOperatorExpression::Eq:
  120. BinaryOperatorToCarbon(arg0, " == ", arg1, out);
  121. break;
  122. case Fuzzing::PrimitiveOperatorExpression::Or:
  123. BinaryOperatorToCarbon(arg0, " or ", arg1, out);
  124. break;
  125. }
  126. out << ")";
  127. }
  128. static auto FieldInitializerToCarbon(const Fuzzing::FieldInitializer& field,
  129. std::string_view separator,
  130. llvm::raw_ostream& out) -> void {
  131. out << ".";
  132. IdentifierToCarbon(field.name(), out);
  133. out << " " << separator << " ";
  134. ExpressionToCarbon(field.expression(), out);
  135. }
  136. static auto TupleLiteralExpressionToCarbon(
  137. const Fuzzing::TupleLiteralExpression& tuple_literal,
  138. llvm::raw_ostream& out) -> void {
  139. out << "(";
  140. llvm::ListSeparator sep;
  141. for (const auto& field : tuple_literal.fields()) {
  142. out << sep;
  143. ExpressionToCarbon(field, out);
  144. }
  145. if (tuple_literal.fields_size() == 1) {
  146. // Adding a trailing comma so that generated source will be parsed as a
  147. // tuple expression. See docs/design/tuples.md.
  148. out << ", ";
  149. }
  150. out << ")";
  151. }
  152. static auto ExpressionToCarbon(const Fuzzing::Expression& expression,
  153. llvm::raw_ostream& out) -> void {
  154. switch (expression.kind_case()) {
  155. case Fuzzing::Expression::KIND_NOT_SET:
  156. // Arbitrary default for missing expressions to avoid invalid syntax.
  157. out << "true";
  158. break;
  159. case Fuzzing::Expression::kCall: {
  160. const auto& call = expression.call();
  161. ExpressionToCarbon(call.function(), out);
  162. if (call.argument().kind_case() == Fuzzing::Expression::kTupleLiteral) {
  163. TupleLiteralExpressionToCarbon(call.argument().tuple_literal(), out);
  164. } else {
  165. out << "(";
  166. ExpressionToCarbon(call.argument(), out);
  167. out << ")";
  168. }
  169. break;
  170. }
  171. case Fuzzing::Expression::kFunctionType: {
  172. const auto& fun_type = expression.function_type();
  173. out << "__Fn";
  174. ExpressionToCarbon(fun_type.parameter(), out);
  175. out << " -> ";
  176. ExpressionToCarbon(fun_type.return_type(), out);
  177. break;
  178. }
  179. case Fuzzing::Expression::kFieldAccess: {
  180. const auto& field_access = expression.field_access();
  181. ExpressionToCarbon(field_access.aggregate(), out);
  182. out << ".";
  183. IdentifierToCarbon(field_access.field(), out);
  184. break;
  185. }
  186. case Fuzzing::Expression::kIndex: {
  187. const auto& index = expression.index();
  188. ExpressionToCarbon(index.aggregate(), out);
  189. out << "[";
  190. ExpressionToCarbon(index.offset(), out);
  191. out << "]";
  192. break;
  193. }
  194. case Fuzzing::Expression::kPrimitiveOperator:
  195. PrimitiveOperatorToCarbon(expression.primitive_operator(), out);
  196. break;
  197. case Fuzzing::Expression::kTupleLiteral: {
  198. TupleLiteralExpressionToCarbon(expression.tuple_literal(), out);
  199. break;
  200. }
  201. case Fuzzing::Expression::kStructLiteral: {
  202. const auto& struct_literal = expression.struct_literal();
  203. out << "{";
  204. llvm::ListSeparator sep;
  205. for (const auto& field : struct_literal.fields()) {
  206. out << sep;
  207. FieldInitializerToCarbon(field, "=", out);
  208. }
  209. out << "}";
  210. break;
  211. }
  212. case Fuzzing::Expression::kStructTypeLiteral: {
  213. const auto& struct_type_literal = expression.struct_type_literal();
  214. out << "{";
  215. llvm::ListSeparator sep;
  216. for (const auto& field : struct_type_literal.fields()) {
  217. out << sep;
  218. FieldInitializerToCarbon(field, ":", out);
  219. }
  220. out << "}";
  221. break;
  222. }
  223. case Fuzzing::Expression::kIdentifier: {
  224. const auto& identifier = expression.identifier();
  225. IdentifierToCarbon(identifier.name(), out);
  226. break;
  227. }
  228. case Fuzzing::Expression::kIntrinsic: {
  229. const auto& intrinsic = expression.intrinsic();
  230. switch (intrinsic.intrinsic()) {
  231. case Fuzzing::IntrinsicExpression::UnknownIntrinsic:
  232. // Arbitrary default to avoid getting invalid syntax.
  233. out << "__intrinsic_print";
  234. break;
  235. case Fuzzing::IntrinsicExpression::Print:
  236. out << "__intrinsic_print";
  237. break;
  238. }
  239. TupleLiteralExpressionToCarbon(intrinsic.argument(), out);
  240. } break;
  241. case Fuzzing::Expression::kIfExpression: {
  242. const auto& if_expression = expression.if_expression();
  243. out << "if ";
  244. ExpressionToCarbon(if_expression.condition(), out);
  245. out << " then ";
  246. ExpressionToCarbon(if_expression.then_expression(), out);
  247. out << " else ";
  248. ExpressionToCarbon(if_expression.else_expression(), out);
  249. break;
  250. }
  251. case Fuzzing::Expression::kBoolTypeLiteral:
  252. out << "Bool";
  253. break;
  254. case Fuzzing::Expression::kBoolLiteral: {
  255. const auto& bool_literal = expression.bool_literal();
  256. out << (bool_literal.value() ? "true" : "false");
  257. break;
  258. }
  259. case Fuzzing::Expression::kIntTypeLiteral:
  260. out << "i32";
  261. break;
  262. case Fuzzing::Expression::kIntLiteral: {
  263. out << expression.int_literal().value();
  264. break;
  265. }
  266. case Fuzzing::Expression::kStringLiteral:
  267. StringLiteralToCarbon(expression.string_literal().value(), out);
  268. break;
  269. case Fuzzing::Expression::kStringTypeLiteral:
  270. out << "String";
  271. break;
  272. case Fuzzing::Expression::kContinuationTypeLiteral:
  273. out << "__Continuation";
  274. break;
  275. case Fuzzing::Expression::kTypeTypeLiteral:
  276. out << "Type";
  277. break;
  278. case Fuzzing::Expression::kUnimplementedExpression:
  279. // Not really supported.
  280. // This is an arbitrary default to avoid getting invalid syntax.
  281. out << "1 __unimplemented_example_infix 2";
  282. break;
  283. case Fuzzing::Expression::kArrayTypeLiteral: {
  284. const Fuzzing::ArrayTypeLiteral& array_literal =
  285. expression.array_type_literal();
  286. out << "[";
  287. ExpressionToCarbon(array_literal.element_type(), out);
  288. out << "; ";
  289. ExpressionToCarbon(array_literal.size(), out);
  290. out << "]";
  291. break;
  292. }
  293. }
  294. }
  295. static auto BindingPatternToCarbon(const Fuzzing::BindingPattern& pattern,
  296. llvm::raw_ostream& out) -> void {
  297. IdentifierToCarbon(pattern.name(), out);
  298. out << ": ";
  299. PatternToCarbon(pattern.type(), out);
  300. }
  301. static auto GenericBindingToCarbon(
  302. const Fuzzing::GenericBinding& generic_binding, llvm::raw_ostream& out) {
  303. IdentifierToCarbon(generic_binding.name(), out);
  304. out << ":! ";
  305. ExpressionToCarbon(generic_binding.type(), out);
  306. }
  307. static auto TuplePatternToCarbon(const Fuzzing::TuplePattern& tuple_pattern,
  308. llvm::raw_ostream& out) -> void {
  309. out << "(";
  310. llvm::ListSeparator sep;
  311. for (const auto& field : tuple_pattern.fields()) {
  312. out << sep;
  313. PatternToCarbon(field, out);
  314. }
  315. if (tuple_pattern.fields_size() == 1) {
  316. // Adding a trailing comma so that generated source will be parsed as a
  317. // tuple pattern expression. See docs/design/tuples.md.
  318. out << ", ";
  319. }
  320. out << ")";
  321. }
  322. static auto PatternToCarbon(const Fuzzing::Pattern& pattern,
  323. llvm::raw_ostream& out) -> void {
  324. switch (pattern.kind_case()) {
  325. case Fuzzing::Pattern::KIND_NOT_SET:
  326. // Arbitrary default to avoid getting invalid syntax.
  327. out << "auto";
  328. break;
  329. case Fuzzing::Pattern::kBindingPattern:
  330. BindingPatternToCarbon(pattern.binding_pattern(), out);
  331. break;
  332. case Fuzzing::Pattern::kTuplePattern:
  333. TuplePatternToCarbon(pattern.tuple_pattern(), out);
  334. break;
  335. case Fuzzing::Pattern::kAlternativePattern: {
  336. const auto& alternative_pattern = pattern.alternative_pattern();
  337. ExpressionToCarbon(alternative_pattern.choice_type(), out);
  338. out << ".";
  339. IdentifierToCarbon(alternative_pattern.alternative_name(), out);
  340. TuplePatternToCarbon(alternative_pattern.arguments(), out);
  341. break;
  342. }
  343. // Arbitrary expression.
  344. case Fuzzing::Pattern::kExpressionPattern: {
  345. const auto& expression_pattern = pattern.expression_pattern();
  346. ExpressionToCarbon(expression_pattern.expression(), out);
  347. break;
  348. }
  349. case Fuzzing::Pattern::kAutoPattern:
  350. out << "auto";
  351. break;
  352. case Fuzzing::Pattern::kVarPattern:
  353. out << "var ";
  354. PatternToCarbon(pattern.var_pattern().pattern(), out);
  355. break;
  356. case Fuzzing::Pattern::kGenericBinding:
  357. GenericBindingToCarbon(pattern.generic_binding(), out);
  358. break;
  359. }
  360. }
  361. static auto BlockStatementToCarbon(const Fuzzing::BlockStatement& block,
  362. llvm::raw_ostream& out) -> void {
  363. out << "{\n";
  364. for (const auto& statement : block.statements()) {
  365. StatementToCarbon(statement, out);
  366. out << "\n";
  367. }
  368. out << "}\n";
  369. }
  370. static auto StatementToCarbon(const Fuzzing::Statement& statement,
  371. llvm::raw_ostream& out) -> void {
  372. switch (statement.kind_case()) {
  373. case Fuzzing::Statement::KIND_NOT_SET:
  374. // Arbitrary default to avoid getting invalid syntax.
  375. out << "true;\n";
  376. break;
  377. case Fuzzing::Statement::kExpressionStatement: {
  378. const auto& expression_statement = statement.expression_statement();
  379. ExpressionToCarbon(expression_statement.expression(), out);
  380. out << ";";
  381. break;
  382. }
  383. case Fuzzing::Statement::kAssign: {
  384. const auto& assign_statement = statement.assign();
  385. ExpressionToCarbon(assign_statement.lhs(), out);
  386. out << " = ";
  387. ExpressionToCarbon(assign_statement.rhs(), out);
  388. out << ";";
  389. break;
  390. }
  391. case Fuzzing::Statement::kVariableDefinition: {
  392. const auto& def = statement.variable_definition();
  393. out << "var ";
  394. PatternToCarbon(def.pattern(), out);
  395. out << " = ";
  396. ExpressionToCarbon(def.init(), out);
  397. out << ";";
  398. break;
  399. }
  400. case Fuzzing::Statement::kIfStatement: {
  401. const auto& if_statement = statement.if_statement();
  402. out << "if (";
  403. ExpressionToCarbon(if_statement.condition(), out);
  404. out << ") ";
  405. BlockStatementToCarbon(if_statement.then_block(), out);
  406. // `else` is optional.
  407. if (if_statement.has_else_block()) {
  408. out << " else ";
  409. BlockStatementToCarbon(if_statement.else_block(), out);
  410. }
  411. break;
  412. }
  413. case Fuzzing::Statement::kReturnStatement: {
  414. const auto& ret = statement.return_statement();
  415. out << "return";
  416. if (!ret.is_omitted_expression()) {
  417. out << " ";
  418. ExpressionToCarbon(ret.expression(), out);
  419. }
  420. out << ";";
  421. break;
  422. }
  423. case Fuzzing::Statement::kBlock:
  424. BlockStatementToCarbon(statement.block(), out);
  425. break;
  426. case Fuzzing::Statement::kWhileStatement: {
  427. const auto& while_statement = statement.while_statement();
  428. out << "while (";
  429. ExpressionToCarbon(while_statement.condition(), out);
  430. out << ") ";
  431. BlockStatementToCarbon(while_statement.body(), out);
  432. break;
  433. }
  434. case Fuzzing::Statement::kMatch: {
  435. const auto& match = statement.match();
  436. out << "match (";
  437. ExpressionToCarbon(match.expression(), out);
  438. out << ") {";
  439. for (const auto& clause : match.clauses()) {
  440. if (clause.is_default()) {
  441. out << "default";
  442. } else {
  443. out << "case ";
  444. PatternToCarbon(clause.pattern(), out);
  445. }
  446. out << " => ";
  447. StatementToCarbon(clause.statement(), out);
  448. }
  449. out << "}";
  450. break;
  451. }
  452. case Fuzzing::Statement::kContinuation: {
  453. const auto& continuation = statement.continuation();
  454. out << "__continuation ";
  455. IdentifierToCarbon(continuation.name(), out);
  456. BlockStatementToCarbon(continuation.body(), out);
  457. break;
  458. }
  459. case Fuzzing::Statement::kRun: {
  460. const auto& run = statement.run();
  461. out << "__run ";
  462. ExpressionToCarbon(run.argument(), out);
  463. out << ";";
  464. break;
  465. }
  466. case Fuzzing::Statement::kAwaitStatement:
  467. out << "__await;";
  468. break;
  469. case Fuzzing::Statement::kBreakStatement:
  470. out << "break;";
  471. break;
  472. case Fuzzing::Statement::kContinueStatement:
  473. out << "continue;";
  474. break;
  475. }
  476. }
  477. static auto ReturnTermToCarbon(const Fuzzing::ReturnTerm& return_term,
  478. llvm::raw_ostream& out) -> void {
  479. switch (return_term.kind()) {
  480. case Fuzzing::ReturnTerm::UnknownReturnKind:
  481. case Fuzzing::ReturnTerm::Omitted:
  482. break;
  483. case Fuzzing::ReturnTerm::Auto:
  484. out << " -> auto";
  485. break;
  486. case Fuzzing::ReturnTerm::Expression:
  487. out << " -> ";
  488. ExpressionToCarbon(return_term.type(), out);
  489. break;
  490. }
  491. }
  492. static auto DeclarationToCarbon(const Fuzzing::Declaration& declaration,
  493. llvm::raw_ostream& out) -> void {
  494. switch (declaration.kind_case()) {
  495. case Fuzzing::Declaration::KIND_NOT_SET:
  496. // Arbitrary default to avoid getting invalid syntax.
  497. out << "var x: i32;";
  498. break;
  499. case Fuzzing::Declaration::kFunction: {
  500. const auto& function = declaration.function();
  501. out << "fn ";
  502. IdentifierToCarbon(function.name(), out);
  503. if (!function.deduced_parameters().empty() || function.has_me_pattern()) {
  504. out << "[";
  505. llvm::ListSeparator sep;
  506. for (const Fuzzing::GenericBinding& p : function.deduced_parameters()) {
  507. out << sep;
  508. GenericBindingToCarbon(p, out);
  509. }
  510. if (function.has_me_pattern()) {
  511. // This is a class method.
  512. out << sep;
  513. BindingPatternToCarbon(function.me_pattern(), out);
  514. }
  515. out << "]";
  516. }
  517. TuplePatternToCarbon(function.param_pattern(), out);
  518. ReturnTermToCarbon(function.return_term(), out);
  519. // Body is optional.
  520. if (function.has_body()) {
  521. out << "\n";
  522. BlockStatementToCarbon(function.body(), out);
  523. } else {
  524. out << ";";
  525. }
  526. break;
  527. }
  528. case Fuzzing::Declaration::kClassDeclaration: {
  529. const auto& class_declaration = declaration.class_declaration();
  530. out << "class ";
  531. IdentifierToCarbon(class_declaration.name(), out);
  532. // type_params is optional.
  533. if (class_declaration.has_type_params()) {
  534. TuplePatternToCarbon(class_declaration.type_params(), out);
  535. }
  536. out << "{\n";
  537. for (const auto& member : class_declaration.members()) {
  538. DeclarationToCarbon(member, out);
  539. out << "\n";
  540. }
  541. out << "}";
  542. break;
  543. }
  544. case Fuzzing::Declaration::kChoice: {
  545. const auto& choice = declaration.choice();
  546. out << "choice ";
  547. IdentifierToCarbon(choice.name(), out);
  548. out << "{";
  549. llvm::ListSeparator sep;
  550. for (const auto& alternative : choice.alternatives()) {
  551. out << sep;
  552. IdentifierToCarbon(alternative.name(), out);
  553. ExpressionToCarbon(alternative.signature(), out);
  554. }
  555. out << "}";
  556. break;
  557. }
  558. case Fuzzing::Declaration::kVariable: {
  559. const auto& var = declaration.variable();
  560. out << "var ";
  561. BindingPatternToCarbon(var.binding(), out);
  562. // Initializer is optional.
  563. if (var.has_initializer()) {
  564. out << " = ";
  565. ExpressionToCarbon(var.initializer(), out);
  566. }
  567. out << ";";
  568. break;
  569. }
  570. case Fuzzing::Declaration::kInterface: {
  571. const auto& interface = declaration.interface();
  572. out << "interface ";
  573. IdentifierToCarbon(interface.name(), out);
  574. out << " {\n";
  575. for (const auto& member : interface.members()) {
  576. DeclarationToCarbon(member, out);
  577. out << "\n";
  578. }
  579. out << "}";
  580. // TODO: need to handle interface.self()?
  581. break;
  582. }
  583. case Fuzzing::Declaration::kImpl: {
  584. const auto& impl = declaration.impl();
  585. if (impl.kind() == Fuzzing::ImplDeclaration::ExternalImpl) {
  586. out << "external ";
  587. }
  588. out << "impl ";
  589. ExpressionToCarbon(impl.impl_type(), out);
  590. out << " as ";
  591. ExpressionToCarbon(impl.interface(), out);
  592. out << " {\n";
  593. for (const auto& member : impl.members()) {
  594. DeclarationToCarbon(member, out);
  595. out << "\n";
  596. }
  597. out << "}";
  598. break;
  599. }
  600. }
  601. }
  602. static auto ProtoToCarbon(const Fuzzing::CompilationUnit& compilation_unit,
  603. llvm::raw_ostream& out) -> void {
  604. out << "// Generated by proto_to_carbon.\n\n";
  605. out << "package ";
  606. LibraryNameToCarbon(compilation_unit.package_statement(), out);
  607. out << (compilation_unit.is_api() ? " api" : " impl") << ";\n";
  608. if (!compilation_unit.declarations().empty()) {
  609. out << "\n";
  610. for (const auto& declaration : compilation_unit.declarations()) {
  611. DeclarationToCarbon(declaration, out);
  612. out << "\n";
  613. }
  614. }
  615. }
  616. auto ProtoToCarbon(const Fuzzing::CompilationUnit& compilation_unit)
  617. -> std::string {
  618. std::string source;
  619. llvm::raw_string_ostream out(source);
  620. ProtoToCarbon(compilation_unit, out);
  621. return source;
  622. }
  623. } // namespace Carbon