StyleComputer.cpp 108 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291
  1. /*
  2. * Copyright (c) 2018-2023, Andreas Kling <kling@serenityos.org>
  3. * Copyright (c) 2021, the SerenityOS developers.
  4. * Copyright (c) 2021-2023, Sam Atkins <atkinssj@serenityos.org>
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause
  7. */
  8. #include <AK/Debug.h>
  9. #include <AK/Error.h>
  10. #include <AK/HashMap.h>
  11. #include <AK/QuickSort.h>
  12. #include <AK/TemporaryChange.h>
  13. #include <LibGfx/Font/Font.h>
  14. #include <LibGfx/Font/FontDatabase.h>
  15. #include <LibGfx/Font/FontStyleMapping.h>
  16. #include <LibGfx/Font/OpenType/Font.h>
  17. #include <LibGfx/Font/ScaledFont.h>
  18. #include <LibGfx/Font/VectorFont.h>
  19. #include <LibGfx/Font/WOFF/Font.h>
  20. #include <LibWeb/CSS/CSSFontFaceRule.h>
  21. #include <LibWeb/CSS/CSSImportRule.h>
  22. #include <LibWeb/CSS/CSSStyleRule.h>
  23. #include <LibWeb/CSS/Parser/Parser.h>
  24. #include <LibWeb/CSS/SelectorEngine.h>
  25. #include <LibWeb/CSS/StyleComputer.h>
  26. #include <LibWeb/CSS/StyleSheet.h>
  27. #include <LibWeb/CSS/StyleValues/AngleStyleValue.h>
  28. #include <LibWeb/CSS/StyleValues/BackgroundStyleValue.h>
  29. #include <LibWeb/CSS/StyleValues/BorderRadiusShorthandStyleValue.h>
  30. #include <LibWeb/CSS/StyleValues/BorderRadiusStyleValue.h>
  31. #include <LibWeb/CSS/StyleValues/BorderStyleValue.h>
  32. #include <LibWeb/CSS/StyleValues/ColorStyleValue.h>
  33. #include <LibWeb/CSS/StyleValues/CompositeStyleValue.h>
  34. #include <LibWeb/CSS/StyleValues/DisplayStyleValue.h>
  35. #include <LibWeb/CSS/StyleValues/FilterValueListStyleValue.h>
  36. #include <LibWeb/CSS/StyleValues/FlexFlowStyleValue.h>
  37. #include <LibWeb/CSS/StyleValues/FlexStyleValue.h>
  38. #include <LibWeb/CSS/StyleValues/FontStyleValue.h>
  39. #include <LibWeb/CSS/StyleValues/GridAreaShorthandStyleValue.h>
  40. #include <LibWeb/CSS/StyleValues/GridTrackPlacementShorthandStyleValue.h>
  41. #include <LibWeb/CSS/StyleValues/GridTrackPlacementStyleValue.h>
  42. #include <LibWeb/CSS/StyleValues/GridTrackSizeListShorthandStyleValue.h>
  43. #include <LibWeb/CSS/StyleValues/GridTrackSizeListStyleValue.h>
  44. #include <LibWeb/CSS/StyleValues/IdentifierStyleValue.h>
  45. #include <LibWeb/CSS/StyleValues/LengthStyleValue.h>
  46. #include <LibWeb/CSS/StyleValues/ListStyleStyleValue.h>
  47. #include <LibWeb/CSS/StyleValues/NumericStyleValue.h>
  48. #include <LibWeb/CSS/StyleValues/OverflowStyleValue.h>
  49. #include <LibWeb/CSS/StyleValues/PercentageStyleValue.h>
  50. #include <LibWeb/CSS/StyleValues/PositionStyleValue.h>
  51. #include <LibWeb/CSS/StyleValues/RectStyleValue.h>
  52. #include <LibWeb/CSS/StyleValues/StyleValueList.h>
  53. #include <LibWeb/CSS/StyleValues/TextDecorationStyleValue.h>
  54. #include <LibWeb/CSS/StyleValues/TimeStyleValue.h>
  55. #include <LibWeb/CSS/StyleValues/TransformationStyleValue.h>
  56. #include <LibWeb/CSS/StyleValues/UnresolvedStyleValue.h>
  57. #include <LibWeb/DOM/Document.h>
  58. #include <LibWeb/DOM/Element.h>
  59. #include <LibWeb/FontCache.h>
  60. #include <LibWeb/HTML/HTMLHtmlElement.h>
  61. #include <LibWeb/Layout/Node.h>
  62. #include <LibWeb/Loader/ResourceLoader.h>
  63. #include <LibWeb/Platform/FontPlugin.h>
  64. #include <stdio.h>
  65. namespace AK {
  66. // traits for FontFaceKey
  67. template<>
  68. struct Traits<Web::CSS::FontFaceKey> : public GenericTraits<Web::CSS::FontFaceKey> {
  69. static unsigned hash(Web::CSS::FontFaceKey const& key) { return pair_int_hash(key.family_name.hash(), pair_int_hash(key.weight, key.slope)); }
  70. };
  71. }
  72. namespace Web::CSS {
  73. StyleComputer::StyleComputer(DOM::Document& document)
  74. : m_document(document)
  75. , m_default_font_metrics(16, Gfx::FontDatabase::default_font().pixel_metrics(), 16)
  76. , m_root_element_font_metrics(m_default_font_metrics)
  77. {
  78. }
  79. StyleComputer::~StyleComputer() = default;
  80. class StyleComputer::FontLoader : public ResourceClient {
  81. public:
  82. explicit FontLoader(StyleComputer& style_computer, FlyString family_name, Vector<AK::URL> urls)
  83. : m_style_computer(style_computer)
  84. , m_family_name(move(family_name))
  85. , m_urls(move(urls))
  86. {
  87. start_loading_next_url();
  88. }
  89. virtual ~FontLoader() override { }
  90. virtual void resource_did_load() override
  91. {
  92. auto result = try_load_font();
  93. if (result.is_error())
  94. return start_loading_next_url();
  95. m_vector_font = result.release_value();
  96. m_style_computer.did_load_font(m_family_name);
  97. }
  98. virtual void resource_did_fail() override
  99. {
  100. }
  101. RefPtr<Gfx::Font> font_with_point_size(float point_size) const
  102. {
  103. if (!m_vector_font)
  104. return nullptr;
  105. if (auto it = m_cached_fonts.find(point_size); it != m_cached_fonts.end())
  106. return it->value;
  107. // FIXME: It might be nicer to have a global cap on the number of fonts we cache
  108. // instead of doing it at the per-font level like this.
  109. constexpr size_t max_cached_font_size_count = 64;
  110. if (m_cached_fonts.size() > max_cached_font_size_count)
  111. m_cached_fonts.remove(m_cached_fonts.begin());
  112. auto font = adopt_ref(*new Gfx::ScaledFont(*m_vector_font, point_size, point_size));
  113. m_cached_fonts.set(point_size, font);
  114. return font;
  115. }
  116. private:
  117. void start_loading_next_url()
  118. {
  119. if (m_urls.is_empty())
  120. return;
  121. LoadRequest request;
  122. request.set_url(m_urls.take_first());
  123. set_resource(ResourceLoader::the().load_resource(Resource::Type::Generic, request));
  124. }
  125. ErrorOr<NonnullRefPtr<Gfx::VectorFont>> try_load_font()
  126. {
  127. // FIXME: This could maybe use the format() provided in @font-face as well, since often the mime type is just application/octet-stream and we have to try every format
  128. auto mime_type = resource()->mime_type();
  129. if (mime_type == "font/ttf"sv || mime_type == "application/x-font-ttf"sv)
  130. return TRY(OpenType::Font::try_load_from_externally_owned_memory(resource()->encoded_data()));
  131. if (mime_type == "font/woff"sv || mime_type == "application/font-woff"sv)
  132. return TRY(WOFF::Font::try_load_from_externally_owned_memory(resource()->encoded_data()));
  133. auto ttf = OpenType::Font::try_load_from_externally_owned_memory(resource()->encoded_data());
  134. if (!ttf.is_error())
  135. return ttf.release_value();
  136. auto woff = WOFF::Font::try_load_from_externally_owned_memory(resource()->encoded_data());
  137. if (!woff.is_error())
  138. return woff.release_value();
  139. return ttf.release_error();
  140. }
  141. StyleComputer& m_style_computer;
  142. FlyString m_family_name;
  143. RefPtr<Gfx::VectorFont> m_vector_font;
  144. Vector<AK::URL> m_urls;
  145. HashMap<float, NonnullRefPtr<Gfx::ScaledFont>> mutable m_cached_fonts;
  146. };
  147. static CSSStyleSheet& default_stylesheet(DOM::Document const& document)
  148. {
  149. static JS::Handle<CSSStyleSheet> sheet;
  150. if (!sheet.cell()) {
  151. extern StringView default_stylesheet_source;
  152. sheet = JS::make_handle(parse_css_stylesheet(CSS::Parser::ParsingContext(document), default_stylesheet_source));
  153. }
  154. return *sheet;
  155. }
  156. static CSSStyleSheet& quirks_mode_stylesheet(DOM::Document const& document)
  157. {
  158. static JS::Handle<CSSStyleSheet> sheet;
  159. if (!sheet.cell()) {
  160. extern StringView quirks_mode_stylesheet_source;
  161. sheet = JS::make_handle(parse_css_stylesheet(CSS::Parser::ParsingContext(document), quirks_mode_stylesheet_source));
  162. }
  163. return *sheet;
  164. }
  165. template<typename Callback>
  166. void StyleComputer::for_each_stylesheet(CascadeOrigin cascade_origin, Callback callback) const
  167. {
  168. if (cascade_origin == CascadeOrigin::UserAgent) {
  169. callback(default_stylesheet(document()));
  170. if (document().in_quirks_mode())
  171. callback(quirks_mode_stylesheet(document()));
  172. }
  173. if (cascade_origin == CascadeOrigin::Author) {
  174. for (auto const& sheet : document().style_sheets().sheets())
  175. callback(*sheet);
  176. }
  177. }
  178. StyleComputer::RuleCache const& StyleComputer::rule_cache_for_cascade_origin(CascadeOrigin cascade_origin) const
  179. {
  180. switch (cascade_origin) {
  181. case CascadeOrigin::Author:
  182. return *m_author_rule_cache;
  183. case CascadeOrigin::UserAgent:
  184. return *m_user_agent_rule_cache;
  185. default:
  186. TODO();
  187. }
  188. }
  189. Vector<MatchingRule> StyleComputer::collect_matching_rules(DOM::Element const& element, CascadeOrigin cascade_origin, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  190. {
  191. auto const& rule_cache = rule_cache_for_cascade_origin(cascade_origin);
  192. Vector<MatchingRule> rules_to_run;
  193. auto add_rules_to_run = [&](Vector<MatchingRule> const& rules) {
  194. if (pseudo_element.has_value()) {
  195. for (auto& rule : rules) {
  196. if (rule.contains_pseudo_element)
  197. rules_to_run.append(rule);
  198. }
  199. } else {
  200. rules_to_run.extend(rules);
  201. }
  202. };
  203. for (auto const& class_name : element.class_names()) {
  204. if (auto it = rule_cache.rules_by_class.find(class_name); it != rule_cache.rules_by_class.end())
  205. add_rules_to_run(it->value);
  206. }
  207. if (auto id = element.get_attribute(HTML::AttributeNames::id); !id.is_null()) {
  208. if (auto it = rule_cache.rules_by_id.find(FlyString::from_deprecated_fly_string(id).release_value_but_fixme_should_propagate_errors()); it != rule_cache.rules_by_id.end())
  209. add_rules_to_run(it->value);
  210. }
  211. if (auto it = rule_cache.rules_by_tag_name.find(FlyString::from_deprecated_fly_string(element.local_name()).release_value_but_fixme_should_propagate_errors()); it != rule_cache.rules_by_tag_name.end())
  212. add_rules_to_run(it->value);
  213. add_rules_to_run(rule_cache.other_rules);
  214. Vector<MatchingRule> matching_rules;
  215. matching_rules.ensure_capacity(rules_to_run.size());
  216. for (auto const& rule_to_run : rules_to_run) {
  217. auto const& selector = rule_to_run.rule->selectors()[rule_to_run.selector_index];
  218. if (SelectorEngine::matches(selector, element, pseudo_element))
  219. matching_rules.append(rule_to_run);
  220. }
  221. return matching_rules;
  222. }
  223. static void sort_matching_rules(Vector<MatchingRule>& matching_rules)
  224. {
  225. quick_sort(matching_rules, [&](MatchingRule& a, MatchingRule& b) {
  226. auto const& a_selector = a.rule->selectors()[a.selector_index];
  227. auto const& b_selector = b.rule->selectors()[b.selector_index];
  228. auto a_specificity = a_selector->specificity();
  229. auto b_specificity = b_selector->specificity();
  230. if (a_selector->specificity() == b_selector->specificity()) {
  231. if (a.style_sheet_index == b.style_sheet_index)
  232. return a.rule_index < b.rule_index;
  233. return a.style_sheet_index < b.style_sheet_index;
  234. }
  235. return a_specificity < b_specificity;
  236. });
  237. }
  238. enum class Edge {
  239. Top,
  240. Right,
  241. Bottom,
  242. Left,
  243. All,
  244. };
  245. static bool contains(Edge a, Edge b)
  246. {
  247. return a == b || b == Edge::All;
  248. }
  249. static void set_property_expanding_shorthands(StyleProperties& style, CSS::PropertyID property_id, StyleValue const& value, DOM::Document& document, CSS::CSSStyleDeclaration const* declaration)
  250. {
  251. if (value.is_composite()) {
  252. auto& composite_value = value.as_composite();
  253. auto& properties = composite_value.sub_properties();
  254. auto& values = composite_value.values();
  255. for (size_t i = 0; i < properties.size(); ++i)
  256. set_property_expanding_shorthands(style, properties[i], values[i], document, declaration);
  257. }
  258. auto assign_edge_values = [&style, &declaration](PropertyID top_property, PropertyID right_property, PropertyID bottom_property, PropertyID left_property, auto const& values) {
  259. if (values.size() == 4) {
  260. style.set_property(top_property, values[0], declaration);
  261. style.set_property(right_property, values[1], declaration);
  262. style.set_property(bottom_property, values[2], declaration);
  263. style.set_property(left_property, values[3], declaration);
  264. } else if (values.size() == 3) {
  265. style.set_property(top_property, values[0], declaration);
  266. style.set_property(right_property, values[1], declaration);
  267. style.set_property(bottom_property, values[2], declaration);
  268. style.set_property(left_property, values[1], declaration);
  269. } else if (values.size() == 2) {
  270. style.set_property(top_property, values[0], declaration);
  271. style.set_property(right_property, values[1], declaration);
  272. style.set_property(bottom_property, values[0], declaration);
  273. style.set_property(left_property, values[1], declaration);
  274. } else if (values.size() == 1) {
  275. style.set_property(top_property, values[0], declaration);
  276. style.set_property(right_property, values[0], declaration);
  277. style.set_property(bottom_property, values[0], declaration);
  278. style.set_property(left_property, values[0], declaration);
  279. }
  280. };
  281. if (property_id == CSS::PropertyID::TextDecoration) {
  282. if (value.is_text_decoration()) {
  283. auto const& text_decoration = value.as_text_decoration();
  284. style.set_property(CSS::PropertyID::TextDecorationLine, text_decoration.line(), declaration);
  285. style.set_property(CSS::PropertyID::TextDecorationThickness, text_decoration.thickness(), declaration);
  286. style.set_property(CSS::PropertyID::TextDecorationStyle, text_decoration.style(), declaration);
  287. style.set_property(CSS::PropertyID::TextDecorationColor, text_decoration.color(), declaration);
  288. return;
  289. }
  290. style.set_property(CSS::PropertyID::TextDecorationLine, value, declaration);
  291. style.set_property(CSS::PropertyID::TextDecorationThickness, value, declaration);
  292. style.set_property(CSS::PropertyID::TextDecorationStyle, value, declaration);
  293. style.set_property(CSS::PropertyID::TextDecorationColor, value, declaration);
  294. return;
  295. }
  296. if (property_id == CSS::PropertyID::Overflow) {
  297. if (value.is_overflow()) {
  298. auto const& overflow = value.as_overflow();
  299. style.set_property(CSS::PropertyID::OverflowX, overflow.overflow_x(), declaration);
  300. style.set_property(CSS::PropertyID::OverflowY, overflow.overflow_y(), declaration);
  301. return;
  302. }
  303. style.set_property(CSS::PropertyID::OverflowX, value, declaration);
  304. style.set_property(CSS::PropertyID::OverflowY, value, declaration);
  305. return;
  306. }
  307. if (property_id == CSS::PropertyID::Border) {
  308. set_property_expanding_shorthands(style, CSS::PropertyID::BorderTop, value, document, declaration);
  309. set_property_expanding_shorthands(style, CSS::PropertyID::BorderRight, value, document, declaration);
  310. set_property_expanding_shorthands(style, CSS::PropertyID::BorderBottom, value, document, declaration);
  311. set_property_expanding_shorthands(style, CSS::PropertyID::BorderLeft, value, document, declaration);
  312. // FIXME: Also reset border-image, in line with the spec: https://www.w3.org/TR/css-backgrounds-3/#border-shorthands
  313. return;
  314. }
  315. if (property_id == CSS::PropertyID::BorderRadius) {
  316. if (value.is_border_radius_shorthand()) {
  317. auto const& shorthand = value.as_border_radius_shorthand();
  318. style.set_property(CSS::PropertyID::BorderTopLeftRadius, shorthand.top_left(), declaration);
  319. style.set_property(CSS::PropertyID::BorderTopRightRadius, shorthand.top_right(), declaration);
  320. style.set_property(CSS::PropertyID::BorderBottomRightRadius, shorthand.bottom_right(), declaration);
  321. style.set_property(CSS::PropertyID::BorderBottomLeftRadius, shorthand.bottom_left(), declaration);
  322. return;
  323. }
  324. style.set_property(CSS::PropertyID::BorderTopLeftRadius, value, declaration);
  325. style.set_property(CSS::PropertyID::BorderTopRightRadius, value, declaration);
  326. style.set_property(CSS::PropertyID::BorderBottomRightRadius, value, declaration);
  327. style.set_property(CSS::PropertyID::BorderBottomLeftRadius, value, declaration);
  328. return;
  329. }
  330. if (property_id == CSS::PropertyID::BorderTop
  331. || property_id == CSS::PropertyID::BorderRight
  332. || property_id == CSS::PropertyID::BorderBottom
  333. || property_id == CSS::PropertyID::BorderLeft) {
  334. Edge edge = Edge::All;
  335. switch (property_id) {
  336. case CSS::PropertyID::BorderTop:
  337. edge = Edge::Top;
  338. break;
  339. case CSS::PropertyID::BorderRight:
  340. edge = Edge::Right;
  341. break;
  342. case CSS::PropertyID::BorderBottom:
  343. edge = Edge::Bottom;
  344. break;
  345. case CSS::PropertyID::BorderLeft:
  346. edge = Edge::Left;
  347. break;
  348. default:
  349. break;
  350. }
  351. if (value.is_border()) {
  352. auto const& border = value.as_border();
  353. if (contains(Edge::Top, edge)) {
  354. style.set_property(PropertyID::BorderTopWidth, border.border_width(), declaration);
  355. style.set_property(PropertyID::BorderTopStyle, border.border_style(), declaration);
  356. style.set_property(PropertyID::BorderTopColor, border.border_color(), declaration);
  357. }
  358. if (contains(Edge::Right, edge)) {
  359. style.set_property(PropertyID::BorderRightWidth, border.border_width(), declaration);
  360. style.set_property(PropertyID::BorderRightStyle, border.border_style(), declaration);
  361. style.set_property(PropertyID::BorderRightColor, border.border_color(), declaration);
  362. }
  363. if (contains(Edge::Bottom, edge)) {
  364. style.set_property(PropertyID::BorderBottomWidth, border.border_width(), declaration);
  365. style.set_property(PropertyID::BorderBottomStyle, border.border_style(), declaration);
  366. style.set_property(PropertyID::BorderBottomColor, border.border_color(), declaration);
  367. }
  368. if (contains(Edge::Left, edge)) {
  369. style.set_property(PropertyID::BorderLeftWidth, border.border_width(), declaration);
  370. style.set_property(PropertyID::BorderLeftStyle, border.border_style(), declaration);
  371. style.set_property(PropertyID::BorderLeftColor, border.border_color(), declaration);
  372. }
  373. return;
  374. }
  375. return;
  376. }
  377. if (property_id == CSS::PropertyID::BorderStyle) {
  378. if (value.is_value_list()) {
  379. auto const& values_list = value.as_value_list();
  380. assign_edge_values(PropertyID::BorderTopStyle, PropertyID::BorderRightStyle, PropertyID::BorderBottomStyle, PropertyID::BorderLeftStyle, values_list.values());
  381. return;
  382. }
  383. style.set_property(CSS::PropertyID::BorderTopStyle, value, declaration);
  384. style.set_property(CSS::PropertyID::BorderRightStyle, value, declaration);
  385. style.set_property(CSS::PropertyID::BorderBottomStyle, value, declaration);
  386. style.set_property(CSS::PropertyID::BorderLeftStyle, value, declaration);
  387. return;
  388. }
  389. if (property_id == CSS::PropertyID::BorderWidth) {
  390. if (value.is_value_list()) {
  391. auto const& values_list = value.as_value_list();
  392. assign_edge_values(PropertyID::BorderTopWidth, PropertyID::BorderRightWidth, PropertyID::BorderBottomWidth, PropertyID::BorderLeftWidth, values_list.values());
  393. return;
  394. }
  395. style.set_property(CSS::PropertyID::BorderTopWidth, value, declaration);
  396. style.set_property(CSS::PropertyID::BorderRightWidth, value, declaration);
  397. style.set_property(CSS::PropertyID::BorderBottomWidth, value, declaration);
  398. style.set_property(CSS::PropertyID::BorderLeftWidth, value, declaration);
  399. return;
  400. }
  401. if (property_id == CSS::PropertyID::BorderColor) {
  402. if (value.is_value_list()) {
  403. auto const& values_list = value.as_value_list();
  404. assign_edge_values(PropertyID::BorderTopColor, PropertyID::BorderRightColor, PropertyID::BorderBottomColor, PropertyID::BorderLeftColor, values_list.values());
  405. return;
  406. }
  407. style.set_property(CSS::PropertyID::BorderTopColor, value, declaration);
  408. style.set_property(CSS::PropertyID::BorderRightColor, value, declaration);
  409. style.set_property(CSS::PropertyID::BorderBottomColor, value, declaration);
  410. style.set_property(CSS::PropertyID::BorderLeftColor, value, declaration);
  411. return;
  412. }
  413. if (property_id == CSS::PropertyID::Background) {
  414. if (value.is_background()) {
  415. auto const& background = value.as_background();
  416. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundColor, background.color(), document, declaration);
  417. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundImage, background.image(), document, declaration);
  418. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundPosition, background.position(), document, declaration);
  419. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundSize, background.size(), document, declaration);
  420. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundRepeat, background.repeat(), document, declaration);
  421. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundAttachment, background.attachment(), document, declaration);
  422. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundOrigin, background.origin(), document, declaration);
  423. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundClip, background.clip(), document, declaration);
  424. return;
  425. }
  426. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundColor, value, document, declaration);
  427. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundImage, value, document, declaration);
  428. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundPosition, value, document, declaration);
  429. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundSize, value, document, declaration);
  430. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundRepeat, value, document, declaration);
  431. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundAttachment, value, document, declaration);
  432. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundOrigin, value, document, declaration);
  433. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundClip, value, document, declaration);
  434. return;
  435. }
  436. if (property_id == CSS::PropertyID::BackgroundPosition) {
  437. if (value.is_position()) {
  438. auto const& position = value.as_position();
  439. style.set_property(CSS::PropertyID::BackgroundPositionX, position.edge_x(), declaration);
  440. style.set_property(CSS::PropertyID::BackgroundPositionY, position.edge_y(), declaration);
  441. } else if (value.is_value_list()) {
  442. // Expand background-position layer list into separate lists for x and y positions:
  443. auto const& values_list = value.as_value_list();
  444. StyleValueVector x_positions {};
  445. StyleValueVector y_positions {};
  446. x_positions.ensure_capacity(values_list.size());
  447. y_positions.ensure_capacity(values_list.size());
  448. for (auto& layer : values_list.values()) {
  449. if (layer->is_position()) {
  450. auto const& position = layer->as_position();
  451. x_positions.unchecked_append(position.edge_x());
  452. y_positions.unchecked_append(position.edge_y());
  453. } else {
  454. x_positions.unchecked_append(layer);
  455. y_positions.unchecked_append(layer);
  456. }
  457. }
  458. style.set_property(CSS::PropertyID::BackgroundPositionX, StyleValueList::create(move(x_positions), values_list.separator()).release_value_but_fixme_should_propagate_errors(), declaration);
  459. style.set_property(CSS::PropertyID::BackgroundPositionY, StyleValueList::create(move(y_positions), values_list.separator()).release_value_but_fixme_should_propagate_errors(), declaration);
  460. } else {
  461. style.set_property(CSS::PropertyID::BackgroundPositionX, value, declaration);
  462. style.set_property(CSS::PropertyID::BackgroundPositionY, value, declaration);
  463. }
  464. return;
  465. }
  466. if (property_id == CSS::PropertyID::Margin) {
  467. if (value.is_value_list()) {
  468. auto const& values_list = value.as_value_list();
  469. assign_edge_values(PropertyID::MarginTop, PropertyID::MarginRight, PropertyID::MarginBottom, PropertyID::MarginLeft, values_list.values());
  470. return;
  471. }
  472. style.set_property(CSS::PropertyID::MarginTop, value, declaration);
  473. style.set_property(CSS::PropertyID::MarginRight, value, declaration);
  474. style.set_property(CSS::PropertyID::MarginBottom, value, declaration);
  475. style.set_property(CSS::PropertyID::MarginLeft, value, declaration);
  476. return;
  477. }
  478. if (property_id == CSS::PropertyID::Padding) {
  479. if (value.is_value_list()) {
  480. auto const& values_list = value.as_value_list();
  481. assign_edge_values(PropertyID::PaddingTop, PropertyID::PaddingRight, PropertyID::PaddingBottom, PropertyID::PaddingLeft, values_list.values());
  482. return;
  483. }
  484. style.set_property(CSS::PropertyID::PaddingTop, value, declaration);
  485. style.set_property(CSS::PropertyID::PaddingRight, value, declaration);
  486. style.set_property(CSS::PropertyID::PaddingBottom, value, declaration);
  487. style.set_property(CSS::PropertyID::PaddingLeft, value, declaration);
  488. return;
  489. }
  490. if (property_id == CSS::PropertyID::ListStyle) {
  491. if (value.is_list_style()) {
  492. auto const& list_style = value.as_list_style();
  493. style.set_property(CSS::PropertyID::ListStylePosition, list_style.position(), declaration);
  494. style.set_property(CSS::PropertyID::ListStyleImage, list_style.image(), declaration);
  495. style.set_property(CSS::PropertyID::ListStyleType, list_style.style_type(), declaration);
  496. return;
  497. }
  498. style.set_property(CSS::PropertyID::ListStylePosition, value, declaration);
  499. style.set_property(CSS::PropertyID::ListStyleImage, value, declaration);
  500. style.set_property(CSS::PropertyID::ListStyleType, value, declaration);
  501. return;
  502. }
  503. if (property_id == CSS::PropertyID::Font) {
  504. if (value.is_font()) {
  505. auto const& font_shorthand = value.as_font();
  506. style.set_property(CSS::PropertyID::FontSize, font_shorthand.font_size(), declaration);
  507. style.set_property(CSS::PropertyID::FontFamily, font_shorthand.font_families(), declaration);
  508. style.set_property(CSS::PropertyID::FontStretch, font_shorthand.font_stretch(), declaration);
  509. style.set_property(CSS::PropertyID::FontStyle, font_shorthand.font_style(), declaration);
  510. style.set_property(CSS::PropertyID::FontWeight, font_shorthand.font_weight(), declaration);
  511. style.set_property(CSS::PropertyID::LineHeight, font_shorthand.line_height(), declaration);
  512. // FIXME: Implement font-variant
  513. return;
  514. }
  515. style.set_property(CSS::PropertyID::FontStretch, value, declaration);
  516. style.set_property(CSS::PropertyID::FontSize, value, declaration);
  517. style.set_property(CSS::PropertyID::FontFamily, value, declaration);
  518. style.set_property(CSS::PropertyID::FontStyle, value, declaration);
  519. style.set_property(CSS::PropertyID::FontWeight, value, declaration);
  520. style.set_property(CSS::PropertyID::LineHeight, value, declaration);
  521. // FIXME: Implement font-variant
  522. return;
  523. }
  524. if (property_id == CSS::PropertyID::Flex) {
  525. if (value.is_flex()) {
  526. auto const& flex = value.as_flex();
  527. style.set_property(CSS::PropertyID::FlexGrow, flex.grow(), declaration);
  528. style.set_property(CSS::PropertyID::FlexShrink, flex.shrink(), declaration);
  529. style.set_property(CSS::PropertyID::FlexBasis, flex.basis(), declaration);
  530. return;
  531. }
  532. style.set_property(CSS::PropertyID::FlexGrow, value, declaration);
  533. style.set_property(CSS::PropertyID::FlexShrink, value, declaration);
  534. style.set_property(CSS::PropertyID::FlexBasis, value, declaration);
  535. return;
  536. }
  537. if (property_id == CSS::PropertyID::FlexFlow) {
  538. if (value.is_flex_flow()) {
  539. auto const& flex_flow = value.as_flex_flow();
  540. style.set_property(CSS::PropertyID::FlexDirection, flex_flow.flex_direction(), declaration);
  541. style.set_property(CSS::PropertyID::FlexWrap, flex_flow.flex_wrap(), declaration);
  542. return;
  543. }
  544. style.set_property(CSS::PropertyID::FlexDirection, value, declaration);
  545. style.set_property(CSS::PropertyID::FlexWrap, value, declaration);
  546. return;
  547. }
  548. if (property_id == CSS::PropertyID::GridArea) {
  549. if (value.is_grid_area_shorthand()) {
  550. auto const& shorthand = value.as_grid_area_shorthand();
  551. style.set_property(CSS::PropertyID::GridRowStart, shorthand.row_start(), declaration);
  552. style.set_property(CSS::PropertyID::GridColumnStart, shorthand.column_start(), declaration);
  553. style.set_property(CSS::PropertyID::GridRowEnd, shorthand.row_end(), declaration);
  554. style.set_property(CSS::PropertyID::GridColumnEnd, shorthand.column_end(), declaration);
  555. return;
  556. }
  557. style.set_property(CSS::PropertyID::GridRowStart, value, declaration);
  558. style.set_property(CSS::PropertyID::GridColumnStart, value, declaration);
  559. style.set_property(CSS::PropertyID::GridRowEnd, value, declaration);
  560. style.set_property(CSS::PropertyID::GridColumnEnd, value, declaration);
  561. return;
  562. }
  563. if (property_id == CSS::PropertyID::GridColumn) {
  564. if (value.is_grid_track_placement_shorthand()) {
  565. auto const& shorthand = value.as_grid_track_placement_shorthand();
  566. style.set_property(CSS::PropertyID::GridColumnStart, shorthand.start(), declaration);
  567. style.set_property(CSS::PropertyID::GridColumnEnd, shorthand.end(), declaration);
  568. return;
  569. }
  570. style.set_property(CSS::PropertyID::GridColumnStart, value, declaration);
  571. style.set_property(CSS::PropertyID::GridColumnEnd, value, declaration);
  572. return;
  573. }
  574. if (property_id == CSS::PropertyID::GridRow) {
  575. if (value.is_grid_track_placement_shorthand()) {
  576. auto const& shorthand = value.as_grid_track_placement_shorthand();
  577. style.set_property(CSS::PropertyID::GridRowStart, shorthand.start(), declaration);
  578. style.set_property(CSS::PropertyID::GridRowEnd, shorthand.end(), declaration);
  579. return;
  580. }
  581. style.set_property(CSS::PropertyID::GridRowStart, value, declaration);
  582. style.set_property(CSS::PropertyID::GridRowEnd, value, declaration);
  583. return;
  584. }
  585. if (property_id == CSS::PropertyID::GridTemplate || property_id == CSS::PropertyID::Grid) {
  586. if (value.is_grid_track_size_list_shorthand()) {
  587. auto const& shorthand = value.as_grid_track_size_list_shorthand();
  588. style.set_property(CSS::PropertyID::GridTemplateAreas, shorthand.areas(), declaration);
  589. style.set_property(CSS::PropertyID::GridTemplateRows, shorthand.rows(), declaration);
  590. style.set_property(CSS::PropertyID::GridTemplateColumns, shorthand.columns(), declaration);
  591. return;
  592. }
  593. style.set_property(CSS::PropertyID::GridTemplateAreas, value, declaration);
  594. style.set_property(CSS::PropertyID::GridTemplateRows, value, declaration);
  595. style.set_property(CSS::PropertyID::GridTemplateColumns, value, declaration);
  596. return;
  597. }
  598. if (property_id == CSS::PropertyID::Gap || property_id == CSS::PropertyID::GridGap) {
  599. if (value.is_value_list()) {
  600. auto const& values_list = value.as_value_list();
  601. style.set_property(CSS::PropertyID::RowGap, values_list.values()[0], declaration);
  602. style.set_property(CSS::PropertyID::ColumnGap, values_list.values()[1], declaration);
  603. return;
  604. }
  605. style.set_property(CSS::PropertyID::RowGap, value, declaration);
  606. style.set_property(CSS::PropertyID::ColumnGap, value, declaration);
  607. return;
  608. }
  609. if (property_id == CSS::PropertyID::RowGap || property_id == CSS::PropertyID::GridRowGap) {
  610. style.set_property(CSS::PropertyID::RowGap, value, declaration);
  611. return;
  612. }
  613. if (property_id == CSS::PropertyID::ColumnGap || property_id == CSS::PropertyID::GridColumnGap) {
  614. style.set_property(CSS::PropertyID::ColumnGap, value, declaration);
  615. return;
  616. }
  617. if (property_id == CSS::PropertyID::MaxInlineSize || property_id == CSS::PropertyID::MinInlineSize) {
  618. // FIXME: Use writing-mode to determine if we should set width or height.
  619. bool is_horizontal = true;
  620. if (is_horizontal) {
  621. if (property_id == CSS::PropertyID::MaxInlineSize) {
  622. style.set_property(CSS::PropertyID::MaxWidth, value, declaration);
  623. } else {
  624. style.set_property(CSS::PropertyID::MinWidth, value, declaration);
  625. }
  626. } else {
  627. if (property_id == CSS::PropertyID::MaxInlineSize) {
  628. style.set_property(CSS::PropertyID::MaxHeight, value, declaration);
  629. } else {
  630. style.set_property(CSS::PropertyID::MinHeight, value, declaration);
  631. }
  632. }
  633. return;
  634. }
  635. style.set_property(property_id, value, declaration);
  636. }
  637. static RefPtr<StyleValue const> get_custom_property(DOM::Element const& element, Optional<CSS::Selector::PseudoElement> pseudo_element, FlyString const& custom_property_name)
  638. {
  639. if (pseudo_element.has_value()) {
  640. if (auto it = element.custom_properties(pseudo_element).find(custom_property_name.to_string().to_deprecated_string()); it != element.custom_properties(pseudo_element).end())
  641. return it->value.value;
  642. }
  643. for (auto const* current_element = &element; current_element; current_element = current_element->parent_element()) {
  644. if (auto it = current_element->custom_properties({}).find(custom_property_name.to_string().to_deprecated_string()); it != current_element->custom_properties({}).end())
  645. return it->value.value;
  646. }
  647. return nullptr;
  648. }
  649. bool StyleComputer::expand_variables(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, StringView property_name, HashMap<FlyString, NonnullRefPtr<PropertyDependencyNode>>& dependencies, Parser::TokenStream<Parser::ComponentValue>& source, Vector<Parser::ComponentValue>& dest) const
  650. {
  651. // Arbitrary large value chosen to avoid the billion-laughs attack.
  652. // https://www.w3.org/TR/css-variables-1/#long-variables
  653. const size_t MAX_VALUE_COUNT = 16384;
  654. if (source.remaining_token_count() + dest.size() > MAX_VALUE_COUNT) {
  655. dbgln("Stopped expanding CSS variables: maximum length reached.");
  656. return false;
  657. }
  658. auto get_dependency_node = [&](FlyString name) -> NonnullRefPtr<PropertyDependencyNode> {
  659. if (auto existing = dependencies.get(name); existing.has_value())
  660. return *existing.value();
  661. auto new_node = PropertyDependencyNode::create(name.to_string());
  662. dependencies.set(name, new_node);
  663. return new_node;
  664. };
  665. while (source.has_next_token()) {
  666. auto const& value = source.next_token();
  667. if (!value.is_function()) {
  668. dest.empend(value);
  669. continue;
  670. }
  671. if (!value.function().name().equals_ignoring_ascii_case("var"sv)) {
  672. auto const& source_function = value.function();
  673. Vector<Parser::ComponentValue> function_values;
  674. Parser::TokenStream source_function_contents { source_function.values() };
  675. if (!expand_variables(element, pseudo_element, property_name, dependencies, source_function_contents, function_values))
  676. return false;
  677. NonnullRefPtr<Parser::Function> function = Parser::Function::create(FlyString::from_utf8(source_function.name()).release_value_but_fixme_should_propagate_errors(), move(function_values));
  678. dest.empend(function);
  679. continue;
  680. }
  681. Parser::TokenStream var_contents { value.function().values() };
  682. var_contents.skip_whitespace();
  683. if (!var_contents.has_next_token())
  684. return false;
  685. auto const& custom_property_name_token = var_contents.next_token();
  686. if (!custom_property_name_token.is(Parser::Token::Type::Ident))
  687. return false;
  688. auto custom_property_name = custom_property_name_token.token().ident();
  689. if (!custom_property_name.starts_with("--"sv))
  690. return false;
  691. // Detect dependency cycles. https://www.w3.org/TR/css-variables-1/#cycles
  692. // We do not do this by the spec, since we are not keeping a graph of var dependencies around,
  693. // but rebuilding it every time.
  694. if (custom_property_name == property_name)
  695. return false;
  696. auto parent = get_dependency_node(FlyString::from_utf8(property_name).release_value_but_fixme_should_propagate_errors());
  697. auto child = get_dependency_node(FlyString::from_utf8(custom_property_name).release_value_but_fixme_should_propagate_errors());
  698. parent->add_child(child);
  699. if (parent->has_cycles())
  700. return false;
  701. if (auto custom_property_value = get_custom_property(element, pseudo_element, FlyString::from_utf8(custom_property_name).release_value_but_fixme_should_propagate_errors())) {
  702. VERIFY(custom_property_value->is_unresolved());
  703. Parser::TokenStream custom_property_tokens { custom_property_value->as_unresolved().values() };
  704. if (!expand_variables(element, pseudo_element, custom_property_name, dependencies, custom_property_tokens, dest))
  705. return false;
  706. continue;
  707. }
  708. // Use the provided fallback value, if any.
  709. var_contents.skip_whitespace();
  710. if (var_contents.has_next_token()) {
  711. auto const& comma_token = var_contents.next_token();
  712. if (!comma_token.is(Parser::Token::Type::Comma))
  713. return false;
  714. var_contents.skip_whitespace();
  715. if (!expand_variables(element, pseudo_element, property_name, dependencies, var_contents, dest))
  716. return false;
  717. }
  718. }
  719. return true;
  720. }
  721. bool StyleComputer::expand_unresolved_values(DOM::Element& element, StringView property_name, Parser::TokenStream<Parser::ComponentValue>& source, Vector<Parser::ComponentValue>& dest) const
  722. {
  723. // FIXME: Do this better!
  724. // We build a copy of the tree of ComponentValues, with all var()s and attr()s replaced with their contents.
  725. // This is a very naive solution, and we could do better if the CSS Parser could accept tokens one at a time.
  726. while (source.has_next_token()) {
  727. auto const& value = source.next_token();
  728. if (value.is_function()) {
  729. if (value.function().name().equals_ignoring_ascii_case("attr"sv)) {
  730. // https://drafts.csswg.org/css-values-5/#attr-substitution
  731. Parser::TokenStream attr_contents { value.function().values() };
  732. attr_contents.skip_whitespace();
  733. if (!attr_contents.has_next_token())
  734. return false;
  735. auto const& attr_name_token = attr_contents.next_token();
  736. if (!attr_name_token.is(Parser::Token::Type::Ident))
  737. return false;
  738. auto attr_name = attr_name_token.token().ident();
  739. auto attr_value = element.get_attribute(attr_name);
  740. // 1. If the attr() function has a substitution value, replace the attr() function by the substitution value.
  741. if (!attr_value.is_null()) {
  742. // FIXME: attr() should also accept an optional type argument, not just strings.
  743. dest.empend(Parser::Token::of_string(FlyString::from_deprecated_fly_string(attr_value).release_value_but_fixme_should_propagate_errors()));
  744. continue;
  745. }
  746. // 2. Otherwise, if the attr() function has a fallback value as its last argument, replace the attr() function by the fallback value.
  747. // If there are any var() or attr() references in the fallback, substitute them as well.
  748. attr_contents.skip_whitespace();
  749. if (attr_contents.has_next_token()) {
  750. auto const& comma_token = attr_contents.next_token();
  751. if (!comma_token.is(Parser::Token::Type::Comma))
  752. return false;
  753. attr_contents.skip_whitespace();
  754. if (!expand_unresolved_values(element, property_name, attr_contents, dest))
  755. return false;
  756. continue;
  757. }
  758. // 3. Otherwise, the property containing the attr() function is invalid at computed-value time.
  759. return false;
  760. }
  761. if (value.function().name().equals_ignoring_ascii_case("calc"sv)) {
  762. auto const& calc_function = value.function();
  763. if (auto calc_value = Parser::Parser::parse_calculated_value({}, Parser::ParsingContext { document() }, calc_function.values()).release_value_but_fixme_should_propagate_errors()) {
  764. switch (calc_value->resolved_type()) {
  765. case CalculatedStyleValue::ResolvedType::Integer: {
  766. auto resolved_value = calc_value->resolve_integer();
  767. dest.empend(Parser::Token::create_number(resolved_value.value()));
  768. continue;
  769. }
  770. case CalculatedStyleValue::ResolvedType::Percentage: {
  771. auto resolved_value = calc_value->resolve_percentage();
  772. dest.empend(Parser::Token::create_percentage(resolved_value.value().value()));
  773. continue;
  774. }
  775. default:
  776. dbgln_if(LIBWEB_CSS_DEBUG, "FIXME: Unimplemented calc() expansion: {}", calc_value->to_string());
  777. break;
  778. }
  779. }
  780. }
  781. auto const& source_function = value.function();
  782. Vector<Parser::ComponentValue> function_values;
  783. Parser::TokenStream source_function_contents { source_function.values() };
  784. if (!expand_unresolved_values(element, property_name, source_function_contents, function_values))
  785. return false;
  786. // FIXME: This would be much nicer if we could access the source_function's FlyString value directly.
  787. NonnullRefPtr<Parser::Function> function = Parser::Function::create(FlyString::from_utf8(source_function.name()).release_value_but_fixme_should_propagate_errors(), move(function_values));
  788. dest.empend(function);
  789. continue;
  790. }
  791. if (value.is_block()) {
  792. auto const& source_block = value.block();
  793. Parser::TokenStream source_block_values { source_block.values() };
  794. Vector<Parser::ComponentValue> block_values;
  795. if (!expand_unresolved_values(element, property_name, source_block_values, block_values))
  796. return false;
  797. NonnullRefPtr<Parser::Block> block = Parser::Block::create(source_block.token(), move(block_values));
  798. dest.empend(move(block));
  799. continue;
  800. }
  801. dest.empend(value.token());
  802. }
  803. return true;
  804. }
  805. RefPtr<StyleValue> StyleComputer::resolve_unresolved_style_value(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, PropertyID property_id, UnresolvedStyleValue const& unresolved) const
  806. {
  807. // Unresolved always contains a var() or attr(), unless it is a custom property's value, in which case we shouldn't be trying
  808. // to produce a different StyleValue from it.
  809. VERIFY(unresolved.contains_var_or_attr());
  810. Parser::TokenStream unresolved_values_without_variables_expanded { unresolved.values() };
  811. Vector<Parser::ComponentValue> values_with_variables_expanded;
  812. HashMap<FlyString, NonnullRefPtr<PropertyDependencyNode>> dependencies;
  813. if (!expand_variables(element, pseudo_element, string_from_property_id(property_id), dependencies, unresolved_values_without_variables_expanded, values_with_variables_expanded))
  814. return {};
  815. Parser::TokenStream unresolved_values_with_variables_expanded { values_with_variables_expanded };
  816. Vector<Parser::ComponentValue> expanded_values;
  817. if (!expand_unresolved_values(element, string_from_property_id(property_id), unresolved_values_with_variables_expanded, expanded_values))
  818. return {};
  819. if (auto parsed_value = Parser::Parser::parse_css_value({}, Parser::ParsingContext { document() }, property_id, expanded_values).release_value_but_fixme_should_propagate_errors())
  820. return parsed_value.release_nonnull();
  821. return {};
  822. }
  823. void StyleComputer::cascade_declarations(StyleProperties& style, DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, Vector<MatchingRule> const& matching_rules, CascadeOrigin cascade_origin, Important important) const
  824. {
  825. for (auto const& match : matching_rules) {
  826. for (auto const& property : verify_cast<PropertyOwningCSSStyleDeclaration>(match.rule->declaration()).properties()) {
  827. if (important != property.important)
  828. continue;
  829. auto property_value = property.value;
  830. if (property.value->is_unresolved()) {
  831. if (auto resolved = resolve_unresolved_style_value(element, pseudo_element, property.property_id, property.value->as_unresolved()))
  832. property_value = resolved.release_nonnull();
  833. }
  834. if (!property_value->is_unresolved())
  835. set_property_expanding_shorthands(style, property.property_id, property_value, m_document, &match.rule->declaration());
  836. }
  837. }
  838. if (cascade_origin == CascadeOrigin::Author && !pseudo_element.has_value()) {
  839. if (auto const* inline_style = verify_cast<ElementInlineCSSStyleDeclaration>(element.inline_style())) {
  840. for (auto const& property : inline_style->properties()) {
  841. if (important != property.important)
  842. continue;
  843. auto property_value = property.value;
  844. if (property.value->is_unresolved()) {
  845. if (auto resolved = resolve_unresolved_style_value(element, pseudo_element, property.property_id, property.value->as_unresolved()))
  846. property_value = resolved.release_nonnull();
  847. }
  848. if (!property_value->is_unresolved())
  849. set_property_expanding_shorthands(style, property.property_id, property_value, m_document, inline_style);
  850. }
  851. }
  852. }
  853. }
  854. static ErrorOr<void> cascade_custom_properties(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, Vector<MatchingRule> const& matching_rules)
  855. {
  856. size_t needed_capacity = 0;
  857. for (auto const& matching_rule : matching_rules)
  858. needed_capacity += verify_cast<PropertyOwningCSSStyleDeclaration>(matching_rule.rule->declaration()).custom_properties().size();
  859. if (!pseudo_element.has_value()) {
  860. if (auto const* inline_style = verify_cast<PropertyOwningCSSStyleDeclaration>(element.inline_style()))
  861. needed_capacity += inline_style->custom_properties().size();
  862. }
  863. HashMap<DeprecatedFlyString, StyleProperty> custom_properties;
  864. TRY(custom_properties.try_ensure_capacity(needed_capacity));
  865. for (auto const& matching_rule : matching_rules) {
  866. for (auto const& it : verify_cast<PropertyOwningCSSStyleDeclaration>(matching_rule.rule->declaration()).custom_properties())
  867. custom_properties.set(it.key, it.value);
  868. }
  869. if (!pseudo_element.has_value()) {
  870. if (auto const* inline_style = verify_cast<PropertyOwningCSSStyleDeclaration>(element.inline_style())) {
  871. for (auto const& it : inline_style->custom_properties())
  872. custom_properties.set(it.key, it.value);
  873. }
  874. }
  875. element.set_custom_properties(pseudo_element, move(custom_properties));
  876. return {};
  877. }
  878. StyleComputer::AnimationStepTransition StyleComputer::Animation::step(CSS::Time const& time_step)
  879. {
  880. auto delay_ms = remaining_delay.to_milliseconds();
  881. auto time_step_ms = time_step.to_milliseconds();
  882. if (delay_ms > time_step_ms) {
  883. remaining_delay = CSS::Time { static_cast<float>(delay_ms - time_step_ms), CSS::Time::Type::Ms };
  884. return AnimationStepTransition::NoTransition;
  885. }
  886. remaining_delay = CSS::Time { 0, CSS::Time::Type::Ms };
  887. time_step_ms -= delay_ms;
  888. float added_progress = static_cast<float>(time_step_ms / duration.to_milliseconds());
  889. auto new_progress = progress.as_fraction() + added_progress;
  890. auto changed_iteration = false;
  891. if (new_progress >= 1) {
  892. if (iteration_count.has_value()) {
  893. if (iteration_count.value() <= 1) {
  894. progress = CSS::Percentage(100);
  895. return AnimationStepTransition::ActiveToAfter;
  896. }
  897. --iteration_count.value();
  898. changed_iteration = true;
  899. }
  900. ++current_iteration;
  901. new_progress = 0;
  902. }
  903. progress = CSS::Percentage(new_progress * 100);
  904. if (changed_iteration)
  905. return AnimationStepTransition::ActiveToActiveChangingTheIteration;
  906. return AnimationStepTransition::AfterToActive;
  907. }
  908. static ErrorOr<NonnullRefPtr<StyleValue>> interpolate_property(StyleValue const& from, StyleValue const& to, float delta)
  909. {
  910. if (from.type() != to.type()) {
  911. if (delta > 0.999f)
  912. return to;
  913. return from;
  914. }
  915. auto interpolate_raw = [delta = static_cast<double>(delta)](auto from, auto to) {
  916. return static_cast<RemoveCVReference<decltype(from)>>(static_cast<double>(from) + static_cast<double>(to - from) * delta);
  917. };
  918. switch (from.type()) {
  919. case StyleValue::Type::Angle:
  920. return AngleStyleValue::create(Angle::make_degrees(interpolate_raw(from.as_angle().angle().to_degrees(), to.as_angle().angle().to_degrees())));
  921. case StyleValue::Type::Color: {
  922. auto from_color = from.as_color().color();
  923. auto to_color = to.as_color().color();
  924. auto from_hsv = from_color.to_hsv();
  925. auto to_hsv = to_color.to_hsv();
  926. auto color = Color::from_hsv(
  927. interpolate_raw(from_hsv.hue, to_hsv.hue),
  928. interpolate_raw(from_hsv.saturation, to_hsv.saturation),
  929. interpolate_raw(from_hsv.value, to_hsv.value));
  930. color.set_alpha(interpolate_raw(from_color.alpha(), to_color.alpha()));
  931. return ColorStyleValue::create(color);
  932. }
  933. case StyleValue::Type::Length: {
  934. auto& from_length = from.as_length().length();
  935. auto& to_length = to.as_length().length();
  936. return LengthStyleValue::create(Length(interpolate_raw(from_length.raw_value(), to_length.raw_value()), from_length.type()));
  937. }
  938. case StyleValue::Type::Numeric:
  939. return NumericStyleValue::create_float(interpolate_raw(from.as_numeric().number(), to.as_numeric().number()));
  940. case StyleValue::Type::Percentage:
  941. return PercentageStyleValue::create(Percentage(interpolate_raw(from.as_percentage().percentage().value(), to.as_percentage().percentage().value())));
  942. case StyleValue::Type::Position: {
  943. auto& from_position = from.as_position();
  944. auto& to_position = to.as_position();
  945. return PositionStyleValue::create(
  946. TRY(interpolate_property(from_position.edge_x(), to_position.edge_x(), delta)),
  947. TRY(interpolate_property(from_position.edge_y(), to_position.edge_y(), delta)));
  948. }
  949. case StyleValue::Type::Rect: {
  950. auto from_rect = from.as_rect().rect();
  951. auto to_rect = to.as_rect().rect();
  952. return RectStyleValue::create({
  953. Length(interpolate_raw(from_rect.top_edge.raw_value(), to_rect.top_edge.raw_value()), from_rect.top_edge.type()),
  954. Length(interpolate_raw(from_rect.right_edge.raw_value(), to_rect.right_edge.raw_value()), from_rect.right_edge.type()),
  955. Length(interpolate_raw(from_rect.bottom_edge.raw_value(), to_rect.bottom_edge.raw_value()), from_rect.bottom_edge.type()),
  956. Length(interpolate_raw(from_rect.left_edge.raw_value(), to_rect.left_edge.raw_value()), from_rect.left_edge.type()),
  957. });
  958. }
  959. case StyleValue::Type::Transformation: {
  960. auto& from_transform = from.as_transformation();
  961. auto& to_transform = to.as_transformation();
  962. if (from_transform.transform_function() != to_transform.transform_function())
  963. return from;
  964. auto from_input_values = from_transform.values();
  965. auto to_input_values = to_transform.values();
  966. if (from_input_values.size() != to_input_values.size())
  967. return from;
  968. StyleValueVector interpolated_values;
  969. interpolated_values.ensure_capacity(from_input_values.size());
  970. for (size_t i = 0; i < from_input_values.size(); ++i)
  971. interpolated_values.append(TRY(interpolate_property(*from_input_values[i], *to_input_values[i], delta)));
  972. return TransformationStyleValue::create(from_transform.transform_function(), move(interpolated_values));
  973. }
  974. case StyleValue::Type::ValueList: {
  975. auto& from_list = from.as_value_list();
  976. auto& to_list = to.as_value_list();
  977. if (from_list.size() != to_list.size())
  978. return from;
  979. StyleValueVector interpolated_values;
  980. interpolated_values.ensure_capacity(from_list.size());
  981. for (size_t i = 0; i < from_list.size(); ++i)
  982. interpolated_values.append(TRY(interpolate_property(from_list.values()[i], to_list.values()[i], delta)));
  983. return StyleValueList::create(move(interpolated_values), from_list.separator());
  984. }
  985. default:
  986. return from;
  987. }
  988. }
  989. bool StyleComputer::Animation::is_animating_backwards() const
  990. {
  991. return (direction == CSS::AnimationDirection::AlternateReverse && current_iteration % 2 == 1)
  992. || (direction == CSS::AnimationDirection::Alternate && current_iteration % 2 == 0)
  993. || direction == CSS::AnimationDirection::Reverse;
  994. }
  995. ErrorOr<void> StyleComputer::Animation::collect_into(StyleProperties& style_properties, RuleCache const& rule_cache) const
  996. {
  997. if (remaining_delay.to_milliseconds() != 0) {
  998. // If the fill mode is backwards or both, we'll pretend that the animation is started, but stuck at progress 0
  999. if (fill_mode != CSS::AnimationFillMode::Backwards && fill_mode != CSS::AnimationFillMode::Both)
  1000. return {};
  1001. }
  1002. auto matching_keyframes = rule_cache.rules_by_animation_keyframes.get(name);
  1003. if (!matching_keyframes.has_value())
  1004. return {};
  1005. auto& keyframes = matching_keyframes.value()->keyframes_by_key;
  1006. auto output_progress = compute_output_progress(progress.as_fraction()) * 100.f;
  1007. auto is_backwards = is_animating_backwards();
  1008. auto key = static_cast<u64>(output_progress * AnimationKeyFrameKeyScaleFactor);
  1009. auto matching_keyframe_it = is_backwards ? keyframes.find_smallest_not_below_iterator(key) : keyframes.find_largest_not_above_iterator(key);
  1010. if (matching_keyframe_it.is_end()) {
  1011. if constexpr (LIBWEB_CSS_ANIMATION_DEBUG) {
  1012. dbgln(" Did not find any start keyframe for the current state ({}) :(", key);
  1013. dbgln(" (have {} keyframes)", keyframes.size());
  1014. for (auto it = keyframes.begin(); it != keyframes.end(); ++it)
  1015. dbgln(" - {}", it.key());
  1016. }
  1017. return {};
  1018. }
  1019. auto keyframe_start = matching_keyframe_it.key();
  1020. auto keyframe_values = *matching_keyframe_it;
  1021. auto initial_keyframe_it = matching_keyframe_it;
  1022. auto keyframe_end_it = is_backwards ? --matching_keyframe_it : ++matching_keyframe_it;
  1023. if (keyframe_end_it.is_end())
  1024. keyframe_end_it = initial_keyframe_it;
  1025. auto keyframe_end = keyframe_end_it.key();
  1026. auto keyframe_end_values = *keyframe_end_it;
  1027. auto progress_in_keyframe = [&] {
  1028. if (keyframe_start == keyframe_end)
  1029. return is_backwards ? 1.f : 0.f;
  1030. return is_backwards
  1031. ? static_cast<float>(keyframe_start - key) / static_cast<float>(keyframe_start - keyframe_end)
  1032. : static_cast<float>(key - keyframe_start) / static_cast<float>(keyframe_end - keyframe_start);
  1033. }();
  1034. auto valid_properties = 0;
  1035. for (auto const& property : keyframe_values.resolved_properties) {
  1036. if (property.has<Empty>())
  1037. continue;
  1038. valid_properties++;
  1039. }
  1040. dbgln_if(LIBWEB_CSS_ANIMATION_DEBUG, "Animation {} contains {} properties to interpolate, progress = {}%", name, valid_properties, progress_in_keyframe * 100);
  1041. if (fill_mode == CSS::AnimationFillMode::Forwards || fill_mode == CSS::AnimationFillMode::Both) {
  1042. if (!active_state_if_fill_forward)
  1043. active_state_if_fill_forward = make<AnimationStateSnapshot>();
  1044. }
  1045. UnderlyingType<PropertyID> property_id_value = 0;
  1046. for (auto const& property : keyframe_values.resolved_properties) {
  1047. auto property_id = static_cast<PropertyID>(property_id_value++);
  1048. if (property.has<Empty>())
  1049. continue;
  1050. auto resolve_property = [&](auto& property) {
  1051. return property.visit(
  1052. [](Empty) -> RefPtr<StyleValue const> { VERIFY_NOT_REACHED(); },
  1053. [&](AnimationKeyFrameSet::ResolvedKeyFrame::UseInitial) {
  1054. if (auto value = initial_state.state[to_underlying(property_id)])
  1055. return value;
  1056. auto value = style_properties.maybe_null_property(property_id);
  1057. initial_state.state[to_underlying(property_id)] = value;
  1058. return value;
  1059. },
  1060. [&](RefPtr<StyleValue const> value) { return value; });
  1061. };
  1062. auto resolved_start_property = resolve_property(property);
  1063. auto const& end_property = keyframe_end_values.resolved_properties[to_underlying(property_id)];
  1064. if (end_property.has<Empty>()) {
  1065. if (resolved_start_property) {
  1066. style_properties.set_property(property_id, resolved_start_property.release_nonnull());
  1067. dbgln_if(LIBWEB_CSS_ANIMATION_DEBUG, "No end property for property {}, using {}", string_from_property_id(property_id), resolved_start_property->to_string());
  1068. }
  1069. continue;
  1070. }
  1071. auto resolved_end_property = resolve_property(end_property);
  1072. if (!resolved_start_property || !resolved_end_property)
  1073. continue;
  1074. auto start = resolved_start_property.release_nonnull();
  1075. auto end = resolved_end_property.release_nonnull();
  1076. auto next_value = TRY(interpolate_property(*start, *end, progress_in_keyframe));
  1077. dbgln_if(LIBWEB_CSS_ANIMATION_DEBUG, "Interpolated value for property {} at {}: {} -> {} = {}", string_from_property_id(property_id), progress_in_keyframe, start->to_string(), end->to_string(), next_value->to_string());
  1078. style_properties.set_property(property_id, next_value);
  1079. if (active_state_if_fill_forward)
  1080. active_state_if_fill_forward->state[to_underlying(property_id)] = next_value;
  1081. }
  1082. return {};
  1083. }
  1084. bool StyleComputer::Animation::is_done() const
  1085. {
  1086. return progress.as_fraction() >= 0.9999f && iteration_count.has_value() && iteration_count.value() == 0;
  1087. }
  1088. float StyleComputer::Animation::compute_output_progress(float input_progress) const
  1089. {
  1090. auto output_progress = input_progress;
  1091. switch (direction) {
  1092. case AnimationDirection::Alternate:
  1093. if (current_iteration % 2 == 0)
  1094. output_progress = 1.0f - output_progress;
  1095. break;
  1096. case AnimationDirection::AlternateReverse:
  1097. if (current_iteration % 2 == 1)
  1098. output_progress = 1.0f - output_progress;
  1099. break;
  1100. case AnimationDirection::Normal:
  1101. break;
  1102. case AnimationDirection::Reverse:
  1103. output_progress = 1.0f - output_progress;
  1104. break;
  1105. }
  1106. // FIXME: This should also be a function of the animation-timing-function, if not during the delay.
  1107. return output_progress;
  1108. }
  1109. void StyleComputer::ensure_animation_timer() const
  1110. {
  1111. constexpr static auto timer_delay_ms = 1000 / 60;
  1112. if (!m_animation_driver_timer) {
  1113. m_animation_driver_timer = Platform::Timer::create_repeating(timer_delay_ms, [this] {
  1114. // If we run out of animations, stop the timer - it'll turn back on the next time we have an active animation.
  1115. if (m_active_animations.is_empty()) {
  1116. m_animation_driver_timer->stop();
  1117. return;
  1118. }
  1119. HashTable<AnimationKey> animations_to_remove;
  1120. HashTable<DOM::Element*> owning_elements_to_invalidate;
  1121. for (auto& it : m_active_animations) {
  1122. if (!it.value->owning_element) {
  1123. // The element disappeared since we last ran, just discard the animation.
  1124. animations_to_remove.set(it.key);
  1125. continue;
  1126. }
  1127. auto transition = it.value->step(CSS::Time { timer_delay_ms, CSS::Time::Type::Ms });
  1128. owning_elements_to_invalidate.set(it.value->owning_element);
  1129. switch (transition) {
  1130. case AnimationStepTransition::NoTransition:
  1131. break;
  1132. case AnimationStepTransition::IdleOrBeforeToActive:
  1133. // FIXME: Dispatch `animationstart`.
  1134. break;
  1135. case AnimationStepTransition::IdleOrBeforeToAfter:
  1136. // FIXME: Dispatch `animationstart` then `animationend`.
  1137. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1138. break;
  1139. case AnimationStepTransition::ActiveToBefore:
  1140. // FIXME: Dispatch `animationend`.
  1141. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1142. break;
  1143. case AnimationStepTransition::ActiveToActiveChangingTheIteration:
  1144. // FIXME: Dispatch `animationiteration`.
  1145. break;
  1146. case AnimationStepTransition::ActiveToAfter:
  1147. // FIXME: Dispatch `animationend`.
  1148. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1149. break;
  1150. case AnimationStepTransition::AfterToActive:
  1151. // FIXME: Dispatch `animationstart`.
  1152. break;
  1153. case AnimationStepTransition::AfterToBefore:
  1154. // FIXME: Dispatch `animationstart` then `animationend`.
  1155. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1156. break;
  1157. case AnimationStepTransition::Cancelled:
  1158. // FIXME: Dispatch `animationcancel`.
  1159. m_finished_animations.set(it.key, nullptr);
  1160. break;
  1161. }
  1162. if (it.value->is_done())
  1163. animations_to_remove.set(it.key);
  1164. }
  1165. for (auto key : animations_to_remove)
  1166. m_active_animations.remove(key);
  1167. for (auto* element : owning_elements_to_invalidate)
  1168. element->set_needs_style_update(true);
  1169. });
  1170. }
  1171. m_animation_driver_timer->start();
  1172. }
  1173. // https://www.w3.org/TR/css-cascade/#cascading
  1174. ErrorOr<void> StyleComputer::compute_cascaded_values(StyleProperties& style, DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, bool& did_match_any_pseudo_element_rules, ComputeStyleMode mode) const
  1175. {
  1176. // First, we collect all the CSS rules whose selectors match `element`:
  1177. MatchingRuleSet matching_rule_set;
  1178. matching_rule_set.user_agent_rules = collect_matching_rules(element, CascadeOrigin::UserAgent, pseudo_element);
  1179. sort_matching_rules(matching_rule_set.user_agent_rules);
  1180. matching_rule_set.author_rules = collect_matching_rules(element, CascadeOrigin::Author, pseudo_element);
  1181. sort_matching_rules(matching_rule_set.author_rules);
  1182. if (mode == ComputeStyleMode::CreatePseudoElementStyleIfNeeded) {
  1183. VERIFY(pseudo_element.has_value());
  1184. if (matching_rule_set.author_rules.is_empty() && matching_rule_set.user_agent_rules.is_empty()) {
  1185. did_match_any_pseudo_element_rules = false;
  1186. return {};
  1187. }
  1188. did_match_any_pseudo_element_rules = true;
  1189. }
  1190. // Then we resolve all the CSS custom properties ("variables") for this element:
  1191. TRY(cascade_custom_properties(element, pseudo_element, matching_rule_set.author_rules));
  1192. // Then we apply the declarations from the matched rules in cascade order:
  1193. // Normal user agent declarations
  1194. cascade_declarations(style, element, pseudo_element, matching_rule_set.user_agent_rules, CascadeOrigin::UserAgent, Important::No);
  1195. // FIXME: Normal user declarations
  1196. // Author presentational hints (NOTE: The spec doesn't say exactly how to prioritize these.)
  1197. if (!pseudo_element.has_value()) {
  1198. element.apply_presentational_hints(style);
  1199. // SVG presentation attributes are parsed as CSS values, so we need to handle potential custom properties here.
  1200. if (element.is_svg_element()) {
  1201. // FIXME: This is not very efficient, we should only resolve the custom properties that are actually used.
  1202. for (auto i = to_underlying(CSS::first_property_id); i <= to_underlying(CSS::last_property_id); ++i) {
  1203. auto property_id = (CSS::PropertyID)i;
  1204. auto& property = style.m_property_values[i];
  1205. if (property.has_value() && property->style->is_unresolved()) {
  1206. if (auto resolved = resolve_unresolved_style_value(element, pseudo_element, property_id, property->style->as_unresolved()))
  1207. property->style = resolved.release_nonnull();
  1208. }
  1209. }
  1210. }
  1211. }
  1212. // Normal author declarations
  1213. cascade_declarations(style, element, pseudo_element, matching_rule_set.author_rules, CascadeOrigin::Author, Important::No);
  1214. // Animation declarations [css-animations-2]
  1215. if (auto animation_name = style.maybe_null_property(PropertyID::AnimationName)) {
  1216. if (auto source_declaration = style.property_source_declaration(PropertyID::AnimationName)) {
  1217. AnimationKey animation_key {
  1218. .source_declaration = source_declaration,
  1219. .element = &element,
  1220. };
  1221. if (auto finished_state = m_finished_animations.get(animation_key); finished_state.has_value()) {
  1222. // We've already finished going through this animation, so drop it from the active animations.
  1223. m_active_animations.remove(animation_key);
  1224. // If the animation's fill mode was set to forwards/both, we need to collect and use the final frame's styles.
  1225. if (*finished_state) {
  1226. auto& state = (*finished_state)->state;
  1227. for (size_t property_id_value = 0; property_id_value < state.size(); ++property_id_value) {
  1228. if (auto& property_value = state[property_id_value])
  1229. style.set_property(static_cast<PropertyID>(property_id_value), *property_value);
  1230. }
  1231. }
  1232. } else if (auto name = TRY(animation_name->to_string()); !name.is_empty()) {
  1233. auto active_animation = m_active_animations.get(animation_key);
  1234. if (!active_animation.has_value()) {
  1235. // New animation!
  1236. CSS::Time duration { 0, CSS::Time::Type::S };
  1237. if (auto duration_value = style.maybe_null_property(PropertyID::AnimationDuration); duration_value && duration_value->is_time())
  1238. duration = duration_value->as_time().time();
  1239. CSS::Time delay { 0, CSS::Time::Type::S };
  1240. if (auto delay_value = style.maybe_null_property(PropertyID::AnimationDelay); delay_value && delay_value->is_time())
  1241. delay = delay_value->as_time().time();
  1242. Optional<size_t> iteration_count = 1;
  1243. if (auto iteration_count_value = style.maybe_null_property(PropertyID::AnimationIterationCount); iteration_count_value) {
  1244. if (iteration_count_value->is_identifier() && iteration_count_value->to_identifier() == ValueID::Infinite)
  1245. iteration_count = {};
  1246. else if (iteration_count_value->is_numeric())
  1247. iteration_count = static_cast<size_t>(iteration_count_value->as_numeric().number());
  1248. }
  1249. CSS::AnimationFillMode fill_mode { CSS::AnimationFillMode::None };
  1250. if (auto fill_mode_property = style.maybe_null_property(PropertyID::AnimationFillMode); fill_mode_property && fill_mode_property->is_identifier()) {
  1251. if (auto fill_mode_value = value_id_to_animation_fill_mode(fill_mode_property->to_identifier()); fill_mode_value.has_value())
  1252. fill_mode = *fill_mode_value;
  1253. }
  1254. CSS::AnimationDirection direction { CSS::AnimationDirection::Normal };
  1255. if (auto direction_property = style.maybe_null_property(PropertyID::AnimationDirection); direction_property && direction_property->is_identifier()) {
  1256. if (auto direction_value = value_id_to_animation_direction(direction_property->to_identifier()); direction_value.has_value())
  1257. direction = *direction_value;
  1258. }
  1259. auto animation = make<Animation>(Animation {
  1260. .name = move(name),
  1261. .duration = duration,
  1262. .delay = delay,
  1263. .iteration_count = iteration_count,
  1264. .direction = direction,
  1265. .fill_mode = fill_mode,
  1266. .owning_element = TRY(element.try_make_weak_ptr<DOM::Element>()),
  1267. .progress = CSS::Percentage(0),
  1268. .remaining_delay = delay,
  1269. });
  1270. active_animation = animation;
  1271. m_active_animations.set(animation_key, move(animation));
  1272. }
  1273. TRY((*active_animation)->collect_into(style, rule_cache_for_cascade_origin(CascadeOrigin::Author)));
  1274. } else {
  1275. m_active_animations.remove(animation_key);
  1276. }
  1277. }
  1278. if (!m_active_animations.is_empty())
  1279. ensure_animation_timer();
  1280. }
  1281. // Important author declarations
  1282. cascade_declarations(style, element, pseudo_element, matching_rule_set.author_rules, CascadeOrigin::Author, Important::Yes);
  1283. // FIXME: Important user declarations
  1284. // Important user agent declarations
  1285. cascade_declarations(style, element, pseudo_element, matching_rule_set.user_agent_rules, CascadeOrigin::UserAgent, Important::Yes);
  1286. // FIXME: Transition declarations [css-transitions-1]
  1287. return {};
  1288. }
  1289. static DOM::Element const* element_to_inherit_style_from(DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element)
  1290. {
  1291. // Pseudo-elements treat their originating element as their parent.
  1292. DOM::Element const* parent_element = nullptr;
  1293. if (pseudo_element.has_value()) {
  1294. parent_element = element;
  1295. } else if (element) {
  1296. parent_element = element->parent_or_shadow_host_element();
  1297. }
  1298. return parent_element;
  1299. }
  1300. static NonnullRefPtr<StyleValue const> get_inherit_value(JS::Realm& initial_value_context_realm, CSS::PropertyID property_id, DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element)
  1301. {
  1302. auto* parent_element = element_to_inherit_style_from(element, pseudo_element);
  1303. if (!parent_element || !parent_element->computed_css_values())
  1304. return property_initial_value(initial_value_context_realm, property_id).release_value_but_fixme_should_propagate_errors();
  1305. return parent_element->computed_css_values()->property(property_id);
  1306. };
  1307. void StyleComputer::compute_defaulted_property_value(StyleProperties& style, DOM::Element const* element, CSS::PropertyID property_id, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1308. {
  1309. // FIXME: If we don't know the correct initial value for a property, we fall back to InitialStyleValue.
  1310. auto& value_slot = style.m_property_values[to_underlying(property_id)];
  1311. if (!value_slot.has_value()) {
  1312. if (is_inherited_property(property_id))
  1313. style.m_property_values[to_underlying(property_id)] = { { get_inherit_value(document().realm(), property_id, element, pseudo_element), nullptr } };
  1314. else
  1315. style.m_property_values[to_underlying(property_id)] = { { property_initial_value(document().realm(), property_id).release_value_but_fixme_should_propagate_errors(), nullptr } };
  1316. return;
  1317. }
  1318. if (value_slot->style->is_initial()) {
  1319. value_slot->style = property_initial_value(document().realm(), property_id).release_value_but_fixme_should_propagate_errors();
  1320. return;
  1321. }
  1322. if (value_slot->style->is_inherit()) {
  1323. value_slot->style = get_inherit_value(document().realm(), property_id, element, pseudo_element);
  1324. return;
  1325. }
  1326. // https://www.w3.org/TR/css-cascade-4/#inherit-initial
  1327. // If the cascaded value of a property is the unset keyword,
  1328. if (value_slot->style->is_unset()) {
  1329. if (is_inherited_property(property_id)) {
  1330. // then if it is an inherited property, this is treated as inherit,
  1331. value_slot->style = get_inherit_value(document().realm(), property_id, element, pseudo_element);
  1332. } else {
  1333. // and if it is not, this is treated as initial.
  1334. value_slot->style = property_initial_value(document().realm(), property_id).release_value_but_fixme_should_propagate_errors();
  1335. }
  1336. }
  1337. }
  1338. // https://www.w3.org/TR/css-cascade/#defaulting
  1339. void StyleComputer::compute_defaulted_values(StyleProperties& style, DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1340. {
  1341. // Walk the list of all known CSS properties and:
  1342. // - Add them to `style` if they are missing.
  1343. // - Resolve `inherit` and `initial` as needed.
  1344. for (auto i = to_underlying(CSS::first_longhand_property_id); i <= to_underlying(CSS::last_longhand_property_id); ++i) {
  1345. auto property_id = (CSS::PropertyID)i;
  1346. compute_defaulted_property_value(style, element, property_id, pseudo_element);
  1347. }
  1348. // https://www.w3.org/TR/css-color-4/#resolving-other-colors
  1349. // In the color property, the used value of currentcolor is the inherited value.
  1350. auto color = style.property(CSS::PropertyID::Color);
  1351. if (color->to_identifier() == CSS::ValueID::Currentcolor) {
  1352. color = get_inherit_value(document().realm(), CSS::PropertyID::Color, element, pseudo_element);
  1353. style.set_property(CSS::PropertyID::Color, color);
  1354. }
  1355. }
  1356. Length::FontMetrics StyleComputer::calculate_root_element_font_metrics(StyleProperties const& style) const
  1357. {
  1358. auto root_value = style.property(CSS::PropertyID::FontSize);
  1359. auto font_pixel_metrics = style.computed_font().pixel_metrics();
  1360. Length::FontMetrics font_metrics { m_default_font_metrics.font_size, font_pixel_metrics, font_pixel_metrics.line_spacing() };
  1361. font_metrics.font_size = root_value->as_length().length().to_px(viewport_rect(), font_metrics, font_metrics);
  1362. font_metrics.line_height = style.line_height(viewport_rect(), font_metrics, font_metrics);
  1363. return font_metrics;
  1364. }
  1365. void StyleComputer::compute_font(StyleProperties& style, DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1366. {
  1367. // To compute the font, first ensure that we've defaulted the relevant CSS font properties.
  1368. // FIXME: This should be more sophisticated.
  1369. compute_defaulted_property_value(style, element, CSS::PropertyID::FontFamily, pseudo_element);
  1370. compute_defaulted_property_value(style, element, CSS::PropertyID::FontSize, pseudo_element);
  1371. compute_defaulted_property_value(style, element, CSS::PropertyID::FontStretch, pseudo_element);
  1372. compute_defaulted_property_value(style, element, CSS::PropertyID::FontStyle, pseudo_element);
  1373. compute_defaulted_property_value(style, element, CSS::PropertyID::FontWeight, pseudo_element);
  1374. compute_defaulted_property_value(style, element, CSS::PropertyID::LineHeight, pseudo_element);
  1375. auto* parent_element = element_to_inherit_style_from(element, pseudo_element);
  1376. auto font_size = style.property(CSS::PropertyID::FontSize);
  1377. auto font_style = style.property(CSS::PropertyID::FontStyle);
  1378. auto font_weight = style.property(CSS::PropertyID::FontWeight);
  1379. auto font_stretch = style.property(CSS::PropertyID::FontStretch);
  1380. int width = Gfx::FontWidth::Normal;
  1381. if (font_stretch->is_identifier()) {
  1382. switch (static_cast<IdentifierStyleValue const&>(*font_stretch).id()) {
  1383. case CSS::ValueID::UltraCondensed:
  1384. width = Gfx::FontWidth::UltraCondensed;
  1385. break;
  1386. case CSS::ValueID::ExtraCondensed:
  1387. width = Gfx::FontWidth::ExtraCondensed;
  1388. break;
  1389. case CSS::ValueID::Condensed:
  1390. width = Gfx::FontWidth::Condensed;
  1391. break;
  1392. case CSS::ValueID::SemiCondensed:
  1393. width = Gfx::FontWidth::SemiCondensed;
  1394. break;
  1395. case CSS::ValueID::Normal:
  1396. width = Gfx::FontWidth::Normal;
  1397. break;
  1398. case CSS::ValueID::SemiExpanded:
  1399. width = Gfx::FontWidth::SemiExpanded;
  1400. break;
  1401. case CSS::ValueID::Expanded:
  1402. width = Gfx::FontWidth::Expanded;
  1403. break;
  1404. case CSS::ValueID::ExtraExpanded:
  1405. width = Gfx::FontWidth::ExtraExpanded;
  1406. break;
  1407. case CSS::ValueID::UltraExpanded:
  1408. width = Gfx::FontWidth::UltraExpanded;
  1409. break;
  1410. default:
  1411. break;
  1412. }
  1413. } else if (font_stretch->is_percentage()) {
  1414. float percentage = font_stretch->as_percentage().percentage().value();
  1415. if (percentage <= 50) {
  1416. width = Gfx::FontWidth::UltraCondensed;
  1417. } else if (percentage <= 62.5f) {
  1418. width = Gfx::FontWidth::ExtraCondensed;
  1419. } else if (percentage <= 75.0f) {
  1420. width = Gfx::FontWidth::Condensed;
  1421. } else if (percentage <= 87.5f) {
  1422. width = Gfx::FontWidth::SemiCondensed;
  1423. } else if (percentage <= 100.0f) {
  1424. width = Gfx::FontWidth::Normal;
  1425. } else if (percentage <= 112.5f) {
  1426. width = Gfx::FontWidth::SemiExpanded;
  1427. } else if (percentage <= 125.0f) {
  1428. width = Gfx::FontWidth::Expanded;
  1429. } else if (percentage <= 150.0f) {
  1430. width = Gfx::FontWidth::ExtraExpanded;
  1431. } else {
  1432. width = Gfx::FontWidth::UltraExpanded;
  1433. }
  1434. }
  1435. auto weight = font_weight->to_font_weight();
  1436. bool bold = weight > Gfx::FontWeight::Regular;
  1437. // FIXME: Should be based on "user's default font size"
  1438. float font_size_in_px = 16;
  1439. if (font_size->is_identifier()) {
  1440. // https://w3c.github.io/csswg-drafts/css-fonts/#absolute-size-mapping
  1441. AK::HashMap<Web::CSS::ValueID, float> absolute_size_mapping = {
  1442. { CSS::ValueID::XxSmall, 0.6 },
  1443. { CSS::ValueID::XSmall, 0.75 },
  1444. { CSS::ValueID::Small, 8.0 / 9.0 },
  1445. { CSS::ValueID::Medium, 1.0 },
  1446. { CSS::ValueID::Large, 1.2 },
  1447. { CSS::ValueID::XLarge, 1.5 },
  1448. { CSS::ValueID::XxLarge, 2.0 },
  1449. { CSS::ValueID::XxxLarge, 3.0 },
  1450. { CSS::ValueID::Smaller, 0.8 },
  1451. { CSS::ValueID::Larger, 1.25 },
  1452. };
  1453. auto const identifier = static_cast<IdentifierStyleValue const&>(*font_size).id();
  1454. // https://w3c.github.io/csswg-drafts/css-fonts/#valdef-font-size-relative-size
  1455. // TODO: If the parent element has a keyword font size in the absolute size keyword mapping table,
  1456. // larger may compute the font size to the next entry in the table,
  1457. // and smaller may compute the font size to the previous entry in the table.
  1458. if (identifier == CSS::ValueID::Smaller || identifier == CSS::ValueID::Larger) {
  1459. if (parent_element && parent_element->computed_css_values()) {
  1460. font_size_in_px = parent_element->computed_css_values()->computed_font().pixel_metrics().size;
  1461. }
  1462. }
  1463. auto const multiplier = absolute_size_mapping.get(identifier).value_or(1.0);
  1464. font_size_in_px *= multiplier;
  1465. } else {
  1466. Gfx::FontPixelMetrics font_pixel_metrics;
  1467. if (parent_element && parent_element->computed_css_values())
  1468. font_pixel_metrics = parent_element->computed_css_values()->computed_font().pixel_metrics();
  1469. else
  1470. font_pixel_metrics = Platform::FontPlugin::the().default_font().pixel_metrics();
  1471. auto parent_font_size = [&]() -> CSSPixels {
  1472. if (!parent_element || !parent_element->computed_css_values())
  1473. return font_size_in_px;
  1474. auto value = parent_element->computed_css_values()->property(CSS::PropertyID::FontSize);
  1475. if (value->is_length()) {
  1476. auto length = value->as_length().length();
  1477. auto parent_line_height = parent_or_root_element_line_height(parent_element, {});
  1478. if (length.is_absolute() || length.is_relative()) {
  1479. Length::FontMetrics font_metrics { font_size_in_px, font_pixel_metrics, parent_line_height };
  1480. return length.to_px(viewport_rect(), font_metrics, m_root_element_font_metrics);
  1481. }
  1482. }
  1483. return font_size_in_px;
  1484. };
  1485. Optional<Length> maybe_length;
  1486. if (font_size->is_percentage()) {
  1487. // Percentages refer to parent element's font size
  1488. maybe_length = Length::make_px(static_cast<double>(font_size->as_percentage().percentage().as_fraction()) * parent_font_size());
  1489. } else if (font_size->is_length()) {
  1490. maybe_length = font_size->as_length().length();
  1491. } else if (font_size->is_calculated()) {
  1492. // FIXME: Support font-size: calc(...)
  1493. // Theoretically we can do this now, but to resolve it we need a layout_node which we might not have. :^(
  1494. }
  1495. if (maybe_length.has_value()) {
  1496. auto parent_line_height = parent_or_root_element_line_height(element, pseudo_element);
  1497. Length::FontMetrics font_metrics { parent_font_size(), font_pixel_metrics, parent_line_height };
  1498. auto px = maybe_length.value().to_px(viewport_rect(), font_metrics, m_root_element_font_metrics).value();
  1499. if (px != 0)
  1500. font_size_in_px = px;
  1501. }
  1502. }
  1503. auto slope = font_style->to_font_slope();
  1504. // FIXME: Implement the full font-matching algorithm: https://www.w3.org/TR/css-fonts-4/#font-matching-algorithm
  1505. // Note: This is modified by the find_font() lambda
  1506. FontSelector font_selector;
  1507. bool monospace = false;
  1508. float const font_size_in_pt = font_size_in_px * 0.75f;
  1509. auto find_font = [&](String const& family) -> RefPtr<Gfx::Font const> {
  1510. font_selector = { family, font_size_in_pt, weight, width, slope };
  1511. FontFaceKey key {
  1512. .family_name = family,
  1513. .weight = weight,
  1514. .slope = slope,
  1515. };
  1516. if (auto it = m_loaded_fonts.find(key); it != m_loaded_fonts.end()) {
  1517. auto& loader = *it->value;
  1518. if (auto found_font = loader.font_with_point_size(font_size_in_pt))
  1519. return found_font;
  1520. }
  1521. // We couldn't find this font with a specific weight and slope, so try again without them.
  1522. // FIXME: This should be replaced by a proper CSS font selection algorithm.
  1523. key.weight = 0;
  1524. key.slope = 0;
  1525. if (auto it = m_loaded_fonts.find(key); it != m_loaded_fonts.end()) {
  1526. auto& loader = *it->value;
  1527. if (auto found_font = loader.font_with_point_size(font_size_in_pt))
  1528. return found_font;
  1529. }
  1530. if (auto found_font = FontCache::the().get(font_selector))
  1531. return found_font;
  1532. if (auto found_font = Gfx::FontDatabase::the().get(family.to_deprecated_string(), font_size_in_pt, weight, width, slope, Gfx::Font::AllowInexactSizeMatch::Yes))
  1533. return found_font;
  1534. return {};
  1535. };
  1536. auto find_generic_font = [&](ValueID font_id) -> RefPtr<Gfx::Font const> {
  1537. Platform::GenericFont generic_font {};
  1538. switch (font_id) {
  1539. case ValueID::Monospace:
  1540. case ValueID::UiMonospace:
  1541. generic_font = Platform::GenericFont::Monospace;
  1542. monospace = true;
  1543. break;
  1544. case ValueID::Serif:
  1545. generic_font = Platform::GenericFont::Serif;
  1546. break;
  1547. case ValueID::Fantasy:
  1548. generic_font = Platform::GenericFont::Fantasy;
  1549. break;
  1550. case ValueID::SansSerif:
  1551. generic_font = Platform::GenericFont::SansSerif;
  1552. break;
  1553. case ValueID::Cursive:
  1554. generic_font = Platform::GenericFont::Cursive;
  1555. break;
  1556. case ValueID::UiSerif:
  1557. generic_font = Platform::GenericFont::UiSerif;
  1558. break;
  1559. case ValueID::UiSansSerif:
  1560. generic_font = Platform::GenericFont::UiSansSerif;
  1561. break;
  1562. case ValueID::UiRounded:
  1563. generic_font = Platform::GenericFont::UiRounded;
  1564. break;
  1565. default:
  1566. return {};
  1567. }
  1568. return find_font(String::from_utf8(Platform::FontPlugin::the().generic_font_name(generic_font)).release_value_but_fixme_should_propagate_errors());
  1569. };
  1570. RefPtr<Gfx::Font const> found_font;
  1571. auto family_value = style.property(PropertyID::FontFamily);
  1572. if (family_value->is_value_list()) {
  1573. auto const& family_list = static_cast<StyleValueList const&>(*family_value).values();
  1574. for (auto const& family : family_list) {
  1575. if (family->is_identifier()) {
  1576. found_font = find_generic_font(family->to_identifier());
  1577. } else if (family->is_string()) {
  1578. found_font = find_font(family->to_string().release_value_but_fixme_should_propagate_errors());
  1579. }
  1580. if (found_font)
  1581. break;
  1582. }
  1583. } else if (family_value->is_identifier()) {
  1584. found_font = find_generic_font(family_value->to_identifier());
  1585. } else if (family_value->is_string()) {
  1586. found_font = find_font(family_value->to_string().release_value_but_fixme_should_propagate_errors());
  1587. }
  1588. if (!found_font) {
  1589. found_font = StyleProperties::font_fallback(monospace, bold);
  1590. if (found_font) {
  1591. if (auto scaled_fallback_font = found_font->with_size(font_size_in_pt))
  1592. found_font = scaled_fallback_font;
  1593. }
  1594. }
  1595. FontCache::the().set(font_selector, *found_font);
  1596. style.set_property(CSS::PropertyID::FontSize, LengthStyleValue::create(CSS::Length::make_px(font_size_in_px)).release_value_but_fixme_should_propagate_errors(), nullptr);
  1597. style.set_property(CSS::PropertyID::FontWeight, NumericStyleValue::create_integer(weight).release_value_but_fixme_should_propagate_errors(), nullptr);
  1598. style.set_computed_font(found_font.release_nonnull());
  1599. if (element && is<HTML::HTMLHtmlElement>(*element)) {
  1600. const_cast<StyleComputer&>(*this).m_root_element_font_metrics = calculate_root_element_font_metrics(style);
  1601. }
  1602. }
  1603. Gfx::Font const& StyleComputer::initial_font() const
  1604. {
  1605. // FIXME: This is not correct.
  1606. return StyleProperties::font_fallback(false, false);
  1607. }
  1608. CSSPixels StyleComputer::parent_or_root_element_line_height(DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1609. {
  1610. auto* parent_element = element_to_inherit_style_from(element, pseudo_element);
  1611. if (!parent_element)
  1612. return m_root_element_font_metrics.line_height;
  1613. auto const* computed_values = parent_element->computed_css_values();
  1614. auto parent_font_pixel_metrics = computed_values->computed_font().pixel_metrics();
  1615. auto parent_font_size = computed_values->property(CSS::PropertyID::FontSize)->as_length().length();
  1616. // FIXME: Can the parent font size be non-absolute here?
  1617. auto parent_font_size_value = parent_font_size.is_absolute() ? parent_font_size.absolute_length_to_px() : m_root_element_font_metrics.font_size;
  1618. auto parent_parent_line_height = parent_or_root_element_line_height(parent_element, {});
  1619. Length::FontMetrics parent_font_metrics { parent_font_size_value, parent_font_pixel_metrics, parent_parent_line_height };
  1620. return computed_values->line_height(viewport_rect(), parent_font_metrics, m_root_element_font_metrics);
  1621. }
  1622. ErrorOr<void> StyleComputer::absolutize_values(StyleProperties& style, DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1623. {
  1624. auto parent_or_root_line_height = parent_or_root_element_line_height(element, pseudo_element);
  1625. auto font_pixel_metrics = style.computed_font().pixel_metrics();
  1626. Length::FontMetrics font_metrics { m_root_element_font_metrics.font_size, font_pixel_metrics, parent_or_root_line_height };
  1627. auto font_size = style.property(CSS::PropertyID::FontSize)->as_length().length().to_px(viewport_rect(), font_metrics, m_root_element_font_metrics);
  1628. font_metrics.font_size = font_size;
  1629. // NOTE: Percentage line-height values are relative to the font-size of the element.
  1630. // We have to resolve them right away, so that the *computed* line-height is ready for inheritance.
  1631. // We can't simply absolutize *all* percentage values against the font size,
  1632. // because most percentages are relative to containing block metrics.
  1633. auto line_height_value_slot = style.m_property_values[to_underlying(CSS::PropertyID::LineHeight)].map([](auto& x) -> auto& { return x.style; });
  1634. if (line_height_value_slot.has_value() && (*line_height_value_slot)->is_percentage()) {
  1635. *line_height_value_slot = TRY(LengthStyleValue::create(
  1636. Length::make_px(font_size * static_cast<double>((*line_height_value_slot)->as_percentage().percentage().as_fraction()))));
  1637. }
  1638. auto line_height = style.line_height(viewport_rect(), font_metrics, m_root_element_font_metrics);
  1639. font_metrics.line_height = line_height;
  1640. // NOTE: line-height might be using lh which should be resolved against the parent line height (like we did here already)
  1641. if (line_height_value_slot.has_value() && (*line_height_value_slot)->is_length())
  1642. (*line_height_value_slot) = TRY(LengthStyleValue::create(Length::make_px(line_height)));
  1643. for (size_t i = 0; i < style.m_property_values.size(); ++i) {
  1644. auto& value_slot = style.m_property_values[i];
  1645. if (!value_slot.has_value())
  1646. continue;
  1647. value_slot->style = TRY(value_slot->style->absolutized(viewport_rect(), font_metrics, m_root_element_font_metrics));
  1648. }
  1649. return {};
  1650. }
  1651. enum class BoxTypeTransformation {
  1652. None,
  1653. Blockify,
  1654. Inlinify,
  1655. };
  1656. static BoxTypeTransformation required_box_type_transformation(StyleProperties const& style, DOM::Element const& element, Optional<CSS::Selector::PseudoElement> const& pseudo_element)
  1657. {
  1658. // Absolute positioning or floating an element blockifies the box’s display type. [CSS2]
  1659. if (style.position() == CSS::Position::Absolute || style.position() == CSS::Position::Fixed || style.float_() != CSS::Float::None)
  1660. return BoxTypeTransformation::Blockify;
  1661. // FIXME: Containment in a ruby container inlinifies the box’s display type, as described in [CSS-RUBY-1].
  1662. // NOTE: If we're computing style for a pseudo-element, the effective parent will be the originating element itself, not its parent.
  1663. auto const* parent = pseudo_element.has_value() ? &element : element.parent_element();
  1664. // A parent with a grid or flex display value blockifies the box’s display type. [CSS-GRID-1] [CSS-FLEXBOX-1]
  1665. if (parent && parent->computed_css_values()) {
  1666. auto const& parent_display = parent->computed_css_values()->display();
  1667. if (parent_display.is_grid_inside() || parent_display.is_flex_inside())
  1668. return BoxTypeTransformation::Blockify;
  1669. }
  1670. return BoxTypeTransformation::None;
  1671. }
  1672. // https://drafts.csswg.org/css-display/#transformations
  1673. void StyleComputer::transform_box_type_if_needed(StyleProperties& style, DOM::Element const& element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1674. {
  1675. // 2.7. Automatic Box Type Transformations
  1676. // Some layout effects require blockification or inlinification of the box type,
  1677. // which sets the box’s computed outer display type to block or inline (respectively).
  1678. // (This has no effect on display types that generate no box at all, such as none or contents.)
  1679. auto display = style.display();
  1680. if (display.is_none() || display.is_contents())
  1681. return;
  1682. auto new_display = display;
  1683. switch (required_box_type_transformation(style, element, pseudo_element)) {
  1684. case BoxTypeTransformation::None:
  1685. break;
  1686. case BoxTypeTransformation::Blockify:
  1687. if (display.is_block_outside())
  1688. return;
  1689. // If a layout-internal box is blockified, its inner display type converts to flow so that it becomes a block container.
  1690. if (display.is_internal()) {
  1691. new_display = CSS::Display::from_short(CSS::Display::Short::Block);
  1692. } else {
  1693. VERIFY(display.is_outside_and_inside());
  1694. // For legacy reasons, if an inline block box (inline flow-root) is blockified, it becomes a block box (losing its flow-root nature).
  1695. // For consistency, a run-in flow-root box also blockifies to a block box.
  1696. if (display.is_inline_block()) {
  1697. new_display = CSS::Display { CSS::Display::Outside::Block, CSS::Display::Inside::Flow, display.list_item() };
  1698. } else {
  1699. new_display = CSS::Display { CSS::Display::Outside::Block, display.inside(), display.list_item() };
  1700. }
  1701. }
  1702. break;
  1703. case BoxTypeTransformation::Inlinify:
  1704. if (display.is_inline_outside()) {
  1705. // FIXME: If an inline box (inline flow) is inlinified, it recursively inlinifies all of its in-flow children,
  1706. // so that no block-level descendants break up the inline formatting context in which it participates.
  1707. if (display.is_flow_inside()) {
  1708. dbgln("FIXME: Inlinify inline box children recursively");
  1709. }
  1710. break;
  1711. }
  1712. if (display.is_internal()) {
  1713. // Inlinification has no effect on layout-internal boxes. (However, placement in such an inline context will typically cause them
  1714. // to be wrapped in an appropriately-typed anonymous inline-level box.)
  1715. } else {
  1716. VERIFY(display.is_outside_and_inside());
  1717. // If a block box (block flow) is inlinified, its inner display type is set to flow-root so that it remains a block container.
  1718. if (display.is_block_outside() && display.is_flow_inside()) {
  1719. new_display = CSS::Display { CSS::Display::Outside::Inline, CSS::Display::Inside::FlowRoot, display.list_item() };
  1720. }
  1721. new_display = CSS::Display { CSS::Display::Outside::Inline, display.inside(), display.list_item() };
  1722. }
  1723. break;
  1724. }
  1725. if (new_display != display)
  1726. style.set_property(CSS::PropertyID::Display, DisplayStyleValue::create(new_display).release_value_but_fixme_should_propagate_errors(), style.property_source_declaration(CSS::PropertyID::Display));
  1727. }
  1728. NonnullRefPtr<StyleProperties> StyleComputer::create_document_style() const
  1729. {
  1730. auto style = StyleProperties::create();
  1731. compute_font(style, nullptr, {});
  1732. compute_defaulted_values(style, nullptr, {});
  1733. absolutize_values(style, nullptr, {}).release_value_but_fixme_should_propagate_errors();
  1734. style->set_property(CSS::PropertyID::Width, CSS::LengthStyleValue::create(CSS::Length::make_px(viewport_rect().width())).release_value_but_fixme_should_propagate_errors(), nullptr);
  1735. style->set_property(CSS::PropertyID::Height, CSS::LengthStyleValue::create(CSS::Length::make_px(viewport_rect().height())).release_value_but_fixme_should_propagate_errors(), nullptr);
  1736. style->set_property(CSS::PropertyID::Display, CSS::DisplayStyleValue::create(CSS::Display::from_short(CSS::Display::Short::Block)).release_value_but_fixme_should_propagate_errors(), nullptr);
  1737. return style;
  1738. }
  1739. ErrorOr<NonnullRefPtr<StyleProperties>> StyleComputer::compute_style(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1740. {
  1741. auto style = TRY(compute_style_impl(element, move(pseudo_element), ComputeStyleMode::Normal));
  1742. return style.release_nonnull();
  1743. }
  1744. ErrorOr<RefPtr<StyleProperties>> StyleComputer::compute_pseudo_element_style_if_needed(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1745. {
  1746. return compute_style_impl(element, move(pseudo_element), ComputeStyleMode::CreatePseudoElementStyleIfNeeded);
  1747. }
  1748. ErrorOr<RefPtr<StyleProperties>> StyleComputer::compute_style_impl(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, ComputeStyleMode mode) const
  1749. {
  1750. build_rule_cache_if_needed();
  1751. auto style = StyleProperties::create();
  1752. // 1. Perform the cascade. This produces the "specified style"
  1753. bool did_match_any_pseudo_element_rules = false;
  1754. TRY(compute_cascaded_values(style, element, pseudo_element, did_match_any_pseudo_element_rules, mode));
  1755. if (mode == ComputeStyleMode::CreatePseudoElementStyleIfNeeded && !did_match_any_pseudo_element_rules)
  1756. return nullptr;
  1757. // 2. Compute the font, since that may be needed for font-relative CSS units
  1758. compute_font(style, &element, pseudo_element);
  1759. // 3. Absolutize values, turning font/viewport relative lengths into absolute lengths
  1760. TRY(absolutize_values(style, &element, pseudo_element));
  1761. // 4. Default the values, applying inheritance and 'initial' as needed
  1762. compute_defaulted_values(style, &element, pseudo_element);
  1763. // 5. Run automatic box type transformations
  1764. transform_box_type_if_needed(style, element, pseudo_element);
  1765. return style;
  1766. }
  1767. PropertyDependencyNode::PropertyDependencyNode(String name)
  1768. : m_name(move(name))
  1769. {
  1770. }
  1771. void PropertyDependencyNode::add_child(NonnullRefPtr<PropertyDependencyNode> new_child)
  1772. {
  1773. for (auto const& child : m_children) {
  1774. if (child->m_name == new_child->m_name)
  1775. return;
  1776. }
  1777. // We detect self-reference already.
  1778. VERIFY(new_child->m_name != m_name);
  1779. m_children.append(move(new_child));
  1780. }
  1781. bool PropertyDependencyNode::has_cycles()
  1782. {
  1783. if (m_marked)
  1784. return true;
  1785. TemporaryChange change { m_marked, true };
  1786. for (auto& child : m_children) {
  1787. if (child->has_cycles())
  1788. return true;
  1789. }
  1790. return false;
  1791. }
  1792. void StyleComputer::build_rule_cache_if_needed() const
  1793. {
  1794. if (m_author_rule_cache && m_user_agent_rule_cache)
  1795. return;
  1796. const_cast<StyleComputer&>(*this).build_rule_cache();
  1797. }
  1798. NonnullOwnPtr<StyleComputer::RuleCache> StyleComputer::make_rule_cache_for_cascade_origin(CascadeOrigin cascade_origin)
  1799. {
  1800. auto rule_cache = make<RuleCache>();
  1801. size_t num_class_rules = 0;
  1802. size_t num_id_rules = 0;
  1803. size_t num_tag_name_rules = 0;
  1804. size_t num_pseudo_element_rules = 0;
  1805. Vector<MatchingRule> matching_rules;
  1806. size_t style_sheet_index = 0;
  1807. for_each_stylesheet(cascade_origin, [&](auto& sheet) {
  1808. size_t rule_index = 0;
  1809. sheet.for_each_effective_style_rule([&](auto const& rule) {
  1810. size_t selector_index = 0;
  1811. for (CSS::Selector const& selector : rule.selectors()) {
  1812. MatchingRule matching_rule {
  1813. &rule,
  1814. style_sheet_index,
  1815. rule_index,
  1816. selector_index,
  1817. selector.specificity(),
  1818. };
  1819. for (auto const& simple_selector : selector.compound_selectors().last().simple_selectors) {
  1820. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::PseudoElement) {
  1821. matching_rule.contains_pseudo_element = true;
  1822. ++num_pseudo_element_rules;
  1823. break;
  1824. }
  1825. }
  1826. bool added_to_bucket = false;
  1827. for (auto const& simple_selector : selector.compound_selectors().last().simple_selectors) {
  1828. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::Id) {
  1829. rule_cache->rules_by_id.ensure(simple_selector.name()).append(move(matching_rule));
  1830. ++num_id_rules;
  1831. added_to_bucket = true;
  1832. break;
  1833. }
  1834. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::Class) {
  1835. rule_cache->rules_by_class.ensure(simple_selector.name()).append(move(matching_rule));
  1836. ++num_class_rules;
  1837. added_to_bucket = true;
  1838. break;
  1839. }
  1840. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::TagName) {
  1841. rule_cache->rules_by_tag_name.ensure(simple_selector.name()).append(move(matching_rule));
  1842. ++num_tag_name_rules;
  1843. added_to_bucket = true;
  1844. break;
  1845. }
  1846. }
  1847. if (!added_to_bucket)
  1848. rule_cache->other_rules.append(move(matching_rule));
  1849. ++selector_index;
  1850. }
  1851. ++rule_index;
  1852. });
  1853. sheet.for_each_effective_keyframes_at_rule([&](CSSKeyframesRule const& rule) {
  1854. auto keyframe_set = make<AnimationKeyFrameSet>();
  1855. AnimationKeyFrameSet::ResolvedKeyFrame resolved_keyframe;
  1856. // Forwards pass, resolve all the user-specified keyframe properties.
  1857. for (auto const& keyframe : rule.keyframes()) {
  1858. auto key = static_cast<u64>(keyframe->key().value() * AnimationKeyFrameKeyScaleFactor);
  1859. auto keyframe_rule = keyframe->style();
  1860. if (!is<PropertyOwningCSSStyleDeclaration>(*keyframe_rule))
  1861. continue;
  1862. auto current_keyframe = resolved_keyframe;
  1863. auto& keyframe_style = static_cast<PropertyOwningCSSStyleDeclaration const&>(*keyframe_rule);
  1864. for (auto& property : keyframe_style.properties())
  1865. current_keyframe.resolved_properties[to_underlying(property.property_id)] = property.value;
  1866. resolved_keyframe = move(current_keyframe);
  1867. keyframe_set->keyframes_by_key.insert(key, resolved_keyframe);
  1868. }
  1869. // If there is no 'from' keyframe, make a synthetic one.
  1870. auto made_a_synthetic_from_keyframe = false;
  1871. if (!keyframe_set->keyframes_by_key.find(0)) {
  1872. keyframe_set->keyframes_by_key.insert(0, AnimationKeyFrameSet::ResolvedKeyFrame());
  1873. made_a_synthetic_from_keyframe = true;
  1874. }
  1875. // Backwards pass, resolve all the implied properties, go read <https://drafts.csswg.org/css-animations-2/#keyframe-processing> to see why.
  1876. auto first = true;
  1877. for (auto const& keyframe : rule.keyframes().in_reverse()) {
  1878. auto key = static_cast<u64>(keyframe->key().value() * AnimationKeyFrameKeyScaleFactor);
  1879. auto keyframe_rule = keyframe->style();
  1880. if (!is<PropertyOwningCSSStyleDeclaration>(*keyframe_rule))
  1881. continue;
  1882. // The last keyframe is already fully resolved.
  1883. if (first) {
  1884. first = false;
  1885. continue;
  1886. }
  1887. auto next_keyframe = resolved_keyframe;
  1888. auto& current_keyframes = *keyframe_set->keyframes_by_key.find(key);
  1889. for (auto it = next_keyframe.resolved_properties.begin(); !it.is_end(); ++it) {
  1890. auto& current_property = current_keyframes.resolved_properties[it.index()];
  1891. if (!current_property.has<Empty>() || it->has<Empty>())
  1892. continue;
  1893. if (key == 0)
  1894. current_property = AnimationKeyFrameSet::ResolvedKeyFrame::UseInitial();
  1895. else
  1896. current_property = *it;
  1897. }
  1898. resolved_keyframe = current_keyframes;
  1899. }
  1900. if (made_a_synthetic_from_keyframe && !first) {
  1901. auto next_keyframe = resolved_keyframe;
  1902. auto& current_keyframes = *keyframe_set->keyframes_by_key.find(0);
  1903. for (auto it = next_keyframe.resolved_properties.begin(); !it.is_end(); ++it) {
  1904. auto& current_property = current_keyframes.resolved_properties[it.index()];
  1905. if (!current_property.has<Empty>() || it->has<Empty>())
  1906. continue;
  1907. current_property = AnimationKeyFrameSet::ResolvedKeyFrame::UseInitial();
  1908. }
  1909. resolved_keyframe = current_keyframes;
  1910. }
  1911. if constexpr (LIBWEB_CSS_DEBUG) {
  1912. dbgln("Resolved keyframe set '{}' into {} keyframes:", rule.name(), keyframe_set->keyframes_by_key.size());
  1913. for (auto it = keyframe_set->keyframes_by_key.begin(); it != keyframe_set->keyframes_by_key.end(); ++it) {
  1914. size_t props = 0;
  1915. for (auto& entry : it->resolved_properties)
  1916. props += !entry.has<Empty>();
  1917. dbgln(" - keyframe {}: {} properties", it.key(), props);
  1918. }
  1919. }
  1920. rule_cache->rules_by_animation_keyframes.set(rule.name(), move(keyframe_set));
  1921. });
  1922. ++style_sheet_index;
  1923. });
  1924. if constexpr (LIBWEB_CSS_DEBUG) {
  1925. dbgln("Built rule cache!");
  1926. dbgln(" ID: {}", num_id_rules);
  1927. dbgln(" Class: {}", num_class_rules);
  1928. dbgln(" TagName: {}", num_tag_name_rules);
  1929. dbgln("PseudoElement: {}", num_pseudo_element_rules);
  1930. dbgln(" Other: {}", rule_cache->other_rules.size());
  1931. dbgln(" Total: {}", num_class_rules + num_id_rules + num_tag_name_rules + rule_cache->other_rules.size());
  1932. }
  1933. return rule_cache;
  1934. }
  1935. void StyleComputer::build_rule_cache()
  1936. {
  1937. m_author_rule_cache = make_rule_cache_for_cascade_origin(CascadeOrigin::Author);
  1938. m_user_agent_rule_cache = make_rule_cache_for_cascade_origin(CascadeOrigin::UserAgent);
  1939. }
  1940. void StyleComputer::invalidate_rule_cache()
  1941. {
  1942. m_author_rule_cache = nullptr;
  1943. // NOTE: It might not be necessary to throw away the UA rule cache.
  1944. // If we are sure that it's safe, we could keep it as an optimization.
  1945. m_user_agent_rule_cache = nullptr;
  1946. }
  1947. CSSPixelRect StyleComputer::viewport_rect() const
  1948. {
  1949. if (auto const* browsing_context = document().browsing_context())
  1950. return browsing_context->viewport_rect();
  1951. return {};
  1952. }
  1953. void StyleComputer::did_load_font([[maybe_unused]] FlyString const& family_name)
  1954. {
  1955. document().invalidate_style();
  1956. }
  1957. void StyleComputer::load_fonts_from_sheet(CSSStyleSheet const& sheet)
  1958. {
  1959. for (auto const& rule : static_cast<CSSStyleSheet const&>(sheet).rules()) {
  1960. if (!is<CSSFontFaceRule>(*rule))
  1961. continue;
  1962. auto const& font_face = static_cast<CSSFontFaceRule const&>(*rule).font_face();
  1963. if (font_face.sources().is_empty())
  1964. continue;
  1965. FontFaceKey key {
  1966. .family_name = font_face.font_family(),
  1967. .weight = font_face.weight().value_or(0),
  1968. .slope = font_face.slope().value_or(0),
  1969. };
  1970. if (m_loaded_fonts.contains(key))
  1971. continue;
  1972. Vector<AK::URL> urls;
  1973. for (auto& source : font_face.sources()) {
  1974. // FIXME: These should be loaded relative to the stylesheet URL instead of the document URL.
  1975. urls.append(m_document->parse_url(source.url.to_deprecated_string()));
  1976. }
  1977. if (urls.is_empty())
  1978. continue;
  1979. auto loader = make<FontLoader>(const_cast<StyleComputer&>(*this), font_face.font_family(), move(urls));
  1980. const_cast<StyleComputer&>(*this).m_loaded_fonts.set(key, move(loader));
  1981. }
  1982. }
  1983. }