StyleComputer.cpp 134 KB

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