GenerateWindowOrWorkerInterfaces.cpp 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509
  1. /*
  2. * Copyright (c) 2022, Andrew Kaster <akaster@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/DeprecatedString.h>
  7. #include <AK/LexicalPath.h>
  8. #include <AK/SourceGenerator.h>
  9. #include <AK/StringBuilder.h>
  10. #include <LibCore/ArgsParser.h>
  11. #include <LibCore/File.h>
  12. #include <LibIDL/IDLParser.h>
  13. #include <LibIDL/Types.h>
  14. #include <LibMain/Main.h>
  15. static ErrorOr<void> add_to_interface_sets(IDL::Interface&, Vector<IDL::Interface&>& intrinsics, Vector<IDL::Interface&>& window_exposed, Vector<IDL::Interface&>& dedicated_worker_exposed, Vector<IDL::Interface&>& shared_worker_exposed);
  16. static DeprecatedString s_error_string;
  17. struct LegacyConstructor {
  18. DeprecatedString name;
  19. DeprecatedString constructor_class;
  20. };
  21. static void consume_whitespace(GenericLexer& lexer)
  22. {
  23. bool consumed = true;
  24. while (consumed) {
  25. consumed = lexer.consume_while(is_ascii_space).length() > 0;
  26. if (lexer.consume_specific("//")) {
  27. lexer.consume_until('\n');
  28. lexer.ignore();
  29. consumed = true;
  30. }
  31. }
  32. }
  33. static Optional<LegacyConstructor> const& lookup_legacy_constructor(IDL::Interface& interface)
  34. {
  35. static HashMap<StringView, Optional<LegacyConstructor>> s_legacy_constructors;
  36. if (auto cache = s_legacy_constructors.get(interface.name); cache.has_value())
  37. return cache.value();
  38. auto attribute = interface.extended_attributes.get("LegacyFactoryFunction"sv);
  39. if (!attribute.has_value()) {
  40. s_legacy_constructors.set(interface.name, {});
  41. return s_legacy_constructors.get(interface.name).value();
  42. }
  43. GenericLexer function_lexer(attribute.value());
  44. consume_whitespace(function_lexer);
  45. auto name = function_lexer.consume_until([](auto ch) { return is_ascii_space(ch) || ch == '('; });
  46. auto constructor_class = DeprecatedString::formatted("{}Constructor", name);
  47. s_legacy_constructors.set(interface.name, LegacyConstructor { name, move(constructor_class) });
  48. return s_legacy_constructors.get(interface.name).value();
  49. }
  50. static ErrorOr<void> generate_forwarding_header(StringView output_path, Vector<IDL::Interface&>& exposed_interfaces)
  51. {
  52. StringBuilder builder;
  53. SourceGenerator generator(builder);
  54. generator.append(R"~~~(
  55. #pragma once
  56. namespace Web::Bindings {
  57. )~~~");
  58. auto add_namespace = [](SourceGenerator& gen, StringView namespace_class) {
  59. gen.set("namespace_class", namespace_class);
  60. gen.append(R"~~~(
  61. class @namespace_class@;)~~~");
  62. };
  63. auto add_interface = [](SourceGenerator& gen, StringView prototype_class, StringView constructor_class, Optional<LegacyConstructor> const& legacy_constructor) {
  64. gen.set("prototype_class", prototype_class);
  65. gen.set("constructor_class", constructor_class);
  66. gen.append(R"~~~(
  67. class @prototype_class@;
  68. class @constructor_class@;)~~~");
  69. if (legacy_constructor.has_value()) {
  70. gen.set("legacy_constructor_class", legacy_constructor->constructor_class);
  71. gen.append(R"~~~(
  72. class @legacy_constructor_class@;)~~~");
  73. }
  74. };
  75. for (auto& interface : exposed_interfaces) {
  76. auto gen = generator.fork();
  77. if (interface.is_namespace)
  78. add_namespace(gen, interface.namespace_class);
  79. else
  80. add_interface(gen, interface.prototype_class, interface.constructor_class, lookup_legacy_constructor(interface));
  81. }
  82. // FIXME: Special case WebAssembly. We should convert WASM to use IDL.
  83. {
  84. auto gen = generator.fork();
  85. add_interface(gen, "WebAssemblyMemoryPrototype"sv, "WebAssemblyMemoryConstructor"sv, {});
  86. add_interface(gen, "WebAssemblyInstancePrototype"sv, "WebAssemblyInstanceConstructor"sv, {});
  87. add_interface(gen, "WebAssemblyModulePrototype"sv, "WebAssemblyModuleConstructor"sv, {});
  88. add_interface(gen, "WebAssemblyTablePrototype"sv, "WebAssemblyTableConstructor"sv, {});
  89. }
  90. generator.append(R"~~~(
  91. }
  92. )~~~");
  93. auto generated_forward_path = LexicalPath(output_path).append("Forward.h"sv).string();
  94. auto generated_forward_file = TRY(Core::File::open(generated_forward_path, Core::File::OpenMode::Write));
  95. TRY(generated_forward_file->write_until_depleted(generator.as_string_view().bytes()));
  96. return {};
  97. }
  98. static ErrorOr<void> generate_intrinsic_definitions(StringView output_path, Vector<IDL::Interface&>& exposed_interfaces)
  99. {
  100. StringBuilder builder;
  101. SourceGenerator generator(builder);
  102. generator.append(R"~~~(
  103. #include <LibJS/Heap/DeferGC.h>
  104. #include <LibJS/Runtime/Object.h>
  105. #include <LibWeb/Bindings/Intrinsics.h>)~~~");
  106. for (auto& interface : exposed_interfaces) {
  107. auto gen = generator.fork();
  108. gen.set("namespace_class", interface.namespace_class);
  109. gen.set("prototype_class", interface.prototype_class);
  110. gen.set("constructor_class", interface.constructor_class);
  111. if (interface.is_namespace) {
  112. gen.append(R"~~~(
  113. #include <LibWeb/Bindings/@namespace_class@.h>)~~~");
  114. } else {
  115. gen.append(R"~~~(
  116. #include <LibWeb/Bindings/@constructor_class@.h>
  117. #include <LibWeb/Bindings/@prototype_class@.h>)~~~");
  118. if (auto const& legacy_constructor = lookup_legacy_constructor(interface); legacy_constructor.has_value()) {
  119. gen.set("legacy_constructor_class", legacy_constructor->constructor_class);
  120. gen.append(R"~~~(
  121. #include <LibWeb/Bindings/@legacy_constructor_class@.h>)~~~");
  122. }
  123. }
  124. }
  125. // FIXME: Special case WebAssembly. We should convert WASM to use IDL.
  126. generator.append(R"~~~(
  127. #include <LibWeb/WebAssembly/WebAssemblyMemoryConstructor.h>
  128. #include <LibWeb/WebAssembly/WebAssemblyMemoryPrototype.h>
  129. #include <LibWeb/WebAssembly/WebAssemblyInstanceConstructor.h>
  130. #include <LibWeb/WebAssembly/WebAssemblyInstanceObjectPrototype.h>
  131. #include <LibWeb/WebAssembly/WebAssemblyModuleConstructor.h>
  132. #include <LibWeb/WebAssembly/WebAssemblyModulePrototype.h>
  133. #include <LibWeb/WebAssembly/WebAssemblyTableConstructor.h>
  134. #include <LibWeb/WebAssembly/WebAssemblyTablePrototype.h>)~~~");
  135. generator.append(R"~~~(
  136. namespace Web::Bindings {
  137. )~~~");
  138. auto add_namespace = [&](SourceGenerator& gen, StringView name, StringView namespace_class) {
  139. gen.set("interface_name", name);
  140. gen.set("namespace_class", namespace_class);
  141. gen.append(R"~~~(
  142. template<>
  143. void Intrinsics::create_web_namespace<@namespace_class@>(JS::Realm& realm)
  144. {
  145. auto namespace_object = heap().allocate<@namespace_class@>(realm, realm).release_allocated_value_but_fixme_should_propagate_errors();
  146. m_namespaces.set("@interface_name@"sv, namespace_object);
  147. }
  148. )~~~");
  149. };
  150. auto add_interface = [&](SourceGenerator& gen, StringView name, StringView prototype_class, StringView constructor_class, Optional<LegacyConstructor> const& legacy_constructor) {
  151. gen.set("interface_name", name);
  152. gen.set("prototype_class", prototype_class);
  153. gen.set("constructor_class", constructor_class);
  154. gen.append(R"~~~(
  155. template<>
  156. void Intrinsics::create_web_prototype_and_constructor<@prototype_class@>(JS::Realm& realm)
  157. {
  158. auto& vm = realm.vm();
  159. auto prototype = heap().allocate<@prototype_class@>(realm, realm).release_allocated_value_but_fixme_should_propagate_errors();
  160. m_prototypes.set("@interface_name@"sv, prototype);
  161. auto constructor = heap().allocate<@constructor_class@>(realm, realm).release_allocated_value_but_fixme_should_propagate_errors();
  162. m_constructors.set("@interface_name@"sv, constructor);
  163. prototype->define_direct_property(vm.names.constructor, constructor.ptr(), JS::Attribute::Writable | JS::Attribute::Configurable);
  164. constructor->define_direct_property(vm.names.name, JS::PrimitiveString::create(vm, "@interface_name@"sv).release_allocated_value_but_fixme_should_propagate_errors(), JS::Attribute::Configurable);
  165. )~~~");
  166. if (legacy_constructor.has_value()) {
  167. gen.set("legacy_interface_name", legacy_constructor->name);
  168. gen.set("legacy_constructor_class", legacy_constructor->constructor_class);
  169. gen.append(R"~~~(
  170. auto legacy_constructor = heap().allocate<@legacy_constructor_class@>(realm, realm).release_allocated_value_but_fixme_should_propagate_errors();
  171. m_constructors.set("@legacy_interface_name@"sv, legacy_constructor);
  172. legacy_constructor->define_direct_property(vm.names.name, JS::PrimitiveString::create(vm, "@legacy_interface_name@"sv).release_allocated_value_but_fixme_should_propagate_errors(), JS::Attribute::Configurable);)~~~");
  173. }
  174. gen.append(R"~~~(
  175. }
  176. )~~~");
  177. };
  178. for (auto& interface : exposed_interfaces) {
  179. auto gen = generator.fork();
  180. if (interface.is_namespace)
  181. add_namespace(gen, interface.name, interface.namespace_class);
  182. else
  183. add_interface(gen, interface.namespaced_name, interface.prototype_class, interface.constructor_class, lookup_legacy_constructor(interface));
  184. }
  185. // FIXME: Special case WebAssembly. We should convert WASM to use IDL.
  186. {
  187. auto gen = generator.fork();
  188. add_interface(gen, "WebAssembly.Memory"sv, "WebAssemblyMemoryPrototype"sv, "WebAssemblyMemoryConstructor"sv, {});
  189. add_interface(gen, "WebAssembly.Instance"sv, "WebAssemblyInstancePrototype"sv, "WebAssemblyInstanceConstructor"sv, {});
  190. add_interface(gen, "WebAssembly.Module"sv, "WebAssemblyModulePrototype"sv, "WebAssemblyModuleConstructor"sv, {});
  191. add_interface(gen, "WebAssembly.Table"sv, "WebAssemblyTablePrototype"sv, "WebAssemblyTableConstructor"sv, {});
  192. }
  193. generator.append(R"~~~(
  194. }
  195. )~~~");
  196. auto generated_intrinsics_path = LexicalPath(output_path).append("IntrinsicDefinitions.cpp"sv).string();
  197. auto generated_intrinsics_file = TRY(Core::File::open(generated_intrinsics_path, Core::File::OpenMode::Write));
  198. TRY(generated_intrinsics_file->write_until_depleted(generator.as_string_view().bytes()));
  199. return {};
  200. }
  201. static ErrorOr<void> generate_exposed_interface_header(StringView class_name, StringView output_path)
  202. {
  203. StringBuilder builder;
  204. SourceGenerator generator(builder);
  205. generator.set("global_object_snake_name", DeprecatedString(class_name).to_snakecase());
  206. generator.append(R"~~~(
  207. #pragma once
  208. #include <LibJS/Forward.h>
  209. namespace Web::Bindings {
  210. void add_@global_object_snake_name@_exposed_interfaces(JS::Object&);
  211. }
  212. )~~~");
  213. auto generated_header_path = LexicalPath(output_path).append(DeprecatedString::formatted("{}ExposedInterfaces.h", class_name)).string();
  214. auto generated_header_file = TRY(Core::File::open(generated_header_path, Core::File::OpenMode::Write));
  215. TRY(generated_header_file->write_until_depleted(generator.as_string_view().bytes()));
  216. return {};
  217. }
  218. static ErrorOr<void> generate_exposed_interface_implementation(StringView class_name, StringView output_path, Vector<IDL::Interface&>& exposed_interfaces)
  219. {
  220. StringBuilder builder;
  221. SourceGenerator generator(builder);
  222. generator.set("global_object_name", class_name);
  223. generator.set("global_object_snake_name", DeprecatedString(class_name).to_snakecase());
  224. generator.append(R"~~~(
  225. #include <LibJS/Runtime/Object.h>
  226. #include <LibWeb/Bindings/Intrinsics.h>
  227. #include <LibWeb/Bindings/@global_object_name@ExposedInterfaces.h>
  228. )~~~");
  229. for (auto& interface : exposed_interfaces) {
  230. auto gen = generator.fork();
  231. gen.set("namespace_class", interface.namespace_class);
  232. gen.set("prototype_class", interface.prototype_class);
  233. gen.set("constructor_class", interface.constructor_class);
  234. if (interface.is_namespace) {
  235. gen.append(R"~~~(#include <LibWeb/Bindings/@namespace_class@.h>
  236. )~~~");
  237. } else {
  238. gen.append(R"~~~(#include <LibWeb/Bindings/@constructor_class@.h>
  239. #include <LibWeb/Bindings/@prototype_class@.h>
  240. )~~~");
  241. if (auto const& legacy_constructor = lookup_legacy_constructor(interface); legacy_constructor.has_value()) {
  242. gen.set("legacy_constructor_class", legacy_constructor->constructor_class);
  243. gen.append(R"~~~(#include <LibWeb/Bindings/@legacy_constructor_class@.h>
  244. )~~~");
  245. }
  246. }
  247. }
  248. generator.append(R"~~~(
  249. namespace Web::Bindings {
  250. void add_@global_object_snake_name@_exposed_interfaces(JS::Object& global)
  251. {
  252. static constexpr u8 attr = JS::Attribute::Writable | JS::Attribute::Configurable;
  253. )~~~");
  254. auto add_interface = [](SourceGenerator& gen, StringView name, StringView prototype_class, Optional<LegacyConstructor> const& legacy_constructor) {
  255. gen.set("interface_name", name);
  256. gen.set("prototype_class", prototype_class);
  257. gen.append(R"~~~(
  258. global.define_intrinsic_accessor("@interface_name@", attr, [](auto& realm) -> JS::Value { return &ensure_web_constructor<@prototype_class@>(realm, "@interface_name@"sv); });)~~~");
  259. if (legacy_constructor.has_value()) {
  260. gen.set("legacy_interface_name", legacy_constructor->name);
  261. gen.append(R"~~~(
  262. global.define_intrinsic_accessor("@legacy_interface_name@", attr, [](auto& realm) -> JS::Value { return &ensure_web_constructor<@prototype_class@>(realm, "@legacy_interface_name@"sv); });)~~~");
  263. }
  264. };
  265. auto add_namespace = [](SourceGenerator& gen, StringView name, StringView namespace_class) {
  266. gen.set("interface_name", name);
  267. gen.set("namespace_class", namespace_class);
  268. gen.append(R"~~~(
  269. global.define_intrinsic_accessor("@interface_name@", attr, [](auto& realm) -> JS::Value { return &ensure_web_namespace<@namespace_class@>(realm, "@interface_name@"sv); });)~~~");
  270. };
  271. for (auto& interface : exposed_interfaces) {
  272. auto gen = generator.fork();
  273. if (interface.is_namespace)
  274. add_namespace(gen, interface.name, interface.namespace_class);
  275. else
  276. add_interface(gen, interface.namespaced_name, interface.prototype_class, lookup_legacy_constructor(interface));
  277. }
  278. generator.append(R"~~~(
  279. }
  280. }
  281. )~~~");
  282. auto generated_implementation_path = LexicalPath(output_path).append(DeprecatedString::formatted("{}ExposedInterfaces.cpp", class_name)).string();
  283. auto generated_implementation_file = TRY(Core::File::open(generated_implementation_path, Core::File::OpenMode::Write));
  284. TRY(generated_implementation_file->write_until_depleted(generator.as_string_view().bytes()));
  285. return {};
  286. }
  287. ErrorOr<int> serenity_main(Main::Arguments arguments)
  288. {
  289. Core::ArgsParser args_parser;
  290. StringView output_path;
  291. StringView base_path;
  292. Vector<DeprecatedString> paths;
  293. args_parser.add_option(output_path, "Path to output generated files into", "output-path", 'o', "output-path");
  294. args_parser.add_option(base_path, "Path to root of IDL file tree", "base-path", 'b', "base-path");
  295. args_parser.add_positional_argument(paths, "Paths of every IDL file that could be Exposed", "paths");
  296. args_parser.parse(arguments);
  297. VERIFY(!paths.is_empty());
  298. VERIFY(!base_path.is_empty());
  299. const LexicalPath lexical_base(base_path);
  300. // Read in all IDL files, we must own the storage for all of these for the lifetime of the program
  301. Vector<DeprecatedString> file_contents;
  302. for (DeprecatedString const& path : paths) {
  303. auto file_or_error = Core::File::open(path, Core::File::OpenMode::Read);
  304. if (file_or_error.is_error()) {
  305. s_error_string = DeprecatedString::formatted("Unable to open file {}", path);
  306. return Error::from_string_view(s_error_string);
  307. }
  308. auto file = file_or_error.release_value();
  309. auto string = MUST(file->read_until_eof());
  310. file_contents.append(DeprecatedString(ReadonlyBytes(string)));
  311. }
  312. VERIFY(paths.size() == file_contents.size());
  313. Vector<IDL::Parser> parsers;
  314. Vector<IDL::Interface&> intrinsics;
  315. Vector<IDL::Interface&> window_exposed;
  316. Vector<IDL::Interface&> dedicated_worker_exposed;
  317. Vector<IDL::Interface&> shared_worker_exposed;
  318. // TODO: service_worker_exposed
  319. for (size_t i = 0; i < paths.size(); ++i) {
  320. IDL::Parser parser(paths[i], file_contents[i], lexical_base.string());
  321. TRY(add_to_interface_sets(parser.parse(), intrinsics, window_exposed, dedicated_worker_exposed, shared_worker_exposed));
  322. parsers.append(move(parser));
  323. }
  324. TRY(generate_forwarding_header(output_path, intrinsics));
  325. TRY(generate_intrinsic_definitions(output_path, intrinsics));
  326. TRY(generate_exposed_interface_header("Window"sv, output_path));
  327. TRY(generate_exposed_interface_header("DedicatedWorker"sv, output_path));
  328. TRY(generate_exposed_interface_header("SharedWorker"sv, output_path));
  329. // TODO: ServiceWorkerExposed.h
  330. TRY(generate_exposed_interface_implementation("Window"sv, output_path, window_exposed));
  331. TRY(generate_exposed_interface_implementation("DedicatedWorker"sv, output_path, dedicated_worker_exposed));
  332. TRY(generate_exposed_interface_implementation("SharedWorker"sv, output_path, shared_worker_exposed));
  333. // TODO: ServiceWorkerExposed.cpp
  334. return 0;
  335. }
  336. enum ExposedTo {
  337. Nobody = 0x0,
  338. DedicatedWorker = 0x1,
  339. SharedWorker = 0x2,
  340. ServiceWorker = 0x4,
  341. AudioWorklet = 0x8,
  342. Window = 0x10,
  343. AllWorkers = 0xF, // FIXME: Is "AudioWorklet" a Worker? We'll assume it is for now
  344. All = 0x1F,
  345. };
  346. AK_ENUM_BITWISE_OPERATORS(ExposedTo);
  347. static ErrorOr<ExposedTo> parse_exposure_set(IDL::Interface& interface)
  348. {
  349. // NOTE: This roughly follows the definitions of https://webidl.spec.whatwg.org/#Exposed
  350. // It does not remotely interpret all the abstract operations therein though.
  351. auto maybe_exposed = interface.extended_attributes.get("Exposed");
  352. if (!maybe_exposed.has_value()) {
  353. s_error_string = DeprecatedString::formatted("Interface {} is missing extended attribute Exposed", interface.name);
  354. return Error::from_string_view(s_error_string);
  355. }
  356. auto exposed = maybe_exposed.value().trim_whitespace();
  357. if (exposed == "*"sv)
  358. return ExposedTo::All;
  359. if (exposed == "Window"sv)
  360. return ExposedTo::Window;
  361. if (exposed == "Worker"sv)
  362. return ExposedTo::AllWorkers;
  363. if (exposed == "AudioWorklet"sv)
  364. return ExposedTo::AudioWorklet;
  365. if (exposed[0] == '(') {
  366. ExposedTo whom = Nobody;
  367. for (StringView candidate : exposed.substring_view(1, exposed.length() - 1).split_view(',')) {
  368. candidate = candidate.trim_whitespace();
  369. if (candidate == "Window"sv) {
  370. whom |= ExposedTo::Window;
  371. } else if (candidate == "Worker"sv) {
  372. whom |= ExposedTo::AllWorkers;
  373. } else if (candidate == "DedicatedWorker"sv) {
  374. whom |= ExposedTo::DedicatedWorker;
  375. } else if (candidate == "SharedWorker"sv) {
  376. whom |= ExposedTo::SharedWorker;
  377. } else if (candidate == "ServiceWorker"sv) {
  378. whom |= ExposedTo::ServiceWorker;
  379. } else if (candidate == "AudioWorklet"sv) {
  380. whom |= ExposedTo::AudioWorklet;
  381. } else {
  382. s_error_string = DeprecatedString::formatted("Unknown Exposed attribute candidate {} in {} in {}", candidate, exposed, interface.name);
  383. return Error::from_string_view(s_error_string);
  384. }
  385. }
  386. if (whom == ExposedTo::Nobody) {
  387. s_error_string = DeprecatedString::formatted("Unknown Exposed attribute {} in {}", exposed, interface.name);
  388. return Error::from_string_view(s_error_string);
  389. }
  390. return whom;
  391. }
  392. s_error_string = DeprecatedString::formatted("Unknown Exposed attribute {} in {}", exposed, interface.name);
  393. return Error::from_string_view(s_error_string);
  394. }
  395. ErrorOr<void> add_to_interface_sets(IDL::Interface& interface, Vector<IDL::Interface&>& intrinsics, Vector<IDL::Interface&>& window_exposed, Vector<IDL::Interface&>& dedicated_worker_exposed, Vector<IDL::Interface&>& shared_worker_exposed)
  396. {
  397. // TODO: Add service worker exposed and audio worklet exposed
  398. auto whom = TRY(parse_exposure_set(interface));
  399. VERIFY(whom != ExposedTo::Nobody);
  400. if ((whom & ExposedTo::Window) || (whom & ExposedTo::DedicatedWorker) || (whom & ExposedTo::SharedWorker))
  401. intrinsics.append(interface);
  402. if (whom & ExposedTo::Window)
  403. window_exposed.append(interface);
  404. if (whom & ExposedTo::DedicatedWorker)
  405. dedicated_worker_exposed.append(interface);
  406. if (whom & ExposedTo::SharedWorker)
  407. shared_worker_exposed.append(interface);
  408. return {};
  409. }