main.cpp 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614
  1. /*
  2. * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
  3. * All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions are met:
  7. *
  8. * 1. Redistributions of source code must retain the above copyright notice, this
  9. * list of conditions and the following disclaimer.
  10. *
  11. * 2. Redistributions in binary form must reproduce the above copyright notice,
  12. * this list of conditions and the following disclaimer in the documentation
  13. * and/or other materials provided with the distribution.
  14. *
  15. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  16. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18. * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  19. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21. * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  23. * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25. */
  26. #include <AK/ByteBuffer.h>
  27. #include <AK/Function.h>
  28. #include <AK/GenericLexer.h>
  29. #include <AK/HashMap.h>
  30. #include <AK/SourceGenerator.h>
  31. #include <AK/StringBuilder.h>
  32. #include <LibCore/File.h>
  33. #include <ctype.h>
  34. #include <stdio.h>
  35. //#define GENERATE_DEBUG_CODE
  36. struct Parameter {
  37. Vector<String> attributes;
  38. String type;
  39. String name;
  40. };
  41. struct Message {
  42. String name;
  43. bool is_synchronous { false };
  44. Vector<Parameter> inputs;
  45. Vector<Parameter> outputs;
  46. String response_name() const
  47. {
  48. StringBuilder builder;
  49. builder.append(name);
  50. builder.append("Response");
  51. return builder.to_string();
  52. }
  53. };
  54. struct Endpoint {
  55. String name;
  56. int magic;
  57. Vector<Message> messages;
  58. };
  59. int main(int argc, char** argv)
  60. {
  61. if (argc != 2) {
  62. outln("usage: {} <IPC endpoint definition file>", argv[0]);
  63. return 0;
  64. }
  65. auto file = Core::File::construct(argv[1]);
  66. if (!file->open(Core::IODevice::ReadOnly)) {
  67. warnln("Error: Cannot open {}: {}", argv[1], file->error_string());
  68. return 1;
  69. }
  70. auto file_contents = file->read_all();
  71. GenericLexer lexer(file_contents);
  72. Vector<Endpoint> endpoints;
  73. auto assert_specific = [&](char ch) {
  74. if (lexer.peek() != ch)
  75. warnln("assert_specific: wanted '{}', but got '{}' at index {}", ch, lexer.peek(), lexer.tell());
  76. bool saw_expected = lexer.consume_specific(ch);
  77. ASSERT(saw_expected);
  78. };
  79. auto consume_whitespace = [&] {
  80. lexer.ignore_while([](char ch) { return isspace(ch); });
  81. if (lexer.peek() == '/' && lexer.peek(1) == '/')
  82. lexer.ignore_until([](char ch) { return ch == '\n'; });
  83. };
  84. auto parse_parameter = [&](Vector<Parameter>& storage) {
  85. for (;;) {
  86. Parameter parameter;
  87. consume_whitespace();
  88. if (lexer.peek() == ')')
  89. break;
  90. if (lexer.consume_specific('[')) {
  91. for (;;) {
  92. if (lexer.consume_specific(']')) {
  93. consume_whitespace();
  94. break;
  95. }
  96. if (lexer.consume_specific(',')) {
  97. consume_whitespace();
  98. }
  99. auto attribute = lexer.consume_until([](char ch) { return ch == ']' || ch == ','; });
  100. parameter.attributes.append(attribute);
  101. consume_whitespace();
  102. }
  103. }
  104. parameter.type = lexer.consume_until([](char ch) { return isspace(ch); });
  105. consume_whitespace();
  106. parameter.name = lexer.consume_until([](char ch) { return isspace(ch) || ch == ',' || ch == ')'; });
  107. consume_whitespace();
  108. storage.append(move(parameter));
  109. if (lexer.consume_specific(','))
  110. continue;
  111. if (lexer.peek() == ')')
  112. break;
  113. }
  114. };
  115. auto parse_parameters = [&](Vector<Parameter>& storage) {
  116. for (;;) {
  117. consume_whitespace();
  118. parse_parameter(storage);
  119. consume_whitespace();
  120. if (lexer.consume_specific(','))
  121. continue;
  122. if (lexer.peek() == ')')
  123. break;
  124. }
  125. };
  126. auto parse_message = [&] {
  127. Message message;
  128. consume_whitespace();
  129. message.name = lexer.consume_until([](char ch) { return isspace(ch) || ch == '('; });
  130. consume_whitespace();
  131. assert_specific('(');
  132. parse_parameters(message.inputs);
  133. assert_specific(')');
  134. consume_whitespace();
  135. assert_specific('=');
  136. auto type = lexer.consume();
  137. if (type == '>')
  138. message.is_synchronous = true;
  139. else if (type == '|')
  140. message.is_synchronous = false;
  141. else
  142. ASSERT_NOT_REACHED();
  143. consume_whitespace();
  144. if (message.is_synchronous) {
  145. assert_specific('(');
  146. parse_parameters(message.outputs);
  147. assert_specific(')');
  148. }
  149. consume_whitespace();
  150. endpoints.last().messages.append(move(message));
  151. };
  152. auto parse_messages = [&] {
  153. for (;;) {
  154. consume_whitespace();
  155. parse_message();
  156. consume_whitespace();
  157. if (lexer.peek() == '}')
  158. break;
  159. }
  160. };
  161. auto parse_endpoint = [&] {
  162. endpoints.empend();
  163. consume_whitespace();
  164. lexer.consume_specific("endpoint");
  165. consume_whitespace();
  166. endpoints.last().name = lexer.consume_while([](char ch) { return !isspace(ch); });
  167. consume_whitespace();
  168. assert_specific('=');
  169. consume_whitespace();
  170. auto magic_string = lexer.consume_while([](char ch) { return !isspace(ch) && ch != '{'; });
  171. endpoints.last().magic = magic_string.to_int().value();
  172. consume_whitespace();
  173. assert_specific('{');
  174. parse_messages();
  175. assert_specific('}');
  176. consume_whitespace();
  177. };
  178. while (lexer.tell() < file_contents.size())
  179. parse_endpoint();
  180. StringBuilder builder;
  181. SourceGenerator generator { builder };
  182. generator.append(R"~~~(
  183. #pragma once
  184. #include <AK/MemoryStream.h>
  185. #include <AK/OwnPtr.h>
  186. #include <AK/URL.h>
  187. #include <AK/Utf8View.h>
  188. #include <LibGfx/Color.h>
  189. #include <LibGfx/Rect.h>
  190. #include <LibGfx/ShareableBitmap.h>
  191. #include <LibIPC/Decoder.h>
  192. #include <LibIPC/Dictionary.h>
  193. #include <LibIPC/Encoder.h>
  194. #include <LibIPC/Endpoint.h>
  195. #include <LibIPC/Message.h>
  196. )~~~");
  197. for (auto& endpoint : endpoints) {
  198. auto endpoint_generator = generator.fork();
  199. endpoint_generator.set("endpoint.name", endpoint.name);
  200. endpoint_generator.set("endpoint.magic", String::number(endpoint.magic));
  201. endpoint_generator.append(R"~~~(
  202. namespace Messages::@endpoint.name@ {
  203. )~~~");
  204. HashMap<String, int> message_ids;
  205. endpoint_generator.append(R"~~~(
  206. enum class MessageID : i32 {
  207. )~~~");
  208. for (auto& message : endpoint.messages) {
  209. auto message_generator = endpoint_generator.fork();
  210. message_ids.set(message.name, message_ids.size() + 1);
  211. message_generator.set("message.name", message.name);
  212. message_generator.set("message.id", String::number(message_ids.size()));
  213. message_generator.append(R"~~~(
  214. @message.name@ = @message.id@,
  215. )~~~");
  216. if (message.is_synchronous) {
  217. message_ids.set(message.response_name(), message_ids.size() + 1);
  218. message_generator.set("message.name", message.response_name());
  219. message_generator.set("message.id", String::number(message_ids.size()));
  220. message_generator.append(R"~~~(
  221. @message.name@ = @message.id@,
  222. )~~~");
  223. }
  224. }
  225. endpoint_generator.append(R"~~~(
  226. };
  227. )~~~");
  228. auto constructor_for_message = [&](const String& name, const Vector<Parameter>& parameters) {
  229. StringBuilder builder;
  230. builder.append(name);
  231. if (parameters.is_empty()) {
  232. builder.append("() {}");
  233. return builder.to_string();
  234. }
  235. builder.append('(');
  236. for (size_t i = 0; i < parameters.size(); ++i) {
  237. auto& parameter = parameters[i];
  238. builder.append("const ");
  239. builder.append(parameter.type);
  240. builder.append("& ");
  241. builder.append(parameter.name);
  242. if (i != parameters.size() - 1)
  243. builder.append(", ");
  244. }
  245. builder.append(") : ");
  246. for (size_t i = 0; i < parameters.size(); ++i) {
  247. auto& parameter = parameters[i];
  248. builder.append("m_");
  249. builder.append(parameter.name);
  250. builder.append("(");
  251. builder.append(parameter.name);
  252. builder.append(")");
  253. if (i != parameters.size() - 1)
  254. builder.append(", ");
  255. }
  256. builder.append(" {}");
  257. return builder.to_string();
  258. };
  259. auto do_message = [&](const String& name, const Vector<Parameter>& parameters, const String& response_type = {}) {
  260. auto message_generator = endpoint_generator.fork();
  261. message_generator.set("message.name", name);
  262. message_generator.set("message.response_type", response_type);
  263. message_generator.set("message.constructor", constructor_for_message(name, parameters));
  264. message_generator.append(R"~~~(
  265. class @message.name@ final : public IPC::Message {
  266. public:
  267. )~~~");
  268. if (!response_type.is_null())
  269. message_generator.append(R"~~~(
  270. typedef class @message.response_type@ ResponseType;
  271. )~~~");
  272. message_generator.append(R"~~~(
  273. @message.constructor@
  274. virtual ~@message.name@() override {}
  275. virtual i32 endpoint_magic() const override { return @endpoint.magic@; }
  276. virtual i32 message_id() const override { return (int)MessageID::@message.name@; }
  277. static i32 static_message_id() { return (int)MessageID::@message.name@; }
  278. virtual const char* message_name() const override { return "@endpoint.name@::@message.name@"; }
  279. static OwnPtr<@message.name@> decode(InputMemoryStream& stream, size_t& size_in_bytes)
  280. {
  281. IPC::Decoder decoder {stream};
  282. )~~~");
  283. for (auto& parameter : parameters) {
  284. auto parameter_generator = message_generator.fork();
  285. parameter_generator.set("parameter.type", parameter.type);
  286. parameter_generator.set("parameter.name", parameter.name);
  287. if (parameter.type == "bool")
  288. parameter_generator.set("parameter.initial_value", "false");
  289. else
  290. parameter_generator.set("parameter.initial_value", "{}");
  291. parameter_generator.append(R"~~~(
  292. @parameter.type@ @parameter.name@ = @parameter.initial_value@;
  293. if (!decoder.decode(@parameter.name@))
  294. return nullptr;
  295. )~~~");
  296. if (parameter.attributes.contains_slow("UTF8")) {
  297. parameter_generator.append(R"~~~(
  298. if (!Utf8View(@parameter.name@).validate())
  299. return nullptr;
  300. )~~~");
  301. }
  302. }
  303. StringBuilder builder;
  304. for (size_t i = 0; i < parameters.size(); ++i) {
  305. auto& parameter = parameters[i];
  306. builder.append(parameter.name);
  307. if (i != parameters.size() - 1)
  308. builder.append(", ");
  309. }
  310. message_generator.set("message.constructor_call_parameters", builder.build());
  311. message_generator.append(R"~~~(
  312. size_in_bytes = stream.offset();
  313. return make<@message.name@>(@message.constructor_call_parameters@);
  314. }
  315. )~~~");
  316. message_generator.append(R"~~~(
  317. virtual IPC::MessageBuffer encode() const override
  318. {
  319. IPC::MessageBuffer buffer;
  320. IPC::Encoder stream(buffer);
  321. stream << endpoint_magic();
  322. stream << (int)MessageID::@message.name@;
  323. )~~~");
  324. for (auto& parameter : parameters) {
  325. auto parameter_generator = message_generator.fork();
  326. parameter_generator.set("parameter.name", parameter.name);
  327. parameter_generator.append(R"~~~(
  328. stream << m_@parameter.name@;
  329. )~~~");
  330. }
  331. message_generator.append(R"~~~(
  332. return buffer;
  333. }
  334. )~~~");
  335. for (auto& parameter : parameters) {
  336. auto parameter_generator = message_generator.fork();
  337. parameter_generator.set("parameter.type", parameter.type);
  338. parameter_generator.set("parameter.name", parameter.name);
  339. parameter_generator.append(R"~~~(
  340. const @parameter.type@& @parameter.name@() const { return m_@parameter.name@; }
  341. )~~~");
  342. }
  343. message_generator.append(R"~~~(
  344. private:
  345. )~~~");
  346. for (auto& parameter : parameters) {
  347. auto parameter_generator = message_generator.fork();
  348. parameter_generator.set("parameter.type", parameter.type);
  349. parameter_generator.set("parameter.name", parameter.name);
  350. parameter_generator.append(R"~~~(
  351. @parameter.type@ m_@parameter.name@;
  352. )~~~");
  353. }
  354. message_generator.append(R"~~~(
  355. };
  356. )~~~");
  357. };
  358. for (auto& message : endpoint.messages) {
  359. String response_name;
  360. if (message.is_synchronous) {
  361. response_name = message.response_name();
  362. do_message(response_name, message.outputs);
  363. }
  364. do_message(message.name, message.inputs, response_name);
  365. }
  366. endpoint_generator.append(R"~~~(
  367. } // namespace Messages::@endpoint.name@
  368. )~~~");
  369. endpoint_generator.append(R"~~~(
  370. class @endpoint.name@Endpoint : public IPC::Endpoint {
  371. public:
  372. @endpoint.name@Endpoint() { }
  373. virtual ~@endpoint.name@Endpoint() override { }
  374. static int static_magic() { return @endpoint.magic@; }
  375. virtual int magic() const override { return @endpoint.magic@; }
  376. static String static_name() { return "@endpoint.name@"; }
  377. virtual String name() const override { return "@endpoint.name@"; }
  378. static OwnPtr<IPC::Message> decode_message(const ByteBuffer& buffer, size_t& size_in_bytes)
  379. {
  380. InputMemoryStream stream { buffer };
  381. i32 message_endpoint_magic = 0;
  382. stream >> message_endpoint_magic;
  383. if (stream.handle_any_error()) {
  384. )~~~");
  385. #ifdef GENERATE_DEBUG_CODE
  386. endpoint_generator.append(R"~~~(
  387. dbgln("Failed to read message endpoint magic");
  388. )~~~");
  389. #endif
  390. endpoint_generator.append(R"~~~(
  391. return nullptr;
  392. }
  393. if (message_endpoint_magic != @endpoint.magic@) {
  394. )~~~");
  395. #ifdef GENERATE_DEBUG_CODE
  396. endpoint_generator.append(R"~~~(
  397. dbgln("Endpoint magic number message_endpoint_magic != @endpoint.magic@");
  398. )~~~");
  399. #endif
  400. endpoint_generator.append(R"~~~(
  401. return nullptr;
  402. }
  403. i32 message_id = 0;
  404. stream >> message_id;
  405. if (stream.handle_any_error()) {
  406. )~~~");
  407. #ifdef GENERATE_DEBUG_CODE
  408. endpoint_generator.append(R"~~~(
  409. dbgln("Failed to read message ID");
  410. )~~~");
  411. #endif
  412. endpoint_generator.append(R"~~~(
  413. return nullptr;
  414. }
  415. OwnPtr<IPC::Message> message;
  416. switch (message_id) {
  417. )~~~");
  418. for (auto& message : endpoint.messages) {
  419. auto do_decode_message = [&](const String& name) {
  420. auto message_generator = endpoint_generator.fork();
  421. message_generator.set("message.name", name);
  422. message_generator.append(R"~~~(
  423. case (int)Messages::@endpoint.name@::MessageID::@message.name@:
  424. message = Messages::@endpoint.name@::@message.name@::decode(stream, size_in_bytes);
  425. break;
  426. )~~~");
  427. };
  428. do_decode_message(message.name);
  429. if (message.is_synchronous)
  430. do_decode_message(message.response_name());
  431. }
  432. endpoint_generator.append(R"~~~(
  433. default:
  434. )~~~");
  435. #ifdef GENERATE_DEBUG_CODE
  436. endpoint_generator.append(R"~~~(
  437. dbgln("Failed to decode @endpoint.name@.({})", message_id);
  438. )~~~");
  439. #endif
  440. endpoint_generator.append(R"~~~(
  441. return nullptr;
  442. }
  443. if (stream.handle_any_error()) {
  444. )~~~");
  445. #ifdef GENERATE_DEBUG_CODE
  446. endpoint_generator.append(R"~~~(
  447. dbgln("Failed to read the message");
  448. )~~~");
  449. #endif
  450. endpoint_generator.append(R"~~~(
  451. return nullptr;
  452. }
  453. return message;
  454. }
  455. virtual OwnPtr<IPC::Message> handle(const IPC::Message& message) override
  456. {
  457. switch (message.message_id()) {
  458. )~~~");
  459. for (auto& message : endpoint.messages) {
  460. auto do_decode_message = [&](const String& name, bool returns_something) {
  461. auto message_generator = endpoint_generator.fork();
  462. message_generator.set("message.name", name);
  463. message_generator.append(R"~~~(
  464. case (int)Messages::@endpoint.name@::MessageID::@message.name@:
  465. )~~~");
  466. if (returns_something) {
  467. message_generator.append(R"~~~(
  468. return handle(static_cast<const Messages::@endpoint.name@::@message.name@&>(message));
  469. )~~~");
  470. } else {
  471. message_generator.append(R"~~~(
  472. handle(static_cast<const Messages::@endpoint.name@::@message.name@&>(message));
  473. return nullptr;
  474. )~~~");
  475. }
  476. };
  477. do_decode_message(message.name, message.is_synchronous);
  478. if (message.is_synchronous)
  479. do_decode_message(message.response_name(), false);
  480. }
  481. endpoint_generator.append(R"~~~(
  482. default:
  483. return nullptr;
  484. }
  485. }
  486. )~~~");
  487. for (auto& message : endpoint.messages) {
  488. auto message_generator = endpoint_generator.fork();
  489. message_generator.set("message.name", message.name);
  490. String return_type = "void";
  491. if (message.is_synchronous) {
  492. StringBuilder builder;
  493. builder.append("OwnPtr<Messages::");
  494. builder.append(endpoint.name);
  495. builder.append("::");
  496. builder.append(message.name);
  497. builder.append("Response");
  498. builder.append(">");
  499. return_type = builder.to_string();
  500. }
  501. message_generator.set("message.complex_return_type", return_type);
  502. message_generator.append(R"~~~(
  503. virtual @message.complex_return_type@ handle(const Messages::@endpoint.name@::@message.name@&) = 0;
  504. )~~~");
  505. }
  506. endpoint_generator.append(R"~~~(
  507. private:
  508. };
  509. )~~~");
  510. }
  511. outln("{}", generator.as_string_view());
  512. #ifdef DEBUG
  513. for (auto& endpoint : endpoints) {
  514. warnln("Endpoint '{}' (magic: {})", endpoint.name, endpoint.magic);
  515. for (auto& message : endpoint.messages) {
  516. warnln(" Message: '{}'", message.name);
  517. warnln(" Sync: {}", message.is_synchronous);
  518. warnln(" Inputs:");
  519. for (auto& parameter : message.inputs)
  520. warnln(" Parameter: {} ({})", parameter.name, parameter.type);
  521. if (message.inputs.is_empty())
  522. warnln(" (none)");
  523. if (message.is_synchronous) {
  524. warnln(" Outputs:");
  525. for (auto& parameter : message.outputs)
  526. warnln(" Parameter: {} ({})", parameter.name, parameter.type);
  527. if (message.outputs.is_empty())
  528. warnln(" (none)");
  529. }
  530. }
  531. }
  532. #endif
  533. }