MediaParsing.cpp 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645
  1. /*
  2. * Copyright (c) 2018-2022, Andreas Kling <andreas@ladybird.org>
  3. * Copyright (c) 2020-2021, the SerenityOS developers.
  4. * Copyright (c) 2021-2023, Sam Atkins <atkinssj@serenityos.org>
  5. * Copyright (c) 2021, Tobias Christiansen <tobyase@serenityos.org>
  6. * Copyright (c) 2022, MacDue <macdue@dueutil.tech>
  7. *
  8. * SPDX-License-Identifier: BSD-2-Clause
  9. */
  10. #include <AK/Debug.h>
  11. #include <LibWeb/CSS/CSSMediaRule.h>
  12. #include <LibWeb/CSS/CalculatedOr.h>
  13. #include <LibWeb/CSS/MediaList.h>
  14. #include <LibWeb/CSS/MediaQuery.h>
  15. #include <LibWeb/CSS/Parser/Parser.h>
  16. namespace Web::CSS::Parser {
  17. Vector<NonnullRefPtr<MediaQuery>> Parser::parse_as_media_query_list()
  18. {
  19. return parse_a_media_query_list(m_token_stream);
  20. }
  21. template<typename T>
  22. Vector<NonnullRefPtr<MediaQuery>> Parser::parse_a_media_query_list(TokenStream<T>& tokens)
  23. {
  24. // https://www.w3.org/TR/mediaqueries-4/#mq-list
  25. // AD-HOC: Ignore whitespace-only queries
  26. // to make `@media {..}` equivalent to `@media all {..}`
  27. tokens.discard_whitespace();
  28. if (!tokens.has_next_token())
  29. return {};
  30. auto comma_separated_lists = parse_a_comma_separated_list_of_component_values(tokens);
  31. AK::Vector<NonnullRefPtr<MediaQuery>> media_queries;
  32. for (auto& media_query_parts : comma_separated_lists) {
  33. auto stream = TokenStream(media_query_parts);
  34. media_queries.append(parse_media_query(stream));
  35. }
  36. return media_queries;
  37. }
  38. RefPtr<MediaQuery> Parser::parse_as_media_query()
  39. {
  40. // https://www.w3.org/TR/cssom-1/#parse-a-media-query
  41. auto media_query_list = parse_as_media_query_list();
  42. if (media_query_list.is_empty())
  43. return MediaQuery::create_not_all();
  44. if (media_query_list.size() == 1)
  45. return media_query_list.first();
  46. return nullptr;
  47. }
  48. // `<media-query>`, https://www.w3.org/TR/mediaqueries-4/#typedef-media-query
  49. NonnullRefPtr<MediaQuery> Parser::parse_media_query(TokenStream<ComponentValue>& tokens)
  50. {
  51. // `<media-query> = <media-condition>
  52. // | [ not | only ]? <media-type> [ and <media-condition-without-or> ]?`
  53. // `[ not | only ]?`, Returns whether to negate the query
  54. auto parse_initial_modifier = [](auto& tokens) -> Optional<bool> {
  55. auto transaction = tokens.begin_transaction();
  56. tokens.discard_whitespace();
  57. auto& token = tokens.consume_a_token();
  58. if (!token.is(Token::Type::Ident))
  59. return {};
  60. auto ident = token.token().ident();
  61. if (ident.equals_ignoring_ascii_case("not"sv)) {
  62. transaction.commit();
  63. return true;
  64. }
  65. if (ident.equals_ignoring_ascii_case("only"sv)) {
  66. transaction.commit();
  67. return false;
  68. }
  69. return {};
  70. };
  71. auto invalid_media_query = [&]() {
  72. // "A media query that does not match the grammar in the previous section must be replaced by `not all`
  73. // during parsing." - https://www.w3.org/TR/mediaqueries-5/#error-handling
  74. if constexpr (CSS_PARSER_DEBUG) {
  75. dbgln("Invalid media query:");
  76. tokens.dump_all_tokens();
  77. }
  78. return MediaQuery::create_not_all();
  79. };
  80. auto media_query = MediaQuery::create();
  81. tokens.discard_whitespace();
  82. // `<media-condition>`
  83. if (auto media_condition = parse_media_condition(tokens, MediaCondition::AllowOr::Yes)) {
  84. tokens.discard_whitespace();
  85. if (tokens.has_next_token())
  86. return invalid_media_query();
  87. media_query->m_media_condition = move(media_condition);
  88. return media_query;
  89. }
  90. // `[ not | only ]?`
  91. if (auto modifier = parse_initial_modifier(tokens); modifier.has_value()) {
  92. media_query->m_negated = modifier.value();
  93. tokens.discard_whitespace();
  94. }
  95. // `<media-type>`
  96. if (auto media_type = parse_media_type(tokens); media_type.has_value()) {
  97. media_query->m_media_type = media_type.value();
  98. tokens.discard_whitespace();
  99. } else {
  100. return invalid_media_query();
  101. }
  102. if (!tokens.has_next_token())
  103. return media_query;
  104. // `[ and <media-condition-without-or> ]?`
  105. if (auto maybe_and = tokens.consume_a_token(); maybe_and.is_ident("and"sv)) {
  106. if (auto media_condition = parse_media_condition(tokens, MediaCondition::AllowOr::No)) {
  107. tokens.discard_whitespace();
  108. if (tokens.has_next_token())
  109. return invalid_media_query();
  110. media_query->m_media_condition = move(media_condition);
  111. return media_query;
  112. }
  113. return invalid_media_query();
  114. }
  115. return invalid_media_query();
  116. }
  117. // `<media-condition>`, https://www.w3.org/TR/mediaqueries-4/#typedef-media-condition
  118. // `<media-condition-widthout-or>`, https://www.w3.org/TR/mediaqueries-4/#typedef-media-condition-without-or
  119. // (We distinguish between these two with the `allow_or` parameter.)
  120. OwnPtr<MediaCondition> Parser::parse_media_condition(TokenStream<ComponentValue>& tokens, MediaCondition::AllowOr allow_or)
  121. {
  122. // `<media-not> | <media-in-parens> [ <media-and>* | <media-or>* ]`
  123. auto transaction = tokens.begin_transaction();
  124. tokens.discard_whitespace();
  125. // `<media-not> = not <media-in-parens>`
  126. auto parse_media_not = [&](auto& tokens) -> OwnPtr<MediaCondition> {
  127. auto local_transaction = tokens.begin_transaction();
  128. tokens.discard_whitespace();
  129. auto& first_token = tokens.consume_a_token();
  130. if (first_token.is_ident("not"sv)) {
  131. if (auto child_condition = parse_media_condition(tokens, MediaCondition::AllowOr::Yes)) {
  132. local_transaction.commit();
  133. return MediaCondition::from_not(child_condition.release_nonnull());
  134. }
  135. }
  136. return {};
  137. };
  138. auto parse_media_with_combinator = [&](auto& tokens, StringView combinator) -> OwnPtr<MediaCondition> {
  139. auto local_transaction = tokens.begin_transaction();
  140. tokens.discard_whitespace();
  141. auto& first = tokens.consume_a_token();
  142. if (first.is_ident(combinator)) {
  143. tokens.discard_whitespace();
  144. if (auto media_in_parens = parse_media_in_parens(tokens)) {
  145. local_transaction.commit();
  146. return media_in_parens;
  147. }
  148. }
  149. return {};
  150. };
  151. // `<media-and> = and <media-in-parens>`
  152. auto parse_media_and = [&](auto& tokens) { return parse_media_with_combinator(tokens, "and"sv); };
  153. // `<media-or> = or <media-in-parens>`
  154. auto parse_media_or = [&](auto& tokens) { return parse_media_with_combinator(tokens, "or"sv); };
  155. // `<media-not>`
  156. if (auto maybe_media_not = parse_media_not(tokens)) {
  157. transaction.commit();
  158. return maybe_media_not.release_nonnull();
  159. }
  160. // `<media-in-parens> [ <media-and>* | <media-or>* ]`
  161. if (auto maybe_media_in_parens = parse_media_in_parens(tokens)) {
  162. tokens.discard_whitespace();
  163. // Only `<media-in-parens>`
  164. if (!tokens.has_next_token()) {
  165. transaction.commit();
  166. return maybe_media_in_parens.release_nonnull();
  167. }
  168. Vector<NonnullOwnPtr<MediaCondition>> child_conditions;
  169. child_conditions.append(maybe_media_in_parens.release_nonnull());
  170. // `<media-and>*`
  171. if (auto media_and = parse_media_and(tokens)) {
  172. child_conditions.append(media_and.release_nonnull());
  173. tokens.discard_whitespace();
  174. while (tokens.has_next_token()) {
  175. if (auto next_media_and = parse_media_and(tokens)) {
  176. child_conditions.append(next_media_and.release_nonnull());
  177. tokens.discard_whitespace();
  178. continue;
  179. }
  180. // We failed - invalid syntax!
  181. return {};
  182. }
  183. transaction.commit();
  184. return MediaCondition::from_and_list(move(child_conditions));
  185. }
  186. // `<media-or>*`
  187. if (allow_or == MediaCondition::AllowOr::Yes) {
  188. if (auto media_or = parse_media_or(tokens)) {
  189. child_conditions.append(media_or.release_nonnull());
  190. tokens.discard_whitespace();
  191. while (tokens.has_next_token()) {
  192. if (auto next_media_or = parse_media_or(tokens)) {
  193. child_conditions.append(next_media_or.release_nonnull());
  194. tokens.discard_whitespace();
  195. continue;
  196. }
  197. // We failed - invalid syntax!
  198. return {};
  199. }
  200. transaction.commit();
  201. return MediaCondition::from_or_list(move(child_conditions));
  202. }
  203. }
  204. }
  205. return {};
  206. }
  207. // `<media-feature>`, https://www.w3.org/TR/mediaqueries-4/#typedef-media-feature
  208. Optional<MediaFeature> Parser::parse_media_feature(TokenStream<ComponentValue>& tokens)
  209. {
  210. // `[ <mf-plain> | <mf-boolean> | <mf-range> ]`
  211. tokens.discard_whitespace();
  212. // `<mf-name> = <ident>`
  213. struct MediaFeatureName {
  214. enum Type {
  215. Normal,
  216. Min,
  217. Max
  218. } type;
  219. MediaFeatureID id;
  220. };
  221. auto parse_mf_name = [](auto& tokens, bool allow_min_max_prefix) -> Optional<MediaFeatureName> {
  222. auto transaction = tokens.begin_transaction();
  223. auto& token = tokens.consume_a_token();
  224. if (token.is(Token::Type::Ident)) {
  225. auto name = token.token().ident();
  226. if (auto id = media_feature_id_from_string(name); id.has_value()) {
  227. transaction.commit();
  228. return MediaFeatureName { MediaFeatureName::Type::Normal, id.value() };
  229. }
  230. if (allow_min_max_prefix && (name.starts_with_bytes("min-"sv, CaseSensitivity::CaseInsensitive) || name.starts_with_bytes("max-"sv, CaseSensitivity::CaseInsensitive))) {
  231. auto adjusted_name = name.bytes_as_string_view().substring_view(4);
  232. if (auto id = media_feature_id_from_string(adjusted_name); id.has_value() && media_feature_type_is_range(id.value())) {
  233. transaction.commit();
  234. return MediaFeatureName {
  235. name.starts_with_bytes("min-"sv, CaseSensitivity::CaseInsensitive) ? MediaFeatureName::Type::Min : MediaFeatureName::Type::Max,
  236. id.value()
  237. };
  238. }
  239. }
  240. }
  241. return {};
  242. };
  243. // `<mf-boolean> = <mf-name>`
  244. auto parse_mf_boolean = [&](auto& tokens) -> Optional<MediaFeature> {
  245. auto transaction = tokens.begin_transaction();
  246. tokens.discard_whitespace();
  247. if (auto maybe_name = parse_mf_name(tokens, false); maybe_name.has_value()) {
  248. tokens.discard_whitespace();
  249. if (!tokens.has_next_token()) {
  250. transaction.commit();
  251. return MediaFeature::boolean(maybe_name->id);
  252. }
  253. }
  254. return {};
  255. };
  256. // `<mf-plain> = <mf-name> : <mf-value>`
  257. auto parse_mf_plain = [&](auto& tokens) -> Optional<MediaFeature> {
  258. auto transaction = tokens.begin_transaction();
  259. tokens.discard_whitespace();
  260. if (auto maybe_name = parse_mf_name(tokens, true); maybe_name.has_value()) {
  261. tokens.discard_whitespace();
  262. if (tokens.consume_a_token().is(Token::Type::Colon)) {
  263. tokens.discard_whitespace();
  264. if (auto maybe_value = parse_media_feature_value(maybe_name->id, tokens); maybe_value.has_value()) {
  265. tokens.discard_whitespace();
  266. if (!tokens.has_next_token()) {
  267. transaction.commit();
  268. switch (maybe_name->type) {
  269. case MediaFeatureName::Type::Normal:
  270. return MediaFeature::plain(maybe_name->id, maybe_value.release_value());
  271. case MediaFeatureName::Type::Min:
  272. return MediaFeature::min(maybe_name->id, maybe_value.release_value());
  273. case MediaFeatureName::Type::Max:
  274. return MediaFeature::max(maybe_name->id, maybe_value.release_value());
  275. }
  276. VERIFY_NOT_REACHED();
  277. }
  278. }
  279. }
  280. }
  281. return {};
  282. };
  283. // `<mf-lt> = '<' '='?
  284. // <mf-gt> = '>' '='?
  285. // <mf-eq> = '='
  286. // <mf-comparison> = <mf-lt> | <mf-gt> | <mf-eq>`
  287. auto parse_comparison = [](auto& tokens) -> Optional<MediaFeature::Comparison> {
  288. auto transaction = tokens.begin_transaction();
  289. tokens.discard_whitespace();
  290. auto& first = tokens.consume_a_token();
  291. if (first.is(Token::Type::Delim)) {
  292. auto first_delim = first.token().delim();
  293. if (first_delim == '=') {
  294. transaction.commit();
  295. return MediaFeature::Comparison::Equal;
  296. }
  297. if (first_delim == '<') {
  298. auto& second = tokens.next_token();
  299. if (second.is_delim('=')) {
  300. tokens.discard_a_token();
  301. transaction.commit();
  302. return MediaFeature::Comparison::LessThanOrEqual;
  303. }
  304. transaction.commit();
  305. return MediaFeature::Comparison::LessThan;
  306. }
  307. if (first_delim == '>') {
  308. auto& second = tokens.next_token();
  309. if (second.is_delim('=')) {
  310. tokens.discard_a_token();
  311. transaction.commit();
  312. return MediaFeature::Comparison::GreaterThanOrEqual;
  313. }
  314. transaction.commit();
  315. return MediaFeature::Comparison::GreaterThan;
  316. }
  317. }
  318. return {};
  319. };
  320. auto flip = [](MediaFeature::Comparison comparison) {
  321. switch (comparison) {
  322. case MediaFeature::Comparison::Equal:
  323. return MediaFeature::Comparison::Equal;
  324. case MediaFeature::Comparison::LessThan:
  325. return MediaFeature::Comparison::GreaterThan;
  326. case MediaFeature::Comparison::LessThanOrEqual:
  327. return MediaFeature::Comparison::GreaterThanOrEqual;
  328. case MediaFeature::Comparison::GreaterThan:
  329. return MediaFeature::Comparison::LessThan;
  330. case MediaFeature::Comparison::GreaterThanOrEqual:
  331. return MediaFeature::Comparison::LessThanOrEqual;
  332. }
  333. VERIFY_NOT_REACHED();
  334. };
  335. auto comparisons_match = [](MediaFeature::Comparison a, MediaFeature::Comparison b) -> bool {
  336. switch (a) {
  337. case MediaFeature::Comparison::Equal:
  338. return b == MediaFeature::Comparison::Equal;
  339. case MediaFeature::Comparison::LessThan:
  340. case MediaFeature::Comparison::LessThanOrEqual:
  341. return b == MediaFeature::Comparison::LessThan || b == MediaFeature::Comparison::LessThanOrEqual;
  342. case MediaFeature::Comparison::GreaterThan:
  343. case MediaFeature::Comparison::GreaterThanOrEqual:
  344. return b == MediaFeature::Comparison::GreaterThan || b == MediaFeature::Comparison::GreaterThanOrEqual;
  345. }
  346. VERIFY_NOT_REACHED();
  347. };
  348. // `<mf-range> = <mf-name> <mf-comparison> <mf-value>
  349. // | <mf-value> <mf-comparison> <mf-name>
  350. // | <mf-value> <mf-lt> <mf-name> <mf-lt> <mf-value>
  351. // | <mf-value> <mf-gt> <mf-name> <mf-gt> <mf-value>`
  352. auto parse_mf_range = [&](auto& tokens) -> Optional<MediaFeature> {
  353. auto transaction = tokens.begin_transaction();
  354. tokens.discard_whitespace();
  355. // `<mf-name> <mf-comparison> <mf-value>`
  356. // NOTE: We have to check for <mf-name> first, since all <mf-name>s will also parse as <mf-value>.
  357. if (auto maybe_name = parse_mf_name(tokens, false); maybe_name.has_value() && media_feature_type_is_range(maybe_name->id)) {
  358. tokens.discard_whitespace();
  359. if (auto maybe_comparison = parse_comparison(tokens); maybe_comparison.has_value()) {
  360. tokens.discard_whitespace();
  361. if (auto maybe_value = parse_media_feature_value(maybe_name->id, tokens); maybe_value.has_value()) {
  362. tokens.discard_whitespace();
  363. if (!tokens.has_next_token() && !maybe_value->is_ident()) {
  364. transaction.commit();
  365. return MediaFeature::half_range(maybe_value.release_value(), flip(maybe_comparison.release_value()), maybe_name->id);
  366. }
  367. }
  368. }
  369. }
  370. // `<mf-value> <mf-comparison> <mf-name>
  371. // | <mf-value> <mf-lt> <mf-name> <mf-lt> <mf-value>
  372. // | <mf-value> <mf-gt> <mf-name> <mf-gt> <mf-value>`
  373. // NOTE: To parse the first value, we need to first find and parse the <mf-name> so we know what value types to parse.
  374. // To allow for <mf-value> to be any number of tokens long, we scan forward until we find a comparison, and then
  375. // treat the next non-whitespace token as the <mf-name>, which should be correct as long as they don't add a value
  376. // type that can include a comparison in it. :^)
  377. Optional<MediaFeatureName> maybe_name;
  378. {
  379. // This transaction is never committed, we just use it to rewind automatically.
  380. auto temp_transaction = tokens.begin_transaction();
  381. while (tokens.has_next_token() && !maybe_name.has_value()) {
  382. if (auto maybe_comparison = parse_comparison(tokens); maybe_comparison.has_value()) {
  383. // We found a comparison, so the next non-whitespace token should be the <mf-name>
  384. tokens.discard_whitespace();
  385. maybe_name = parse_mf_name(tokens, false);
  386. break;
  387. }
  388. tokens.discard_a_token();
  389. tokens.discard_whitespace();
  390. }
  391. }
  392. // Now, we can parse the range properly.
  393. if (maybe_name.has_value() && media_feature_type_is_range(maybe_name->id)) {
  394. if (auto maybe_left_value = parse_media_feature_value(maybe_name->id, tokens); maybe_left_value.has_value()) {
  395. tokens.discard_whitespace();
  396. if (auto maybe_left_comparison = parse_comparison(tokens); maybe_left_comparison.has_value()) {
  397. tokens.discard_whitespace();
  398. tokens.discard_a_token(); // The <mf-name> which we already parsed above.
  399. tokens.discard_whitespace();
  400. if (!tokens.has_next_token()) {
  401. transaction.commit();
  402. return MediaFeature::half_range(maybe_left_value.release_value(), maybe_left_comparison.release_value(), maybe_name->id);
  403. }
  404. if (auto maybe_right_comparison = parse_comparison(tokens); maybe_right_comparison.has_value()) {
  405. tokens.discard_whitespace();
  406. if (auto maybe_right_value = parse_media_feature_value(maybe_name->id, tokens); maybe_right_value.has_value()) {
  407. tokens.discard_whitespace();
  408. // For this to be valid, the following must be true:
  409. // - Comparisons must either both be >/>= or both be </<=.
  410. // - Neither comparison can be `=`.
  411. // - Neither value can be an ident.
  412. auto left_comparison = maybe_left_comparison.release_value();
  413. auto right_comparison = maybe_right_comparison.release_value();
  414. if (!tokens.has_next_token()
  415. && comparisons_match(left_comparison, right_comparison)
  416. && left_comparison != MediaFeature::Comparison::Equal
  417. && !maybe_left_value->is_ident() && !maybe_right_value->is_ident()) {
  418. transaction.commit();
  419. return MediaFeature::range(maybe_left_value.release_value(), left_comparison, maybe_name->id, right_comparison, maybe_right_value.release_value());
  420. }
  421. }
  422. }
  423. }
  424. }
  425. }
  426. return {};
  427. };
  428. if (auto maybe_mf_boolean = parse_mf_boolean(tokens); maybe_mf_boolean.has_value())
  429. return maybe_mf_boolean.release_value();
  430. if (auto maybe_mf_plain = parse_mf_plain(tokens); maybe_mf_plain.has_value())
  431. return maybe_mf_plain.release_value();
  432. if (auto maybe_mf_range = parse_mf_range(tokens); maybe_mf_range.has_value())
  433. return maybe_mf_range.release_value();
  434. return {};
  435. }
  436. Optional<MediaQuery::MediaType> Parser::parse_media_type(TokenStream<ComponentValue>& tokens)
  437. {
  438. auto transaction = tokens.begin_transaction();
  439. tokens.discard_whitespace();
  440. auto const& token = tokens.consume_a_token();
  441. if (!token.is(Token::Type::Ident))
  442. return {};
  443. transaction.commit();
  444. auto ident = token.token().ident();
  445. return media_type_from_string(ident);
  446. }
  447. // `<media-in-parens>`, https://www.w3.org/TR/mediaqueries-4/#typedef-media-in-parens
  448. OwnPtr<MediaCondition> Parser::parse_media_in_parens(TokenStream<ComponentValue>& tokens)
  449. {
  450. // `<media-in-parens> = ( <media-condition> ) | ( <media-feature> ) | <general-enclosed>`
  451. auto transaction = tokens.begin_transaction();
  452. tokens.discard_whitespace();
  453. // `( <media-condition> ) | ( <media-feature> )`
  454. auto const& first_token = tokens.next_token();
  455. if (first_token.is_block() && first_token.block().is_paren()) {
  456. TokenStream inner_token_stream { first_token.block().values() };
  457. if (auto maybe_media_condition = parse_media_condition(inner_token_stream, MediaCondition::AllowOr::Yes)) {
  458. tokens.discard_a_token();
  459. transaction.commit();
  460. return maybe_media_condition.release_nonnull();
  461. }
  462. if (auto maybe_media_feature = parse_media_feature(inner_token_stream); maybe_media_feature.has_value()) {
  463. tokens.discard_a_token();
  464. transaction.commit();
  465. return MediaCondition::from_feature(maybe_media_feature.release_value());
  466. }
  467. }
  468. // `<general-enclosed>`
  469. // FIXME: We should only be taking this branch if the grammar doesn't match the above options.
  470. // Currently we take it if the above fail to parse, which is different.
  471. // eg, `@media (min-width: 76yaks)` is valid grammar, but does not parse because `yaks` isn't a unit.
  472. if (auto maybe_general_enclosed = parse_general_enclosed(tokens); maybe_general_enclosed.has_value()) {
  473. transaction.commit();
  474. return MediaCondition::from_general_enclosed(maybe_general_enclosed.release_value());
  475. }
  476. return {};
  477. }
  478. // `<mf-value>`, https://www.w3.org/TR/mediaqueries-4/#typedef-mf-value
  479. Optional<MediaFeatureValue> Parser::parse_media_feature_value(MediaFeatureID media_feature, TokenStream<ComponentValue>& tokens)
  480. {
  481. // NOTE: Calculations are not allowed for media feature values, at least in the current spec, so we reject them.
  482. // Identifiers
  483. if (tokens.next_token().is(Token::Type::Ident)) {
  484. auto transaction = tokens.begin_transaction();
  485. tokens.discard_whitespace();
  486. auto keyword = keyword_from_string(tokens.consume_a_token().token().ident());
  487. if (keyword.has_value() && media_feature_accepts_keyword(media_feature, keyword.value())) {
  488. transaction.commit();
  489. return MediaFeatureValue(keyword.value());
  490. }
  491. }
  492. // One branch for each member of the MediaFeatureValueType enum:
  493. // Boolean (<mq-boolean> in the spec: a 1 or 0)
  494. if (media_feature_accepts_type(media_feature, MediaFeatureValueType::Boolean)) {
  495. auto transaction = tokens.begin_transaction();
  496. tokens.discard_whitespace();
  497. if (auto integer = parse_integer(tokens); integer.has_value() && !integer->is_calculated()) {
  498. auto integer_value = integer->value();
  499. if (integer_value == 0 || integer_value == 1) {
  500. transaction.commit();
  501. return MediaFeatureValue(integer_value);
  502. }
  503. }
  504. }
  505. // Integer
  506. if (media_feature_accepts_type(media_feature, MediaFeatureValueType::Integer)) {
  507. auto transaction = tokens.begin_transaction();
  508. if (auto integer = parse_integer(tokens); integer.has_value() && !integer->is_calculated()) {
  509. transaction.commit();
  510. return MediaFeatureValue(integer->value());
  511. }
  512. }
  513. // Length
  514. if (media_feature_accepts_type(media_feature, MediaFeatureValueType::Length)) {
  515. auto transaction = tokens.begin_transaction();
  516. tokens.discard_whitespace();
  517. if (auto length = parse_length(tokens); length.has_value() && !length->is_calculated()) {
  518. transaction.commit();
  519. return MediaFeatureValue(length->value());
  520. }
  521. }
  522. // Ratio
  523. if (media_feature_accepts_type(media_feature, MediaFeatureValueType::Ratio)) {
  524. auto transaction = tokens.begin_transaction();
  525. tokens.discard_whitespace();
  526. if (auto ratio = parse_ratio(tokens); ratio.has_value()) {
  527. transaction.commit();
  528. return MediaFeatureValue(ratio.release_value());
  529. }
  530. }
  531. // Resolution
  532. if (media_feature_accepts_type(media_feature, MediaFeatureValueType::Resolution)) {
  533. auto transaction = tokens.begin_transaction();
  534. tokens.discard_whitespace();
  535. if (auto resolution = parse_resolution(tokens); resolution.has_value() && !resolution->is_calculated()) {
  536. transaction.commit();
  537. return MediaFeatureValue(resolution->value());
  538. }
  539. }
  540. return {};
  541. }
  542. JS::GCPtr<CSSMediaRule> Parser::convert_to_media_rule(Rule& rule)
  543. {
  544. if (!rule.block()) {
  545. dbgln_if(CSS_PARSER_DEBUG, "Failed to parse @media rule: No block.");
  546. return {};
  547. }
  548. auto media_query_tokens = TokenStream { rule.prelude() };
  549. auto media_query_list = parse_a_media_query_list(media_query_tokens);
  550. auto child_tokens = TokenStream { rule.block()->values() };
  551. auto parser_rules = parse_a_list_of_rules(child_tokens);
  552. JS::MarkedVector<CSSRule*> child_rules(m_context.realm().heap());
  553. for (auto& raw_rule : parser_rules) {
  554. if (auto child_rule = convert_to_rule(raw_rule))
  555. child_rules.append(child_rule);
  556. }
  557. auto media_list = MediaList::create(m_context.realm(), move(media_query_list));
  558. auto rule_list = CSSRuleList::create(m_context.realm(), child_rules);
  559. return CSSMediaRule::create(m_context.realm(), media_list, rule_list);
  560. }
  561. }