StyleComputer.cpp 134 KB

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