StyleComputer.cpp 134 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843
  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/BinarySearch.h>
  9. #include <AK/Debug.h>
  10. #include <AK/Error.h>
  11. #include <AK/Find.h>
  12. #include <AK/Function.h>
  13. #include <AK/HashMap.h>
  14. #include <AK/QuickSort.h>
  15. #include <AK/TemporaryChange.h>
  16. #include <LibGfx/Font/Font.h>
  17. #include <LibGfx/Font/FontDatabase.h>
  18. #include <LibGfx/Font/FontStyleMapping.h>
  19. #include <LibGfx/Font/OpenType/Font.h>
  20. #include <LibGfx/Font/ScaledFont.h>
  21. #include <LibGfx/Font/VectorFont.h>
  22. #include <LibGfx/Font/WOFF/Font.h>
  23. #include <LibGfx/Font/WOFF2/Font.h>
  24. #include <LibWeb/CSS/CSSFontFaceRule.h>
  25. #include <LibWeb/CSS/CSSImportRule.h>
  26. #include <LibWeb/CSS/CSSStyleRule.h>
  27. #include <LibWeb/CSS/Parser/Parser.h>
  28. #include <LibWeb/CSS/SelectorEngine.h>
  29. #include <LibWeb/CSS/StyleComputer.h>
  30. #include <LibWeb/CSS/StyleSheet.h>
  31. #include <LibWeb/CSS/StyleValues/AngleStyleValue.h>
  32. #include <LibWeb/CSS/StyleValues/BackgroundStyleValue.h>
  33. #include <LibWeb/CSS/StyleValues/BorderRadiusShorthandStyleValue.h>
  34. #include <LibWeb/CSS/StyleValues/BorderRadiusStyleValue.h>
  35. #include <LibWeb/CSS/StyleValues/BorderStyleValue.h>
  36. #include <LibWeb/CSS/StyleValues/ColorStyleValue.h>
  37. #include <LibWeb/CSS/StyleValues/CompositeStyleValue.h>
  38. #include <LibWeb/CSS/StyleValues/DisplayStyleValue.h>
  39. #include <LibWeb/CSS/StyleValues/EasingStyleValue.h>
  40. #include <LibWeb/CSS/StyleValues/FilterValueListStyleValue.h>
  41. #include <LibWeb/CSS/StyleValues/FlexFlowStyleValue.h>
  42. #include <LibWeb/CSS/StyleValues/FlexStyleValue.h>
  43. #include <LibWeb/CSS/StyleValues/FontStyleValue.h>
  44. #include <LibWeb/CSS/StyleValues/GridAreaShorthandStyleValue.h>
  45. #include <LibWeb/CSS/StyleValues/GridTrackPlacementShorthandStyleValue.h>
  46. #include <LibWeb/CSS/StyleValues/GridTrackPlacementStyleValue.h>
  47. #include <LibWeb/CSS/StyleValues/GridTrackSizeListShorthandStyleValue.h>
  48. #include <LibWeb/CSS/StyleValues/GridTrackSizeListStyleValue.h>
  49. #include <LibWeb/CSS/StyleValues/IdentifierStyleValue.h>
  50. #include <LibWeb/CSS/StyleValues/IntegerStyleValue.h>
  51. #include <LibWeb/CSS/StyleValues/LengthStyleValue.h>
  52. #include <LibWeb/CSS/StyleValues/ListStyleStyleValue.h>
  53. #include <LibWeb/CSS/StyleValues/NumberStyleValue.h>
  54. #include <LibWeb/CSS/StyleValues/OverflowStyleValue.h>
  55. #include <LibWeb/CSS/StyleValues/PercentageStyleValue.h>
  56. #include <LibWeb/CSS/StyleValues/PlaceContentStyleValue.h>
  57. #include <LibWeb/CSS/StyleValues/PlaceItemsStyleValue.h>
  58. #include <LibWeb/CSS/StyleValues/PlaceSelfStyleValue.h>
  59. #include <LibWeb/CSS/StyleValues/PositionStyleValue.h>
  60. #include <LibWeb/CSS/StyleValues/RectStyleValue.h>
  61. #include <LibWeb/CSS/StyleValues/StyleValueList.h>
  62. #include <LibWeb/CSS/StyleValues/TextDecorationStyleValue.h>
  63. #include <LibWeb/CSS/StyleValues/TimeStyleValue.h>
  64. #include <LibWeb/CSS/StyleValues/TransformationStyleValue.h>
  65. #include <LibWeb/CSS/StyleValues/UnresolvedStyleValue.h>
  66. #include <LibWeb/DOM/Document.h>
  67. #include <LibWeb/DOM/Element.h>
  68. #include <LibWeb/FontCache.h>
  69. #include <LibWeb/HTML/HTMLHtmlElement.h>
  70. #include <LibWeb/Layout/Node.h>
  71. #include <LibWeb/Loader/ResourceLoader.h>
  72. #include <LibWeb/Platform/FontPlugin.h>
  73. #include <LibWeb/ReferrerPolicy/AbstractOperations.h>
  74. #include <stdio.h>
  75. namespace AK {
  76. // traits for FontFaceKey
  77. template<>
  78. struct Traits<Web::CSS::FontFaceKey> : public GenericTraits<Web::CSS::FontFaceKey> {
  79. static unsigned hash(Web::CSS::FontFaceKey const& key) { return pair_int_hash(key.family_name.hash(), pair_int_hash(key.weight, key.slope)); }
  80. };
  81. }
  82. namespace Web::CSS {
  83. static DOM::Element const* element_to_inherit_style_from(DOM::Element const*, Optional<CSS::Selector::PseudoElement>);
  84. static NonnullRefPtr<StyleValue const> get_inherit_value(JS::Realm& initial_value_context_realm, CSS::PropertyID, DOM::Element const*, Optional<CSS::Selector::PseudoElement>);
  85. StyleComputer::StyleComputer(DOM::Document& document)
  86. : m_document(document)
  87. , m_default_font_metrics(16, Gfx::FontDatabase::default_font().pixel_metrics(), 16)
  88. , m_root_element_font_metrics(m_default_font_metrics)
  89. {
  90. }
  91. StyleComputer::~StyleComputer() = default;
  92. class StyleComputer::FontLoader : public ResourceClient {
  93. public:
  94. explicit FontLoader(StyleComputer& style_computer, FlyString family_name, Vector<AK::URL> urls)
  95. : m_style_computer(style_computer)
  96. , m_family_name(move(family_name))
  97. , m_urls(move(urls))
  98. {
  99. start_loading_next_url();
  100. }
  101. virtual ~FontLoader() override { }
  102. virtual void resource_did_load() override
  103. {
  104. auto result = try_load_font();
  105. if (result.is_error())
  106. return start_loading_next_url();
  107. m_vector_font = result.release_value();
  108. m_style_computer.did_load_font(m_family_name);
  109. }
  110. virtual void resource_did_fail() override
  111. {
  112. }
  113. RefPtr<Gfx::Font> font_with_point_size(float point_size) const
  114. {
  115. if (!m_vector_font)
  116. return nullptr;
  117. if (auto it = m_cached_fonts.find(point_size); it != m_cached_fonts.end())
  118. return it->value;
  119. // FIXME: It might be nicer to have a global cap on the number of fonts we cache
  120. // instead of doing it at the per-font level like this.
  121. constexpr size_t max_cached_font_size_count = 64;
  122. if (m_cached_fonts.size() > max_cached_font_size_count)
  123. m_cached_fonts.remove(m_cached_fonts.begin());
  124. auto font = adopt_ref(*new Gfx::ScaledFont(*m_vector_font, point_size, point_size));
  125. m_cached_fonts.set(point_size, font);
  126. return font;
  127. }
  128. private:
  129. void start_loading_next_url()
  130. {
  131. if (m_urls.is_empty())
  132. return;
  133. LoadRequest request;
  134. request.set_url(m_urls.take_first());
  135. // HACK: We're crudely computing the referer value and shoving it into the
  136. // request until fetch infrastructure is used here.
  137. auto referrer_url = ReferrerPolicy::strip_url_for_use_as_referrer(m_style_computer.document().url());
  138. if (referrer_url.has_value() && !request.headers().contains("Referer"))
  139. request.set_header("Referer", referrer_url->serialize());
  140. set_resource(ResourceLoader::the().load_resource(Resource::Type::Generic, request));
  141. }
  142. ErrorOr<NonnullRefPtr<Gfx::VectorFont>> try_load_font()
  143. {
  144. // 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
  145. auto mime_type = resource()->mime_type();
  146. if (mime_type == "font/ttf"sv || mime_type == "application/x-font-ttf"sv)
  147. return TRY(OpenType::Font::try_load_from_externally_owned_memory(resource()->encoded_data()));
  148. if (mime_type == "font/woff"sv || mime_type == "application/font-woff"sv)
  149. return TRY(WOFF::Font::try_load_from_externally_owned_memory(resource()->encoded_data()));
  150. if (mime_type == "font/woff2"sv || mime_type == "application/font-woff2"sv) {
  151. auto woff2 = WOFF2::Font::try_load_from_externally_owned_memory(resource()->encoded_data());
  152. if (woff2.is_error()) {
  153. dbgln("WOFF2 error: {}", woff2.error());
  154. return woff2.release_error();
  155. }
  156. return woff2.release_value();
  157. }
  158. auto ttf = OpenType::Font::try_load_from_externally_owned_memory(resource()->encoded_data());
  159. if (!ttf.is_error())
  160. return ttf.release_value();
  161. auto woff = WOFF::Font::try_load_from_externally_owned_memory(resource()->encoded_data());
  162. if (!woff.is_error())
  163. return woff.release_value();
  164. auto woff2 = WOFF2::Font::try_load_from_externally_owned_memory(resource()->encoded_data());
  165. if (!woff2.is_error())
  166. return woff2.release_value();
  167. return woff2.release_error();
  168. }
  169. StyleComputer& m_style_computer;
  170. FlyString m_family_name;
  171. RefPtr<Gfx::VectorFont> m_vector_font;
  172. Vector<AK::URL> m_urls;
  173. HashMap<float, NonnullRefPtr<Gfx::ScaledFont>> mutable m_cached_fonts;
  174. };
  175. struct StyleComputer::MatchingFontCandidate {
  176. FontFaceKey key;
  177. Variant<FontLoader*, Gfx::Typeface const*> loader_or_typeface;
  178. [[nodiscard]] RefPtr<Gfx::Font const> font_with_point_size(float point_size) const
  179. {
  180. if (auto* loader = loader_or_typeface.get_pointer<FontLoader*>(); loader) {
  181. return (*loader)->font_with_point_size(point_size);
  182. }
  183. return loader_or_typeface.get<Gfx::Typeface const*>()->get_font(point_size);
  184. }
  185. };
  186. static CSSStyleSheet& default_stylesheet(DOM::Document const& document)
  187. {
  188. static JS::Handle<CSSStyleSheet> sheet;
  189. if (!sheet.cell()) {
  190. extern StringView default_stylesheet_source;
  191. sheet = JS::make_handle(parse_css_stylesheet(CSS::Parser::ParsingContext(document), default_stylesheet_source));
  192. }
  193. return *sheet;
  194. }
  195. static CSSStyleSheet& quirks_mode_stylesheet(DOM::Document const& document)
  196. {
  197. static JS::Handle<CSSStyleSheet> sheet;
  198. if (!sheet.cell()) {
  199. extern StringView quirks_mode_stylesheet_source;
  200. sheet = JS::make_handle(parse_css_stylesheet(CSS::Parser::ParsingContext(document), quirks_mode_stylesheet_source));
  201. }
  202. return *sheet;
  203. }
  204. static CSSStyleSheet& mathml_stylesheet(DOM::Document const& document)
  205. {
  206. static JS::Handle<CSSStyleSheet> sheet;
  207. if (!sheet.cell()) {
  208. extern StringView mathml_stylesheet_source;
  209. sheet = JS::make_handle(parse_css_stylesheet(CSS::Parser::ParsingContext(document), mathml_stylesheet_source));
  210. }
  211. return *sheet;
  212. }
  213. template<typename Callback>
  214. void StyleComputer::for_each_stylesheet(CascadeOrigin cascade_origin, Callback callback) const
  215. {
  216. if (cascade_origin == CascadeOrigin::UserAgent) {
  217. callback(default_stylesheet(document()));
  218. if (document().in_quirks_mode())
  219. callback(quirks_mode_stylesheet(document()));
  220. callback(mathml_stylesheet(document()));
  221. }
  222. if (cascade_origin == CascadeOrigin::User) {
  223. if (m_user_style_sheet)
  224. callback(*m_user_style_sheet);
  225. }
  226. if (cascade_origin == CascadeOrigin::Author) {
  227. for (auto const& sheet : document().style_sheets().sheets())
  228. callback(*sheet);
  229. }
  230. }
  231. StyleComputer::RuleCache const& StyleComputer::rule_cache_for_cascade_origin(CascadeOrigin cascade_origin) const
  232. {
  233. switch (cascade_origin) {
  234. case CascadeOrigin::Author:
  235. return *m_author_rule_cache;
  236. case CascadeOrigin::User:
  237. return *m_user_rule_cache;
  238. case CascadeOrigin::UserAgent:
  239. return *m_user_agent_rule_cache;
  240. default:
  241. TODO();
  242. }
  243. }
  244. [[nodiscard]] static bool filter_namespace_rule(DOM::Element const& element, MatchingRule const& rule)
  245. {
  246. // FIXME: Filter out non-default namespace using prefixes
  247. auto namespace_uri = rule.sheet->default_namespace();
  248. if (namespace_uri.has_value() && namespace_uri.value() != element.namespace_uri()) {
  249. return false;
  250. }
  251. return true;
  252. }
  253. Vector<MatchingRule> StyleComputer::collect_matching_rules(DOM::Element const& element, CascadeOrigin cascade_origin, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  254. {
  255. auto const& rule_cache = rule_cache_for_cascade_origin(cascade_origin);
  256. Vector<MatchingRule> rules_to_run;
  257. auto add_rules_to_run = [&](Vector<MatchingRule> const& rules) {
  258. rules_to_run.grow_capacity(rules_to_run.size() + rules.size());
  259. if (pseudo_element.has_value()) {
  260. for (auto const& rule : rules) {
  261. if (rule.contains_pseudo_element && filter_namespace_rule(element, rule))
  262. rules_to_run.append(rule);
  263. }
  264. } else {
  265. for (auto const& rule : rules) {
  266. if (filter_namespace_rule(element, rule))
  267. rules_to_run.append(rule);
  268. }
  269. }
  270. };
  271. for (auto const& class_name : element.class_names()) {
  272. if (auto it = rule_cache.rules_by_class.find(class_name); it != rule_cache.rules_by_class.end())
  273. add_rules_to_run(it->value);
  274. }
  275. if (auto id = element.get_attribute(HTML::AttributeNames::id); !id.is_null()) {
  276. 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())
  277. add_rules_to_run(it->value);
  278. }
  279. 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())
  280. add_rules_to_run(it->value);
  281. add_rules_to_run(rule_cache.other_rules);
  282. Vector<MatchingRule> matching_rules;
  283. matching_rules.ensure_capacity(rules_to_run.size());
  284. for (auto const& rule_to_run : rules_to_run) {
  285. auto const& selector = rule_to_run.rule->selectors()[rule_to_run.selector_index];
  286. if (SelectorEngine::matches(selector, *rule_to_run.sheet, element, pseudo_element))
  287. matching_rules.append(rule_to_run);
  288. }
  289. return matching_rules;
  290. }
  291. static void sort_matching_rules(Vector<MatchingRule>& matching_rules)
  292. {
  293. quick_sort(matching_rules, [&](MatchingRule& a, MatchingRule& b) {
  294. auto const& a_selector = a.rule->selectors()[a.selector_index];
  295. auto const& b_selector = b.rule->selectors()[b.selector_index];
  296. auto a_specificity = a_selector->specificity();
  297. auto b_specificity = b_selector->specificity();
  298. if (a_selector->specificity() == b_selector->specificity()) {
  299. if (a.style_sheet_index == b.style_sheet_index)
  300. return a.rule_index < b.rule_index;
  301. return a.style_sheet_index < b.style_sheet_index;
  302. }
  303. return a_specificity < b_specificity;
  304. });
  305. }
  306. enum class Edge {
  307. Top,
  308. Right,
  309. Bottom,
  310. Left,
  311. All,
  312. };
  313. static bool contains(Edge a, Edge b)
  314. {
  315. return a == b || b == Edge::All;
  316. }
  317. static void set_property_expanding_shorthands(StyleProperties& style, CSS::PropertyID property_id, StyleValue const& value, DOM::Document& document, CSS::CSSStyleDeclaration const* declaration, StyleProperties::PropertyValues const& properties_for_revert)
  318. {
  319. auto set_longhand_property = [&](CSS::PropertyID property_id, StyleValue const& value) {
  320. if (value.is_revert()) {
  321. auto& property_in_previous_cascade_origin = properties_for_revert[to_underlying(property_id)];
  322. if (property_in_previous_cascade_origin.has_value())
  323. style.set_property(property_id, property_in_previous_cascade_origin->style, property_in_previous_cascade_origin->declaration);
  324. } else {
  325. style.set_property(property_id, value, declaration);
  326. }
  327. };
  328. auto map_logical_property_to_real_property = [](PropertyID property_id) -> Optional<PropertyID> {
  329. // FIXME: Honor writing-mode, direction and text-orientation.
  330. switch (property_id) {
  331. case PropertyID::MarginBlockStart:
  332. return PropertyID::MarginTop;
  333. case PropertyID::MarginBlockEnd:
  334. return PropertyID::MarginBottom;
  335. case PropertyID::MarginInlineStart:
  336. return PropertyID::MarginLeft;
  337. case PropertyID::MarginInlineEnd:
  338. return PropertyID::MarginRight;
  339. case PropertyID::PaddingBlockStart:
  340. return PropertyID::PaddingTop;
  341. case PropertyID::PaddingBlockEnd:
  342. return PropertyID::PaddingBottom;
  343. case PropertyID::PaddingInlineStart:
  344. return PropertyID::PaddingLeft;
  345. case PropertyID::PaddingInlineEnd:
  346. return PropertyID::PaddingRight;
  347. case PropertyID::InsetBlockStart:
  348. return PropertyID::Top;
  349. case PropertyID::InsetBlockEnd:
  350. return PropertyID::Bottom;
  351. case PropertyID::InsetInlineStart:
  352. return PropertyID::Left;
  353. case PropertyID::InsetInlineEnd:
  354. return PropertyID::Right;
  355. default:
  356. return {};
  357. }
  358. };
  359. struct StartAndEndPropertyIDs {
  360. PropertyID start;
  361. PropertyID end;
  362. };
  363. auto map_logical_property_to_real_properties = [](PropertyID property_id) -> Optional<StartAndEndPropertyIDs> {
  364. // FIXME: Honor writing-mode, direction and text-orientation.
  365. switch (property_id) {
  366. case PropertyID::MarginBlock:
  367. return StartAndEndPropertyIDs { PropertyID::MarginTop, PropertyID::MarginBottom };
  368. case PropertyID::MarginInline:
  369. return StartAndEndPropertyIDs { PropertyID::MarginLeft, PropertyID::MarginRight };
  370. case PropertyID::PaddingBlock:
  371. return StartAndEndPropertyIDs { PropertyID::PaddingTop, PropertyID::PaddingBottom };
  372. case PropertyID::PaddingInline:
  373. return StartAndEndPropertyIDs { PropertyID::PaddingLeft, PropertyID::PaddingRight };
  374. case PropertyID::InsetBlock:
  375. return StartAndEndPropertyIDs { PropertyID::Top, PropertyID::Bottom };
  376. case PropertyID::InsetInline:
  377. return StartAndEndPropertyIDs { PropertyID::Left, PropertyID::Right };
  378. default:
  379. return {};
  380. }
  381. };
  382. if (auto real_property_id = map_logical_property_to_real_property(property_id); real_property_id.has_value())
  383. return set_property_expanding_shorthands(style, real_property_id.value(), value, document, declaration, properties_for_revert);
  384. if (auto real_property_ids = map_logical_property_to_real_properties(property_id); real_property_ids.has_value()) {
  385. if (value.is_value_list() && value.as_value_list().size() == 2) {
  386. auto const& start = value.as_value_list().values()[0];
  387. auto const& end = value.as_value_list().values()[1];
  388. set_property_expanding_shorthands(style, real_property_ids->start, start, document, declaration, properties_for_revert);
  389. set_property_expanding_shorthands(style, real_property_ids->end, end, document, declaration, properties_for_revert);
  390. return;
  391. }
  392. set_property_expanding_shorthands(style, real_property_ids->start, value, document, declaration, properties_for_revert);
  393. set_property_expanding_shorthands(style, real_property_ids->end, value, document, declaration, properties_for_revert);
  394. return;
  395. }
  396. if (value.is_composite()) {
  397. auto& composite_value = value.as_composite();
  398. auto& properties = composite_value.sub_properties();
  399. auto& values = composite_value.values();
  400. for (size_t i = 0; i < properties.size(); ++i)
  401. set_property_expanding_shorthands(style, properties[i], values[i], document, declaration, properties_for_revert);
  402. }
  403. auto assign_edge_values = [&](PropertyID top_property, PropertyID right_property, PropertyID bottom_property, PropertyID left_property, auto const& values) {
  404. if (values.size() == 4) {
  405. set_longhand_property(top_property, values[0]);
  406. set_longhand_property(right_property, values[1]);
  407. set_longhand_property(bottom_property, values[2]);
  408. set_longhand_property(left_property, values[3]);
  409. } else if (values.size() == 3) {
  410. set_longhand_property(top_property, values[0]);
  411. set_longhand_property(right_property, values[1]);
  412. set_longhand_property(bottom_property, values[2]);
  413. set_longhand_property(left_property, values[1]);
  414. } else if (values.size() == 2) {
  415. set_longhand_property(top_property, values[0]);
  416. set_longhand_property(right_property, values[1]);
  417. set_longhand_property(bottom_property, values[0]);
  418. set_longhand_property(left_property, values[1]);
  419. } else if (values.size() == 1) {
  420. set_longhand_property(top_property, values[0]);
  421. set_longhand_property(right_property, values[0]);
  422. set_longhand_property(bottom_property, values[0]);
  423. set_longhand_property(left_property, values[0]);
  424. }
  425. };
  426. if (property_id == CSS::PropertyID::TextDecoration) {
  427. if (value.is_text_decoration()) {
  428. auto const& text_decoration = value.as_text_decoration();
  429. set_longhand_property(CSS::PropertyID::TextDecorationLine, text_decoration.line());
  430. set_longhand_property(CSS::PropertyID::TextDecorationThickness, text_decoration.thickness());
  431. set_longhand_property(CSS::PropertyID::TextDecorationStyle, text_decoration.style());
  432. set_longhand_property(CSS::PropertyID::TextDecorationColor, text_decoration.color());
  433. return;
  434. }
  435. set_longhand_property(CSS::PropertyID::TextDecorationLine, value);
  436. set_longhand_property(CSS::PropertyID::TextDecorationThickness, value);
  437. set_longhand_property(CSS::PropertyID::TextDecorationStyle, value);
  438. set_longhand_property(CSS::PropertyID::TextDecorationColor, value);
  439. return;
  440. }
  441. if (property_id == CSS::PropertyID::Overflow) {
  442. if (value.is_overflow()) {
  443. auto const& overflow = value.as_overflow();
  444. set_longhand_property(CSS::PropertyID::OverflowX, overflow.overflow_x());
  445. set_longhand_property(CSS::PropertyID::OverflowY, overflow.overflow_y());
  446. return;
  447. }
  448. set_longhand_property(CSS::PropertyID::OverflowX, value);
  449. set_longhand_property(CSS::PropertyID::OverflowY, value);
  450. return;
  451. }
  452. if (property_id == CSS::PropertyID::PlaceContent) {
  453. if (value.is_place_content()) {
  454. auto const& place_content = value.as_place_content();
  455. set_longhand_property(CSS::PropertyID::AlignContent, place_content.align_content());
  456. set_longhand_property(CSS::PropertyID::JustifyContent, place_content.justify_content());
  457. return;
  458. }
  459. style.set_property(CSS::PropertyID::AlignContent, value);
  460. style.set_property(CSS::PropertyID::JustifyContent, value);
  461. return;
  462. }
  463. if (property_id == CSS::PropertyID::PlaceItems) {
  464. if (value.is_place_items()) {
  465. auto const& place_items = value.as_place_items();
  466. set_longhand_property(CSS::PropertyID::AlignItems, place_items.align_items());
  467. set_longhand_property(CSS::PropertyID::JustifyItems, place_items.justify_items());
  468. return;
  469. }
  470. set_longhand_property(CSS::PropertyID::AlignItems, value);
  471. set_longhand_property(CSS::PropertyID::JustifyItems, value);
  472. return;
  473. }
  474. if (property_id == CSS::PropertyID::PlaceSelf) {
  475. if (value.is_place_self()) {
  476. auto const& place_self = value.as_place_self();
  477. set_longhand_property(CSS::PropertyID::AlignSelf, place_self.align_self());
  478. set_longhand_property(CSS::PropertyID::JustifySelf, place_self.justify_self());
  479. return;
  480. }
  481. set_longhand_property(CSS::PropertyID::AlignSelf, value);
  482. set_longhand_property(CSS::PropertyID::JustifySelf, value);
  483. return;
  484. }
  485. if (property_id == CSS::PropertyID::Border) {
  486. set_property_expanding_shorthands(style, CSS::PropertyID::BorderTop, value, document, declaration, properties_for_revert);
  487. set_property_expanding_shorthands(style, CSS::PropertyID::BorderRight, value, document, declaration, properties_for_revert);
  488. set_property_expanding_shorthands(style, CSS::PropertyID::BorderBottom, value, document, declaration, properties_for_revert);
  489. set_property_expanding_shorthands(style, CSS::PropertyID::BorderLeft, value, document, declaration, properties_for_revert);
  490. // FIXME: Also reset border-image, in line with the spec: https://www.w3.org/TR/css-backgrounds-3/#border-shorthands
  491. return;
  492. }
  493. if (property_id == CSS::PropertyID::BorderRadius) {
  494. if (value.is_border_radius_shorthand()) {
  495. auto const& shorthand = value.as_border_radius_shorthand();
  496. set_longhand_property(CSS::PropertyID::BorderTopLeftRadius, shorthand.top_left());
  497. set_longhand_property(CSS::PropertyID::BorderTopRightRadius, shorthand.top_right());
  498. set_longhand_property(CSS::PropertyID::BorderBottomRightRadius, shorthand.bottom_right());
  499. set_longhand_property(CSS::PropertyID::BorderBottomLeftRadius, shorthand.bottom_left());
  500. return;
  501. }
  502. set_longhand_property(CSS::PropertyID::BorderTopLeftRadius, value);
  503. set_longhand_property(CSS::PropertyID::BorderTopRightRadius, value);
  504. set_longhand_property(CSS::PropertyID::BorderBottomRightRadius, value);
  505. set_longhand_property(CSS::PropertyID::BorderBottomLeftRadius, value);
  506. return;
  507. }
  508. if (property_id == CSS::PropertyID::BorderTop
  509. || property_id == CSS::PropertyID::BorderRight
  510. || property_id == CSS::PropertyID::BorderBottom
  511. || property_id == CSS::PropertyID::BorderLeft) {
  512. Edge edge = Edge::All;
  513. switch (property_id) {
  514. case CSS::PropertyID::BorderTop:
  515. edge = Edge::Top;
  516. break;
  517. case CSS::PropertyID::BorderRight:
  518. edge = Edge::Right;
  519. break;
  520. case CSS::PropertyID::BorderBottom:
  521. edge = Edge::Bottom;
  522. break;
  523. case CSS::PropertyID::BorderLeft:
  524. edge = Edge::Left;
  525. break;
  526. default:
  527. break;
  528. }
  529. if (value.is_border()) {
  530. auto const& border = value.as_border();
  531. if (contains(Edge::Top, edge)) {
  532. set_longhand_property(PropertyID::BorderTopWidth, border.border_width());
  533. set_longhand_property(PropertyID::BorderTopStyle, border.border_style());
  534. set_longhand_property(PropertyID::BorderTopColor, border.border_color());
  535. }
  536. if (contains(Edge::Right, edge)) {
  537. set_longhand_property(PropertyID::BorderRightWidth, border.border_width());
  538. set_longhand_property(PropertyID::BorderRightStyle, border.border_style());
  539. set_longhand_property(PropertyID::BorderRightColor, border.border_color());
  540. }
  541. if (contains(Edge::Bottom, edge)) {
  542. set_longhand_property(PropertyID::BorderBottomWidth, border.border_width());
  543. set_longhand_property(PropertyID::BorderBottomStyle, border.border_style());
  544. set_longhand_property(PropertyID::BorderBottomColor, border.border_color());
  545. }
  546. if (contains(Edge::Left, edge)) {
  547. set_longhand_property(PropertyID::BorderLeftWidth, border.border_width());
  548. set_longhand_property(PropertyID::BorderLeftStyle, border.border_style());
  549. set_longhand_property(PropertyID::BorderLeftColor, border.border_color());
  550. }
  551. return;
  552. }
  553. return;
  554. }
  555. if (property_id == CSS::PropertyID::BorderStyle) {
  556. if (value.is_value_list()) {
  557. auto const& values_list = value.as_value_list();
  558. assign_edge_values(PropertyID::BorderTopStyle, PropertyID::BorderRightStyle, PropertyID::BorderBottomStyle, PropertyID::BorderLeftStyle, values_list.values());
  559. return;
  560. }
  561. set_longhand_property(CSS::PropertyID::BorderTopStyle, value);
  562. set_longhand_property(CSS::PropertyID::BorderRightStyle, value);
  563. set_longhand_property(CSS::PropertyID::BorderBottomStyle, value);
  564. set_longhand_property(CSS::PropertyID::BorderLeftStyle, value);
  565. return;
  566. }
  567. if (property_id == CSS::PropertyID::BorderWidth) {
  568. if (value.is_value_list()) {
  569. auto const& values_list = value.as_value_list();
  570. assign_edge_values(PropertyID::BorderTopWidth, PropertyID::BorderRightWidth, PropertyID::BorderBottomWidth, PropertyID::BorderLeftWidth, values_list.values());
  571. return;
  572. }
  573. set_longhand_property(CSS::PropertyID::BorderTopWidth, value);
  574. set_longhand_property(CSS::PropertyID::BorderRightWidth, value);
  575. set_longhand_property(CSS::PropertyID::BorderBottomWidth, value);
  576. set_longhand_property(CSS::PropertyID::BorderLeftWidth, value);
  577. return;
  578. }
  579. if (property_id == CSS::PropertyID::BorderColor) {
  580. if (value.is_value_list()) {
  581. auto const& values_list = value.as_value_list();
  582. assign_edge_values(PropertyID::BorderTopColor, PropertyID::BorderRightColor, PropertyID::BorderBottomColor, PropertyID::BorderLeftColor, values_list.values());
  583. return;
  584. }
  585. set_longhand_property(CSS::PropertyID::BorderTopColor, value);
  586. set_longhand_property(CSS::PropertyID::BorderRightColor, value);
  587. set_longhand_property(CSS::PropertyID::BorderBottomColor, value);
  588. set_longhand_property(CSS::PropertyID::BorderLeftColor, value);
  589. return;
  590. }
  591. if (property_id == CSS::PropertyID::Background) {
  592. if (value.is_background()) {
  593. auto const& background = value.as_background();
  594. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundColor, background.color(), document, declaration, properties_for_revert);
  595. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundImage, background.image(), document, declaration, properties_for_revert);
  596. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundPosition, background.position(), document, declaration, properties_for_revert);
  597. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundSize, background.size(), document, declaration, properties_for_revert);
  598. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundRepeat, background.repeat(), document, declaration, properties_for_revert);
  599. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundAttachment, background.attachment(), document, declaration, properties_for_revert);
  600. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundOrigin, background.origin(), document, declaration, properties_for_revert);
  601. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundClip, background.clip(), document, declaration, properties_for_revert);
  602. return;
  603. }
  604. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundColor, value, document, declaration, properties_for_revert);
  605. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundImage, value, document, declaration, properties_for_revert);
  606. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundPosition, value, document, declaration, properties_for_revert);
  607. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundSize, value, document, declaration, properties_for_revert);
  608. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundRepeat, value, document, declaration, properties_for_revert);
  609. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundAttachment, value, document, declaration, properties_for_revert);
  610. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundOrigin, value, document, declaration, properties_for_revert);
  611. set_property_expanding_shorthands(style, CSS::PropertyID::BackgroundClip, value, document, declaration, properties_for_revert);
  612. return;
  613. }
  614. if (property_id == CSS::PropertyID::BackgroundPosition) {
  615. if (value.is_position()) {
  616. auto const& position = value.as_position();
  617. set_longhand_property(CSS::PropertyID::BackgroundPositionX, position.edge_x());
  618. set_longhand_property(CSS::PropertyID::BackgroundPositionY, position.edge_y());
  619. } else if (value.is_value_list()) {
  620. // Expand background-position layer list into separate lists for x and y positions:
  621. auto const& values_list = value.as_value_list();
  622. StyleValueVector x_positions {};
  623. StyleValueVector y_positions {};
  624. x_positions.ensure_capacity(values_list.size());
  625. y_positions.ensure_capacity(values_list.size());
  626. for (auto& layer : values_list.values()) {
  627. if (layer->is_position()) {
  628. auto const& position = layer->as_position();
  629. x_positions.unchecked_append(position.edge_x());
  630. y_positions.unchecked_append(position.edge_y());
  631. } else {
  632. x_positions.unchecked_append(layer);
  633. y_positions.unchecked_append(layer);
  634. }
  635. }
  636. set_longhand_property(CSS::PropertyID::BackgroundPositionX, StyleValueList::create(move(x_positions), values_list.separator()));
  637. set_longhand_property(CSS::PropertyID::BackgroundPositionY, StyleValueList::create(move(y_positions), values_list.separator()));
  638. } else {
  639. set_longhand_property(CSS::PropertyID::BackgroundPositionX, value);
  640. set_longhand_property(CSS::PropertyID::BackgroundPositionY, value);
  641. }
  642. return;
  643. }
  644. if (property_id == CSS::PropertyID::Inset) {
  645. if (value.is_value_list()) {
  646. auto const& values_list = value.as_value_list();
  647. assign_edge_values(PropertyID::Top, PropertyID::Right, PropertyID::Bottom, PropertyID::Left, values_list.values());
  648. return;
  649. }
  650. set_longhand_property(CSS::PropertyID::Top, value);
  651. set_longhand_property(CSS::PropertyID::Right, value);
  652. set_longhand_property(CSS::PropertyID::Bottom, value);
  653. set_longhand_property(CSS::PropertyID::Left, value);
  654. return;
  655. }
  656. if (property_id == CSS::PropertyID::Margin) {
  657. if (value.is_value_list()) {
  658. auto const& values_list = value.as_value_list();
  659. assign_edge_values(PropertyID::MarginTop, PropertyID::MarginRight, PropertyID::MarginBottom, PropertyID::MarginLeft, values_list.values());
  660. return;
  661. }
  662. set_longhand_property(CSS::PropertyID::MarginTop, value);
  663. set_longhand_property(CSS::PropertyID::MarginRight, value);
  664. set_longhand_property(CSS::PropertyID::MarginBottom, value);
  665. set_longhand_property(CSS::PropertyID::MarginLeft, value);
  666. return;
  667. }
  668. if (property_id == CSS::PropertyID::Padding) {
  669. if (value.is_value_list()) {
  670. auto const& values_list = value.as_value_list();
  671. assign_edge_values(PropertyID::PaddingTop, PropertyID::PaddingRight, PropertyID::PaddingBottom, PropertyID::PaddingLeft, values_list.values());
  672. return;
  673. }
  674. set_longhand_property(CSS::PropertyID::PaddingTop, value);
  675. set_longhand_property(CSS::PropertyID::PaddingRight, value);
  676. set_longhand_property(CSS::PropertyID::PaddingBottom, value);
  677. set_longhand_property(CSS::PropertyID::PaddingLeft, value);
  678. return;
  679. }
  680. if (property_id == CSS::PropertyID::ListStyle) {
  681. if (value.is_list_style()) {
  682. auto const& list_style = value.as_list_style();
  683. set_longhand_property(CSS::PropertyID::ListStylePosition, list_style.position());
  684. set_longhand_property(CSS::PropertyID::ListStyleImage, list_style.image());
  685. set_longhand_property(CSS::PropertyID::ListStyleType, list_style.style_type());
  686. return;
  687. }
  688. set_longhand_property(CSS::PropertyID::ListStylePosition, value);
  689. set_longhand_property(CSS::PropertyID::ListStyleImage, value);
  690. set_longhand_property(CSS::PropertyID::ListStyleType, value);
  691. return;
  692. }
  693. if (property_id == CSS::PropertyID::Font) {
  694. if (value.is_font()) {
  695. auto const& font_shorthand = value.as_font();
  696. set_longhand_property(CSS::PropertyID::FontSize, font_shorthand.font_size());
  697. set_longhand_property(CSS::PropertyID::FontFamily, font_shorthand.font_families());
  698. set_longhand_property(CSS::PropertyID::FontStretch, font_shorthand.font_stretch());
  699. set_longhand_property(CSS::PropertyID::FontStyle, font_shorthand.font_style());
  700. set_longhand_property(CSS::PropertyID::FontWeight, font_shorthand.font_weight());
  701. set_longhand_property(CSS::PropertyID::LineHeight, font_shorthand.line_height());
  702. // FIXME: Implement font-variant
  703. return;
  704. }
  705. set_longhand_property(CSS::PropertyID::FontStretch, value);
  706. set_longhand_property(CSS::PropertyID::FontSize, value);
  707. set_longhand_property(CSS::PropertyID::FontFamily, value);
  708. set_longhand_property(CSS::PropertyID::FontStyle, value);
  709. set_longhand_property(CSS::PropertyID::FontWeight, value);
  710. set_longhand_property(CSS::PropertyID::LineHeight, value);
  711. // FIXME: Implement font-variant
  712. return;
  713. }
  714. if (property_id == CSS::PropertyID::Flex) {
  715. if (value.is_flex()) {
  716. auto const& flex = value.as_flex();
  717. set_longhand_property(CSS::PropertyID::FlexGrow, flex.grow());
  718. set_longhand_property(CSS::PropertyID::FlexShrink, flex.shrink());
  719. set_longhand_property(CSS::PropertyID::FlexBasis, flex.basis());
  720. return;
  721. }
  722. set_longhand_property(CSS::PropertyID::FlexGrow, value);
  723. set_longhand_property(CSS::PropertyID::FlexShrink, value);
  724. set_longhand_property(CSS::PropertyID::FlexBasis, value);
  725. return;
  726. }
  727. if (property_id == CSS::PropertyID::FlexFlow) {
  728. if (value.is_flex_flow()) {
  729. auto const& flex_flow = value.as_flex_flow();
  730. set_longhand_property(CSS::PropertyID::FlexDirection, flex_flow.flex_direction());
  731. set_longhand_property(CSS::PropertyID::FlexWrap, flex_flow.flex_wrap());
  732. return;
  733. }
  734. set_longhand_property(CSS::PropertyID::FlexDirection, value);
  735. set_longhand_property(CSS::PropertyID::FlexWrap, value);
  736. return;
  737. }
  738. if (property_id == CSS::PropertyID::GridArea) {
  739. if (value.is_grid_area_shorthand()) {
  740. auto const& shorthand = value.as_grid_area_shorthand();
  741. set_longhand_property(CSS::PropertyID::GridRowStart, shorthand.row_start());
  742. set_longhand_property(CSS::PropertyID::GridColumnStart, shorthand.column_start());
  743. set_longhand_property(CSS::PropertyID::GridRowEnd, shorthand.row_end());
  744. set_longhand_property(CSS::PropertyID::GridColumnEnd, shorthand.column_end());
  745. return;
  746. }
  747. set_longhand_property(CSS::PropertyID::GridRowStart, value);
  748. set_longhand_property(CSS::PropertyID::GridColumnStart, value);
  749. set_longhand_property(CSS::PropertyID::GridRowEnd, value);
  750. set_longhand_property(CSS::PropertyID::GridColumnEnd, value);
  751. return;
  752. }
  753. if (property_id == CSS::PropertyID::GridColumn) {
  754. if (value.is_grid_track_placement_shorthand()) {
  755. auto const& shorthand = value.as_grid_track_placement_shorthand();
  756. set_longhand_property(CSS::PropertyID::GridColumnStart, shorthand.start());
  757. set_longhand_property(CSS::PropertyID::GridColumnEnd, shorthand.end());
  758. return;
  759. }
  760. set_longhand_property(CSS::PropertyID::GridColumnStart, value);
  761. set_longhand_property(CSS::PropertyID::GridColumnEnd, value);
  762. return;
  763. }
  764. if (property_id == CSS::PropertyID::GridRow) {
  765. if (value.is_grid_track_placement_shorthand()) {
  766. auto const& shorthand = value.as_grid_track_placement_shorthand();
  767. set_longhand_property(CSS::PropertyID::GridRowStart, shorthand.start());
  768. set_longhand_property(CSS::PropertyID::GridRowEnd, shorthand.end());
  769. return;
  770. }
  771. set_longhand_property(CSS::PropertyID::GridRowStart, value);
  772. set_longhand_property(CSS::PropertyID::GridRowEnd, value);
  773. return;
  774. }
  775. if (property_id == CSS::PropertyID::GridTemplate || property_id == CSS::PropertyID::Grid) {
  776. if (value.is_grid_track_size_list_shorthand()) {
  777. auto const& shorthand = value.as_grid_track_size_list_shorthand();
  778. set_longhand_property(CSS::PropertyID::GridTemplateAreas, shorthand.areas());
  779. set_longhand_property(CSS::PropertyID::GridTemplateRows, shorthand.rows());
  780. set_longhand_property(CSS::PropertyID::GridTemplateColumns, shorthand.columns());
  781. return;
  782. }
  783. set_longhand_property(CSS::PropertyID::GridTemplateAreas, value);
  784. set_longhand_property(CSS::PropertyID::GridTemplateRows, value);
  785. set_longhand_property(CSS::PropertyID::GridTemplateColumns, value);
  786. return;
  787. }
  788. if (property_id == CSS::PropertyID::Gap || property_id == CSS::PropertyID::GridGap) {
  789. if (value.is_value_list()) {
  790. auto const& values_list = value.as_value_list();
  791. set_longhand_property(CSS::PropertyID::RowGap, values_list.values()[0]);
  792. set_longhand_property(CSS::PropertyID::ColumnGap, values_list.values()[1]);
  793. return;
  794. }
  795. set_longhand_property(CSS::PropertyID::RowGap, value);
  796. set_longhand_property(CSS::PropertyID::ColumnGap, value);
  797. return;
  798. }
  799. if (property_id == CSS::PropertyID::RowGap || property_id == CSS::PropertyID::GridRowGap) {
  800. set_longhand_property(CSS::PropertyID::RowGap, value);
  801. return;
  802. }
  803. if (property_id == CSS::PropertyID::ColumnGap || property_id == CSS::PropertyID::GridColumnGap) {
  804. set_longhand_property(CSS::PropertyID::ColumnGap, value);
  805. return;
  806. }
  807. if (property_id == CSS::PropertyID::MaxInlineSize || property_id == CSS::PropertyID::MinInlineSize) {
  808. // FIXME: Use writing-mode to determine if we should set width or height.
  809. bool is_horizontal = true;
  810. if (is_horizontal) {
  811. if (property_id == CSS::PropertyID::MaxInlineSize) {
  812. set_longhand_property(CSS::PropertyID::MaxWidth, value);
  813. } else {
  814. set_longhand_property(CSS::PropertyID::MinWidth, value);
  815. }
  816. } else {
  817. if (property_id == CSS::PropertyID::MaxInlineSize) {
  818. set_longhand_property(CSS::PropertyID::MaxHeight, value);
  819. } else {
  820. set_longhand_property(CSS::PropertyID::MinHeight, value);
  821. }
  822. }
  823. return;
  824. }
  825. set_longhand_property(property_id, value);
  826. }
  827. void StyleComputer::set_all_properties(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, StyleProperties& style, StyleValue const& value, DOM::Document& document, CSS::CSSStyleDeclaration const* declaration, StyleProperties::PropertyValues const& properties_for_revert) const
  828. {
  829. for (auto i = to_underlying(CSS::first_longhand_property_id); i <= to_underlying(CSS::last_longhand_property_id); ++i) {
  830. auto property_id = (CSS::PropertyID)i;
  831. if (value.is_revert()) {
  832. style.m_property_values[to_underlying(property_id)] = properties_for_revert[to_underlying(property_id)];
  833. continue;
  834. }
  835. if (value.is_unset()) {
  836. if (is_inherited_property(property_id))
  837. style.m_property_values[to_underlying(property_id)] = { { get_inherit_value(document.realm(), property_id, &element, pseudo_element), nullptr } };
  838. else
  839. style.m_property_values[to_underlying(property_id)] = { { property_initial_value(document.realm(), property_id), nullptr } };
  840. continue;
  841. }
  842. NonnullRefPtr<StyleValue> property_value = value;
  843. if (property_value->is_unresolved()) {
  844. if (auto resolved = resolve_unresolved_style_value(element, pseudo_element, property_id, property_value->as_unresolved()))
  845. property_value = resolved.release_nonnull();
  846. }
  847. if (!property_value->is_unresolved())
  848. set_property_expanding_shorthands(style, property_id, property_value, document, declaration, properties_for_revert);
  849. set_property_expanding_shorthands(style, property_id, value, document, declaration, properties_for_revert);
  850. }
  851. }
  852. static RefPtr<StyleValue const> get_custom_property(DOM::Element const& element, Optional<CSS::Selector::PseudoElement> pseudo_element, FlyString const& custom_property_name)
  853. {
  854. if (pseudo_element.has_value()) {
  855. if (auto it = element.custom_properties(pseudo_element).find(custom_property_name.to_string().to_deprecated_string()); it != element.custom_properties(pseudo_element).end())
  856. return it->value.value;
  857. }
  858. for (auto const* current_element = &element; current_element; current_element = current_element->parent_element()) {
  859. if (auto it = current_element->custom_properties({}).find(custom_property_name.to_string().to_deprecated_string()); it != current_element->custom_properties({}).end())
  860. return it->value.value;
  861. }
  862. return nullptr;
  863. }
  864. 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
  865. {
  866. // Arbitrary large value chosen to avoid the billion-laughs attack.
  867. // https://www.w3.org/TR/css-variables-1/#long-variables
  868. size_t const MAX_VALUE_COUNT = 16384;
  869. if (source.remaining_token_count() + dest.size() > MAX_VALUE_COUNT) {
  870. dbgln("Stopped expanding CSS variables: maximum length reached.");
  871. return false;
  872. }
  873. auto get_dependency_node = [&](FlyString name) -> NonnullRefPtr<PropertyDependencyNode> {
  874. if (auto existing = dependencies.get(name); existing.has_value())
  875. return *existing.value();
  876. auto new_node = PropertyDependencyNode::create(name.to_string());
  877. dependencies.set(name, new_node);
  878. return new_node;
  879. };
  880. while (source.has_next_token()) {
  881. auto const& value = source.next_token();
  882. if (value.is_block()) {
  883. auto const& source_block = value.block();
  884. Vector<Parser::ComponentValue> block_values;
  885. Parser::TokenStream source_block_contents { source_block.values() };
  886. if (!expand_variables(element, pseudo_element, property_name, dependencies, source_block_contents, block_values))
  887. return false;
  888. NonnullRefPtr<Parser::Block> block = Parser::Block::create(source_block.token(), move(block_values));
  889. dest.empend(block);
  890. continue;
  891. }
  892. if (!value.is_function()) {
  893. dest.empend(value);
  894. continue;
  895. }
  896. if (!value.function().name().equals_ignoring_ascii_case("var"sv)) {
  897. auto const& source_function = value.function();
  898. Vector<Parser::ComponentValue> function_values;
  899. Parser::TokenStream source_function_contents { source_function.values() };
  900. if (!expand_variables(element, pseudo_element, property_name, dependencies, source_function_contents, function_values))
  901. return false;
  902. NonnullRefPtr<Parser::Function> function = Parser::Function::create(FlyString::from_utf8(source_function.name()).release_value_but_fixme_should_propagate_errors(), move(function_values));
  903. dest.empend(function);
  904. continue;
  905. }
  906. Parser::TokenStream var_contents { value.function().values() };
  907. var_contents.skip_whitespace();
  908. if (!var_contents.has_next_token())
  909. return false;
  910. auto const& custom_property_name_token = var_contents.next_token();
  911. if (!custom_property_name_token.is(Parser::Token::Type::Ident))
  912. return false;
  913. auto custom_property_name = custom_property_name_token.token().ident();
  914. if (!custom_property_name.starts_with("--"sv))
  915. return false;
  916. // Detect dependency cycles. https://www.w3.org/TR/css-variables-1/#cycles
  917. // We do not do this by the spec, since we are not keeping a graph of var dependencies around,
  918. // but rebuilding it every time.
  919. if (custom_property_name == property_name)
  920. return false;
  921. auto parent = get_dependency_node(FlyString::from_utf8(property_name).release_value_but_fixme_should_propagate_errors());
  922. auto child = get_dependency_node(FlyString::from_utf8(custom_property_name).release_value_but_fixme_should_propagate_errors());
  923. parent->add_child(child);
  924. if (parent->has_cycles())
  925. return false;
  926. if (auto custom_property_value = get_custom_property(element, pseudo_element, FlyString::from_utf8(custom_property_name).release_value_but_fixme_should_propagate_errors())) {
  927. VERIFY(custom_property_value->is_unresolved());
  928. Parser::TokenStream custom_property_tokens { custom_property_value->as_unresolved().values() };
  929. if (!expand_variables(element, pseudo_element, custom_property_name, dependencies, custom_property_tokens, dest))
  930. return false;
  931. continue;
  932. }
  933. // Use the provided fallback value, if any.
  934. var_contents.skip_whitespace();
  935. if (var_contents.has_next_token()) {
  936. auto const& comma_token = var_contents.next_token();
  937. if (!comma_token.is(Parser::Token::Type::Comma))
  938. return false;
  939. var_contents.skip_whitespace();
  940. if (!expand_variables(element, pseudo_element, property_name, dependencies, var_contents, dest))
  941. return false;
  942. }
  943. }
  944. return true;
  945. }
  946. bool StyleComputer::expand_unresolved_values(DOM::Element& element, StringView property_name, Parser::TokenStream<Parser::ComponentValue>& source, Vector<Parser::ComponentValue>& dest) const
  947. {
  948. // FIXME: Do this better!
  949. // We build a copy of the tree of ComponentValues, with all var()s and attr()s replaced with their contents.
  950. // This is a very naive solution, and we could do better if the CSS Parser could accept tokens one at a time.
  951. while (source.has_next_token()) {
  952. auto const& value = source.next_token();
  953. if (value.is_function()) {
  954. if (value.function().name().equals_ignoring_ascii_case("attr"sv)) {
  955. // https://drafts.csswg.org/css-values-5/#attr-substitution
  956. Parser::TokenStream attr_contents { value.function().values() };
  957. attr_contents.skip_whitespace();
  958. if (!attr_contents.has_next_token())
  959. return false;
  960. auto const& attr_name_token = attr_contents.next_token();
  961. if (!attr_name_token.is(Parser::Token::Type::Ident))
  962. return false;
  963. auto attr_name = attr_name_token.token().ident();
  964. auto attr_value = element.get_attribute(attr_name);
  965. // 1. If the attr() function has a substitution value, replace the attr() function by the substitution value.
  966. if (!attr_value.is_null()) {
  967. // FIXME: attr() should also accept an optional type argument, not just strings.
  968. dest.empend(Parser::Token::of_string(FlyString::from_deprecated_fly_string(attr_value).release_value_but_fixme_should_propagate_errors()));
  969. continue;
  970. }
  971. // 2. Otherwise, if the attr() function has a fallback value as its last argument, replace the attr() function by the fallback value.
  972. // If there are any var() or attr() references in the fallback, substitute them as well.
  973. attr_contents.skip_whitespace();
  974. if (attr_contents.has_next_token()) {
  975. auto const& comma_token = attr_contents.next_token();
  976. if (!comma_token.is(Parser::Token::Type::Comma))
  977. return false;
  978. attr_contents.skip_whitespace();
  979. if (!expand_unresolved_values(element, property_name, attr_contents, dest))
  980. return false;
  981. continue;
  982. }
  983. // 3. Otherwise, the property containing the attr() function is invalid at computed-value time.
  984. return false;
  985. }
  986. if (auto maybe_calc_value = Parser::Parser::parse_calculated_value({}, Parser::ParsingContext { document() }, value); maybe_calc_value && maybe_calc_value->is_calculated()) {
  987. auto& calc_value = maybe_calc_value->as_calculated();
  988. if (calc_value.resolves_to_angle()) {
  989. auto resolved_value = calc_value.resolve_angle();
  990. dest.empend(Parser::Token::create_dimension(resolved_value->to_degrees(), "deg"_fly_string));
  991. continue;
  992. }
  993. if (calc_value.resolves_to_frequency()) {
  994. auto resolved_value = calc_value.resolve_frequency();
  995. dest.empend(Parser::Token::create_dimension(resolved_value->to_hertz(), "hz"_fly_string));
  996. continue;
  997. }
  998. if (calc_value.resolves_to_length()) {
  999. // FIXME: In order to resolve lengths, we need to know the font metrics in case a font-relative unit
  1000. // is used. So... we can't do that until style is computed?
  1001. // This might be easier once we have calc-simplification implemented.
  1002. }
  1003. if (calc_value.resolves_to_percentage()) {
  1004. auto resolved_value = calc_value.resolve_percentage();
  1005. dest.empend(Parser::Token::create_percentage(resolved_value.value().value()));
  1006. continue;
  1007. }
  1008. if (calc_value.resolves_to_time()) {
  1009. auto resolved_value = calc_value.resolve_time();
  1010. dest.empend(Parser::Token::create_dimension(resolved_value->to_seconds(), "s"_fly_string));
  1011. continue;
  1012. }
  1013. if (calc_value.resolves_to_number()) {
  1014. auto resolved_value = calc_value.resolve_number();
  1015. dest.empend(Parser::Token::create_number(resolved_value.value()));
  1016. continue;
  1017. }
  1018. }
  1019. auto const& source_function = value.function();
  1020. Vector<Parser::ComponentValue> function_values;
  1021. Parser::TokenStream source_function_contents { source_function.values() };
  1022. if (!expand_unresolved_values(element, property_name, source_function_contents, function_values))
  1023. return false;
  1024. // FIXME: This would be much nicer if we could access the source_function's FlyString value directly.
  1025. NonnullRefPtr<Parser::Function> function = Parser::Function::create(FlyString::from_utf8(source_function.name()).release_value_but_fixme_should_propagate_errors(), move(function_values));
  1026. dest.empend(function);
  1027. continue;
  1028. }
  1029. if (value.is_block()) {
  1030. auto const& source_block = value.block();
  1031. Parser::TokenStream source_block_values { source_block.values() };
  1032. Vector<Parser::ComponentValue> block_values;
  1033. if (!expand_unresolved_values(element, property_name, source_block_values, block_values))
  1034. return false;
  1035. NonnullRefPtr<Parser::Block> block = Parser::Block::create(source_block.token(), move(block_values));
  1036. dest.empend(move(block));
  1037. continue;
  1038. }
  1039. dest.empend(value.token());
  1040. }
  1041. return true;
  1042. }
  1043. RefPtr<StyleValue> StyleComputer::resolve_unresolved_style_value(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, PropertyID property_id, UnresolvedStyleValue const& unresolved) const
  1044. {
  1045. // Unresolved always contains a var() or attr(), unless it is a custom property's value, in which case we shouldn't be trying
  1046. // to produce a different StyleValue from it.
  1047. VERIFY(unresolved.contains_var_or_attr());
  1048. Parser::TokenStream unresolved_values_without_variables_expanded { unresolved.values() };
  1049. Vector<Parser::ComponentValue> values_with_variables_expanded;
  1050. HashMap<FlyString, NonnullRefPtr<PropertyDependencyNode>> dependencies;
  1051. if (!expand_variables(element, pseudo_element, string_from_property_id(property_id), dependencies, unresolved_values_without_variables_expanded, values_with_variables_expanded))
  1052. return {};
  1053. Parser::TokenStream unresolved_values_with_variables_expanded { values_with_variables_expanded };
  1054. Vector<Parser::ComponentValue> expanded_values;
  1055. if (!expand_unresolved_values(element, string_from_property_id(property_id), unresolved_values_with_variables_expanded, expanded_values))
  1056. return {};
  1057. if (auto parsed_value = Parser::Parser::parse_css_value({}, Parser::ParsingContext { document() }, property_id, expanded_values))
  1058. return parsed_value.release_nonnull();
  1059. return {};
  1060. }
  1061. 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
  1062. {
  1063. auto properties_for_revert = style.properties();
  1064. for (auto const& match : matching_rules) {
  1065. for (auto const& property : verify_cast<PropertyOwningCSSStyleDeclaration>(match.rule->declaration()).properties()) {
  1066. if (important != property.important)
  1067. continue;
  1068. if (property.property_id == CSS::PropertyID::All) {
  1069. set_all_properties(element, pseudo_element, style, property.value, m_document, &match.rule->declaration(), properties_for_revert);
  1070. continue;
  1071. }
  1072. auto property_value = property.value;
  1073. if (property.value->is_unresolved()) {
  1074. if (auto resolved = resolve_unresolved_style_value(element, pseudo_element, property.property_id, property.value->as_unresolved()))
  1075. property_value = resolved.release_nonnull();
  1076. }
  1077. if (!property_value->is_unresolved())
  1078. set_property_expanding_shorthands(style, property.property_id, property_value, m_document, &match.rule->declaration(), properties_for_revert);
  1079. }
  1080. }
  1081. if (cascade_origin == CascadeOrigin::Author && !pseudo_element.has_value()) {
  1082. if (auto const* inline_style = verify_cast<ElementInlineCSSStyleDeclaration>(element.inline_style())) {
  1083. for (auto const& property : inline_style->properties()) {
  1084. if (important != property.important)
  1085. continue;
  1086. if (property.property_id == CSS::PropertyID::All) {
  1087. set_all_properties(element, pseudo_element, style, property.value, m_document, inline_style, properties_for_revert);
  1088. continue;
  1089. }
  1090. auto property_value = property.value;
  1091. if (property.value->is_unresolved()) {
  1092. if (auto resolved = resolve_unresolved_style_value(element, pseudo_element, property.property_id, property.value->as_unresolved()))
  1093. property_value = resolved.release_nonnull();
  1094. }
  1095. if (!property_value->is_unresolved())
  1096. set_property_expanding_shorthands(style, property.property_id, property_value, m_document, inline_style, properties_for_revert);
  1097. }
  1098. }
  1099. }
  1100. }
  1101. static ErrorOr<void> cascade_custom_properties(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, Vector<MatchingRule> const& matching_rules)
  1102. {
  1103. size_t needed_capacity = 0;
  1104. for (auto const& matching_rule : matching_rules)
  1105. needed_capacity += verify_cast<PropertyOwningCSSStyleDeclaration>(matching_rule.rule->declaration()).custom_properties().size();
  1106. if (!pseudo_element.has_value()) {
  1107. if (auto const* inline_style = verify_cast<PropertyOwningCSSStyleDeclaration>(element.inline_style()))
  1108. needed_capacity += inline_style->custom_properties().size();
  1109. }
  1110. HashMap<DeprecatedFlyString, StyleProperty> custom_properties;
  1111. TRY(custom_properties.try_ensure_capacity(needed_capacity));
  1112. for (auto const& matching_rule : matching_rules) {
  1113. for (auto const& it : verify_cast<PropertyOwningCSSStyleDeclaration>(matching_rule.rule->declaration()).custom_properties())
  1114. custom_properties.set(it.key, it.value);
  1115. }
  1116. if (!pseudo_element.has_value()) {
  1117. if (auto const* inline_style = verify_cast<PropertyOwningCSSStyleDeclaration>(element.inline_style())) {
  1118. for (auto const& it : inline_style->custom_properties())
  1119. custom_properties.set(it.key, it.value);
  1120. }
  1121. }
  1122. element.set_custom_properties(pseudo_element, move(custom_properties));
  1123. return {};
  1124. }
  1125. StyleComputer::AnimationStepTransition StyleComputer::Animation::step(CSS::Time const& time_step)
  1126. {
  1127. auto delay_ms = remaining_delay.to_milliseconds();
  1128. auto time_step_ms = time_step.to_milliseconds();
  1129. if (delay_ms > time_step_ms) {
  1130. remaining_delay = CSS::Time { static_cast<float>(delay_ms - time_step_ms), CSS::Time::Type::Ms };
  1131. return AnimationStepTransition::NoTransition;
  1132. }
  1133. remaining_delay = CSS::Time { 0, CSS::Time::Type::Ms };
  1134. time_step_ms -= delay_ms;
  1135. // "auto": For time-driven animations, equivalent to 0s.
  1136. // https://www.w3.org/TR/2023/WD-css-animations-2-20230602/#valdef-animation-duration-auto
  1137. auto used_duration = duration.value_or(CSS::Time { 0, CSS::Time::Type::S });
  1138. auto added_progress = time_step_ms / used_duration.to_milliseconds();
  1139. auto new_progress = progress.as_fraction() + added_progress;
  1140. auto changed_iteration = false;
  1141. if (new_progress >= 1) {
  1142. if (iteration_count.has_value()) {
  1143. if (iteration_count.value() <= 1) {
  1144. progress = CSS::Percentage(100);
  1145. return AnimationStepTransition::ActiveToAfter;
  1146. }
  1147. --iteration_count.value();
  1148. changed_iteration = true;
  1149. }
  1150. ++current_iteration;
  1151. new_progress = 0;
  1152. }
  1153. progress = CSS::Percentage(new_progress * 100);
  1154. if (changed_iteration)
  1155. return AnimationStepTransition::ActiveToActiveChangingTheIteration;
  1156. return AnimationStepTransition::AfterToActive;
  1157. }
  1158. static ErrorOr<NonnullRefPtr<StyleValue>> interpolate_property(StyleValue const& from, StyleValue const& to, float delta)
  1159. {
  1160. if (from.type() != to.type()) {
  1161. if (delta > 0.999f)
  1162. return to;
  1163. return from;
  1164. }
  1165. auto interpolate_raw = [delta = static_cast<double>(delta)](auto from, auto to) {
  1166. return static_cast<RemoveCVReference<decltype(from)>>(static_cast<double>(from) + static_cast<double>(to - from) * delta);
  1167. };
  1168. switch (from.type()) {
  1169. case StyleValue::Type::Angle:
  1170. return AngleStyleValue::create(Angle::make_degrees(interpolate_raw(from.as_angle().angle().to_degrees(), to.as_angle().angle().to_degrees())));
  1171. case StyleValue::Type::Color: {
  1172. auto from_color = from.as_color().color();
  1173. auto to_color = to.as_color().color();
  1174. auto from_hsv = from_color.to_hsv();
  1175. auto to_hsv = to_color.to_hsv();
  1176. auto color = Color::from_hsv(
  1177. interpolate_raw(from_hsv.hue, to_hsv.hue),
  1178. interpolate_raw(from_hsv.saturation, to_hsv.saturation),
  1179. interpolate_raw(from_hsv.value, to_hsv.value));
  1180. color.set_alpha(interpolate_raw(from_color.alpha(), to_color.alpha()));
  1181. return ColorStyleValue::create(color);
  1182. }
  1183. case StyleValue::Type::Integer:
  1184. return IntegerStyleValue::create(interpolate_raw(from.as_integer().integer(), to.as_integer().integer()));
  1185. case StyleValue::Type::Length: {
  1186. auto& from_length = from.as_length().length();
  1187. auto& to_length = to.as_length().length();
  1188. return LengthStyleValue::create(Length(interpolate_raw(from_length.raw_value(), to_length.raw_value()), from_length.type()));
  1189. }
  1190. case StyleValue::Type::Number:
  1191. return NumberStyleValue::create(interpolate_raw(from.as_number().number(), to.as_number().number()));
  1192. case StyleValue::Type::Percentage:
  1193. return PercentageStyleValue::create(Percentage(interpolate_raw(from.as_percentage().percentage().value(), to.as_percentage().percentage().value())));
  1194. case StyleValue::Type::Position: {
  1195. auto& from_position = from.as_position();
  1196. auto& to_position = to.as_position();
  1197. return PositionStyleValue::create(
  1198. TRY(interpolate_property(from_position.edge_x(), to_position.edge_x(), delta)),
  1199. TRY(interpolate_property(from_position.edge_y(), to_position.edge_y(), delta)));
  1200. }
  1201. case StyleValue::Type::Rect: {
  1202. auto from_rect = from.as_rect().rect();
  1203. auto to_rect = to.as_rect().rect();
  1204. return RectStyleValue::create({
  1205. Length(interpolate_raw(from_rect.top_edge.raw_value(), to_rect.top_edge.raw_value()), from_rect.top_edge.type()),
  1206. Length(interpolate_raw(from_rect.right_edge.raw_value(), to_rect.right_edge.raw_value()), from_rect.right_edge.type()),
  1207. Length(interpolate_raw(from_rect.bottom_edge.raw_value(), to_rect.bottom_edge.raw_value()), from_rect.bottom_edge.type()),
  1208. Length(interpolate_raw(from_rect.left_edge.raw_value(), to_rect.left_edge.raw_value()), from_rect.left_edge.type()),
  1209. });
  1210. }
  1211. case StyleValue::Type::Transformation: {
  1212. auto& from_transform = from.as_transformation();
  1213. auto& to_transform = to.as_transformation();
  1214. if (from_transform.transform_function() != to_transform.transform_function())
  1215. return from;
  1216. auto from_input_values = from_transform.values();
  1217. auto to_input_values = to_transform.values();
  1218. if (from_input_values.size() != to_input_values.size())
  1219. return from;
  1220. StyleValueVector interpolated_values;
  1221. interpolated_values.ensure_capacity(from_input_values.size());
  1222. for (size_t i = 0; i < from_input_values.size(); ++i)
  1223. interpolated_values.append(TRY(interpolate_property(*from_input_values[i], *to_input_values[i], delta)));
  1224. return TransformationStyleValue::create(from_transform.transform_function(), move(interpolated_values));
  1225. }
  1226. case StyleValue::Type::ValueList: {
  1227. auto& from_list = from.as_value_list();
  1228. auto& to_list = to.as_value_list();
  1229. if (from_list.size() != to_list.size())
  1230. return from;
  1231. StyleValueVector interpolated_values;
  1232. interpolated_values.ensure_capacity(from_list.size());
  1233. for (size_t i = 0; i < from_list.size(); ++i)
  1234. interpolated_values.append(TRY(interpolate_property(from_list.values()[i], to_list.values()[i], delta)));
  1235. return StyleValueList::create(move(interpolated_values), from_list.separator());
  1236. }
  1237. default:
  1238. return from;
  1239. }
  1240. }
  1241. bool StyleComputer::Animation::is_animating_backwards() const
  1242. {
  1243. return (direction == CSS::AnimationDirection::AlternateReverse && current_iteration % 2 == 1)
  1244. || (direction == CSS::AnimationDirection::Alternate && current_iteration % 2 == 0)
  1245. || direction == CSS::AnimationDirection::Reverse;
  1246. }
  1247. ErrorOr<void> StyleComputer::Animation::collect_into(StyleProperties& style_properties, RuleCache const& rule_cache) const
  1248. {
  1249. if (remaining_delay.to_milliseconds() != 0) {
  1250. // If the fill mode is backwards or both, we'll pretend that the animation is started, but stuck at progress 0
  1251. if (fill_mode != CSS::AnimationFillMode::Backwards && fill_mode != CSS::AnimationFillMode::Both)
  1252. return {};
  1253. }
  1254. auto matching_keyframes = rule_cache.rules_by_animation_keyframes.get(name);
  1255. if (!matching_keyframes.has_value())
  1256. return {};
  1257. auto& keyframes = matching_keyframes.value()->keyframes_by_key;
  1258. auto output_progress = compute_output_progress(progress.as_fraction()) * 100.f;
  1259. auto is_backwards = is_animating_backwards();
  1260. auto key = static_cast<u64>(output_progress * AnimationKeyFrameKeyScaleFactor);
  1261. auto matching_keyframe_it = is_backwards ? keyframes.find_smallest_not_below_iterator(key) : keyframes.find_largest_not_above_iterator(key);
  1262. if (matching_keyframe_it.is_end()) {
  1263. if constexpr (LIBWEB_CSS_ANIMATION_DEBUG) {
  1264. dbgln(" Did not find any start keyframe for the current state ({}) :(", key);
  1265. dbgln(" (have {} keyframes)", keyframes.size());
  1266. for (auto it = keyframes.begin(); it != keyframes.end(); ++it)
  1267. dbgln(" - {}", it.key());
  1268. }
  1269. return {};
  1270. }
  1271. auto keyframe_start = matching_keyframe_it.key();
  1272. auto keyframe_values = *matching_keyframe_it;
  1273. auto initial_keyframe_it = matching_keyframe_it;
  1274. auto keyframe_end_it = is_backwards ? --matching_keyframe_it : ++matching_keyframe_it;
  1275. if (keyframe_end_it.is_end())
  1276. keyframe_end_it = initial_keyframe_it;
  1277. auto keyframe_end = keyframe_end_it.key();
  1278. auto keyframe_end_values = *keyframe_end_it;
  1279. auto progress_in_keyframe = [&] {
  1280. if (keyframe_start == keyframe_end)
  1281. return is_backwards ? 1.f : 0.f;
  1282. return is_backwards
  1283. ? static_cast<float>(keyframe_start - key) / static_cast<float>(keyframe_start - keyframe_end)
  1284. : static_cast<float>(key - keyframe_start) / static_cast<float>(keyframe_end - keyframe_start);
  1285. }();
  1286. auto valid_properties = 0;
  1287. for (auto const& property : keyframe_values.resolved_properties) {
  1288. if (property.has<Empty>())
  1289. continue;
  1290. valid_properties++;
  1291. }
  1292. dbgln_if(LIBWEB_CSS_ANIMATION_DEBUG, "Animation {} contains {} properties to interpolate, progress = {}%", name, valid_properties, progress_in_keyframe * 100);
  1293. if (fill_mode == CSS::AnimationFillMode::Forwards || fill_mode == CSS::AnimationFillMode::Both) {
  1294. if (!active_state_if_fill_forward)
  1295. active_state_if_fill_forward = make<AnimationStateSnapshot>();
  1296. }
  1297. UnderlyingType<PropertyID> property_id_value = 0;
  1298. for (auto const& property : keyframe_values.resolved_properties) {
  1299. auto property_id = static_cast<PropertyID>(property_id_value++);
  1300. if (property.has<Empty>())
  1301. continue;
  1302. auto resolve_property = [&](auto& property) {
  1303. return property.visit(
  1304. [](Empty) -> RefPtr<StyleValue const> { VERIFY_NOT_REACHED(); },
  1305. [&](AnimationKeyFrameSet::ResolvedKeyFrame::UseInitial) {
  1306. if (auto value = initial_state.state[to_underlying(property_id)])
  1307. return value;
  1308. auto value = style_properties.maybe_null_property(property_id);
  1309. initial_state.state[to_underlying(property_id)] = value;
  1310. return value;
  1311. },
  1312. [&](RefPtr<StyleValue const> value) { return value; });
  1313. };
  1314. auto resolved_start_property = resolve_property(property);
  1315. auto const& end_property = keyframe_end_values.resolved_properties[to_underlying(property_id)];
  1316. if (end_property.has<Empty>()) {
  1317. if (resolved_start_property) {
  1318. style_properties.set_property(property_id, resolved_start_property.release_nonnull());
  1319. dbgln_if(LIBWEB_CSS_ANIMATION_DEBUG, "No end property for property {}, using {}", string_from_property_id(property_id), resolved_start_property->to_string());
  1320. }
  1321. continue;
  1322. }
  1323. auto resolved_end_property = resolve_property(end_property);
  1324. if (!resolved_start_property || !resolved_end_property)
  1325. continue;
  1326. auto start = resolved_start_property.release_nonnull();
  1327. auto end = resolved_end_property.release_nonnull();
  1328. auto next_value = TRY(interpolate_property(*start, *end, progress_in_keyframe));
  1329. 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());
  1330. style_properties.set_property(property_id, next_value);
  1331. if (active_state_if_fill_forward)
  1332. active_state_if_fill_forward->state[to_underlying(property_id)] = next_value;
  1333. }
  1334. return {};
  1335. }
  1336. bool StyleComputer::Animation::is_done() const
  1337. {
  1338. return progress.as_fraction() >= 0.9999 && iteration_count.has_value() && iteration_count.value() == 0;
  1339. }
  1340. // NOTE: Magic values from <https://www.w3.org/TR/css-easing-1/#valdef-cubic-bezier-easing-function-ease>
  1341. static auto ease_timing_function = StyleComputer::AnimationTiming::CubicBezier { 0.25, 0.1, 0.25, 1.0 };
  1342. static auto ease_in_timing_function = StyleComputer::AnimationTiming::CubicBezier { 0.42, 0.0, 1.0, 1.0 };
  1343. static auto ease_out_timing_function = StyleComputer::AnimationTiming::CubicBezier { 0.0, 0.0, 0.58, 1.0 };
  1344. static auto ease_in_out_timing_function = StyleComputer::AnimationTiming::CubicBezier { 0.42, 0.0, 0.58, 1.0 };
  1345. float StyleComputer::Animation::compute_output_progress(float input_progress) const
  1346. {
  1347. auto output_progress = input_progress;
  1348. auto going_forwards = true;
  1349. switch (direction) {
  1350. case AnimationDirection::Alternate:
  1351. if (current_iteration % 2 == 0) {
  1352. output_progress = 1.0f - output_progress;
  1353. going_forwards = false;
  1354. }
  1355. break;
  1356. case AnimationDirection::AlternateReverse:
  1357. if (current_iteration % 2 == 1) {
  1358. output_progress = 1.0f - output_progress;
  1359. going_forwards = false;
  1360. }
  1361. break;
  1362. case AnimationDirection::Normal:
  1363. break;
  1364. case AnimationDirection::Reverse:
  1365. output_progress = 1.0f - output_progress;
  1366. going_forwards = false;
  1367. break;
  1368. }
  1369. if (remaining_delay.to_milliseconds() != 0)
  1370. return output_progress;
  1371. return timing_function.timing_function.visit(
  1372. [&](AnimationTiming::Linear) { return output_progress; },
  1373. [&](AnimationTiming::Steps const& steps) {
  1374. auto before_flag = (current_state == AnimationState::Before && going_forwards) || (current_state == AnimationState::After && !going_forwards);
  1375. auto progress_step = output_progress * static_cast<float>(steps.number_of_steps);
  1376. auto current_step = floorf(progress_step);
  1377. if (steps.jump_at_start)
  1378. current_step += 1;
  1379. if (before_flag && truncf(progress_step) == progress_step)
  1380. current_step -= 1;
  1381. if (output_progress >= 0 && current_step < 0)
  1382. current_step = 0;
  1383. size_t jumps;
  1384. if (steps.jump_at_start ^ steps.jump_at_end)
  1385. jumps = steps.number_of_steps;
  1386. else if (steps.jump_at_start && steps.jump_at_end)
  1387. jumps = steps.number_of_steps + 1;
  1388. else
  1389. jumps = steps.number_of_steps - 1;
  1390. if (output_progress <= 1 && current_step > static_cast<float>(jumps))
  1391. current_step = static_cast<float>(jumps);
  1392. return current_step / static_cast<float>(steps.number_of_steps);
  1393. },
  1394. [&](AnimationTiming::CubicBezier const& bezier) {
  1395. // Special cases first:
  1396. if (bezier == AnimationTiming::CubicBezier { 0.0, 0.0, 1.0, 1.0 })
  1397. return output_progress;
  1398. // FIXME: This is quite inefficient on memory and CPU, find a better way to do this.
  1399. auto sample = bezier.sample_around(static_cast<double>(output_progress));
  1400. return static_cast<float>(sample.y);
  1401. });
  1402. }
  1403. static double cubic_bezier_at(double x1, double x2, double t)
  1404. {
  1405. auto a = 1.0 - 3.0 * x2 + 3.0 * x1;
  1406. auto b = 3.0 * x2 - 6.0 * x1;
  1407. auto c = 3.0 * x1;
  1408. auto t2 = t * t;
  1409. auto t3 = t2 * t;
  1410. return (a * t3) + (b * t2) + (c * t);
  1411. }
  1412. StyleComputer::AnimationTiming::CubicBezier::CachedSample StyleComputer::AnimationTiming::CubicBezier::sample_around(double x) const
  1413. {
  1414. x = clamp(x, 0, 1);
  1415. auto solve = [&](auto t) {
  1416. auto x = cubic_bezier_at(x1, x2, t);
  1417. auto y = cubic_bezier_at(y1, y2, t);
  1418. return CachedSample { x, y, t };
  1419. };
  1420. if (m_cached_x_samples.is_empty())
  1421. m_cached_x_samples.append(solve(0.));
  1422. size_t nearby_index = 0;
  1423. if (auto found = binary_search(m_cached_x_samples, x, &nearby_index, [](auto x, auto& sample) {
  1424. if (x > sample.x)
  1425. return 1;
  1426. if (x < sample.x)
  1427. return -1;
  1428. return 0;
  1429. }))
  1430. return *found;
  1431. if (nearby_index == m_cached_x_samples.size() || nearby_index + 1 == m_cached_x_samples.size()) {
  1432. // Produce more samples until we have enough.
  1433. auto last_t = m_cached_x_samples.is_empty() ? 0 : m_cached_x_samples.last().t;
  1434. auto last_x = m_cached_x_samples.is_empty() ? 0 : m_cached_x_samples.last().x;
  1435. while (last_x <= x) {
  1436. last_t += 1. / 60.;
  1437. auto solution = solve(last_t);
  1438. m_cached_x_samples.append(solution);
  1439. last_x = solution.x;
  1440. }
  1441. if (auto found = binary_search(m_cached_x_samples, x, &nearby_index, [](auto x, auto& sample) {
  1442. if (x > sample.x)
  1443. return 1;
  1444. if (x < sample.x)
  1445. return -1;
  1446. return 0;
  1447. }))
  1448. return *found;
  1449. }
  1450. // We have two samples on either side of the x value we want, so we can linearly interpolate between them.
  1451. auto& sample1 = m_cached_x_samples[nearby_index];
  1452. auto& sample2 = m_cached_x_samples[nearby_index + 1];
  1453. auto factor = (x - sample1.x) / (sample2.x - sample1.x);
  1454. return CachedSample {
  1455. x,
  1456. clamp(sample1.y + factor * (sample2.y - sample1.y), 0, 1),
  1457. sample1.t + factor * (sample2.t - sample1.t),
  1458. };
  1459. }
  1460. void StyleComputer::ensure_animation_timer() const
  1461. {
  1462. constexpr static auto timer_delay_ms = 1000 / 60;
  1463. if (!m_animation_driver_timer) {
  1464. m_animation_driver_timer = Platform::Timer::create_repeating(timer_delay_ms, [this] {
  1465. // If we run out of animations, stop the timer - it'll turn back on the next time we have an active animation.
  1466. if (m_active_animations.is_empty()) {
  1467. m_animation_driver_timer->stop();
  1468. return;
  1469. }
  1470. HashTable<AnimationKey> animations_to_remove;
  1471. HashTable<DOM::Element*> owning_elements_to_invalidate;
  1472. for (auto& it : m_active_animations) {
  1473. if (!it.value->owning_element) {
  1474. // The element disappeared since we last ran, just discard the animation.
  1475. animations_to_remove.set(it.key);
  1476. continue;
  1477. }
  1478. auto transition = it.value->step(CSS::Time { timer_delay_ms, CSS::Time::Type::Ms });
  1479. owning_elements_to_invalidate.set(it.value->owning_element);
  1480. switch (transition) {
  1481. case AnimationStepTransition::NoTransition:
  1482. break;
  1483. case AnimationStepTransition::IdleOrBeforeToActive:
  1484. // FIXME: Dispatch `animationstart`.
  1485. break;
  1486. case AnimationStepTransition::IdleOrBeforeToAfter:
  1487. // FIXME: Dispatch `animationstart` then `animationend`.
  1488. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1489. break;
  1490. case AnimationStepTransition::ActiveToBefore:
  1491. // FIXME: Dispatch `animationend`.
  1492. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1493. break;
  1494. case AnimationStepTransition::ActiveToActiveChangingTheIteration:
  1495. // FIXME: Dispatch `animationiteration`.
  1496. break;
  1497. case AnimationStepTransition::ActiveToAfter:
  1498. // FIXME: Dispatch `animationend`.
  1499. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1500. break;
  1501. case AnimationStepTransition::AfterToActive:
  1502. // FIXME: Dispatch `animationstart`.
  1503. break;
  1504. case AnimationStepTransition::AfterToBefore:
  1505. // FIXME: Dispatch `animationstart` then `animationend`.
  1506. m_finished_animations.set(it.key, move(it.value->active_state_if_fill_forward));
  1507. break;
  1508. case AnimationStepTransition::Cancelled:
  1509. // FIXME: Dispatch `animationcancel`.
  1510. m_finished_animations.set(it.key, nullptr);
  1511. break;
  1512. }
  1513. if (it.value->is_done())
  1514. animations_to_remove.set(it.key);
  1515. }
  1516. for (auto key : animations_to_remove)
  1517. m_active_animations.remove(key);
  1518. for (auto* element : owning_elements_to_invalidate)
  1519. element->set_needs_style_update(true);
  1520. });
  1521. }
  1522. m_animation_driver_timer->start();
  1523. }
  1524. // https://www.w3.org/TR/css-cascade/#cascading
  1525. 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
  1526. {
  1527. // First, we collect all the CSS rules whose selectors match `element`:
  1528. MatchingRuleSet matching_rule_set;
  1529. matching_rule_set.user_agent_rules = collect_matching_rules(element, CascadeOrigin::UserAgent, pseudo_element);
  1530. sort_matching_rules(matching_rule_set.user_agent_rules);
  1531. matching_rule_set.user_rules = collect_matching_rules(element, CascadeOrigin::User, pseudo_element);
  1532. sort_matching_rules(matching_rule_set.user_rules);
  1533. matching_rule_set.author_rules = collect_matching_rules(element, CascadeOrigin::Author, pseudo_element);
  1534. sort_matching_rules(matching_rule_set.author_rules);
  1535. if (mode == ComputeStyleMode::CreatePseudoElementStyleIfNeeded) {
  1536. VERIFY(pseudo_element.has_value());
  1537. if (matching_rule_set.author_rules.is_empty() && matching_rule_set.user_rules.is_empty() && matching_rule_set.user_agent_rules.is_empty()) {
  1538. did_match_any_pseudo_element_rules = false;
  1539. return {};
  1540. }
  1541. did_match_any_pseudo_element_rules = true;
  1542. }
  1543. // Then we resolve all the CSS custom pr`operties ("variables") for this element:
  1544. TRY(cascade_custom_properties(element, pseudo_element, matching_rule_set.author_rules));
  1545. // Then we apply the declarations from the matched rules in cascade order:
  1546. // Normal user agent declarations
  1547. cascade_declarations(style, element, pseudo_element, matching_rule_set.user_agent_rules, CascadeOrigin::UserAgent, Important::No);
  1548. // Normal user declarations
  1549. cascade_declarations(style, element, pseudo_element, matching_rule_set.user_rules, CascadeOrigin::User, Important::No);
  1550. // Author presentational hints (NOTE: The spec doesn't say exactly how to prioritize these.)
  1551. if (!pseudo_element.has_value()) {
  1552. element.apply_presentational_hints(style);
  1553. // SVG presentation attributes are parsed as CSS values, so we need to handle potential custom properties here.
  1554. if (element.is_svg_element()) {
  1555. // FIXME: This is not very efficient, we should only resolve the custom properties that are actually used.
  1556. for (auto i = to_underlying(CSS::first_property_id); i <= to_underlying(CSS::last_property_id); ++i) {
  1557. auto property_id = (CSS::PropertyID)i;
  1558. auto& property = style.m_property_values[i];
  1559. if (property.has_value() && property->style->is_unresolved()) {
  1560. if (auto resolved = resolve_unresolved_style_value(element, pseudo_element, property_id, property->style->as_unresolved()))
  1561. property->style = resolved.release_nonnull();
  1562. }
  1563. }
  1564. }
  1565. }
  1566. // Normal author declarations
  1567. cascade_declarations(style, element, pseudo_element, matching_rule_set.author_rules, CascadeOrigin::Author, Important::No);
  1568. // Animation declarations [css-animations-2]
  1569. if (auto animation_name = style.maybe_null_property(PropertyID::AnimationName)) {
  1570. if (auto source_declaration = style.property_source_declaration(PropertyID::AnimationName)) {
  1571. AnimationKey animation_key {
  1572. .source_declaration = source_declaration,
  1573. .element = &element,
  1574. };
  1575. if (auto finished_state = m_finished_animations.get(animation_key); finished_state.has_value()) {
  1576. // We've already finished going through this animation, so drop it from the active animations.
  1577. m_active_animations.remove(animation_key);
  1578. // If the animation's fill mode was set to forwards/both, we need to collect and use the final frame's styles.
  1579. if (*finished_state) {
  1580. auto& state = (*finished_state)->state;
  1581. for (size_t property_id_value = 0; property_id_value < state.size(); ++property_id_value) {
  1582. if (auto& property_value = state[property_id_value])
  1583. style.set_property(static_cast<PropertyID>(property_id_value), *property_value);
  1584. }
  1585. }
  1586. } else if (auto name = animation_name->to_string(); !name.is_empty()) {
  1587. auto active_animation = m_active_animations.get(animation_key);
  1588. if (!active_animation.has_value()) {
  1589. // New animation!
  1590. Optional<CSS::Time> duration;
  1591. if (auto duration_value = style.maybe_null_property(PropertyID::AnimationDuration); duration_value) {
  1592. if (duration_value->is_time()) {
  1593. duration = duration_value->as_time().time();
  1594. } else if (duration_value->is_identifier() && duration_value->as_identifier().id() == ValueID::Auto) {
  1595. // We use empty optional to represent "auto".
  1596. duration = {};
  1597. }
  1598. }
  1599. CSS::Time delay { 0, CSS::Time::Type::S };
  1600. if (auto delay_value = style.maybe_null_property(PropertyID::AnimationDelay); delay_value && delay_value->is_time())
  1601. delay = delay_value->as_time().time();
  1602. Optional<size_t> iteration_count = 1;
  1603. if (auto iteration_count_value = style.maybe_null_property(PropertyID::AnimationIterationCount); iteration_count_value) {
  1604. if (iteration_count_value->is_identifier() && iteration_count_value->to_identifier() == ValueID::Infinite)
  1605. iteration_count = {};
  1606. else if (iteration_count_value->is_number())
  1607. iteration_count = static_cast<size_t>(iteration_count_value->as_number().number());
  1608. }
  1609. CSS::AnimationFillMode fill_mode { CSS::AnimationFillMode::None };
  1610. if (auto fill_mode_property = style.maybe_null_property(PropertyID::AnimationFillMode); fill_mode_property && fill_mode_property->is_identifier()) {
  1611. if (auto fill_mode_value = value_id_to_animation_fill_mode(fill_mode_property->to_identifier()); fill_mode_value.has_value())
  1612. fill_mode = *fill_mode_value;
  1613. }
  1614. CSS::AnimationDirection direction { CSS::AnimationDirection::Normal };
  1615. if (auto direction_property = style.maybe_null_property(PropertyID::AnimationDirection); direction_property && direction_property->is_identifier()) {
  1616. if (auto direction_value = value_id_to_animation_direction(direction_property->to_identifier()); direction_value.has_value())
  1617. direction = *direction_value;
  1618. }
  1619. AnimationTiming timing_function { ease_timing_function };
  1620. if (auto timing_property = style.maybe_null_property(PropertyID::AnimationTimingFunction); timing_property && timing_property->is_easing()) {
  1621. auto& easing_value = timing_property->as_easing();
  1622. switch (easing_value.easing_function()) {
  1623. case EasingFunction::Linear:
  1624. timing_function = AnimationTiming { AnimationTiming::Linear {} };
  1625. break;
  1626. case EasingFunction::Ease:
  1627. timing_function = AnimationTiming { ease_timing_function };
  1628. break;
  1629. case EasingFunction::EaseIn:
  1630. timing_function = AnimationTiming { ease_in_timing_function };
  1631. break;
  1632. case EasingFunction::EaseOut:
  1633. timing_function = AnimationTiming { ease_out_timing_function };
  1634. break;
  1635. case EasingFunction::EaseInOut:
  1636. timing_function = AnimationTiming { ease_in_out_timing_function };
  1637. break;
  1638. case EasingFunction::CubicBezier: {
  1639. auto values = easing_value.values();
  1640. timing_function = AnimationTiming {
  1641. AnimationTiming::CubicBezier {
  1642. values[0]->as_number().number(),
  1643. values[1]->as_number().number(),
  1644. values[2]->as_number().number(),
  1645. values[3]->as_number().number(),
  1646. },
  1647. };
  1648. break;
  1649. }
  1650. case EasingFunction::Steps: {
  1651. auto values = easing_value.values();
  1652. auto jump_at_start = false;
  1653. auto jump_at_end = true;
  1654. if (values.size() > 1) {
  1655. auto identifier = values[1]->to_identifier();
  1656. switch (identifier) {
  1657. case ValueID::JumpStart:
  1658. case ValueID::Start:
  1659. jump_at_start = true;
  1660. jump_at_end = false;
  1661. break;
  1662. case ValueID::JumpEnd:
  1663. case ValueID::End:
  1664. jump_at_start = false;
  1665. jump_at_end = true;
  1666. break;
  1667. case ValueID::JumpNone:
  1668. jump_at_start = false;
  1669. jump_at_end = false;
  1670. break;
  1671. default:
  1672. break;
  1673. }
  1674. }
  1675. timing_function = AnimationTiming { AnimationTiming::Steps {
  1676. .number_of_steps = static_cast<size_t>(max(values[0]->as_integer().integer(), !(jump_at_end && jump_at_start) ? 1 : 0)),
  1677. .jump_at_start = jump_at_start,
  1678. .jump_at_end = jump_at_end,
  1679. } };
  1680. break;
  1681. }
  1682. case EasingFunction::StepEnd:
  1683. timing_function = AnimationTiming { AnimationTiming::Steps {
  1684. .number_of_steps = 1,
  1685. .jump_at_start = false,
  1686. .jump_at_end = true,
  1687. } };
  1688. break;
  1689. case EasingFunction::StepStart:
  1690. timing_function = AnimationTiming { AnimationTiming::Steps {
  1691. .number_of_steps = 1,
  1692. .jump_at_start = true,
  1693. .jump_at_end = false,
  1694. } };
  1695. break;
  1696. }
  1697. }
  1698. auto animation = make<Animation>(Animation {
  1699. .name = move(name),
  1700. .duration = duration,
  1701. .delay = delay,
  1702. .iteration_count = iteration_count,
  1703. .timing_function = timing_function,
  1704. .direction = direction,
  1705. .fill_mode = fill_mode,
  1706. .owning_element = TRY(element.try_make_weak_ptr<DOM::Element>()),
  1707. .progress = CSS::Percentage(0),
  1708. .remaining_delay = delay,
  1709. });
  1710. active_animation = animation;
  1711. m_active_animations.set(animation_key, move(animation));
  1712. }
  1713. TRY((*active_animation)->collect_into(style, rule_cache_for_cascade_origin(CascadeOrigin::Author)));
  1714. } else {
  1715. m_active_animations.remove(animation_key);
  1716. }
  1717. }
  1718. if (!m_active_animations.is_empty())
  1719. ensure_animation_timer();
  1720. }
  1721. // Important author declarations
  1722. cascade_declarations(style, element, pseudo_element, matching_rule_set.author_rules, CascadeOrigin::Author, Important::Yes);
  1723. // Important user declarations
  1724. cascade_declarations(style, element, pseudo_element, matching_rule_set.user_rules, CascadeOrigin::User, Important::Yes);
  1725. // Important user agent declarations
  1726. cascade_declarations(style, element, pseudo_element, matching_rule_set.user_agent_rules, CascadeOrigin::UserAgent, Important::Yes);
  1727. // FIXME: Transition declarations [css-transitions-1]
  1728. return {};
  1729. }
  1730. DOM::Element const* element_to_inherit_style_from(DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element)
  1731. {
  1732. // Pseudo-elements treat their originating element as their parent.
  1733. DOM::Element const* parent_element = nullptr;
  1734. if (pseudo_element.has_value()) {
  1735. parent_element = element;
  1736. } else if (element) {
  1737. parent_element = element->parent_or_shadow_host_element();
  1738. }
  1739. return parent_element;
  1740. }
  1741. 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)
  1742. {
  1743. auto* parent_element = element_to_inherit_style_from(element, pseudo_element);
  1744. if (!parent_element || !parent_element->computed_css_values())
  1745. return property_initial_value(initial_value_context_realm, property_id);
  1746. return parent_element->computed_css_values()->property(property_id);
  1747. }
  1748. void StyleComputer::compute_defaulted_property_value(StyleProperties& style, DOM::Element const* element, CSS::PropertyID property_id, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1749. {
  1750. // FIXME: If we don't know the correct initial value for a property, we fall back to InitialStyleValue.
  1751. auto& value_slot = style.m_property_values[to_underlying(property_id)];
  1752. if (!value_slot.has_value()) {
  1753. if (is_inherited_property(property_id))
  1754. style.m_property_values[to_underlying(property_id)] = { { get_inherit_value(document().realm(), property_id, element, pseudo_element), nullptr } };
  1755. else
  1756. style.m_property_values[to_underlying(property_id)] = { { property_initial_value(document().realm(), property_id), nullptr } };
  1757. return;
  1758. }
  1759. if (value_slot->style->is_initial()) {
  1760. value_slot->style = property_initial_value(document().realm(), property_id);
  1761. return;
  1762. }
  1763. if (value_slot->style->is_inherit()) {
  1764. value_slot->style = get_inherit_value(document().realm(), property_id, element, pseudo_element);
  1765. return;
  1766. }
  1767. // https://www.w3.org/TR/css-cascade-4/#inherit-initial
  1768. // If the cascaded value of a property is the unset keyword,
  1769. if (value_slot->style->is_unset()) {
  1770. if (is_inherited_property(property_id)) {
  1771. // then if it is an inherited property, this is treated as inherit,
  1772. value_slot->style = get_inherit_value(document().realm(), property_id, element, pseudo_element);
  1773. } else {
  1774. // and if it is not, this is treated as initial.
  1775. value_slot->style = property_initial_value(document().realm(), property_id);
  1776. }
  1777. }
  1778. }
  1779. // https://www.w3.org/TR/css-cascade/#defaulting
  1780. void StyleComputer::compute_defaulted_values(StyleProperties& style, DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  1781. {
  1782. // Walk the list of all known CSS properties and:
  1783. // - Add them to `style` if they are missing.
  1784. // - Resolve `inherit` and `initial` as needed.
  1785. for (auto i = to_underlying(CSS::first_longhand_property_id); i <= to_underlying(CSS::last_longhand_property_id); ++i) {
  1786. auto property_id = (CSS::PropertyID)i;
  1787. compute_defaulted_property_value(style, element, property_id, pseudo_element);
  1788. }
  1789. // https://www.w3.org/TR/css-color-4/#resolving-other-colors
  1790. // In the color property, the used value of currentcolor is the inherited value.
  1791. auto color = style.property(CSS::PropertyID::Color);
  1792. if (color->to_identifier() == CSS::ValueID::Currentcolor) {
  1793. color = get_inherit_value(document().realm(), CSS::PropertyID::Color, element, pseudo_element);
  1794. style.set_property(CSS::PropertyID::Color, color);
  1795. }
  1796. }
  1797. Length::FontMetrics StyleComputer::calculate_root_element_font_metrics(StyleProperties const& style) const
  1798. {
  1799. auto root_value = style.property(CSS::PropertyID::FontSize);
  1800. auto font_pixel_metrics = style.computed_font().pixel_metrics();
  1801. Length::FontMetrics font_metrics { m_default_font_metrics.font_size, font_pixel_metrics, font_pixel_metrics.line_spacing() };
  1802. font_metrics.font_size = root_value->as_length().length().to_px(viewport_rect(), font_metrics, font_metrics);
  1803. font_metrics.line_height = style.line_height(viewport_rect(), font_metrics, font_metrics);
  1804. return font_metrics;
  1805. }
  1806. RefPtr<Gfx::Font const> StyleComputer::find_matching_font_weight_ascending(Vector<MatchingFontCandidate> const& candidates, int target_weight, float font_size_in_pt, bool inclusive)
  1807. {
  1808. using Fn = AK::Function<bool(MatchingFontCandidate const&)>;
  1809. auto pred = inclusive ? Fn([&](auto const& matching_font_candidate) { return matching_font_candidate.key.weight >= target_weight; })
  1810. : Fn([&](auto const& matching_font_candidate) { return matching_font_candidate.key.weight > target_weight; });
  1811. auto it = find_if(candidates.begin(), candidates.end(), pred);
  1812. for (; it != candidates.end(); ++it) {
  1813. if (auto found_font = it->font_with_point_size(font_size_in_pt))
  1814. return found_font;
  1815. }
  1816. return {};
  1817. }
  1818. RefPtr<Gfx::Font const> StyleComputer::find_matching_font_weight_descending(Vector<MatchingFontCandidate> const& candidates, int target_weight, float font_size_in_pt, bool inclusive)
  1819. {
  1820. using Fn = AK::Function<bool(MatchingFontCandidate const&)>;
  1821. auto pred = inclusive ? Fn([&](auto const& matching_font_candidate) { return matching_font_candidate.key.weight <= target_weight; })
  1822. : Fn([&](auto const& matching_font_candidate) { return matching_font_candidate.key.weight < target_weight; });
  1823. auto it = find_if(candidates.rbegin(), candidates.rend(), pred);
  1824. for (; it != candidates.rend(); ++it) {
  1825. if (auto found_font = it->font_with_point_size(font_size_in_pt))
  1826. return found_font;
  1827. }
  1828. return {};
  1829. }
  1830. // Partial implementation of the font-matching algorithm: https://www.w3.org/TR/css-fonts-4/#font-matching-algorithm
  1831. // FIXME: This should be replaced by the full CSS font selection algorithm.
  1832. RefPtr<Gfx::Font const> StyleComputer::font_matching_algorithm(FontFaceKey const& key, float font_size_in_pt) const
  1833. {
  1834. // If a font family match occurs, the user agent assembles the set of font faces in that family and then
  1835. // narrows the set to a single face using other font properties in the order given below.
  1836. Vector<MatchingFontCandidate> matching_family_fonts;
  1837. for (auto const& font_key_and_loader : m_loaded_fonts) {
  1838. if (font_key_and_loader.key.family_name.equals_ignoring_ascii_case(key.family_name))
  1839. matching_family_fonts.empend(font_key_and_loader.key, font_key_and_loader.value.ptr());
  1840. }
  1841. Gfx::FontDatabase::the().for_each_typeface_with_family_name(key.family_name.to_string(), [&](Gfx::Typeface const& typeface) {
  1842. matching_family_fonts.empend(
  1843. FontFaceKey {
  1844. .family_name = MUST(FlyString::from_deprecated_fly_string(typeface.family())),
  1845. .weight = static_cast<int>(typeface.weight()),
  1846. .slope = typeface.slope(),
  1847. },
  1848. &typeface);
  1849. });
  1850. quick_sort(matching_family_fonts, [](auto const& a, auto const& b) {
  1851. return a.key.weight < b.key.weight;
  1852. });
  1853. // FIXME: 1. font-stretch is tried first.
  1854. // FIXME: 2. font-style is tried next.
  1855. // We don't have complete support of italic and oblique fonts, so matching on font-style can be simplified to:
  1856. // If a matching slope is found, all faces which don't have that matching slope are excluded from the matching set.
  1857. auto style_it = find_if(matching_family_fonts.begin(), matching_family_fonts.end(),
  1858. [&](auto const& matching_font_candidate) { return matching_font_candidate.key.slope == key.slope; });
  1859. if (style_it != matching_family_fonts.end()) {
  1860. matching_family_fonts.remove_all_matching([&](auto const& matching_font_candidate) {
  1861. return matching_font_candidate.key.slope != key.slope;
  1862. });
  1863. }
  1864. // 3. font-weight is matched next.
  1865. // If the desired weight is inclusively between 400 and 500, weights greater than or equal to the target weight
  1866. // are checked in ascending order until 500 is hit and checked, followed by weights less than the target weight
  1867. // in descending order, followed by weights greater than 500, until a match is found.
  1868. if (key.weight >= 400 && key.weight <= 500) {
  1869. auto it = find_if(matching_family_fonts.begin(), matching_family_fonts.end(),
  1870. [&](auto const& matching_font_candidate) { return matching_font_candidate.key.weight >= key.weight; });
  1871. for (; it != matching_family_fonts.end() && it->key.weight <= 500; ++it) {
  1872. if (auto found_font = it->font_with_point_size(font_size_in_pt))
  1873. return found_font;
  1874. }
  1875. if (auto found_font = find_matching_font_weight_descending(matching_family_fonts, key.weight, font_size_in_pt, false))
  1876. return found_font;
  1877. for (; it != matching_family_fonts.end(); ++it) {
  1878. if (auto found_font = it->font_with_point_size(font_size_in_pt))
  1879. return found_font;
  1880. }
  1881. }
  1882. // If the desired weight is less than 400, weights less than or equal to the desired weight are checked in descending order
  1883. // followed by weights above the desired weight in ascending order until a match is found.
  1884. if (key.weight < 400) {
  1885. if (auto found_font = find_matching_font_weight_descending(matching_family_fonts, key.weight, font_size_in_pt, true))
  1886. return found_font;
  1887. if (auto found_font = find_matching_font_weight_ascending(matching_family_fonts, key.weight, font_size_in_pt, false))
  1888. return found_font;
  1889. }
  1890. // If the desired weight is greater than 500, weights greater than or equal to the desired weight are checked in ascending order
  1891. // followed by weights below the desired weight in descending order until a match is found.
  1892. if (key.weight > 500) {
  1893. if (auto found_font = find_matching_font_weight_ascending(matching_family_fonts, key.weight, font_size_in_pt, true))
  1894. return found_font;
  1895. if (auto found_font = find_matching_font_weight_descending(matching_family_fonts, key.weight, font_size_in_pt, false))
  1896. return found_font;
  1897. }
  1898. return {};
  1899. }
  1900. RefPtr<Gfx::Font const> StyleComputer::compute_font_for_style_values(DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element, StyleValue const& font_family, StyleValue const& font_size, StyleValue const& font_style, StyleValue const& font_weight, StyleValue const& font_stretch) const
  1901. {
  1902. auto* parent_element = element_to_inherit_style_from(element, pseudo_element);
  1903. auto width = font_stretch.to_font_stretch_width();
  1904. auto weight = font_weight.to_font_weight();
  1905. bool bold = weight > Gfx::FontWeight::Regular;
  1906. // FIXME: Should be based on "user's default font size"
  1907. float font_size_in_px = 16;
  1908. auto parent_line_height = parent_or_root_element_line_height(element, pseudo_element);
  1909. Gfx::FontPixelMetrics font_pixel_metrics;
  1910. if (parent_element && parent_element->computed_css_values())
  1911. font_pixel_metrics = parent_element->computed_css_values()->computed_font().pixel_metrics();
  1912. else
  1913. font_pixel_metrics = Platform::FontPlugin::the().default_font().pixel_metrics();
  1914. auto parent_font_size = [&]() -> CSSPixels {
  1915. if (!parent_element || !parent_element->computed_css_values())
  1916. return font_size_in_px;
  1917. auto value = parent_element->computed_css_values()->property(CSS::PropertyID::FontSize);
  1918. if (value->is_length()) {
  1919. auto length = value->as_length().length();
  1920. auto parent_line_height = parent_or_root_element_line_height(parent_element, {});
  1921. if (length.is_absolute() || length.is_relative()) {
  1922. Length::FontMetrics font_metrics { font_size_in_px, font_pixel_metrics, parent_line_height };
  1923. return length.to_px(viewport_rect(), font_metrics, m_root_element_font_metrics);
  1924. }
  1925. }
  1926. return font_size_in_px;
  1927. };
  1928. Length::FontMetrics font_metrics { parent_font_size(), font_pixel_metrics, parent_line_height };
  1929. if (font_size.is_identifier()) {
  1930. // https://w3c.github.io/csswg-drafts/css-fonts/#absolute-size-mapping
  1931. AK::HashMap<Web::CSS::ValueID, float> absolute_size_mapping = {
  1932. { CSS::ValueID::XxSmall, 0.6 },
  1933. { CSS::ValueID::XSmall, 0.75 },
  1934. { CSS::ValueID::Small, 8.0 / 9.0 },
  1935. { CSS::ValueID::Medium, 1.0 },
  1936. { CSS::ValueID::Large, 1.2 },
  1937. { CSS::ValueID::XLarge, 1.5 },
  1938. { CSS::ValueID::XxLarge, 2.0 },
  1939. { CSS::ValueID::XxxLarge, 3.0 },
  1940. { CSS::ValueID::Smaller, 0.8 },
  1941. { CSS::ValueID::Larger, 1.25 },
  1942. };
  1943. auto const identifier = static_cast<IdentifierStyleValue const&>(font_size).id();
  1944. // https://w3c.github.io/csswg-drafts/css-fonts/#valdef-font-size-relative-size
  1945. // TODO: If the parent element has a keyword font size in the absolute size keyword mapping table,
  1946. // larger may compute the font size to the next entry in the table,
  1947. // and smaller may compute the font size to the previous entry in the table.
  1948. if (identifier == CSS::ValueID::Smaller || identifier == CSS::ValueID::Larger) {
  1949. if (parent_element && parent_element->computed_css_values()) {
  1950. font_size_in_px = parent_element->computed_css_values()->computed_font().pixel_metrics().size;
  1951. }
  1952. }
  1953. auto const multiplier = absolute_size_mapping.get(identifier).value_or(1.0);
  1954. font_size_in_px *= multiplier;
  1955. } else {
  1956. Length::ResolutionContext const length_resolution_context {
  1957. .viewport_rect = viewport_rect(),
  1958. .font_metrics = font_metrics,
  1959. .root_font_metrics = m_root_element_font_metrics,
  1960. };
  1961. Optional<Length> maybe_length;
  1962. if (font_size.is_percentage()) {
  1963. // Percentages refer to parent element's font size
  1964. maybe_length = Length::make_px(font_size.as_percentage().percentage().as_fraction() * parent_font_size().to_double());
  1965. } else if (font_size.is_length()) {
  1966. maybe_length = font_size.as_length().length();
  1967. } else if (font_size.is_calculated()) {
  1968. maybe_length = font_size.as_calculated().resolve_length(length_resolution_context);
  1969. }
  1970. if (maybe_length.has_value()) {
  1971. auto px = maybe_length.value().to_px(length_resolution_context).to_int();
  1972. if (px != 0)
  1973. font_size_in_px = px;
  1974. }
  1975. }
  1976. auto slope = font_style.to_font_slope();
  1977. // FIXME: Implement the full font-matching algorithm: https://www.w3.org/TR/css-fonts-4/#font-matching-algorithm
  1978. // Note: This is modified by the find_font() lambda
  1979. FontSelector font_selector;
  1980. bool monospace = false;
  1981. float const font_size_in_pt = font_size_in_px * 0.75f;
  1982. auto find_font = [&](String const& family) -> RefPtr<Gfx::Font const> {
  1983. font_selector = { family, font_size_in_pt, weight, width, slope };
  1984. FontFaceKey key {
  1985. .family_name = family,
  1986. .weight = weight,
  1987. .slope = slope,
  1988. };
  1989. if (auto it = m_loaded_fonts.find(key); it != m_loaded_fonts.end()) {
  1990. auto& loader = *it->value;
  1991. if (auto found_font = loader.font_with_point_size(font_size_in_pt))
  1992. return found_font;
  1993. }
  1994. if (auto found_font = m_font_cache.get(font_selector))
  1995. return found_font;
  1996. if (auto found_font = font_matching_algorithm(key, font_size_in_pt))
  1997. return found_font;
  1998. if (auto found_font = Gfx::FontDatabase::the().get(family.to_deprecated_string(), font_size_in_pt, weight, width, slope, Gfx::Font::AllowInexactSizeMatch::Yes))
  1999. return found_font;
  2000. return {};
  2001. };
  2002. auto find_generic_font = [&](ValueID font_id) -> RefPtr<Gfx::Font const> {
  2003. Platform::GenericFont generic_font {};
  2004. switch (font_id) {
  2005. case ValueID::Monospace:
  2006. case ValueID::UiMonospace:
  2007. generic_font = Platform::GenericFont::Monospace;
  2008. monospace = true;
  2009. break;
  2010. case ValueID::Serif:
  2011. generic_font = Platform::GenericFont::Serif;
  2012. break;
  2013. case ValueID::Fantasy:
  2014. generic_font = Platform::GenericFont::Fantasy;
  2015. break;
  2016. case ValueID::SansSerif:
  2017. generic_font = Platform::GenericFont::SansSerif;
  2018. break;
  2019. case ValueID::Cursive:
  2020. generic_font = Platform::GenericFont::Cursive;
  2021. break;
  2022. case ValueID::UiSerif:
  2023. generic_font = Platform::GenericFont::UiSerif;
  2024. break;
  2025. case ValueID::UiSansSerif:
  2026. generic_font = Platform::GenericFont::UiSansSerif;
  2027. break;
  2028. case ValueID::UiRounded:
  2029. generic_font = Platform::GenericFont::UiRounded;
  2030. break;
  2031. default:
  2032. return {};
  2033. }
  2034. return find_font(String::from_deprecated_string(Platform::FontPlugin::the().generic_font_name(generic_font)).release_value_but_fixme_should_propagate_errors());
  2035. };
  2036. RefPtr<Gfx::Font const> found_font;
  2037. if (font_family.is_value_list()) {
  2038. auto const& family_list = static_cast<StyleValueList const&>(font_family).values();
  2039. for (auto const& family : family_list) {
  2040. if (family->is_identifier()) {
  2041. found_font = find_generic_font(family->to_identifier());
  2042. } else if (family->is_string()) {
  2043. found_font = find_font(family->to_string());
  2044. }
  2045. if (found_font)
  2046. break;
  2047. }
  2048. } else if (font_family.is_identifier()) {
  2049. found_font = find_generic_font(font_family.to_identifier());
  2050. } else if (font_family.is_string()) {
  2051. found_font = find_font(font_family.to_string());
  2052. }
  2053. if (!found_font) {
  2054. found_font = StyleProperties::font_fallback(monospace, bold);
  2055. if (found_font) {
  2056. if (auto scaled_fallback_font = found_font->with_size(font_size_in_pt))
  2057. found_font = scaled_fallback_font;
  2058. }
  2059. }
  2060. m_font_cache.set(font_selector, *found_font);
  2061. return found_font;
  2062. }
  2063. void StyleComputer::compute_font(StyleProperties& style, DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  2064. {
  2065. // To compute the font, first ensure that we've defaulted the relevant CSS font properties.
  2066. // FIXME: This should be more sophisticated.
  2067. compute_defaulted_property_value(style, element, CSS::PropertyID::FontFamily, pseudo_element);
  2068. compute_defaulted_property_value(style, element, CSS::PropertyID::FontSize, pseudo_element);
  2069. compute_defaulted_property_value(style, element, CSS::PropertyID::FontStretch, pseudo_element);
  2070. compute_defaulted_property_value(style, element, CSS::PropertyID::FontStyle, pseudo_element);
  2071. compute_defaulted_property_value(style, element, CSS::PropertyID::FontWeight, pseudo_element);
  2072. compute_defaulted_property_value(style, element, CSS::PropertyID::LineHeight, pseudo_element);
  2073. auto font_family = style.property(CSS::PropertyID::FontFamily);
  2074. auto font_size = style.property(CSS::PropertyID::FontSize);
  2075. auto font_style = style.property(CSS::PropertyID::FontStyle);
  2076. auto font_weight = style.property(CSS::PropertyID::FontWeight);
  2077. auto font_stretch = style.property(CSS::PropertyID::FontStretch);
  2078. auto found_font = compute_font_for_style_values(element, pseudo_element, font_family, font_size, font_style, font_weight, font_stretch);
  2079. style.set_property(CSS::PropertyID::FontSize, LengthStyleValue::create(CSS::Length::make_px(found_font->pixel_size())), nullptr);
  2080. style.set_property(CSS::PropertyID::FontWeight, NumberStyleValue::create(font_weight->to_font_weight()));
  2081. style.set_computed_font(found_font.release_nonnull());
  2082. if (element && is<HTML::HTMLHtmlElement>(*element)) {
  2083. const_cast<StyleComputer&>(*this).m_root_element_font_metrics = calculate_root_element_font_metrics(style);
  2084. }
  2085. }
  2086. Gfx::Font const& StyleComputer::initial_font() const
  2087. {
  2088. // FIXME: This is not correct.
  2089. return StyleProperties::font_fallback(false, false);
  2090. }
  2091. CSSPixels StyleComputer::parent_or_root_element_line_height(DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  2092. {
  2093. auto* parent_element = element_to_inherit_style_from(element, pseudo_element);
  2094. if (!parent_element)
  2095. return m_root_element_font_metrics.line_height;
  2096. auto const* computed_values = parent_element->computed_css_values();
  2097. if (!computed_values)
  2098. return m_root_element_font_metrics.line_height;
  2099. auto parent_font_pixel_metrics = computed_values->computed_font().pixel_metrics();
  2100. auto parent_font_size = computed_values->property(CSS::PropertyID::FontSize)->as_length().length();
  2101. // FIXME: Can the parent font size be non-absolute here?
  2102. auto parent_font_size_value = parent_font_size.is_absolute() ? parent_font_size.absolute_length_to_px() : m_root_element_font_metrics.font_size;
  2103. auto parent_parent_line_height = parent_or_root_element_line_height(parent_element, {});
  2104. Length::FontMetrics parent_font_metrics { parent_font_size_value, parent_font_pixel_metrics, parent_parent_line_height };
  2105. return computed_values->line_height(viewport_rect(), parent_font_metrics, m_root_element_font_metrics);
  2106. }
  2107. void StyleComputer::absolutize_values(StyleProperties& style, DOM::Element const* element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  2108. {
  2109. auto parent_or_root_line_height = parent_or_root_element_line_height(element, pseudo_element);
  2110. auto font_pixel_metrics = style.computed_font().pixel_metrics();
  2111. Length::FontMetrics font_metrics { m_root_element_font_metrics.font_size, font_pixel_metrics, parent_or_root_line_height };
  2112. auto font_size = style.property(CSS::PropertyID::FontSize)->as_length().length().to_px(viewport_rect(), font_metrics, m_root_element_font_metrics);
  2113. font_metrics.font_size = font_size;
  2114. // NOTE: Percentage line-height values are relative to the font-size of the element.
  2115. // We have to resolve them right away, so that the *computed* line-height is ready for inheritance.
  2116. // We can't simply absolutize *all* percentage values against the font size,
  2117. // because most percentages are relative to containing block metrics.
  2118. auto line_height_value_slot = style.m_property_values[to_underlying(CSS::PropertyID::LineHeight)].map([](auto& x) -> auto& { return x.style; });
  2119. if (line_height_value_slot.has_value() && (*line_height_value_slot)->is_percentage()) {
  2120. *line_height_value_slot = LengthStyleValue::create(
  2121. Length::make_px(font_size * static_cast<double>((*line_height_value_slot)->as_percentage().percentage().as_fraction())));
  2122. }
  2123. auto line_height = style.line_height(viewport_rect(), font_metrics, m_root_element_font_metrics);
  2124. font_metrics.line_height = line_height;
  2125. // NOTE: line-height might be using lh which should be resolved against the parent line height (like we did here already)
  2126. if (line_height_value_slot.has_value() && (*line_height_value_slot)->is_length())
  2127. (*line_height_value_slot) = LengthStyleValue::create(Length::make_px(line_height));
  2128. for (size_t i = 0; i < style.m_property_values.size(); ++i) {
  2129. auto& value_slot = style.m_property_values[i];
  2130. if (!value_slot.has_value())
  2131. continue;
  2132. value_slot->style = value_slot->style->absolutized(viewport_rect(), font_metrics, m_root_element_font_metrics);
  2133. }
  2134. }
  2135. enum class BoxTypeTransformation {
  2136. None,
  2137. Blockify,
  2138. Inlinify,
  2139. };
  2140. static BoxTypeTransformation required_box_type_transformation(StyleProperties const& style, DOM::Element const& element, Optional<CSS::Selector::PseudoElement> const& pseudo_element)
  2141. {
  2142. // Absolute positioning or floating an element blockifies the box’s display type. [CSS2]
  2143. if (style.position() == CSS::Position::Absolute || style.position() == CSS::Position::Fixed || style.float_() != CSS::Float::None)
  2144. return BoxTypeTransformation::Blockify;
  2145. // FIXME: Containment in a ruby container inlinifies the box’s display type, as described in [CSS-RUBY-1].
  2146. // NOTE: If we're computing style for a pseudo-element, the effective parent will be the originating element itself, not its parent.
  2147. auto const* parent = pseudo_element.has_value() ? &element : element.parent_element();
  2148. // A parent with a grid or flex display value blockifies the box’s display type. [CSS-GRID-1] [CSS-FLEXBOX-1]
  2149. if (parent && parent->computed_css_values()) {
  2150. auto const& parent_display = parent->computed_css_values()->display();
  2151. if (parent_display.is_grid_inside() || parent_display.is_flex_inside())
  2152. return BoxTypeTransformation::Blockify;
  2153. }
  2154. return BoxTypeTransformation::None;
  2155. }
  2156. // https://drafts.csswg.org/css-display/#transformations
  2157. void StyleComputer::transform_box_type_if_needed(StyleProperties& style, DOM::Element const& element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  2158. {
  2159. // 2.7. Automatic Box Type Transformations
  2160. // Some layout effects require blockification or inlinification of the box type,
  2161. // which sets the box’s computed outer display type to block or inline (respectively).
  2162. // (This has no effect on display types that generate no box at all, such as none or contents.)
  2163. auto display = style.display();
  2164. if (display.is_none() || display.is_contents())
  2165. return;
  2166. auto new_display = display;
  2167. switch (required_box_type_transformation(style, element, pseudo_element)) {
  2168. case BoxTypeTransformation::None:
  2169. break;
  2170. case BoxTypeTransformation::Blockify:
  2171. if (display.is_block_outside())
  2172. return;
  2173. // If a layout-internal box is blockified, its inner display type converts to flow so that it becomes a block container.
  2174. if (display.is_internal()) {
  2175. new_display = CSS::Display::from_short(CSS::Display::Short::Block);
  2176. } else {
  2177. VERIFY(display.is_outside_and_inside());
  2178. // For legacy reasons, if an inline block box (inline flow-root) is blockified, it becomes a block box (losing its flow-root nature).
  2179. // For consistency, a run-in flow-root box also blockifies to a block box.
  2180. if (display.is_inline_block()) {
  2181. new_display = CSS::Display { CSS::Display::Outside::Block, CSS::Display::Inside::Flow, display.list_item() };
  2182. } else {
  2183. new_display = CSS::Display { CSS::Display::Outside::Block, display.inside(), display.list_item() };
  2184. }
  2185. }
  2186. break;
  2187. case BoxTypeTransformation::Inlinify:
  2188. if (display.is_inline_outside()) {
  2189. // FIXME: If an inline box (inline flow) is inlinified, it recursively inlinifies all of its in-flow children,
  2190. // so that no block-level descendants break up the inline formatting context in which it participates.
  2191. if (display.is_flow_inside()) {
  2192. dbgln("FIXME: Inlinify inline box children recursively");
  2193. }
  2194. break;
  2195. }
  2196. if (display.is_internal()) {
  2197. // Inlinification has no effect on layout-internal boxes. (However, placement in such an inline context will typically cause them
  2198. // to be wrapped in an appropriately-typed anonymous inline-level box.)
  2199. } else {
  2200. VERIFY(display.is_outside_and_inside());
  2201. // If a block box (block flow) is inlinified, its inner display type is set to flow-root so that it remains a block container.
  2202. if (display.is_block_outside() && display.is_flow_inside()) {
  2203. new_display = CSS::Display { CSS::Display::Outside::Inline, CSS::Display::Inside::FlowRoot, display.list_item() };
  2204. }
  2205. new_display = CSS::Display { CSS::Display::Outside::Inline, display.inside(), display.list_item() };
  2206. }
  2207. break;
  2208. }
  2209. if (new_display != display)
  2210. style.set_property(CSS::PropertyID::Display, DisplayStyleValue::create(new_display), style.property_source_declaration(CSS::PropertyID::Display));
  2211. }
  2212. NonnullRefPtr<StyleProperties> StyleComputer::create_document_style() const
  2213. {
  2214. auto style = StyleProperties::create();
  2215. compute_font(style, nullptr, {});
  2216. compute_defaulted_values(style, nullptr, {});
  2217. absolutize_values(style, nullptr, {});
  2218. style->set_property(CSS::PropertyID::Width, CSS::LengthStyleValue::create(CSS::Length::make_px(viewport_rect().width())), nullptr);
  2219. style->set_property(CSS::PropertyID::Height, CSS::LengthStyleValue::create(CSS::Length::make_px(viewport_rect().height())), nullptr);
  2220. style->set_property(CSS::PropertyID::Display, CSS::DisplayStyleValue::create(CSS::Display::from_short(CSS::Display::Short::Block)), nullptr);
  2221. return style;
  2222. }
  2223. ErrorOr<NonnullRefPtr<StyleProperties>> StyleComputer::compute_style(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  2224. {
  2225. auto style = TRY(compute_style_impl(element, move(pseudo_element), ComputeStyleMode::Normal));
  2226. return style.release_nonnull();
  2227. }
  2228. ErrorOr<RefPtr<StyleProperties>> StyleComputer::compute_pseudo_element_style_if_needed(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element) const
  2229. {
  2230. return compute_style_impl(element, move(pseudo_element), ComputeStyleMode::CreatePseudoElementStyleIfNeeded);
  2231. }
  2232. ErrorOr<RefPtr<StyleProperties>> StyleComputer::compute_style_impl(DOM::Element& element, Optional<CSS::Selector::PseudoElement> pseudo_element, ComputeStyleMode mode) const
  2233. {
  2234. build_rule_cache_if_needed();
  2235. auto style = StyleProperties::create();
  2236. // 1. Perform the cascade. This produces the "specified style"
  2237. bool did_match_any_pseudo_element_rules = false;
  2238. TRY(compute_cascaded_values(style, element, pseudo_element, did_match_any_pseudo_element_rules, mode));
  2239. if (mode == ComputeStyleMode::CreatePseudoElementStyleIfNeeded && !did_match_any_pseudo_element_rules)
  2240. return nullptr;
  2241. // 2. Compute the font, since that may be needed for font-relative CSS units
  2242. compute_font(style, &element, pseudo_element);
  2243. // 3. Absolutize values, turning font/viewport relative lengths into absolute lengths
  2244. absolutize_values(style, &element, pseudo_element);
  2245. // 4. Default the values, applying inheritance and 'initial' as needed
  2246. compute_defaulted_values(style, &element, pseudo_element);
  2247. // 5. Run automatic box type transformations
  2248. transform_box_type_if_needed(style, element, pseudo_element);
  2249. return style;
  2250. }
  2251. PropertyDependencyNode::PropertyDependencyNode(String name)
  2252. : m_name(move(name))
  2253. {
  2254. }
  2255. void PropertyDependencyNode::add_child(NonnullRefPtr<PropertyDependencyNode> new_child)
  2256. {
  2257. for (auto const& child : m_children) {
  2258. if (child->m_name == new_child->m_name)
  2259. return;
  2260. }
  2261. // We detect self-reference already.
  2262. VERIFY(new_child->m_name != m_name);
  2263. m_children.append(move(new_child));
  2264. }
  2265. bool PropertyDependencyNode::has_cycles()
  2266. {
  2267. if (m_marked)
  2268. return true;
  2269. TemporaryChange change { m_marked, true };
  2270. for (auto& child : m_children) {
  2271. if (child->has_cycles())
  2272. return true;
  2273. }
  2274. return false;
  2275. }
  2276. void StyleComputer::build_rule_cache_if_needed() const
  2277. {
  2278. if (m_author_rule_cache && m_user_rule_cache && m_user_agent_rule_cache)
  2279. return;
  2280. const_cast<StyleComputer&>(*this).build_rule_cache();
  2281. }
  2282. NonnullOwnPtr<StyleComputer::RuleCache> StyleComputer::make_rule_cache_for_cascade_origin(CascadeOrigin cascade_origin)
  2283. {
  2284. auto rule_cache = make<RuleCache>();
  2285. size_t num_class_rules = 0;
  2286. size_t num_id_rules = 0;
  2287. size_t num_tag_name_rules = 0;
  2288. size_t num_pseudo_element_rules = 0;
  2289. Vector<MatchingRule> matching_rules;
  2290. size_t style_sheet_index = 0;
  2291. for_each_stylesheet(cascade_origin, [&](auto& sheet) {
  2292. size_t rule_index = 0;
  2293. sheet.for_each_effective_style_rule([&](auto const& rule) {
  2294. size_t selector_index = 0;
  2295. for (CSS::Selector const& selector : rule.selectors()) {
  2296. MatchingRule matching_rule {
  2297. &rule,
  2298. sheet,
  2299. style_sheet_index,
  2300. rule_index,
  2301. selector_index,
  2302. selector.specificity()
  2303. };
  2304. for (auto const& simple_selector : selector.compound_selectors().last().simple_selectors) {
  2305. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::PseudoElement) {
  2306. matching_rule.contains_pseudo_element = true;
  2307. ++num_pseudo_element_rules;
  2308. break;
  2309. }
  2310. }
  2311. bool added_to_bucket = false;
  2312. for (auto const& simple_selector : selector.compound_selectors().last().simple_selectors) {
  2313. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::Id) {
  2314. rule_cache->rules_by_id.ensure(simple_selector.name()).append(move(matching_rule));
  2315. ++num_id_rules;
  2316. added_to_bucket = true;
  2317. break;
  2318. }
  2319. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::Class) {
  2320. rule_cache->rules_by_class.ensure(simple_selector.name()).append(move(matching_rule));
  2321. ++num_class_rules;
  2322. added_to_bucket = true;
  2323. break;
  2324. }
  2325. if (simple_selector.type == CSS::Selector::SimpleSelector::Type::TagName) {
  2326. rule_cache->rules_by_tag_name.ensure(simple_selector.qualified_name().name.lowercase_name).append(move(matching_rule));
  2327. ++num_tag_name_rules;
  2328. added_to_bucket = true;
  2329. break;
  2330. }
  2331. }
  2332. if (!added_to_bucket)
  2333. rule_cache->other_rules.append(move(matching_rule));
  2334. ++selector_index;
  2335. }
  2336. ++rule_index;
  2337. });
  2338. sheet.for_each_effective_keyframes_at_rule([&](CSSKeyframesRule const& rule) {
  2339. auto keyframe_set = make<AnimationKeyFrameSet>();
  2340. AnimationKeyFrameSet::ResolvedKeyFrame resolved_keyframe;
  2341. // Forwards pass, resolve all the user-specified keyframe properties.
  2342. for (auto const& keyframe : rule.keyframes()) {
  2343. auto key = static_cast<u64>(keyframe->key().value() * AnimationKeyFrameKeyScaleFactor);
  2344. auto keyframe_rule = keyframe->style();
  2345. if (!is<PropertyOwningCSSStyleDeclaration>(*keyframe_rule))
  2346. continue;
  2347. auto current_keyframe = resolved_keyframe;
  2348. auto& keyframe_style = static_cast<PropertyOwningCSSStyleDeclaration const&>(*keyframe_rule);
  2349. for (auto& property : keyframe_style.properties())
  2350. current_keyframe.resolved_properties[to_underlying(property.property_id)] = property.value;
  2351. resolved_keyframe = move(current_keyframe);
  2352. keyframe_set->keyframes_by_key.insert(key, resolved_keyframe);
  2353. }
  2354. // If there is no 'from' keyframe, make a synthetic one.
  2355. auto made_a_synthetic_from_keyframe = false;
  2356. if (!keyframe_set->keyframes_by_key.find(0)) {
  2357. keyframe_set->keyframes_by_key.insert(0, AnimationKeyFrameSet::ResolvedKeyFrame());
  2358. made_a_synthetic_from_keyframe = true;
  2359. }
  2360. // Backwards pass, resolve all the implied properties, go read <https://drafts.csswg.org/css-animations-2/#keyframe-processing> to see why.
  2361. auto first = true;
  2362. for (auto const& keyframe : rule.keyframes().in_reverse()) {
  2363. auto key = static_cast<u64>(keyframe->key().value() * AnimationKeyFrameKeyScaleFactor);
  2364. auto keyframe_rule = keyframe->style();
  2365. if (!is<PropertyOwningCSSStyleDeclaration>(*keyframe_rule))
  2366. continue;
  2367. // The last keyframe is already fully resolved.
  2368. if (first) {
  2369. first = false;
  2370. continue;
  2371. }
  2372. auto next_keyframe = resolved_keyframe;
  2373. auto& current_keyframes = *keyframe_set->keyframes_by_key.find(key);
  2374. for (auto it = next_keyframe.resolved_properties.begin(); !it.is_end(); ++it) {
  2375. auto& current_property = current_keyframes.resolved_properties[it.index()];
  2376. if (!current_property.has<Empty>() || it->has<Empty>())
  2377. continue;
  2378. if (key == 0)
  2379. current_property = AnimationKeyFrameSet::ResolvedKeyFrame::UseInitial();
  2380. else
  2381. current_property = *it;
  2382. }
  2383. resolved_keyframe = current_keyframes;
  2384. }
  2385. if (made_a_synthetic_from_keyframe && !first) {
  2386. auto next_keyframe = resolved_keyframe;
  2387. auto& current_keyframes = *keyframe_set->keyframes_by_key.find(0);
  2388. for (auto it = next_keyframe.resolved_properties.begin(); !it.is_end(); ++it) {
  2389. auto& current_property = current_keyframes.resolved_properties[it.index()];
  2390. if (!current_property.has<Empty>() || it->has<Empty>())
  2391. continue;
  2392. current_property = AnimationKeyFrameSet::ResolvedKeyFrame::UseInitial();
  2393. }
  2394. resolved_keyframe = current_keyframes;
  2395. }
  2396. if constexpr (LIBWEB_CSS_DEBUG) {
  2397. dbgln("Resolved keyframe set '{}' into {} keyframes:", rule.name(), keyframe_set->keyframes_by_key.size());
  2398. for (auto it = keyframe_set->keyframes_by_key.begin(); it != keyframe_set->keyframes_by_key.end(); ++it) {
  2399. size_t props = 0;
  2400. for (auto& entry : it->resolved_properties)
  2401. props += !entry.has<Empty>();
  2402. dbgln(" - keyframe {}: {} properties", it.key(), props);
  2403. }
  2404. }
  2405. rule_cache->rules_by_animation_keyframes.set(rule.name(), move(keyframe_set));
  2406. });
  2407. ++style_sheet_index;
  2408. });
  2409. if constexpr (LIBWEB_CSS_DEBUG) {
  2410. dbgln("Built rule cache!");
  2411. dbgln(" ID: {}", num_id_rules);
  2412. dbgln(" Class: {}", num_class_rules);
  2413. dbgln(" TagName: {}", num_tag_name_rules);
  2414. dbgln("PseudoElement: {}", num_pseudo_element_rules);
  2415. dbgln(" Other: {}", rule_cache->other_rules.size());
  2416. dbgln(" Total: {}", num_class_rules + num_id_rules + num_tag_name_rules + rule_cache->other_rules.size());
  2417. }
  2418. return rule_cache;
  2419. }
  2420. void StyleComputer::build_rule_cache()
  2421. {
  2422. // FIXME: How are we sometimes calculating style before the Document has a Page?
  2423. if (document().page()) {
  2424. if (auto user_style_source = document().page()->user_style(); user_style_source.has_value()) {
  2425. m_user_style_sheet = JS::make_handle(parse_css_stylesheet(CSS::Parser::ParsingContext(document()), user_style_source.value()));
  2426. }
  2427. }
  2428. m_author_rule_cache = make_rule_cache_for_cascade_origin(CascadeOrigin::Author);
  2429. m_user_rule_cache = make_rule_cache_for_cascade_origin(CascadeOrigin::User);
  2430. m_user_agent_rule_cache = make_rule_cache_for_cascade_origin(CascadeOrigin::UserAgent);
  2431. }
  2432. void StyleComputer::invalidate_rule_cache()
  2433. {
  2434. m_author_rule_cache = nullptr;
  2435. // NOTE: We could be smarter about keeping the user rule cache, and style sheet.
  2436. // Currently we are re-parsing the user style sheet every time we build the caches,
  2437. // as it may have changed.
  2438. m_user_rule_cache = nullptr;
  2439. m_user_style_sheet = nullptr;
  2440. // NOTE: It might not be necessary to throw away the UA rule cache.
  2441. // If we are sure that it's safe, we could keep it as an optimization.
  2442. m_user_agent_rule_cache = nullptr;
  2443. }
  2444. CSSPixelRect StyleComputer::viewport_rect() const
  2445. {
  2446. if (auto const* browsing_context = document().browsing_context())
  2447. return browsing_context->viewport_rect();
  2448. return {};
  2449. }
  2450. void StyleComputer::did_load_font(FlyString const& family_name)
  2451. {
  2452. m_font_cache.did_load_font({}, family_name);
  2453. document().invalidate_style();
  2454. }
  2455. void StyleComputer::load_fonts_from_sheet(CSSStyleSheet const& sheet)
  2456. {
  2457. for (auto const& rule : static_cast<CSSStyleSheet const&>(sheet).rules()) {
  2458. if (!is<CSSFontFaceRule>(*rule))
  2459. continue;
  2460. auto const& font_face = static_cast<CSSFontFaceRule const&>(*rule).font_face();
  2461. if (font_face.sources().is_empty())
  2462. continue;
  2463. FontFaceKey key {
  2464. .family_name = font_face.font_family(),
  2465. .weight = font_face.weight().value_or(0),
  2466. .slope = font_face.slope().value_or(0),
  2467. };
  2468. if (m_loaded_fonts.contains(key))
  2469. continue;
  2470. Vector<AK::URL> urls;
  2471. for (auto& source : font_face.sources()) {
  2472. // FIXME: These should be loaded relative to the stylesheet URL instead of the document URL.
  2473. if (source.local_or_url.has<AK::URL>())
  2474. urls.append(m_document->parse_url(source.local_or_url.get<AK::URL>().to_deprecated_string()));
  2475. // FIXME: Handle local()
  2476. }
  2477. if (urls.is_empty())
  2478. continue;
  2479. auto loader = make<FontLoader>(const_cast<StyleComputer&>(*this), font_face.font_family(), move(urls));
  2480. const_cast<StyleComputer&>(*this).m_loaded_fonts.set(key, move(loader));
  2481. }
  2482. }
  2483. }