main.cpp 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874
  1. /*
  2. * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/Debug.h>
  7. #include <AK/Function.h>
  8. #include <AK/GenericLexer.h>
  9. #include <AK/HashMap.h>
  10. #include <AK/SourceGenerator.h>
  11. #include <AK/StringBuilder.h>
  12. #include <LibCore/ArgsParser.h>
  13. #include <LibCore/File.h>
  14. #include <LibMain/Main.h>
  15. #include <ctype.h>
  16. #include <stdio.h>
  17. namespace {
  18. struct Parameter {
  19. Vector<ByteString> attributes;
  20. ByteString type;
  21. ByteString name;
  22. };
  23. static ByteString pascal_case(ByteString const& identifier)
  24. {
  25. StringBuilder builder;
  26. bool was_new_word = true;
  27. for (auto ch : identifier) {
  28. if (ch == '_') {
  29. was_new_word = true;
  30. continue;
  31. }
  32. if (was_new_word) {
  33. builder.append(toupper(ch));
  34. was_new_word = false;
  35. } else
  36. builder.append(ch);
  37. }
  38. return builder.to_byte_string();
  39. }
  40. struct Message {
  41. ByteString name;
  42. bool is_synchronous { false };
  43. Vector<Parameter> inputs;
  44. Vector<Parameter> outputs;
  45. ByteString response_name() const
  46. {
  47. StringBuilder builder;
  48. builder.append(pascal_case(name));
  49. builder.append("Response"sv);
  50. return builder.to_byte_string();
  51. }
  52. };
  53. struct Endpoint {
  54. Vector<ByteString> includes;
  55. ByteString name;
  56. u32 magic;
  57. Vector<Message> messages;
  58. };
  59. static bool is_primitive_type(ByteString const& type)
  60. {
  61. return type.is_one_of("u8", "i8", "u16", "i16", "u32", "i32", "u64", "i64", "size_t", "bool", "double", "float", "int", "unsigned", "unsigned int");
  62. }
  63. static bool is_simple_type(ByteString const& type)
  64. {
  65. // Small types that it makes sense just to pass by value.
  66. return type.is_one_of("AK::CaseSensitivity", "Gfx::Color", "Web::DevicePixels", "Gfx::IntPoint", "Gfx::FloatPoint", "Web::DevicePixelPoint", "Gfx::IntSize", "Gfx::FloatSize", "Web::DevicePixelSize", "Core::File::OpenMode", "Web::Cookie::Source", "Web::HTML::AllowMultipleFiles", "Web::HTML::AudioPlayState", "Web::HTML::HistoryHandlingBehavior");
  67. }
  68. static bool is_primitive_or_simple_type(ByteString const& type)
  69. {
  70. return is_primitive_type(type) || is_simple_type(type);
  71. }
  72. static ByteString message_name(ByteString const& endpoint, ByteString const& message, bool is_response)
  73. {
  74. StringBuilder builder;
  75. builder.append("Messages::"sv);
  76. builder.append(endpoint);
  77. builder.append("::"sv);
  78. builder.append(pascal_case(message));
  79. if (is_response)
  80. builder.append("Response"sv);
  81. return builder.to_byte_string();
  82. }
  83. Vector<Endpoint> parse(ByteBuffer const& file_contents)
  84. {
  85. GenericLexer lexer(file_contents);
  86. Vector<Endpoint> endpoints;
  87. auto assert_specific = [&lexer](char ch) {
  88. if (lexer.peek() != ch)
  89. warnln("assert_specific: wanted '{}', but got '{}' at index {}", ch, lexer.peek(), lexer.tell());
  90. bool saw_expected = lexer.consume_specific(ch);
  91. VERIFY(saw_expected);
  92. };
  93. auto consume_whitespace = [&lexer] {
  94. lexer.ignore_while([](char ch) { return isspace(ch); });
  95. if (lexer.peek() == '/' && lexer.peek(1) == '/')
  96. lexer.ignore_until('\n');
  97. };
  98. auto parse_parameter_type = [&]() {
  99. ByteString parameter_type = lexer.consume_until([](char ch) { return ch == '<' || isspace(ch); });
  100. if (lexer.peek() == '<') {
  101. lexer.consume();
  102. StringBuilder builder;
  103. builder.append(parameter_type);
  104. builder.append('<');
  105. auto nesting_level = 1;
  106. while (nesting_level > 0) {
  107. auto inner_type = lexer.consume_until([](char ch) { return ch == '<' || ch == '>'; });
  108. if (lexer.is_eof()) {
  109. warnln("Unexpected EOF when parsing parameter type");
  110. VERIFY_NOT_REACHED();
  111. }
  112. builder.append(inner_type);
  113. if (lexer.peek() == '<') {
  114. nesting_level++;
  115. } else if (lexer.peek() == '>') {
  116. nesting_level--;
  117. }
  118. builder.append(lexer.consume());
  119. }
  120. parameter_type = builder.to_byte_string();
  121. }
  122. return parameter_type;
  123. };
  124. auto parse_parameter = [&](Vector<Parameter>& storage, StringView message_name) {
  125. for (auto parameter_index = 1;; ++parameter_index) {
  126. Parameter parameter;
  127. if (lexer.is_eof()) {
  128. warnln("EOF when parsing parameter");
  129. VERIFY_NOT_REACHED();
  130. }
  131. consume_whitespace();
  132. if (lexer.peek() == ')')
  133. break;
  134. if (lexer.consume_specific('[')) {
  135. for (;;) {
  136. if (lexer.consume_specific(']')) {
  137. consume_whitespace();
  138. break;
  139. }
  140. if (lexer.consume_specific(',')) {
  141. consume_whitespace();
  142. }
  143. auto attribute = lexer.consume_until([](char ch) { return ch == ']' || ch == ','; });
  144. parameter.attributes.append(attribute);
  145. consume_whitespace();
  146. }
  147. }
  148. parameter.type = parse_parameter_type();
  149. if (parameter.type.ends_with(',') || parameter.type.ends_with(')')) {
  150. warnln("Parameter {} of method: {} must be named", parameter_index, message_name);
  151. VERIFY_NOT_REACHED();
  152. }
  153. VERIFY(!lexer.is_eof());
  154. consume_whitespace();
  155. parameter.name = lexer.consume_until([](char ch) { return isspace(ch) || ch == ',' || ch == ')'; });
  156. consume_whitespace();
  157. storage.append(move(parameter));
  158. if (lexer.consume_specific(','))
  159. continue;
  160. if (lexer.peek() == ')')
  161. break;
  162. }
  163. };
  164. auto parse_parameters = [&](Vector<Parameter>& storage, StringView message_name) {
  165. for (;;) {
  166. consume_whitespace();
  167. parse_parameter(storage, message_name);
  168. consume_whitespace();
  169. if (lexer.consume_specific(','))
  170. continue;
  171. if (lexer.peek() == ')')
  172. break;
  173. }
  174. };
  175. auto parse_message = [&] {
  176. Message message;
  177. consume_whitespace();
  178. message.name = lexer.consume_until([](char ch) { return isspace(ch) || ch == '('; });
  179. consume_whitespace();
  180. assert_specific('(');
  181. parse_parameters(message.inputs, message.name);
  182. assert_specific(')');
  183. consume_whitespace();
  184. assert_specific('=');
  185. auto type = lexer.consume();
  186. if (type == '>')
  187. message.is_synchronous = true;
  188. else if (type == '|')
  189. message.is_synchronous = false;
  190. else
  191. VERIFY_NOT_REACHED();
  192. consume_whitespace();
  193. if (message.is_synchronous) {
  194. assert_specific('(');
  195. parse_parameters(message.outputs, message.name);
  196. assert_specific(')');
  197. }
  198. consume_whitespace();
  199. endpoints.last().messages.append(move(message));
  200. };
  201. auto parse_messages = [&] {
  202. for (;;) {
  203. consume_whitespace();
  204. if (lexer.peek() == '}')
  205. break;
  206. parse_message();
  207. consume_whitespace();
  208. }
  209. };
  210. auto parse_include = [&] {
  211. ByteString include;
  212. consume_whitespace();
  213. include = lexer.consume_while([](char ch) { return ch != '\n'; });
  214. consume_whitespace();
  215. endpoints.last().includes.append(move(include));
  216. };
  217. auto parse_includes = [&] {
  218. for (;;) {
  219. consume_whitespace();
  220. if (lexer.peek() != '#')
  221. break;
  222. parse_include();
  223. consume_whitespace();
  224. }
  225. };
  226. auto parse_endpoint = [&] {
  227. endpoints.empend();
  228. consume_whitespace();
  229. parse_includes();
  230. consume_whitespace();
  231. lexer.consume_specific("endpoint"sv);
  232. consume_whitespace();
  233. endpoints.last().name = lexer.consume_while([](char ch) { return !isspace(ch); });
  234. endpoints.last().magic = Traits<ByteString>::hash(endpoints.last().name);
  235. consume_whitespace();
  236. assert_specific('{');
  237. parse_messages();
  238. assert_specific('}');
  239. consume_whitespace();
  240. };
  241. while (lexer.tell() < file_contents.size())
  242. parse_endpoint();
  243. return endpoints;
  244. }
  245. HashMap<ByteString, int> build_message_ids_for_endpoint(SourceGenerator generator, Endpoint const& endpoint)
  246. {
  247. HashMap<ByteString, int> message_ids;
  248. generator.appendln("\nenum class MessageID : i32 {");
  249. for (auto const& message : endpoint.messages) {
  250. message_ids.set(message.name, message_ids.size() + 1);
  251. generator.set("message.pascal_name", pascal_case(message.name));
  252. generator.set("message.id", ByteString::number(message_ids.size()));
  253. generator.appendln(" @message.pascal_name@ = @message.id@,");
  254. if (message.is_synchronous) {
  255. message_ids.set(message.response_name(), message_ids.size() + 1);
  256. generator.set("message.pascal_name", pascal_case(message.response_name()));
  257. generator.set("message.id", ByteString::number(message_ids.size()));
  258. generator.appendln(" @message.pascal_name@ = @message.id@,");
  259. }
  260. }
  261. generator.appendln("};");
  262. return message_ids;
  263. }
  264. ByteString constructor_for_message(ByteString const& name, Vector<Parameter> const& parameters)
  265. {
  266. StringBuilder builder;
  267. builder.append(name);
  268. if (parameters.is_empty()) {
  269. builder.append("() {}"sv);
  270. return builder.to_byte_string();
  271. }
  272. builder.append('(');
  273. for (size_t i = 0; i < parameters.size(); ++i) {
  274. auto const& parameter = parameters[i];
  275. builder.appendff("{} {}", parameter.type, parameter.name);
  276. if (i != parameters.size() - 1)
  277. builder.append(", "sv);
  278. }
  279. builder.append(") : "sv);
  280. for (size_t i = 0; i < parameters.size(); ++i) {
  281. auto const& parameter = parameters[i];
  282. builder.appendff("m_{}(move({}))", parameter.name, parameter.name);
  283. if (i != parameters.size() - 1)
  284. builder.append(", "sv);
  285. }
  286. builder.append(" {}"sv);
  287. return builder.to_byte_string();
  288. }
  289. void do_message(SourceGenerator message_generator, ByteString const& name, Vector<Parameter> const& parameters, ByteString const& response_type = {})
  290. {
  291. auto pascal_name = pascal_case(name);
  292. message_generator.set("message.name", name);
  293. message_generator.set("message.pascal_name", pascal_name);
  294. message_generator.set("message.response_type", response_type);
  295. message_generator.set("message.constructor", constructor_for_message(pascal_name, parameters));
  296. message_generator.appendln(R"~~~(
  297. class @message.pascal_name@ final : public IPC::Message {
  298. public:)~~~");
  299. if (!response_type.is_empty())
  300. message_generator.appendln(R"~~~(
  301. typedef class @message.response_type@ ResponseType;)~~~");
  302. message_generator.appendln(R"~~~(
  303. @message.pascal_name@(decltype(nullptr)) : m_ipc_message_valid(false) { }
  304. @message.pascal_name@(@message.pascal_name@ const&) = default;
  305. @message.pascal_name@(@message.pascal_name@&&) = default;
  306. @message.pascal_name@& operator=(@message.pascal_name@ const&) = default;
  307. @message.constructor@)~~~");
  308. if (parameters.size() == 1) {
  309. auto const& parameter = parameters[0];
  310. message_generator.set("parameter.type"sv, parameter.type);
  311. message_generator.set("parameter.name"sv, parameter.name);
  312. message_generator.appendln(R"~~~(
  313. template <typename WrappedReturnType>
  314. requires(!SameAs<WrappedReturnType, @parameter.type@>)
  315. @message.pascal_name@(WrappedReturnType&& value)
  316. : m_@parameter.name@(forward<WrappedReturnType>(value))
  317. {
  318. })~~~");
  319. }
  320. message_generator.appendln(R"~~~(
  321. virtual ~@message.pascal_name@() override {}
  322. virtual u32 endpoint_magic() const override { return @endpoint.magic@; }
  323. virtual i32 message_id() const override { return (int)MessageID::@message.pascal_name@; }
  324. static i32 static_message_id() { return (int)MessageID::@message.pascal_name@; }
  325. virtual const char* message_name() const override { return "@endpoint.name@::@message.pascal_name@"; }
  326. static ErrorOr<NonnullOwnPtr<@message.pascal_name@>> decode(Stream& stream, Queue<IPC::File>& files)
  327. {
  328. IPC::Decoder decoder { stream, files };)~~~");
  329. for (auto const& parameter : parameters) {
  330. auto parameter_generator = message_generator.fork();
  331. parameter_generator.set("parameter.type", parameter.type);
  332. parameter_generator.set("parameter.name", parameter.name);
  333. if (parameter.type == "bool")
  334. parameter_generator.set("parameter.initial_value", "false");
  335. else
  336. parameter_generator.set("parameter.initial_value", "{}");
  337. parameter_generator.appendln(R"~~~(
  338. auto @parameter.name@ = TRY((decoder.decode<@parameter.type@>()));)~~~");
  339. if (parameter.attributes.contains_slow("UTF8")) {
  340. parameter_generator.appendln(R"~~~(
  341. if (!Utf8View(@parameter.name@).validate())
  342. return Error::from_string_literal("Decoded @parameter.name@ is invalid UTF-8");)~~~");
  343. }
  344. }
  345. StringBuilder builder;
  346. for (size_t i = 0; i < parameters.size(); ++i) {
  347. auto const& parameter = parameters[i];
  348. builder.appendff("move({})", parameter.name);
  349. if (i != parameters.size() - 1)
  350. builder.append(", "sv);
  351. }
  352. message_generator.set("message.constructor_call_parameters", builder.to_byte_string());
  353. message_generator.appendln(R"~~~(
  354. return make<@message.pascal_name@>(@message.constructor_call_parameters@);
  355. })~~~");
  356. message_generator.appendln(R"~~~(
  357. virtual bool valid() const override { return m_ipc_message_valid; }
  358. virtual ErrorOr<IPC::MessageBuffer> encode() const override
  359. {
  360. VERIFY(valid());
  361. IPC::MessageBuffer buffer;
  362. IPC::Encoder stream(buffer);
  363. TRY(stream.encode(endpoint_magic()));
  364. TRY(stream.encode((int)MessageID::@message.pascal_name@));)~~~");
  365. for (auto const& parameter : parameters) {
  366. auto parameter_generator = message_generator.fork();
  367. parameter_generator.set("parameter.name", parameter.name);
  368. parameter_generator.appendln(R"~~~(
  369. TRY(stream.encode(m_@parameter.name@));)~~~");
  370. }
  371. message_generator.appendln(R"~~~(
  372. return buffer;
  373. })~~~");
  374. for (auto const& parameter : parameters) {
  375. auto parameter_generator = message_generator.fork();
  376. parameter_generator.set("parameter.type", parameter.type);
  377. parameter_generator.set("parameter.name", parameter.name);
  378. parameter_generator.appendln(R"~~~(
  379. const @parameter.type@& @parameter.name@() const { return m_@parameter.name@; }
  380. @parameter.type@ take_@parameter.name@() { return move(m_@parameter.name@); })~~~");
  381. }
  382. message_generator.appendln(R"~~~(
  383. private:
  384. bool m_ipc_message_valid { true };)~~~");
  385. for (auto const& parameter : parameters) {
  386. auto parameter_generator = message_generator.fork();
  387. parameter_generator.set("parameter.type", parameter.type);
  388. parameter_generator.set("parameter.name", parameter.name);
  389. parameter_generator.appendln(R"~~~(
  390. @parameter.type@ m_@parameter.name@ {};)~~~");
  391. }
  392. message_generator.appendln("\n};");
  393. }
  394. void do_message_for_proxy(SourceGenerator message_generator, Endpoint const& endpoint, Message const& message)
  395. {
  396. auto do_implement_proxy = [&](ByteString const& name, Vector<Parameter> const& parameters, bool is_synchronous, bool is_try) {
  397. ByteString return_type = "void";
  398. if (is_synchronous) {
  399. if (message.outputs.size() == 1)
  400. return_type = message.outputs[0].type;
  401. else if (!message.outputs.is_empty())
  402. return_type = message_name(endpoint.name, message.name, true);
  403. }
  404. ByteString inner_return_type = return_type;
  405. if (is_try)
  406. return_type = ByteString::formatted("IPC::IPCErrorOr<{}>", return_type);
  407. message_generator.set("message.name", message.name);
  408. message_generator.set("message.pascal_name", pascal_case(message.name));
  409. message_generator.set("message.complex_return_type", return_type);
  410. message_generator.set("async_prefix_maybe", is_synchronous ? "" : "async_");
  411. message_generator.set("try_prefix_maybe", is_try ? "try_" : "");
  412. message_generator.set("handler_name", name);
  413. message_generator.appendln(R"~~~(
  414. @message.complex_return_type@ @try_prefix_maybe@@async_prefix_maybe@@handler_name@()~~~");
  415. for (size_t i = 0; i < parameters.size(); ++i) {
  416. auto const& parameter = parameters[i];
  417. auto argument_generator = message_generator.fork();
  418. argument_generator.set("argument.type", parameter.type);
  419. argument_generator.set("argument.name", parameter.name);
  420. argument_generator.append("@argument.type@ @argument.name@");
  421. if (i != parameters.size() - 1)
  422. argument_generator.append(", ");
  423. }
  424. message_generator.append(") {");
  425. if (is_synchronous && !is_try) {
  426. if (return_type != "void") {
  427. message_generator.append(R"~~~(
  428. return )~~~");
  429. if (message.outputs.size() != 1)
  430. message_generator.append("move(*");
  431. } else {
  432. message_generator.append(R"~~~(
  433. (void) )~~~");
  434. }
  435. message_generator.append("m_connection.template send_sync<Messages::@endpoint.name@::@message.pascal_name@>(");
  436. } else if (is_try) {
  437. message_generator.append(R"~~~(
  438. auto result = m_connection.template send_sync_but_allow_failure<Messages::@endpoint.name@::@message.pascal_name@>()~~~");
  439. } else {
  440. message_generator.append(R"~~~(
  441. // FIXME: Handle post_message failures.
  442. (void) m_connection.post_message(Messages::@endpoint.name@::@message.pascal_name@ { )~~~");
  443. }
  444. for (size_t i = 0; i < parameters.size(); ++i) {
  445. auto const& parameter = parameters[i];
  446. auto argument_generator = message_generator.fork();
  447. argument_generator.set("argument.name", parameter.name);
  448. if (is_primitive_or_simple_type(parameters[i].type))
  449. argument_generator.append("@argument.name@");
  450. else
  451. argument_generator.append("move(@argument.name@)");
  452. if (i != parameters.size() - 1)
  453. argument_generator.append(", ");
  454. }
  455. if (is_synchronous && !is_try) {
  456. if (return_type != "void") {
  457. message_generator.append(")");
  458. }
  459. if (message.outputs.size() == 1) {
  460. message_generator.append("->take_");
  461. message_generator.append(message.outputs[0].name);
  462. message_generator.append("()");
  463. } else
  464. message_generator.append(")");
  465. message_generator.append(";");
  466. } else if (is_try) {
  467. message_generator.append(R"~~~();
  468. if (!result) {
  469. m_connection.shutdown();
  470. return IPC::ErrorCode::PeerDisconnected;
  471. })~~~");
  472. if (inner_return_type != "void") {
  473. message_generator.appendln(R"~~~(
  474. return move(*result);)~~~");
  475. } else {
  476. message_generator.appendln(R"~~~(
  477. return { };)~~~");
  478. }
  479. } else {
  480. message_generator.appendln(" });");
  481. }
  482. message_generator.appendln(R"~~~(
  483. })~~~");
  484. };
  485. do_implement_proxy(message.name, message.inputs, message.is_synchronous, false);
  486. if (message.is_synchronous) {
  487. do_implement_proxy(message.name, message.inputs, false, false);
  488. do_implement_proxy(message.name, message.inputs, true, true);
  489. }
  490. }
  491. void build_endpoint(SourceGenerator generator, Endpoint const& endpoint)
  492. {
  493. generator.set("endpoint.name", endpoint.name);
  494. generator.set("endpoint.magic", ByteString::number(endpoint.magic));
  495. generator.appendln("\nnamespace Messages::@endpoint.name@ {");
  496. HashMap<ByteString, int> message_ids = build_message_ids_for_endpoint(generator.fork(), endpoint);
  497. for (auto const& message : endpoint.messages) {
  498. ByteString response_name;
  499. if (message.is_synchronous) {
  500. response_name = message.response_name();
  501. do_message(generator.fork(), response_name, message.outputs);
  502. }
  503. do_message(generator.fork(), message.name, message.inputs, response_name);
  504. }
  505. generator.appendln(R"~~~(
  506. } // namespace Messages::@endpoint.name@
  507. template<typename LocalEndpoint, typename PeerEndpoint>
  508. class @endpoint.name@Proxy {
  509. public:
  510. // Used to disambiguate the constructor call.
  511. struct Tag { };
  512. @endpoint.name@Proxy(IPC::Connection<LocalEndpoint, PeerEndpoint>& connection, Tag)
  513. : m_connection(connection)
  514. { })~~~");
  515. for (auto const& message : endpoint.messages)
  516. do_message_for_proxy(generator.fork(), endpoint, message);
  517. generator.appendln(R"~~~(
  518. private:
  519. IPC::Connection<LocalEndpoint, PeerEndpoint>& m_connection;
  520. };)~~~");
  521. generator.append(R"~~~(
  522. template<typename LocalEndpoint, typename PeerEndpoint>
  523. class @endpoint.name@Proxy;
  524. class @endpoint.name@Stub;
  525. class @endpoint.name@Endpoint {
  526. public:
  527. template<typename LocalEndpoint>
  528. using Proxy = @endpoint.name@Proxy<LocalEndpoint, @endpoint.name@Endpoint>;
  529. using Stub = @endpoint.name@Stub;
  530. static u32 static_magic() { return @endpoint.magic@; }
  531. static ErrorOr<NonnullOwnPtr<IPC::Message>> decode_message(ReadonlyBytes buffer, [[maybe_unused]] Queue<IPC::File>& files)
  532. {
  533. FixedMemoryStream stream { buffer };
  534. auto message_endpoint_magic = TRY(stream.read_value<u32>());)~~~");
  535. generator.append(R"~~~(
  536. if (message_endpoint_magic != @endpoint.magic@) {)~~~");
  537. if constexpr (GENERATE_DEBUG) {
  538. generator.append(R"~~~(
  539. dbgln("@endpoint.name@: Endpoint magic number message_endpoint_magic != @endpoint.magic@, not my message! (the other endpoint may have handled it)");)~~~");
  540. }
  541. generator.appendln(R"~~~(
  542. return Error::from_string_literal("Endpoint magic number mismatch, not my message!");
  543. }
  544. auto message_id = TRY(stream.read_value<i32>());)~~~");
  545. generator.appendln(R"~~~(
  546. switch (message_id) {)~~~");
  547. for (auto const& message : endpoint.messages) {
  548. auto do_decode_message = [&](ByteString const& name) {
  549. auto message_generator = generator.fork();
  550. message_generator.set("message.name", name);
  551. message_generator.set("message.pascal_name", pascal_case(name));
  552. message_generator.append(R"~~~(
  553. case (int)Messages::@endpoint.name@::MessageID::@message.pascal_name@:
  554. return TRY(Messages::@endpoint.name@::@message.pascal_name@::decode(stream, files));)~~~");
  555. };
  556. do_decode_message(message.name);
  557. if (message.is_synchronous)
  558. do_decode_message(message.response_name());
  559. }
  560. generator.append(R"~~~(
  561. default:)~~~");
  562. if constexpr (GENERATE_DEBUG) {
  563. generator.append(R"~~~(
  564. dbgln("Failed to decode @endpoint.name@.({})", message_id);)~~~");
  565. }
  566. generator.appendln(R"~~~(
  567. return Error::from_string_literal("Failed to decode @endpoint.name@ message");
  568. })~~~");
  569. generator.appendln(R"~~~(
  570. VERIFY_NOT_REACHED();
  571. }
  572. };
  573. class @endpoint.name@Stub : public IPC::Stub {
  574. public:
  575. @endpoint.name@Stub() { }
  576. virtual ~@endpoint.name@Stub() override { }
  577. virtual u32 magic() const override { return @endpoint.magic@; }
  578. virtual ByteString name() const override { return "@endpoint.name@"; }
  579. virtual ErrorOr<OwnPtr<IPC::MessageBuffer>> handle(const IPC::Message& message) override
  580. {
  581. switch (message.message_id()) {)~~~");
  582. for (auto const& message : endpoint.messages) {
  583. auto do_handle_message = [&](ByteString const& name, Vector<Parameter> const& parameters, bool returns_something) {
  584. auto message_generator = generator.fork();
  585. StringBuilder argument_generator;
  586. for (size_t i = 0; i < parameters.size(); ++i) {
  587. auto const& parameter = parameters[i];
  588. argument_generator.append("request."sv);
  589. argument_generator.append(parameter.name);
  590. argument_generator.append("()"sv);
  591. if (i != parameters.size() - 1)
  592. argument_generator.append(", "sv);
  593. }
  594. message_generator.set("message.pascal_name", pascal_case(name));
  595. message_generator.set("message.response_type", pascal_case(message.response_name()));
  596. message_generator.set("handler_name", name);
  597. message_generator.set("arguments", argument_generator.to_byte_string());
  598. message_generator.appendln(R"~~~(
  599. case (int)Messages::@endpoint.name@::MessageID::@message.pascal_name@: {)~~~");
  600. if (returns_something) {
  601. if (message.outputs.is_empty()) {
  602. message_generator.appendln(R"~~~(
  603. [[maybe_unused]] auto& request = static_cast<const Messages::@endpoint.name@::@message.pascal_name@&>(message);
  604. @handler_name@(@arguments@);
  605. auto response = Messages::@endpoint.name@::@message.response_type@ { };
  606. return make<IPC::MessageBuffer>(TRY(response.encode()));)~~~");
  607. } else {
  608. message_generator.appendln(R"~~~(
  609. [[maybe_unused]] auto& request = static_cast<const Messages::@endpoint.name@::@message.pascal_name@&>(message);
  610. auto response = @handler_name@(@arguments@);
  611. if (!response.valid())
  612. return Error::from_string_literal("Failed to handle @endpoint.name@::@message.pascal_name@ message");
  613. return make<IPC::MessageBuffer>(TRY(response.encode()));)~~~");
  614. }
  615. } else {
  616. message_generator.appendln(R"~~~(
  617. [[maybe_unused]] auto& request = static_cast<const Messages::@endpoint.name@::@message.pascal_name@&>(message);
  618. @handler_name@(@arguments@);
  619. return nullptr;)~~~");
  620. }
  621. message_generator.appendln(R"~~~(
  622. })~~~");
  623. };
  624. do_handle_message(message.name, message.inputs, message.is_synchronous);
  625. }
  626. generator.appendln(R"~~~(
  627. default:
  628. return Error::from_string_literal("Unknown message ID for @endpoint.name@ endpoint");
  629. }
  630. })~~~");
  631. for (auto const& message : endpoint.messages) {
  632. auto message_generator = generator.fork();
  633. auto do_handle_message_decl = [&](ByteString const& name, Vector<Parameter> const& parameters, bool is_response) {
  634. ByteString return_type = "void";
  635. if (message.is_synchronous && !message.outputs.is_empty() && !is_response)
  636. return_type = message_name(endpoint.name, message.name, true);
  637. message_generator.set("message.complex_return_type", return_type);
  638. message_generator.set("handler_name", name);
  639. message_generator.appendln(R"~~~(
  640. virtual @message.complex_return_type@ @handler_name@()~~~");
  641. auto make_argument_type = [](ByteString const& type) {
  642. StringBuilder builder;
  643. bool const_ref = !is_primitive_or_simple_type(type);
  644. builder.append(type);
  645. if (const_ref)
  646. builder.append(" const&"sv);
  647. return builder.to_byte_string();
  648. };
  649. for (size_t i = 0; i < parameters.size(); ++i) {
  650. auto const& parameter = parameters[i];
  651. auto argument_generator = message_generator.fork();
  652. argument_generator.set("argument.type", make_argument_type(parameter.type));
  653. argument_generator.set("argument.name", parameter.name);
  654. argument_generator.append("[[maybe_unused]] @argument.type@ @argument.name@");
  655. if (i != parameters.size() - 1)
  656. argument_generator.append(", ");
  657. }
  658. if (is_response) {
  659. message_generator.append(") { };");
  660. } else {
  661. message_generator.appendln(") = 0;");
  662. }
  663. };
  664. do_handle_message_decl(message.name, message.inputs, false);
  665. }
  666. generator.appendln(R"~~~(
  667. private:
  668. };
  669. #if defined(AK_COMPILER_CLANG)
  670. #pragma clang diagnostic pop
  671. #endif)~~~");
  672. }
  673. void build(StringBuilder& builder, Vector<Endpoint> const& endpoints)
  674. {
  675. SourceGenerator generator { builder };
  676. generator.appendln("#pragma once");
  677. // This must occur before LibIPC/Decoder.h
  678. for (auto const& endpoint : endpoints) {
  679. for (auto const& include : endpoint.includes) {
  680. generator.appendln(include);
  681. }
  682. }
  683. generator.appendln(R"~~~(#include <AK/Error.h>
  684. #include <AK/MemoryStream.h>
  685. #include <AK/OwnPtr.h>
  686. #include <AK/Result.h>
  687. #include <AK/Utf8View.h>
  688. #include <LibIPC/Connection.h>
  689. #include <LibIPC/Decoder.h>
  690. #include <LibIPC/Encoder.h>
  691. #include <LibIPC/File.h>
  692. #include <LibIPC/Message.h>
  693. #include <LibIPC/Stub.h>
  694. #if defined(AK_COMPILER_CLANG)
  695. #pragma clang diagnostic push
  696. #pragma clang diagnostic ignored "-Wdefaulted-function-deleted"
  697. #endif)~~~");
  698. for (auto const& endpoint : endpoints)
  699. build_endpoint(generator.fork(), endpoint);
  700. }
  701. } // end anonymous namespace
  702. ErrorOr<int> serenity_main(Main::Arguments arguments)
  703. {
  704. StringView ipc_file;
  705. StringView output_file = "-"sv;
  706. Core::ArgsParser parser;
  707. parser.add_positional_argument(ipc_file, "IPC endpoint definition file", "input");
  708. parser.add_option(output_file, "Place to write file", "output", 'o', "output-file");
  709. parser.parse(arguments);
  710. auto output = TRY(Core::File::open_file_or_standard_stream(output_file, Core::File::OpenMode::Write));
  711. auto file = TRY(Core::File::open(ipc_file, Core::File::OpenMode::Read));
  712. auto file_contents = TRY(file->read_until_eof());
  713. auto endpoints = parse(file_contents);
  714. StringBuilder builder;
  715. build(builder, endpoints);
  716. TRY(output->write_until_depleted(builder.string_view().bytes()));
  717. if constexpr (GENERATE_DEBUG) {
  718. for (auto& endpoint : endpoints) {
  719. warnln("Endpoint '{}' (magic: {})", endpoint.name, endpoint.magic);
  720. for (auto& message : endpoint.messages) {
  721. warnln(" Message: '{}'", message.name);
  722. warnln(" Sync: {}", message.is_synchronous);
  723. warnln(" Inputs:");
  724. for (auto& parameter : message.inputs)
  725. warnln(" Parameter: {} ({})", parameter.name, parameter.type);
  726. if (message.inputs.is_empty())
  727. warnln(" (none)");
  728. if (message.is_synchronous) {
  729. warnln(" Outputs:");
  730. for (auto& parameter : message.outputs)
  731. warnln(" Parameter: {} ({})", parameter.name, parameter.type);
  732. if (message.outputs.is_empty())
  733. warnln(" (none)");
  734. }
  735. }
  736. }
  737. }
  738. return 0;
  739. }