main.cpp 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529
  1. #include <AK/BufferStream.h>
  2. #include <AK/HashMap.h>
  3. #include <AK/StringBuilder.h>
  4. #include <LibCore/CFile.h>
  5. #include <ctype.h>
  6. #include <stdio.h>
  7. //#define GENERATE_DEBUG_CODE
  8. struct Parameter {
  9. String type;
  10. String name;
  11. };
  12. struct Message {
  13. String name;
  14. bool is_synchronous { false };
  15. Vector<Parameter> inputs;
  16. Vector<Parameter> outputs;
  17. String response_name() const
  18. {
  19. StringBuilder builder;
  20. builder.append(name);
  21. builder.append("Response");
  22. return builder.to_string();
  23. }
  24. };
  25. struct Endpoint {
  26. String name;
  27. int magic;
  28. Vector<Message> messages;
  29. };
  30. int main(int argc, char** argv)
  31. {
  32. if (argc != 2) {
  33. printf("usage: %s <IPC endpoint definition file>\n", argv[0]);
  34. return 0;
  35. }
  36. auto file = CFile::construct(argv[1]);
  37. if (!file->open(CIODevice::ReadOnly)) {
  38. fprintf(stderr, "Error: Cannot open %s: %s\n", argv[1], file->error_string());
  39. return 1;
  40. }
  41. auto file_contents = file->read_all();
  42. Vector<Endpoint> endpoints;
  43. Vector<char> buffer;
  44. int index = 0;
  45. auto peek = [&](int offset = 0) -> char {
  46. if ((index + offset) < file_contents.size())
  47. return file_contents[index + offset];
  48. return 0;
  49. };
  50. auto consume_one = [&]() -> char {
  51. return file_contents[index++];
  52. };
  53. auto extract_while = [&](Function<bool(char)> condition) -> String {
  54. StringBuilder builder;
  55. while (condition(peek()))
  56. builder.append(consume_one());
  57. return builder.to_string();
  58. };
  59. auto consume_specific = [&](char ch) {
  60. if (peek() != ch) {
  61. dbg() << "consume_specific: wanted '" << ch << "', but got '" << peek() << "' at index " << index;
  62. }
  63. ASSERT(peek() == ch);
  64. ++index;
  65. return ch;
  66. };
  67. auto consume_string = [&](const char* str) {
  68. for (size_t i = 0, length = strlen(str); i < length; ++i)
  69. consume_specific(str[i]);
  70. };
  71. auto consume_whitespace = [&] {
  72. while (isspace(peek()))
  73. ++index;
  74. if (peek() == '/' && peek(1) == '/') {
  75. while (peek() != '\n')
  76. ++index;
  77. }
  78. };
  79. auto parse_parameter = [&](Vector<Parameter>& storage) {
  80. for (;;) {
  81. Parameter parameter;
  82. consume_whitespace();
  83. if (peek() == ')')
  84. break;
  85. parameter.type = extract_while([](char ch) { return !isspace(ch); });
  86. consume_whitespace();
  87. parameter.name = extract_while([](char ch) { return !isspace(ch) && ch != ',' && ch != ')'; });
  88. consume_whitespace();
  89. storage.append(move(parameter));
  90. if (peek() == ',') {
  91. consume_one();
  92. continue;
  93. }
  94. if (peek() == ')')
  95. break;
  96. }
  97. };
  98. auto parse_parameters = [&](Vector<Parameter>& storage) {
  99. for (;;) {
  100. consume_whitespace();
  101. parse_parameter(storage);
  102. consume_whitespace();
  103. if (peek() == ',') {
  104. consume_one();
  105. continue;
  106. }
  107. if (peek() == ')')
  108. break;
  109. }
  110. };
  111. auto parse_message = [&] {
  112. Message message;
  113. consume_whitespace();
  114. Vector<char> buffer;
  115. while (!isspace(peek()) && peek() != '(')
  116. buffer.append(consume_one());
  117. message.name = String::copy(buffer);
  118. consume_whitespace();
  119. consume_specific('(');
  120. parse_parameters(message.inputs);
  121. consume_specific(')');
  122. consume_whitespace();
  123. consume_specific('=');
  124. auto type = consume_one();
  125. if (type == '>')
  126. message.is_synchronous = true;
  127. else if (type == '|')
  128. message.is_synchronous = false;
  129. else
  130. ASSERT_NOT_REACHED();
  131. consume_whitespace();
  132. if (message.is_synchronous) {
  133. consume_specific('(');
  134. parse_parameters(message.outputs);
  135. consume_specific(')');
  136. }
  137. consume_whitespace();
  138. endpoints.last().messages.append(move(message));
  139. };
  140. auto parse_messages = [&] {
  141. for (;;) {
  142. consume_whitespace();
  143. parse_message();
  144. consume_whitespace();
  145. if (peek() == '}')
  146. break;
  147. }
  148. };
  149. auto parse_endpoint = [&] {
  150. endpoints.empend();
  151. consume_whitespace();
  152. consume_string("endpoint");
  153. consume_whitespace();
  154. endpoints.last().name = extract_while([](char ch) { return !isspace(ch); });
  155. consume_whitespace();
  156. consume_specific('=');
  157. consume_whitespace();
  158. auto magic_string = extract_while([](char ch) { return !isspace(ch) && ch != '{'; });
  159. bool ok;
  160. endpoints.last().magic = magic_string.to_int(ok);
  161. ASSERT(ok);
  162. consume_whitespace();
  163. consume_specific('{');
  164. parse_messages();
  165. consume_specific('}');
  166. consume_whitespace();
  167. };
  168. while (index < file_contents.size())
  169. parse_endpoint();
  170. dbg() << "#pragma once";
  171. dbg() << "#include <AK/BufferStream.h>";
  172. dbg() << "#include <AK/OwnPtr.h>";
  173. dbg() << "#include <LibDraw/Color.h>";
  174. dbg() << "#include <LibDraw/Rect.h>";
  175. dbg() << "#include <LibIPC/IEndpoint.h>";
  176. dbg() << "#include <LibIPC/IMessage.h>";
  177. dbg();
  178. for (auto& endpoint : endpoints) {
  179. dbg() << "namespace " << endpoint.name << " {";
  180. dbg();
  181. HashMap<String, int> message_ids;
  182. dbg() << "enum class MessageID : i32 {";
  183. for (auto& message : endpoint.messages) {
  184. message_ids.set(message.name, message_ids.size() + 1);
  185. dbg() << " " << message.name << " = " << message_ids.size() << ",";
  186. if (message.is_synchronous) {
  187. message_ids.set(message.response_name(), message_ids.size() + 1);
  188. dbg() << " " << message.response_name() << " = " << message_ids.size() << ",";
  189. }
  190. }
  191. dbg() << "};";
  192. dbg();
  193. auto constructor_for_message = [&](const String& name, const Vector<Parameter>& parameters) {
  194. StringBuilder builder;
  195. builder.append(name);
  196. if (parameters.is_empty()) {
  197. builder.append("() {}");
  198. return builder.to_string();
  199. }
  200. builder.append('(');
  201. for (int i = 0; i < parameters.size(); ++i) {
  202. auto& parameter = parameters[i];
  203. builder.append(parameter.type);
  204. builder.append(' ');
  205. builder.append(parameter.name);
  206. if (i != parameters.size() - 1)
  207. builder.append(", ");
  208. }
  209. builder.append(") : ");
  210. for (int i = 0; i < parameters.size(); ++i) {
  211. auto& parameter = parameters[i];
  212. builder.append("m_");
  213. builder.append(parameter.name);
  214. builder.append("(");
  215. builder.append(parameter.name);
  216. builder.append(")");
  217. if (i != parameters.size() - 1)
  218. builder.append(", ");
  219. }
  220. builder.append(" {}");
  221. return builder.to_string();
  222. };
  223. auto do_message = [&](const String& name, const Vector<Parameter>& parameters, const String& response_type = {}) {
  224. dbg() << "class " << name << " final : public IMessage {";
  225. dbg() << "public:";
  226. if (!response_type.is_null())
  227. dbg() << " typedef class " << response_type << " ResponseType;";
  228. dbg() << " " << constructor_for_message(name, parameters);
  229. dbg() << " virtual ~" << name << "() override {}";
  230. dbg() << " virtual i32 endpoint_magic() const override { return " << endpoint.magic << "; }";
  231. dbg() << " static i32 static_endpoint_magic() { return " << endpoint.magic << "; }";
  232. dbg() << " virtual i32 id() const override { return (int)MessageID::" << name << "; }";
  233. dbg() << " static i32 static_message_id() { return (int)MessageID::" << name << "; }";
  234. dbg() << " virtual String name() const override { return \"" << endpoint.name << "::" << name << "\"; }";
  235. dbg() << " static String static_name() { return \"" << endpoint.name << "::" << name << "\"; }";
  236. dbg() << " static OwnPtr<" << name << "> decode(BufferStream& stream, size_t& size_in_bytes)";
  237. dbg() << " {";
  238. if (parameters.is_empty())
  239. dbg() << " (void)stream;";
  240. for (auto& parameter : parameters) {
  241. String initial_value = "{}";
  242. if (parameter.type == "bool")
  243. initial_value = "false";
  244. dbg() << " " << parameter.type << " " << parameter.name << " = " << initial_value << ";";
  245. if (parameter.type == "String") {
  246. dbg() << " int " << parameter.name << "_length = 0;";
  247. dbg() << " stream >> " << parameter.name << "_length;";
  248. dbg() << " if (" << parameter.name << "_length == 0) {";
  249. dbg() << " " << parameter.name << " = String::empty();";
  250. dbg() << " } else if (" << parameter.name << "_length == -1) {";
  251. dbg() << " " << parameter.name << " = String();";
  252. dbg() << " } else {";
  253. dbg() << " char* " << parameter.name << "_buffer = nullptr;";
  254. dbg() << " auto " << parameter.name << "_impl = StringImpl::create_uninitialized(" << parameter.name << "_length, " << parameter.name << "_buffer);";
  255. dbg() << " for (int i = 0; i < " << parameter.name << "_length; ++i) {";
  256. dbg() << " stream >> " << parameter.name << "_buffer[i];";
  257. dbg() << " }";
  258. dbg() << " " << parameter.name << " = *" << parameter.name << "_impl;";
  259. dbg() << " }";
  260. } else if (parameter.type == "Color") {
  261. dbg() << " u32 " << parameter.name << "_rgba = 0;";
  262. dbg() << " stream >> " << parameter.name << "_rgba;";
  263. dbg() << " " << parameter.name << " = Color::from_rgba(" << parameter.name << "_rgba);";
  264. } else if (parameter.type == "Size") {
  265. dbg() << " int " << parameter.name << "_width = 0;";
  266. dbg() << " stream >> " << parameter.name << "_width;";
  267. dbg() << " int " << parameter.name << "_height = 0;";
  268. dbg() << " stream >> " << parameter.name << "_height;";
  269. dbg() << " " << parameter.name << " = { " << parameter.name << "_width, " << parameter.name << "_height };";
  270. } else if (parameter.type == "Point") {
  271. dbg() << " int " << parameter.name << "_x = 0;";
  272. dbg() << " stream >> " << parameter.name << "_x;";
  273. dbg() << " int " << parameter.name << "_y = 0;";
  274. dbg() << " stream >> " << parameter.name << "_y;";
  275. dbg() << " " << parameter.name << " = { " << parameter.name << "_x, " << parameter.name << "_y };";
  276. } else if (parameter.type == "Rect") {
  277. dbg() << " int " << parameter.name << "_x = 0;";
  278. dbg() << " stream >> " << parameter.name << "_x;";
  279. dbg() << " int " << parameter.name << "_y = 0;";
  280. dbg() << " stream >> " << parameter.name << "_y;";
  281. dbg() << " int " << parameter.name << "_width = 0;";
  282. dbg() << " stream >> " << parameter.name << "_width;";
  283. dbg() << " int " << parameter.name << "_height = 0;";
  284. dbg() << " stream >> " << parameter.name << "_height;";
  285. dbg() << " " << parameter.name << " = { " << parameter.name << "_x, " << parameter.name << "_y, " << parameter.name << "_width, " << parameter.name << "_height };";
  286. } else if (parameter.type == "Vector<Rect>") {
  287. dbg() << " int " << parameter.name << "_size = 0;";
  288. dbg() << " stream >> " << parameter.name << "_size;";
  289. dbg() << " for (int i = 0; i < " << parameter.name << "_size; ++i) {";
  290. dbg() << " int " << parameter.name << "_x = 0;";
  291. dbg() << " stream >> " << parameter.name << "_x;";
  292. dbg() << " int " << parameter.name << "_y = 0;";
  293. dbg() << " stream >> " << parameter.name << "_y;";
  294. dbg() << " int " << parameter.name << "_width = 0;";
  295. dbg() << " stream >> " << parameter.name << "_width;";
  296. dbg() << " int " << parameter.name << "_height = 0;";
  297. dbg() << " stream >> " << parameter.name << "_height;";
  298. dbg() << " " << parameter.name << ".empend(" << parameter.name << "_x, " << parameter.name << "_y, " << parameter.name << "_width, " << parameter.name << "_height);";
  299. dbg() << " }";
  300. } else {
  301. dbg() << " stream >> " << parameter.name << ";";
  302. }
  303. dbg() << " if (stream.handle_read_failure()) {";
  304. #ifdef GENERATE_DEBUG_CODE
  305. dbg() << " dbg() << \"Failed to decode " << name << "." << parameter.name << "\";";
  306. #endif
  307. dbg() << " return nullptr;";
  308. dbg() << " }";
  309. }
  310. StringBuilder builder;
  311. for (int i = 0; i < parameters.size(); ++i) {
  312. auto& parameter = parameters[i];
  313. builder.append(parameter.name);
  314. if (i != parameters.size() - 1)
  315. builder.append(", ");
  316. }
  317. dbg() << " size_in_bytes = stream.offset();";
  318. dbg() << " return make<" << name << ">(" << builder.to_string() << ");";
  319. dbg() << " }";
  320. dbg() << " virtual ByteBuffer encode() const override";
  321. dbg() << " {";
  322. // FIXME: Support longer messages:
  323. dbg() << " auto buffer = ByteBuffer::create_uninitialized(4096);";
  324. dbg() << " BufferStream stream(buffer);";
  325. dbg() << " stream << endpoint_magic();";
  326. dbg() << " stream << (int)MessageID::" << name << ";";
  327. for (auto& parameter : parameters) {
  328. if (parameter.type == "String") {
  329. dbg() << " if (m_" << parameter.name << ".is_null()) {";
  330. dbg() << " stream << (i32)-1;";
  331. dbg() << " } else {";
  332. dbg() << " stream << m_" << parameter.name << ".length();";
  333. dbg() << " stream << m_" << parameter.name << ";";
  334. dbg() << " }";
  335. } else if (parameter.type == "Color") {
  336. dbg() << " stream << m_" << parameter.name << ".value();";
  337. } else if (parameter.type == "Size") {
  338. dbg() << " stream << m_" << parameter.name << ".width();";
  339. dbg() << " stream << m_" << parameter.name << ".height();";
  340. } else if (parameter.type == "Point") {
  341. dbg() << " stream << m_" << parameter.name << ".x();";
  342. dbg() << " stream << m_" << parameter.name << ".y();";
  343. } else if (parameter.type == "Rect") {
  344. dbg() << " stream << m_" << parameter.name << ".x();";
  345. dbg() << " stream << m_" << parameter.name << ".y();";
  346. dbg() << " stream << m_" << parameter.name << ".width();";
  347. dbg() << " stream << m_" << parameter.name << ".height();";
  348. } else if (parameter.type == "Vector<Rect>") {
  349. dbg() << " stream << m_" << parameter.name << ".size();";
  350. dbg() << " for (auto& rect : m_" << parameter.name << ") {";
  351. dbg() << " stream << rect.x();";
  352. dbg() << " stream << rect.y();";
  353. dbg() << " stream << rect.width();";
  354. dbg() << " stream << rect.height();";
  355. dbg() << " }";
  356. } else {
  357. dbg() << " stream << m_" << parameter.name << ";";
  358. }
  359. }
  360. dbg() << " stream.snip();";
  361. dbg() << " return buffer;";
  362. dbg() << " }";
  363. for (auto& parameter : parameters) {
  364. dbg() << " const " << parameter.type << "& " << parameter.name << "() const { return m_" << parameter.name << "; }";
  365. }
  366. dbg() << "private:";
  367. for (auto& parameter : parameters) {
  368. dbg() << " " << parameter.type << " m_" << parameter.name << ";";
  369. }
  370. dbg() << "};";
  371. dbg();
  372. };
  373. for (auto& message : endpoint.messages) {
  374. String response_name;
  375. if (message.is_synchronous) {
  376. response_name = message.response_name();
  377. do_message(response_name, message.outputs);
  378. }
  379. do_message(message.name, message.inputs, response_name);
  380. }
  381. dbg() << "} // namespace " << endpoint.name;
  382. dbg();
  383. dbg() << "class " << endpoint.name << "Endpoint : public IEndpoint {";
  384. dbg() << "public:";
  385. dbg() << " " << endpoint.name << "Endpoint() {}";
  386. dbg() << " virtual ~" << endpoint.name << "Endpoint() override {}";
  387. dbg() << " static int static_magic() { return " << endpoint.magic << "; }";
  388. dbg() << " virtual int magic() const override { return " << endpoint.magic << "; }";
  389. dbg() << " static String static_name() { return \"" << endpoint.name << "\"; };";
  390. dbg() << " virtual String name() const override { return \"" << endpoint.name << "\"; };";
  391. dbg() << " static OwnPtr<IMessage> decode_message(const ByteBuffer& buffer, size_t& size_in_bytes)";
  392. dbg() << " {";
  393. dbg() << " BufferStream stream(const_cast<ByteBuffer&>(buffer));";
  394. dbg() << " i32 message_endpoint_magic = 0;";
  395. dbg() << " stream >> message_endpoint_magic;";
  396. dbg() << " if (message_endpoint_magic != " << endpoint.magic << ") {";
  397. #ifdef GENERATE_DEBUG_CODE
  398. dbg() << " dbg() << \"endpoint magic \" << message_endpoint_magic << \" != " << endpoint.magic << "\";";
  399. #endif
  400. dbg() << " return nullptr;";
  401. dbg() << " }";
  402. dbg() << " i32 message_id = 0;";
  403. dbg() << " stream >> message_id;";
  404. dbg() << " switch (message_id) {";
  405. for (auto& message : endpoint.messages) {
  406. auto do_decode_message = [&](const String& name) {
  407. dbg() << " case (int)" << endpoint.name << "::MessageID::" << name << ":";
  408. dbg() << " return " << endpoint.name << "::" << name << "::decode(stream, size_in_bytes);";
  409. };
  410. do_decode_message(message.name);
  411. if (message.is_synchronous)
  412. do_decode_message(message.response_name());
  413. }
  414. dbg() << " default:";
  415. #ifdef GENERATE_DEBUG_CODE
  416. dbg() << " dbg() << \"Failed to decode " << endpoint.name << ".(\" << message_id << \")\";";
  417. #endif
  418. dbg() << " return nullptr;";
  419. dbg() << " }";
  420. dbg() << " }";
  421. dbg();
  422. dbg() << " virtual OwnPtr<IMessage> handle(const IMessage& message) override";
  423. dbg() << " {";
  424. dbg() << " switch (message.id()) {";
  425. for (auto& message : endpoint.messages) {
  426. auto do_decode_message = [&](const String& name, bool returns_something) {
  427. dbg() << " case (int)" << endpoint.name << "::MessageID::" << name << ":";
  428. if (returns_something) {
  429. dbg() << " return handle(static_cast<const " << endpoint.name << "::" << name << "&>(message));";
  430. } else {
  431. dbg() << " handle(static_cast<const " << endpoint.name << "::" << name << "&>(message));";
  432. dbg() << " return nullptr;";
  433. }
  434. };
  435. do_decode_message(message.name, message.is_synchronous);
  436. if (message.is_synchronous)
  437. do_decode_message(message.response_name(), false);
  438. }
  439. dbg() << " default:";
  440. dbg() << " return nullptr;";
  441. dbg() << " }";
  442. dbg() << " }";
  443. for (auto& message : endpoint.messages) {
  444. String return_type = "void";
  445. if (message.is_synchronous) {
  446. StringBuilder builder;
  447. builder.append("OwnPtr<");
  448. builder.append(endpoint.name);
  449. builder.append("::");
  450. builder.append(message.name);
  451. builder.append("Response");
  452. builder.append(">");
  453. return_type = builder.to_string();
  454. }
  455. dbg() << " virtual " << return_type << " handle(const " << endpoint.name << "::" << message.name << "&) = 0;";
  456. }
  457. dbg() << "private:";
  458. dbg() << "};";
  459. }
  460. #ifdef DEBUG
  461. for (auto& endpoint : endpoints) {
  462. dbg() << "Endpoint: '" << endpoint.name << "' (magic: " << endpoint.magic << ")";
  463. for (auto& message : endpoint.messages) {
  464. dbg() << " Message: '" << message.name << "'";
  465. dbg() << " Sync: " << message.is_synchronous;
  466. dbg() << " Inputs:";
  467. for (auto& parameter : message.inputs)
  468. dbg() << " Parameter: " << parameter.name << " (" << parameter.type << ")";
  469. if (message.inputs.is_empty())
  470. dbg() << " (none)";
  471. if (message.is_synchronous) {
  472. dbg() << " Outputs:";
  473. for (auto& parameter : message.outputs)
  474. dbg() << " Parameter: " << parameter.name << " (" << parameter.type << ")";
  475. if (message.outputs.is_empty())
  476. dbg() << " (none)";
  477. }
  478. }
  479. }
  480. #endif
  481. return 0;
  482. }