FormattingContext.cpp 68 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475
  1. /*
  2. * Copyright (c) 2020-2022, Andreas Kling <kling@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibWeb/Dump.h>
  7. #include <LibWeb/Layout/BlockFormattingContext.h>
  8. #include <LibWeb/Layout/Box.h>
  9. #include <LibWeb/Layout/FlexFormattingContext.h>
  10. #include <LibWeb/Layout/FormattingContext.h>
  11. #include <LibWeb/Layout/GridFormattingContext.h>
  12. #include <LibWeb/Layout/ReplacedBox.h>
  13. #include <LibWeb/Layout/SVGFormattingContext.h>
  14. #include <LibWeb/Layout/SVGSVGBox.h>
  15. #include <LibWeb/Layout/TableBox.h>
  16. #include <LibWeb/Layout/TableCellBox.h>
  17. #include <LibWeb/Layout/TableFormattingContext.h>
  18. #include <LibWeb/Layout/Viewport.h>
  19. namespace Web::Layout {
  20. FormattingContext::FormattingContext(Type type, LayoutState& state, Box const& context_box, FormattingContext* parent)
  21. : m_type(type)
  22. , m_parent(parent)
  23. , m_context_box(context_box)
  24. , m_state(state)
  25. {
  26. }
  27. FormattingContext::~FormattingContext() = default;
  28. // https://developer.mozilla.org/en-US/docs/Web/Guide/CSS/Block_formatting_context
  29. bool FormattingContext::creates_block_formatting_context(Box const& box)
  30. {
  31. // NOTE: Replaced elements never create a BFC.
  32. if (box.is_replaced_box())
  33. return false;
  34. // display: table
  35. if (box.display().is_table_inside()) {
  36. return false;
  37. }
  38. // display: flex
  39. if (box.display().is_flex_inside()) {
  40. return false;
  41. }
  42. // display: grid
  43. if (box.display().is_grid_inside()) {
  44. return false;
  45. }
  46. // NOTE: This function uses MDN as a reference, not because it's authoritative,
  47. // but because they've gathered all the conditions in one convenient location.
  48. // The root element of the document (<html>).
  49. if (box.is_root_element())
  50. return true;
  51. // Floats (elements where float isn't none).
  52. if (box.is_floating())
  53. return true;
  54. // Absolutely positioned elements (elements where position is absolute or fixed).
  55. if (box.is_absolutely_positioned())
  56. return true;
  57. // Inline-blocks (elements with display: inline-block).
  58. if (box.display().is_inline_block())
  59. return true;
  60. // Table cells (elements with display: table-cell, which is the default for HTML table cells).
  61. if (box.display().is_table_cell())
  62. return true;
  63. // Table captions (elements with display: table-caption, which is the default for HTML table captions).
  64. if (box.display().is_table_caption())
  65. return true;
  66. // FIXME: Anonymous table cells implicitly created by the elements with display: table, table-row, table-row-group, table-header-group, table-footer-group
  67. // (which is the default for HTML tables, table rows, table bodies, table headers, and table footers, respectively), or inline-table.
  68. // Block elements where overflow has a value other than visible and clip.
  69. CSS::Overflow overflow_x = box.computed_values().overflow_x();
  70. if ((overflow_x != CSS::Overflow::Visible) && (overflow_x != CSS::Overflow::Clip))
  71. return true;
  72. CSS::Overflow overflow_y = box.computed_values().overflow_y();
  73. if ((overflow_y != CSS::Overflow::Visible) && (overflow_y != CSS::Overflow::Clip))
  74. return true;
  75. // display: flow-root.
  76. if (box.display().is_flow_root_inside())
  77. return true;
  78. // FIXME: Elements with contain: layout, content, or paint.
  79. if (box.parent()) {
  80. auto parent_display = box.parent()->display();
  81. // Flex items (direct children of the element with display: flex or inline-flex) if they are neither flex nor grid nor table containers themselves.
  82. if (parent_display.is_flex_inside())
  83. return true;
  84. // Grid items (direct children of the element with display: grid or inline-grid) if they are neither flex nor grid nor table containers themselves.
  85. if (parent_display.is_grid_inside())
  86. return true;
  87. }
  88. // FIXME: Multicol containers (elements where column-count or column-width isn't auto, including elements with column-count: 1).
  89. // FIXME: column-span: all should always create a new formatting context, even when the column-span: all element isn't contained by a multicol container (Spec change, Chrome bug).
  90. return false;
  91. }
  92. Optional<FormattingContext::Type> FormattingContext::formatting_context_type_created_by_box(Box const& box)
  93. {
  94. if (box.is_replaced_box() && !box.can_have_children()) {
  95. return Type::InternalReplaced;
  96. }
  97. if (!box.can_have_children())
  98. return {};
  99. if (is<SVGSVGBox>(box))
  100. return Type::SVG;
  101. auto display = box.display();
  102. if (display.is_flex_inside())
  103. return Type::Flex;
  104. if (display.is_table_inside())
  105. return Type::Table;
  106. if (display.is_grid_inside())
  107. return Type::Grid;
  108. if (creates_block_formatting_context(box))
  109. return Type::Block;
  110. if (box.children_are_inline())
  111. return {};
  112. // The box is a block container that doesn't create its own BFC.
  113. // It will be formatted by the containing BFC.
  114. if (!display.is_flow_inside()) {
  115. // HACK: Instead of crashing, create a dummy formatting context that does nothing.
  116. // FIXME: Remove this once it's no longer needed. It currently swallows problem with standalone
  117. // table-related boxes that don't get fixed up by CSS anonymous table box generation.
  118. return Type::InternalDummy;
  119. }
  120. return {};
  121. }
  122. // FIXME: This is a hack. Get rid of it.
  123. struct ReplacedFormattingContext : public FormattingContext {
  124. ReplacedFormattingContext(LayoutState& state, Box const& box)
  125. : FormattingContext(Type::Block, state, box)
  126. {
  127. }
  128. virtual CSSPixels automatic_content_width() const override { return 0; }
  129. virtual CSSPixels automatic_content_height() const override { return 0; }
  130. virtual void run(Box const&, LayoutMode, AvailableSpace const&) override { }
  131. };
  132. // FIXME: This is a hack. Get rid of it.
  133. struct DummyFormattingContext : public FormattingContext {
  134. DummyFormattingContext(LayoutState& state, Box const& box)
  135. : FormattingContext(Type::Block, state, box)
  136. {
  137. }
  138. virtual CSSPixels automatic_content_width() const override { return 0; }
  139. virtual CSSPixels automatic_content_height() const override { return 0; }
  140. virtual void run(Box const&, LayoutMode, AvailableSpace const&) override { }
  141. };
  142. OwnPtr<FormattingContext> FormattingContext::create_independent_formatting_context_if_needed(LayoutState& state, Box const& child_box)
  143. {
  144. auto type = formatting_context_type_created_by_box(child_box);
  145. if (!type.has_value())
  146. return nullptr;
  147. switch (type.value()) {
  148. case Type::Block:
  149. return make<BlockFormattingContext>(state, verify_cast<BlockContainer>(child_box), this);
  150. case Type::SVG:
  151. return make<SVGFormattingContext>(state, child_box, this);
  152. case Type::Flex:
  153. return make<FlexFormattingContext>(state, child_box, this);
  154. case Type::Grid:
  155. return make<GridFormattingContext>(state, child_box, this);
  156. case Type::Table:
  157. return make<TableFormattingContext>(state, verify_cast<TableBox>(child_box), this);
  158. case Type::InternalReplaced:
  159. return make<ReplacedFormattingContext>(state, child_box);
  160. case Type::InternalDummy:
  161. return make<DummyFormattingContext>(state, child_box);
  162. case Type::Inline:
  163. // IFC should always be created by a parent BFC directly.
  164. VERIFY_NOT_REACHED();
  165. break;
  166. default:
  167. VERIFY_NOT_REACHED();
  168. }
  169. }
  170. OwnPtr<FormattingContext> FormattingContext::layout_inside(Box const& child_box, LayoutMode layout_mode, AvailableSpace const& available_space)
  171. {
  172. {
  173. // OPTIMIZATION: If we're doing intrinsic sizing and `child_box` has definite size in both axes,
  174. // we don't need to layout its insides. The size is resolvable without learning
  175. // the metrics of whatever's inside the box.
  176. auto const& used_values = m_state.get(child_box);
  177. if (layout_mode == LayoutMode::IntrinsicSizing
  178. && used_values.width_constraint == SizeConstraint::None
  179. && used_values.height_constraint == SizeConstraint::None
  180. && used_values.has_definite_width()
  181. && used_values.has_definite_height()) {
  182. return nullptr;
  183. }
  184. }
  185. if (!child_box.can_have_children())
  186. return {};
  187. auto independent_formatting_context = create_independent_formatting_context_if_needed(m_state, child_box);
  188. if (independent_formatting_context)
  189. independent_formatting_context->run(child_box, layout_mode, available_space);
  190. else
  191. run(child_box, layout_mode, available_space);
  192. return independent_formatting_context;
  193. }
  194. CSSPixels FormattingContext::greatest_child_width(Box const& box) const
  195. {
  196. CSSPixels max_width = 0;
  197. if (box.children_are_inline()) {
  198. for (auto& line_box : m_state.get(box).line_boxes) {
  199. max_width = max(max_width, line_box.width());
  200. }
  201. } else {
  202. box.for_each_child_of_type<Box>([&](Box const& child) {
  203. if (!child.is_absolutely_positioned())
  204. max_width = max(max_width, m_state.get(child).margin_box_width());
  205. });
  206. }
  207. return max_width;
  208. }
  209. FormattingContext::ShrinkToFitResult FormattingContext::calculate_shrink_to_fit_widths(Box const& box)
  210. {
  211. return {
  212. .preferred_width = calculate_max_content_width(box),
  213. .preferred_minimum_width = calculate_min_content_width(box),
  214. };
  215. }
  216. static CSSPixelSize solve_replaced_size_constraint(LayoutState const& state, CSSPixels input_width, CSSPixels input_height, ReplacedBox const& box)
  217. {
  218. // 10.4 Minimum and maximum widths: 'min-width' and 'max-width'
  219. auto const& containing_block = *box.containing_block();
  220. auto const& containing_block_state = state.get(containing_block);
  221. auto width_of_containing_block = containing_block_state.content_width();
  222. auto height_of_containing_block = containing_block_state.content_height();
  223. CSSPixels specified_min_width = box.computed_values().min_width().is_auto() ? 0 : box.computed_values().min_width().to_px(box, width_of_containing_block);
  224. CSSPixels specified_max_width = box.computed_values().max_width().is_none() ? input_width : box.computed_values().max_width().to_px(box, width_of_containing_block);
  225. CSSPixels specified_min_height = box.computed_values().min_height().is_auto() ? 0 : box.computed_values().min_height().to_px(box, height_of_containing_block);
  226. CSSPixels specified_max_height = box.computed_values().max_height().is_none() ? input_height : box.computed_values().max_height().to_px(box, height_of_containing_block);
  227. auto min_width = min(specified_min_width, specified_max_width);
  228. auto max_width = max(specified_min_width, specified_max_width);
  229. auto min_height = min(specified_min_height, specified_max_height);
  230. auto max_height = max(specified_min_height, specified_max_height);
  231. struct Size {
  232. CSSPixels width;
  233. CSSPixels height;
  234. } size = { input_width, input_height };
  235. auto& w = size.width;
  236. auto& h = size.height;
  237. if (w > max_width)
  238. size = { max_width, max(max_width * (h / w), min_height) };
  239. if (w < min_width)
  240. size = { min_width, min(min_width * (h / w), max_height) };
  241. if (h > max_height)
  242. size = { max(max_height * (w / h), min_width), max_height };
  243. if (h < min_height)
  244. size = { min(min_height * (w / h), max_width), min_height };
  245. if ((w > max_width && h > max_height) && (max_width / w <= max_height / h))
  246. size = { max_width, max(min_height, max_width * (h / w)) };
  247. if ((w > max_width && h > max_height) && (max_width / w > max_height / h))
  248. size = { max(min_width, max_height * (w / h)), max_height };
  249. if ((w < min_width && h < min_height) && (min_width / w <= min_height / h))
  250. size = { min(max_width, min_height * (w / h)), min_height };
  251. if ((w < min_width && h < min_height) && (min_width / w > min_height / h))
  252. size = { min_width, min(max_height, min_width * (h / w)) };
  253. if (w < min_width && h > max_height)
  254. size = { min_width, max_height };
  255. if (w > max_width && h < min_height)
  256. size = { max_width, min_height };
  257. return { w, h };
  258. }
  259. // https://www.w3.org/TR/CSS22/visudet.html#root-height
  260. CSSPixels FormattingContext::compute_auto_height_for_block_formatting_context_root(Box const& root) const
  261. {
  262. // 10.6.7 'Auto' heights for block formatting context roots
  263. Optional<CSSPixels> top;
  264. Optional<CSSPixels> bottom;
  265. if (root.children_are_inline()) {
  266. // If it only has inline-level children, the height is the distance between
  267. // the top content edge and the bottom of the bottommost line box.
  268. auto const& line_boxes = m_state.get(root).line_boxes;
  269. top = 0;
  270. if (!line_boxes.is_empty())
  271. bottom = line_boxes.last().bottom();
  272. } else {
  273. // If it has block-level children, the height is the distance between
  274. // the top margin-edge of the topmost block-level child box
  275. // and the bottom margin-edge of the bottommost block-level child box.
  276. root.for_each_child_of_type<Box>([&](Layout::Box& child_box) {
  277. // Absolutely positioned children are ignored,
  278. // and relatively positioned boxes are considered without their offset.
  279. // Note that the child box may be an anonymous block box.
  280. if (child_box.is_absolutely_positioned())
  281. return IterationDecision::Continue;
  282. // FIXME: This doesn't look right.
  283. if ((root.computed_values().overflow_y() == CSS::Overflow::Visible) && child_box.is_floating())
  284. return IterationDecision::Continue;
  285. auto const& child_box_state = m_state.get(child_box);
  286. CSSPixels child_box_top = child_box_state.offset.y() - child_box_state.margin_box_top();
  287. CSSPixels child_box_bottom = child_box_state.offset.y() + child_box_state.content_height() + child_box_state.margin_box_bottom();
  288. if (!top.has_value() || child_box_top < top.value())
  289. top = child_box_top;
  290. if (!bottom.has_value() || child_box_bottom > bottom.value())
  291. bottom = child_box_bottom;
  292. return IterationDecision::Continue;
  293. });
  294. }
  295. // In addition, if the element has any floating descendants
  296. // whose bottom margin edge is below the element's bottom content edge,
  297. // then the height is increased to include those edges.
  298. for (auto floating_box : m_state.get(root).floating_descendants()) {
  299. // NOTE: Floating box coordinates are relative to their own containing block,
  300. // which may or may not be the BFC root.
  301. auto margin_box = margin_box_rect_in_ancestor_coordinate_space(*floating_box, root, m_state);
  302. CSSPixels floating_box_bottom_margin_edge = margin_box.bottom() + 1;
  303. if (!bottom.has_value() || floating_box_bottom_margin_edge > bottom.value())
  304. bottom = floating_box_bottom_margin_edge;
  305. }
  306. return max(CSSPixels(0.0f), bottom.value_or(0) - top.value_or(0));
  307. }
  308. // 10.3.2 Inline, replaced elements, https://www.w3.org/TR/CSS22/visudet.html#inline-replaced-width
  309. CSSPixels FormattingContext::tentative_width_for_replaced_element(LayoutState const& state, ReplacedBox const& box, CSS::Size const& computed_width, AvailableSpace const& available_space)
  310. {
  311. // Treat percentages of indefinite containing block widths as 0 (the initial width).
  312. if (computed_width.is_percentage() && !state.get(*box.containing_block()).has_definite_width())
  313. return 0;
  314. auto height_of_containing_block = CSS::Length::make_px(containing_block_height_for(box, state));
  315. auto computed_height = should_treat_height_as_auto(box, available_space) ? CSS::Size::make_auto() : box.computed_values().height();
  316. CSSPixels used_width = computed_width.to_px(box, available_space.width.to_px());
  317. // If 'height' and 'width' both have computed values of 'auto' and the element also has an intrinsic width,
  318. // then that intrinsic width is the used value of 'width'.
  319. if (computed_height.is_auto() && computed_width.is_auto() && box.has_intrinsic_width())
  320. return box.intrinsic_width().value();
  321. // If 'height' and 'width' both have computed values of 'auto' and the element has no intrinsic width,
  322. // but does have an intrinsic height and intrinsic ratio;
  323. // or if 'width' has a computed value of 'auto',
  324. // 'height' has some other computed value, and the element does have an intrinsic ratio; then the used value of 'width' is:
  325. //
  326. // (used height) * (intrinsic ratio)
  327. if ((computed_height.is_auto() && computed_width.is_auto() && !box.has_intrinsic_width() && box.has_intrinsic_height() && box.has_intrinsic_aspect_ratio())
  328. || (computed_width.is_auto() && !computed_height.is_auto() && box.has_intrinsic_aspect_ratio())) {
  329. return compute_height_for_replaced_element(state, box, available_space) * box.intrinsic_aspect_ratio().value();
  330. }
  331. // If 'height' and 'width' both have computed values of 'auto' and the element has an intrinsic ratio but no intrinsic height or width,
  332. // then the used value of 'width' is undefined in CSS 2.2. However, it is suggested that, if the containing block's width does not itself
  333. // depend on the replaced element's width, then the used value of 'width' is calculated from the constraint equation used for block-level,
  334. // non-replaced elements in normal flow.
  335. // Otherwise, if 'width' has a computed value of 'auto', and the element has an intrinsic width, then that intrinsic width is the used value of 'width'.
  336. if (computed_width.is_auto() && box.has_intrinsic_width())
  337. return box.intrinsic_width().value();
  338. // Otherwise, if 'width' has a computed value of 'auto', but none of the conditions above are met, then the used value of 'width' becomes 300px.
  339. // If 300px is too wide to fit the device, UAs should use the width of the largest rectangle that has a 2:1 ratio and fits the device instead.
  340. if (computed_width.is_auto())
  341. return 300;
  342. return used_width;
  343. }
  344. void FormattingContext::compute_width_for_absolutely_positioned_element(Box const& box, AvailableSpace const& available_space)
  345. {
  346. if (is<ReplacedBox>(box))
  347. compute_width_for_absolutely_positioned_replaced_element(verify_cast<ReplacedBox>(box), available_space);
  348. else
  349. compute_width_for_absolutely_positioned_non_replaced_element(box, available_space);
  350. }
  351. void FormattingContext::compute_height_for_absolutely_positioned_element(Box const& box, AvailableSpace const& available_space, BeforeOrAfterInsideLayout before_or_after_inside_layout)
  352. {
  353. if (is<ReplacedBox>(box))
  354. compute_height_for_absolutely_positioned_replaced_element(static_cast<ReplacedBox const&>(box), available_space, before_or_after_inside_layout);
  355. else
  356. compute_height_for_absolutely_positioned_non_replaced_element(box, available_space, before_or_after_inside_layout);
  357. }
  358. CSSPixels FormattingContext::compute_width_for_replaced_element(LayoutState const& state, ReplacedBox const& box, AvailableSpace const& available_space)
  359. {
  360. // 10.3.4 Block-level, replaced elements in normal flow...
  361. // 10.3.2 Inline, replaced elements
  362. auto zero_value = CSS::Length::make_px(0);
  363. auto width_of_containing_block = available_space.width.to_px();
  364. auto width_of_containing_block_as_length = CSS::Length::make_px(width_of_containing_block);
  365. auto computed_width = should_treat_width_as_auto(box, available_space) ? CSS::Size::make_auto() : box.computed_values().width();
  366. auto computed_height = should_treat_height_as_auto(box, available_space) ? CSS::Size::make_auto() : box.computed_values().height();
  367. // 1. The tentative used width is calculated (without 'min-width' and 'max-width')
  368. auto used_width = tentative_width_for_replaced_element(state, box, computed_width, available_space);
  369. if (computed_width.is_auto() && computed_height.is_auto() && box.has_intrinsic_aspect_ratio()) {
  370. CSSPixels w = used_width;
  371. CSSPixels h = tentative_height_for_replaced_element(state, box, computed_height, available_space);
  372. used_width = solve_replaced_size_constraint(state, w, h, box).width();
  373. return used_width;
  374. }
  375. // 2. The tentative used width is greater than 'max-width', the rules above are applied again,
  376. // but this time using the computed value of 'max-width' as the computed value for 'width'.
  377. auto computed_max_width = box.computed_values().max_width();
  378. if (!computed_max_width.is_none()) {
  379. if (used_width > computed_max_width.to_px(box, width_of_containing_block)) {
  380. used_width = tentative_width_for_replaced_element(state, box, computed_max_width, available_space);
  381. }
  382. }
  383. // 3. If the resulting width is smaller than 'min-width', the rules above are applied again,
  384. // but this time using the value of 'min-width' as the computed value for 'width'.
  385. auto computed_min_width = box.computed_values().min_width();
  386. if (!computed_min_width.is_auto()) {
  387. if (used_width < computed_min_width.to_px(box, width_of_containing_block)) {
  388. used_width = tentative_width_for_replaced_element(state, box, computed_min_width, available_space);
  389. }
  390. }
  391. return used_width;
  392. }
  393. // 10.6.2 Inline replaced elements, block-level replaced elements in normal flow, 'inline-block' replaced elements in normal flow and floating replaced elements
  394. // https://www.w3.org/TR/CSS22/visudet.html#inline-replaced-height
  395. CSSPixels FormattingContext::tentative_height_for_replaced_element(LayoutState const& state, ReplacedBox const& box, CSS::Size const& computed_height, AvailableSpace const& available_space)
  396. {
  397. // If 'height' and 'width' both have computed values of 'auto' and the element also has
  398. // an intrinsic height, then that intrinsic height is the used value of 'height'.
  399. if (should_treat_width_as_auto(box, available_space) && should_treat_height_as_auto(box, available_space) && box.has_intrinsic_height())
  400. return box.intrinsic_height().value();
  401. // Otherwise, if 'height' has a computed value of 'auto', and the element has an intrinsic ratio then the used value of 'height' is:
  402. //
  403. // (used width) / (intrinsic ratio)
  404. if (computed_height.is_auto() && box.has_intrinsic_aspect_ratio())
  405. return compute_width_for_replaced_element(state, box, available_space) / box.intrinsic_aspect_ratio().value();
  406. // Otherwise, if 'height' has a computed value of 'auto', and the element has an intrinsic height, then that intrinsic height is the used value of 'height'.
  407. if (computed_height.is_auto() && box.has_intrinsic_height())
  408. return box.intrinsic_height().value();
  409. // Otherwise, if 'height' has a computed value of 'auto', but none of the conditions above are met,
  410. // then the used value of 'height' must be set to the height of the largest rectangle that has a 2:1 ratio, has a height not greater than 150px,
  411. // and has a width not greater than the device width.
  412. if (computed_height.is_auto())
  413. return 150;
  414. // FIXME: Handle cases when available_space is not definite.
  415. return computed_height.to_px(box, available_space.height.to_px_or_zero());
  416. }
  417. CSSPixels FormattingContext::compute_height_for_replaced_element(LayoutState const& state, ReplacedBox const& box, AvailableSpace const& available_space)
  418. {
  419. // 10.6.2 Inline replaced elements
  420. // 10.6.4 Block-level replaced elements in normal flow
  421. // 10.6.6 Floating replaced elements
  422. // 10.6.10 'inline-block' replaced elements in normal flow
  423. auto height_of_containing_block = state.get(*box.containing_block()).content_height();
  424. auto computed_width = should_treat_width_as_auto(box, available_space) ? CSS::Size::make_auto() : box.computed_values().width();
  425. auto computed_height = should_treat_height_as_auto(box, available_space) ? CSS::Size::make_auto() : box.computed_values().height();
  426. // 1. The tentative used height is calculated (without 'min-height' and 'max-height')
  427. CSSPixels used_height = tentative_height_for_replaced_element(state, box, computed_height, available_space);
  428. // However, for replaced elements with both 'width' and 'height' computed as 'auto',
  429. // use the algorithm under 'Minimum and maximum widths'
  430. // https://www.w3.org/TR/CSS22/visudet.html#min-max-widths
  431. // to find the used width and height.
  432. if (computed_width.is_auto() && computed_height.is_auto() && box.has_intrinsic_aspect_ratio()) {
  433. CSSPixels w = tentative_width_for_replaced_element(state, box, computed_width, available_space);
  434. CSSPixels h = used_height;
  435. used_height = solve_replaced_size_constraint(state, w, h, box).height();
  436. return used_height;
  437. }
  438. // 2. If this tentative height is greater than 'max-height', the rules above are applied again,
  439. // but this time using the value of 'max-height' as the computed value for 'height'.
  440. auto computed_max_height = box.computed_values().max_height();
  441. if (!computed_max_height.is_none()) {
  442. if (used_height > computed_max_height.to_px(box, height_of_containing_block)) {
  443. used_height = tentative_height_for_replaced_element(state, box, computed_max_height, available_space);
  444. }
  445. }
  446. // 3. If the resulting height is smaller than 'min-height', the rules above are applied again,
  447. // but this time using the value of 'min-height' as the computed value for 'height'.
  448. auto computed_min_height = box.computed_values().min_height();
  449. if (!computed_min_height.is_auto()) {
  450. if (used_height < computed_min_height.to_px(box, height_of_containing_block)) {
  451. used_height = tentative_height_for_replaced_element(state, box, computed_min_height, available_space);
  452. }
  453. }
  454. return used_height;
  455. }
  456. void FormattingContext::compute_width_for_absolutely_positioned_non_replaced_element(Box const& box, AvailableSpace const& available_space)
  457. {
  458. auto width_of_containing_block = available_space.width.to_px();
  459. auto width_of_containing_block_as_length = CSS::Length::make_px(width_of_containing_block);
  460. auto& computed_values = box.computed_values();
  461. auto zero_value = CSS::Length::make_px(0);
  462. auto margin_left = CSS::Length::make_auto();
  463. auto margin_right = CSS::Length::make_auto();
  464. auto const border_left = computed_values.border_left().width;
  465. auto const border_right = computed_values.border_right().width;
  466. auto const padding_left = computed_values.padding().left().to_px(box, width_of_containing_block);
  467. auto const padding_right = computed_values.padding().right().to_px(box, width_of_containing_block);
  468. auto computed_left = computed_values.inset().left();
  469. auto computed_right = computed_values.inset().right();
  470. auto try_compute_width = [&](auto const& a_width) {
  471. margin_left = computed_values.margin().left().resolved(box, width_of_containing_block_as_length);
  472. margin_right = computed_values.margin().right().resolved(box, width_of_containing_block_as_length);
  473. auto left = computed_values.inset().left().to_px(box, width_of_containing_block);
  474. auto right = computed_values.inset().right().to_px(box, width_of_containing_block);
  475. auto width = a_width;
  476. auto solve_for_left = [&] {
  477. return width_of_containing_block - margin_left.to_px(box) - border_left - padding_left - width.to_px(box) - padding_right - border_right - margin_right.to_px(box) - right;
  478. };
  479. auto solve_for_width = [&] {
  480. return CSS::Length::make_px(max(CSSPixels(0), width_of_containing_block - left - margin_left.to_px(box) - border_left - padding_left - padding_right - border_right - margin_right.to_px(box) - right));
  481. };
  482. auto solve_for_right = [&] {
  483. return width_of_containing_block - left - margin_left.to_px(box) - border_left - padding_left - width.to_px(box) - padding_right - border_right - margin_right.to_px(box);
  484. };
  485. // If all three of 'left', 'width', and 'right' are 'auto':
  486. if (computed_left.is_auto() && width.is_auto() && computed_right.is_auto()) {
  487. // First set any 'auto' values for 'margin-left' and 'margin-right' to 0.
  488. if (margin_left.is_auto())
  489. margin_left = CSS::Length::make_px(0);
  490. if (margin_right.is_auto())
  491. margin_right = CSS::Length::make_px(0);
  492. // Then, if the 'direction' property of the element establishing the static-position containing block
  493. // is 'ltr' set 'left' to the static position and apply rule number three below;
  494. // otherwise, set 'right' to the static position and apply rule number one below.
  495. // FIXME: This is very hackish.
  496. left = 0;
  497. goto Rule3;
  498. }
  499. if (!computed_left.is_auto() && !width.is_auto() && !computed_right.is_auto()) {
  500. // FIXME: This should be solved in a more complicated way.
  501. return width;
  502. }
  503. if (margin_left.is_auto())
  504. margin_left = CSS::Length::make_px(0);
  505. if (margin_right.is_auto())
  506. margin_right = CSS::Length::make_px(0);
  507. // 1. 'left' and 'width' are 'auto' and 'right' is not 'auto',
  508. // then the width is shrink-to-fit. Then solve for 'left'
  509. if (computed_left.is_auto() && width.is_auto() && !computed_right.is_auto()) {
  510. auto result = calculate_shrink_to_fit_widths(box);
  511. auto available_width = solve_for_width();
  512. width = CSS::Length::make_px(min(max(result.preferred_minimum_width, available_width.to_px(box)), result.preferred_width));
  513. left = solve_for_left();
  514. }
  515. // 2. 'left' and 'right' are 'auto' and 'width' is not 'auto',
  516. // then if the 'direction' property of the element establishing
  517. // the static-position containing block is 'ltr' set 'left'
  518. // to the static position, otherwise set 'right' to the static position.
  519. // Then solve for 'left' (if 'direction is 'rtl') or 'right' (if 'direction' is 'ltr').
  520. else if (computed_left.is_auto() && computed_right.is_auto() && !width.is_auto()) {
  521. // FIXME: Check direction
  522. // FIXME: Use the static-position containing block
  523. left = 0;
  524. right = solve_for_right();
  525. }
  526. // 3. 'width' and 'right' are 'auto' and 'left' is not 'auto',
  527. // then the width is shrink-to-fit. Then solve for 'right'
  528. else if (width.is_auto() && computed_right.is_auto() && !computed_left.is_auto()) {
  529. Rule3:
  530. auto result = calculate_shrink_to_fit_widths(box);
  531. auto available_width = solve_for_width();
  532. width = CSS::Length::make_px(min(max(result.preferred_minimum_width, available_width.to_px(box)), result.preferred_width));
  533. right = solve_for_right();
  534. }
  535. // 4. 'left' is 'auto', 'width' and 'right' are not 'auto', then solve for 'left'
  536. else if (computed_left.is_auto() && !width.is_auto() && !computed_right.is_auto()) {
  537. left = solve_for_left();
  538. }
  539. // 5. 'width' is 'auto', 'left' and 'right' are not 'auto', then solve for 'width'
  540. else if (width.is_auto() && !computed_left.is_auto() && !computed_right.is_auto()) {
  541. width = solve_for_width();
  542. }
  543. // 6. 'right' is 'auto', 'left' and 'width' are not 'auto', then solve for 'right'
  544. else if (computed_right.is_auto() && !computed_left.is_auto() && !width.is_auto()) {
  545. right = solve_for_right();
  546. }
  547. return width;
  548. };
  549. // 1. The tentative used width is calculated (without 'min-width' and 'max-width')
  550. auto used_width = try_compute_width(calculate_inner_width(box, available_space.width, computed_values.width()));
  551. // 2. The tentative used width is greater than 'max-width', the rules above are applied again,
  552. // but this time using the computed value of 'max-width' as the computed value for 'width'.
  553. if (!computed_values.max_width().is_none()) {
  554. auto max_width = calculate_inner_width(box, available_space.width, computed_values.max_width());
  555. if (used_width.to_px(box) > max_width.to_px(box)) {
  556. used_width = try_compute_width(max_width);
  557. }
  558. }
  559. // 3. If the resulting width is smaller than 'min-width', the rules above are applied again,
  560. // but this time using the value of 'min-width' as the computed value for 'width'.
  561. if (!computed_values.min_width().is_auto()) {
  562. auto min_width = calculate_inner_width(box, available_space.width, computed_values.min_width());
  563. if (used_width.to_px(box) < min_width.to_px(box)) {
  564. used_width = try_compute_width(min_width);
  565. }
  566. }
  567. auto& box_state = m_state.get_mutable(box);
  568. box_state.set_content_width(used_width.to_px(box));
  569. box_state.margin_left = margin_left.to_px(box);
  570. box_state.margin_right = margin_right.to_px(box);
  571. box_state.border_left = border_left;
  572. box_state.border_right = border_right;
  573. box_state.padding_left = padding_left;
  574. box_state.padding_right = padding_right;
  575. }
  576. void FormattingContext::compute_width_for_absolutely_positioned_replaced_element(ReplacedBox const& box, AvailableSpace const& available_space)
  577. {
  578. // 10.3.8 Absolutely positioned, replaced elements
  579. // The used value of 'width' is determined as for inline replaced elements.
  580. // FIXME: This const_cast is gross.
  581. const_cast<ReplacedBox&>(box).prepare_for_replaced_layout();
  582. m_state.get_mutable(box).set_content_width(compute_width_for_replaced_element(m_state, box, available_space));
  583. }
  584. // https://drafts.csswg.org/css-position-3/#abs-non-replaced-height
  585. void FormattingContext::compute_height_for_absolutely_positioned_non_replaced_element(Box const& box, AvailableSpace const& available_space, BeforeOrAfterInsideLayout before_or_after_inside_layout)
  586. {
  587. // 5.3. The Height Of Absolutely Positioned, Non-Replaced Elements
  588. // For absolutely positioned elements, the used values of the vertical dimensions must satisfy this constraint:
  589. // top + margin-top + border-top-width + padding-top + height + padding-bottom + border-bottom-width + margin-bottom + bottom = height of containing block
  590. // NOTE: This function is called twice: both before and after inside layout.
  591. // In the before pass, if it turns out we need the automatic height of the box, we abort these steps.
  592. // This allows the box to retain an indefinite height from the perspective of inside layout.
  593. auto margin_top = box.computed_values().margin().top();
  594. auto margin_bottom = box.computed_values().margin().bottom();
  595. auto top = box.computed_values().inset().top();
  596. auto bottom = box.computed_values().inset().bottom();
  597. auto height = box.computed_values().height();
  598. auto width_of_containing_block = containing_block_width_for(box);
  599. auto width_of_containing_block_as_length = CSS::Length::make_px(width_of_containing_block);
  600. auto height_of_containing_block = available_space.height.to_px();
  601. auto height_of_containing_block_as_length = CSS::Length::make_px(height_of_containing_block);
  602. enum class ClampToZero {
  603. No,
  604. Yes,
  605. };
  606. auto solve_for = [&](CSS::Length length, ClampToZero clamp_to_zero = ClampToZero::No) {
  607. auto unclamped_value = height_of_containing_block
  608. - top.to_px(box, height_of_containing_block)
  609. - margin_top.to_px(box, width_of_containing_block)
  610. - box.computed_values().border_top().width
  611. - box.computed_values().padding().top().to_px(box, width_of_containing_block)
  612. - height.to_px(box, height_of_containing_block)
  613. - box.computed_values().padding().bottom().to_px(box, width_of_containing_block)
  614. - box.computed_values().border_bottom().width
  615. - margin_bottom.to_px(box, width_of_containing_block)
  616. - bottom.to_px(box, height_of_containing_block)
  617. + length.to_px(box);
  618. if (clamp_to_zero == ClampToZero::Yes)
  619. return CSS::Length::make_px(max(CSSPixels(0), unclamped_value));
  620. return CSS::Length::make_px(unclamped_value);
  621. };
  622. auto solve_for_top = [&] {
  623. top = solve_for(top.resolved(box, height_of_containing_block_as_length));
  624. };
  625. auto solve_for_bottom = [&] {
  626. bottom = solve_for(bottom.resolved(box, height_of_containing_block_as_length));
  627. };
  628. auto solve_for_height = [&] {
  629. height = CSS::Size::make_length(solve_for(height.resolved(box, height_of_containing_block_as_length), ClampToZero::Yes));
  630. };
  631. auto solve_for_margin_top = [&] {
  632. margin_top = solve_for(margin_top.resolved(box, width_of_containing_block_as_length));
  633. };
  634. auto solve_for_margin_bottom = [&] {
  635. margin_bottom = solve_for(margin_bottom.resolved(box, width_of_containing_block_as_length));
  636. };
  637. auto solve_for_margin_top_and_margin_bottom = [&] {
  638. auto remainder = solve_for(CSS::Length::make_px(margin_top.to_px(box, width_of_containing_block) + margin_bottom.to_px(box, width_of_containing_block))).to_px(box);
  639. margin_top = CSS::Length::make_px(remainder / 2);
  640. margin_bottom = CSS::Length::make_px(remainder / 2);
  641. };
  642. // If all three of top, height, and bottom are auto:
  643. if (top.is_auto() && height.is_auto() && bottom.is_auto()) {
  644. // (If we haven't done inside layout yet, we can't compute the auto height.)
  645. if (before_or_after_inside_layout == BeforeOrAfterInsideLayout::Before)
  646. return;
  647. // First set any auto values for margin-top and margin-bottom to 0,
  648. if (margin_top.is_auto())
  649. margin_top = CSS::Length::make_px(0);
  650. if (margin_bottom.is_auto())
  651. margin_bottom = CSS::Length::make_px(0);
  652. // then set top to the static position,
  653. auto static_position = calculate_static_position(box);
  654. top = CSS::Length::make_px(static_position.y());
  655. // and finally apply rule number three below.
  656. height = CSS::Size::make_px(compute_auto_height_for_block_formatting_context_root(box));
  657. solve_for_bottom();
  658. }
  659. // If none of the three are auto:
  660. else if (!top.is_auto() && !height.is_auto() && !bottom.is_auto()) {
  661. // If both margin-top and margin-bottom are auto,
  662. if (margin_top.is_auto() && margin_bottom.is_auto()) {
  663. // solve the equation under the extra constraint that the two margins get equal values.
  664. solve_for_margin_top_and_margin_bottom();
  665. }
  666. // If one of margin-top or margin-bottom is auto,
  667. else if (margin_top.is_auto() || margin_bottom.is_auto()) {
  668. // solve the equation for that value.
  669. if (margin_top.is_auto())
  670. solve_for_margin_top();
  671. else
  672. solve_for_margin_bottom();
  673. }
  674. // If the values are over-constrained,
  675. else {
  676. // ignore the value for bottom and solve for that value.
  677. solve_for_bottom();
  678. }
  679. }
  680. // Otherwise,
  681. else {
  682. // set auto values for margin-top and margin-bottom to 0,
  683. if (margin_top.is_auto())
  684. margin_top = CSS::Length::make_px(0);
  685. if (margin_bottom.is_auto())
  686. margin_bottom = CSS::Length::make_px(0);
  687. // and pick one of the following six rules that apply.
  688. // 1. If top and height are auto and bottom is not auto,
  689. if (top.is_auto() && height.is_auto() && !bottom.is_auto()) {
  690. // (If we haven't done inside layout yet, we can't compute the auto height.)
  691. if (before_or_after_inside_layout == BeforeOrAfterInsideLayout::Before)
  692. return;
  693. // then the height is based on the Auto heights for block formatting context roots,
  694. height = CSS::Size::make_px(compute_auto_height_for_block_formatting_context_root(box));
  695. // and solve for top.
  696. solve_for_top();
  697. }
  698. // 2. If top and bottom are auto and height is not auto,
  699. else if (top.is_auto() && bottom.is_auto() && !height.is_auto()) {
  700. // then set top to the static position,
  701. top = CSS::Length::make_px(calculate_static_position(box).y());
  702. // then solve for bottom.
  703. solve_for_bottom();
  704. }
  705. // 3. If height and bottom are auto and top is not auto,
  706. else if (height.is_auto() && bottom.is_auto() && !top.is_auto()) {
  707. // (If we haven't done inside layout yet, we can't compute the auto height.)
  708. if (before_or_after_inside_layout == BeforeOrAfterInsideLayout::Before)
  709. return;
  710. // then the height is based on the Auto heights for block formatting context roots,
  711. height = CSS::Size::make_px(compute_auto_height_for_block_formatting_context_root(box));
  712. // and solve for bottom.
  713. solve_for_bottom();
  714. }
  715. // 4. If top is auto, height and bottom are not auto,
  716. else if (top.is_auto() && !height.is_auto() && !bottom.is_auto()) {
  717. // then solve for top.
  718. solve_for_top();
  719. }
  720. // 5. If height is auto, top and bottom are not auto,
  721. else if (height.is_auto() && !top.is_auto() && !bottom.is_auto()) {
  722. // then solve for height.
  723. solve_for_height();
  724. }
  725. // 6. If bottom is auto, top and height are not auto,
  726. else if (bottom.is_auto() && !top.is_auto() && !height.is_auto()) {
  727. // then solve for bottom.
  728. solve_for_bottom();
  729. }
  730. }
  731. // Compute the height based on box type and CSS properties:
  732. // https://www.w3.org/TR/css-sizing-3/#box-sizing
  733. CSSPixels used_height = 0;
  734. if (should_treat_height_as_auto(box, available_space)) {
  735. used_height = height.to_px(box, height_of_containing_block);
  736. } else {
  737. used_height = calculate_inner_height(box, available_space.height, height).to_px(box);
  738. }
  739. auto const& computed_min_height = box.computed_values().min_height();
  740. auto const& computed_max_height = box.computed_values().max_height();
  741. if (!computed_max_height.is_none()) {
  742. auto inner_max_height = calculate_inner_height(box, available_space.height, computed_max_height);
  743. used_height = min(used_height, inner_max_height.to_px(box));
  744. }
  745. if (!computed_min_height.is_auto()) {
  746. auto inner_min_height = calculate_inner_height(box, available_space.height, computed_min_height);
  747. used_height = max(used_height, inner_min_height.to_px(box));
  748. }
  749. // NOTE: The following is not directly part of any spec, but this is where we resolve
  750. // the final used values for vertical margin/border/padding.
  751. auto& box_state = m_state.get_mutable(box);
  752. box_state.margin_top = margin_top.to_px(box, width_of_containing_block);
  753. box_state.margin_bottom = margin_bottom.to_px(box, width_of_containing_block);
  754. box_state.border_top = box.computed_values().border_top().width;
  755. box_state.border_bottom = box.computed_values().border_bottom().width;
  756. box_state.padding_top = box.computed_values().padding().top().to_px(box, width_of_containing_block);
  757. box_state.padding_bottom = box.computed_values().padding().bottom().to_px(box, width_of_containing_block);
  758. // And here is where we assign the box's content height.
  759. box_state.set_content_height(used_height);
  760. }
  761. // NOTE: This is different from content_box_rect_in_ancestor_coordinate_space() as this does *not* follow the containing block chain up, but rather the parent() chain.
  762. static CSSPixelRect content_box_rect_in_static_position_ancestor_coordinate_space(Box const& box, Box const& ancestor_box, LayoutState const& state)
  763. {
  764. auto rect = content_box_rect(box, state);
  765. if (&box == &ancestor_box)
  766. return rect;
  767. for (auto const* current = box.parent(); current; current = current->parent()) {
  768. if (current == &ancestor_box)
  769. return rect;
  770. auto const& current_state = state.get(static_cast<Box const&>(*current));
  771. rect.translate_by(current_state.offset);
  772. }
  773. // If we get here, ancestor_box was not an ancestor of `box`!
  774. VERIFY_NOT_REACHED();
  775. }
  776. // https://www.w3.org/TR/css-position-3/#staticpos-rect
  777. CSSPixelPoint FormattingContext::calculate_static_position(Box const& box) const
  778. {
  779. // NOTE: This is very ad-hoc.
  780. // The purpose of this function is to calculate the approximate position that `box`
  781. // would have had if it were position:static.
  782. CSSPixels x = 0.0f;
  783. CSSPixels y = 0.0f;
  784. VERIFY(box.parent());
  785. if (box.parent()->children_are_inline()) {
  786. // We're an abspos box with inline siblings. This is gonna get messy!
  787. if (auto* sibling = box.previous_sibling()) {
  788. // Hard case: there's a previous sibling. This means there's already inline content
  789. // preceding the hypothetical static position of `box` within its containing block.
  790. // If we had been position:static, that inline content would have been wrapped in
  791. // anonymous block box, so now we get to imagine what the world might have looked like
  792. // in that scenario..
  793. // Basically, we find its last associated line box fragment and place `box` under it.
  794. // FIXME: I'm 100% sure this can be smarter, better and faster.
  795. LineBoxFragment const* last_fragment = nullptr;
  796. auto& cb_state = m_state.get(*sibling->containing_block());
  797. for (auto& line_box : cb_state.line_boxes) {
  798. for (auto& fragment : line_box.fragments()) {
  799. if (&fragment.layout_node() == sibling)
  800. last_fragment = &fragment;
  801. }
  802. }
  803. if (last_fragment) {
  804. y = (last_fragment->offset().y() + last_fragment->height()).value();
  805. }
  806. } else {
  807. // Easy case: no previous sibling, we're at the top of the containing block.
  808. }
  809. } else {
  810. x = m_state.get(box).margin_box_left();
  811. // We're among block siblings, Y can be calculated easily.
  812. y = m_state.get(box).margin_box_top();
  813. }
  814. auto offset_to_static_parent = content_box_rect_in_static_position_ancestor_coordinate_space(box, *box.containing_block(), m_state);
  815. return offset_to_static_parent.location().translated(x, y);
  816. }
  817. void FormattingContext::layout_absolutely_positioned_element(Box const& box, AvailableSpace const& available_space)
  818. {
  819. auto& containing_block_state = m_state.get_mutable(*box.containing_block());
  820. auto& box_state = m_state.get_mutable(box);
  821. auto width_of_containing_block = available_space.width.to_px();
  822. auto height_of_containing_block = available_space.height.to_px();
  823. auto width_of_containing_block_as_length = CSS::Length::make_px(width_of_containing_block);
  824. auto height_of_containing_block_as_length = CSS::Length::make_px(height_of_containing_block);
  825. compute_width_for_absolutely_positioned_element(box, available_space);
  826. // NOTE: We compute height before *and* after doing inside layout.
  827. // This is done so that inside layout can resolve percentage heights.
  828. // In some situations, e.g with non-auto top & bottom values, the height can be determined early.
  829. compute_height_for_absolutely_positioned_element(box, available_space, BeforeOrAfterInsideLayout::Before);
  830. auto independent_formatting_context = layout_inside(box, LayoutMode::Normal, box_state.available_inner_space_or_constraints_from(available_space));
  831. compute_height_for_absolutely_positioned_element(box, available_space, BeforeOrAfterInsideLayout::After);
  832. box_state.margin_left = box.computed_values().margin().left().to_px(box, width_of_containing_block);
  833. box_state.margin_top = box.computed_values().margin().top().to_px(box, width_of_containing_block);
  834. box_state.margin_right = box.computed_values().margin().right().to_px(box, width_of_containing_block);
  835. box_state.margin_bottom = box.computed_values().margin().bottom().to_px(box, width_of_containing_block);
  836. box_state.border_left = box.computed_values().border_left().width;
  837. box_state.border_right = box.computed_values().border_right().width;
  838. box_state.border_top = box.computed_values().border_top().width;
  839. box_state.border_bottom = box.computed_values().border_bottom().width;
  840. auto const& computed_left = box.computed_values().inset().left();
  841. auto const& computed_right = box.computed_values().inset().right();
  842. auto const& computed_top = box.computed_values().inset().top();
  843. auto const& computed_bottom = box.computed_values().inset().bottom();
  844. box_state.inset_left = computed_left.to_px(box, width_of_containing_block);
  845. box_state.inset_top = computed_top.to_px(box, height_of_containing_block);
  846. box_state.inset_right = computed_right.to_px(box, width_of_containing_block);
  847. box_state.inset_bottom = computed_bottom.to_px(box, height_of_containing_block);
  848. if (computed_left.is_auto() && box.computed_values().width().is_auto() && computed_right.is_auto()) {
  849. if (box.computed_values().margin().left().is_auto())
  850. box_state.margin_left = 0;
  851. if (box.computed_values().margin().right().is_auto())
  852. box_state.margin_right = 0;
  853. }
  854. auto static_position = calculate_static_position(box);
  855. CSSPixelPoint used_offset;
  856. if (!computed_left.is_auto()) {
  857. CSSPixels x_offset = box_state.inset_left
  858. + box_state.border_box_left();
  859. used_offset.set_x(x_offset + box_state.margin_left);
  860. } else if (!computed_right.is_auto()) {
  861. CSSPixels x_offset = CSSPixels(0)
  862. - box_state.inset_right
  863. - box_state.border_box_right();
  864. used_offset.set_x(width_of_containing_block + x_offset - box_state.content_width() - box_state.margin_right);
  865. } else {
  866. // NOTE: static position is content box position so border_box and margin should not be added
  867. used_offset.set_x(static_position.x());
  868. }
  869. if (!computed_top.is_auto()) {
  870. CSSPixels y_offset = box_state.inset_top
  871. + box_state.border_box_top();
  872. used_offset.set_y(y_offset + box_state.margin_top);
  873. } else if (!computed_bottom.is_auto()) {
  874. CSSPixels y_offset = CSSPixels(0)
  875. - box_state.inset_bottom
  876. - box_state.border_box_bottom();
  877. used_offset.set_y(height_of_containing_block + y_offset - box_state.content_height() - box_state.margin_bottom);
  878. } else {
  879. // NOTE: static position is content box position so border_box and margin should not be added
  880. used_offset.set_y(static_position.y());
  881. }
  882. // NOTE: Absolutely positioned boxes are relative to the *padding edge* of the containing block.
  883. used_offset.translate_by(-containing_block_state.padding_left, -containing_block_state.padding_top);
  884. box_state.set_content_offset(used_offset);
  885. if (independent_formatting_context)
  886. independent_formatting_context->parent_context_did_dimension_child_root_box();
  887. }
  888. void FormattingContext::compute_height_for_absolutely_positioned_replaced_element(ReplacedBox const& box, AvailableSpace const& available_space, BeforeOrAfterInsideLayout)
  889. {
  890. // 10.6.5 Absolutely positioned, replaced elements
  891. // The used value of 'height' is determined as for inline replaced elements.
  892. m_state.get_mutable(box).set_content_height(compute_height_for_replaced_element(m_state, box, available_space));
  893. }
  894. // https://www.w3.org/TR/css-position-3/#relpos-insets
  895. void FormattingContext::compute_inset(Box const& box)
  896. {
  897. if (box.computed_values().position() != CSS::Position::Relative)
  898. return;
  899. auto resolve_two_opposing_insets = [&](CSS::LengthPercentage const& computed_first, CSS::LengthPercentage const& computed_second, CSSPixels& used_start, CSSPixels& used_end, CSSPixels reference_for_percentage) {
  900. auto resolved_first = computed_first.to_px(box, reference_for_percentage);
  901. auto resolved_second = computed_second.to_px(box, reference_for_percentage);
  902. if (computed_first.is_auto() && computed_second.is_auto()) {
  903. // If opposing inset properties in an axis both compute to auto (their initial values),
  904. // their used values are zero (i.e., the boxes stay in their original position in that axis).
  905. used_start = 0;
  906. used_end = 0;
  907. } else if (computed_first.is_auto() || computed_second.is_auto()) {
  908. // If only one is auto, its used value becomes the negation of the other, and the box is shifted by the specified amount.
  909. if (computed_first.is_auto()) {
  910. used_end = resolved_second;
  911. used_start = -used_end;
  912. } else {
  913. used_start = resolved_first;
  914. used_end = -used_start;
  915. }
  916. } else {
  917. // If neither is auto, the position is over-constrained; (with respect to the writing mode of its containing block)
  918. // the computed end side value is ignored, and its used value becomes the negation of the start side.
  919. used_start = resolved_first;
  920. used_end = -used_start;
  921. }
  922. };
  923. auto& box_state = m_state.get_mutable(box);
  924. auto const& computed_values = box.computed_values();
  925. // FIXME: Respect the containing block's writing-mode.
  926. resolve_two_opposing_insets(computed_values.inset().left(), computed_values.inset().right(), box_state.inset_left, box_state.inset_right, containing_block_width_for(box));
  927. resolve_two_opposing_insets(computed_values.inset().top(), computed_values.inset().bottom(), box_state.inset_top, box_state.inset_bottom, containing_block_height_for(box));
  928. }
  929. // https://drafts.csswg.org/css-sizing-3/#fit-content-size
  930. CSSPixels FormattingContext::calculate_fit_content_width(Layout::Box const& box, AvailableSpace const& available_space) const
  931. {
  932. // If the available space in a given axis is definite,
  933. // equal to clamp(min-content size, stretch-fit size, max-content size)
  934. // (i.e. max(min-content size, min(max-content size, stretch-fit size))).
  935. if (available_space.width.is_definite()) {
  936. return max(calculate_min_content_width(box),
  937. min(calculate_stretch_fit_width(box, available_space.width),
  938. calculate_max_content_width(box)));
  939. }
  940. // When sizing under a min-content constraint, equal to the min-content size.
  941. if (available_space.width.is_min_content())
  942. return calculate_min_content_width(box);
  943. // Otherwise, equal to the max-content size in that axis.
  944. return calculate_max_content_width(box);
  945. }
  946. // https://drafts.csswg.org/css-sizing-3/#fit-content-size
  947. CSSPixels FormattingContext::calculate_fit_content_height(Layout::Box const& box, AvailableSpace const& available_space) const
  948. {
  949. // If the available space in a given axis is definite,
  950. // equal to clamp(min-content size, stretch-fit size, max-content size)
  951. // (i.e. max(min-content size, min(max-content size, stretch-fit size))).
  952. if (available_space.height.is_definite()) {
  953. return max(calculate_min_content_height(box, available_space.width),
  954. min(calculate_stretch_fit_height(box, available_space.height),
  955. calculate_max_content_height(box, available_space.width)));
  956. }
  957. // When sizing under a min-content constraint, equal to the min-content size.
  958. if (available_space.height.is_min_content())
  959. return calculate_min_content_height(box, available_space.width);
  960. // Otherwise, equal to the max-content size in that axis.
  961. return calculate_max_content_height(box, available_space.width);
  962. }
  963. CSSPixels FormattingContext::calculate_min_content_width(Layout::Box const& box) const
  964. {
  965. if (box.has_intrinsic_width())
  966. return *box.intrinsic_width();
  967. auto& root_state = m_state.m_root;
  968. auto& cache = *root_state.intrinsic_sizes.ensure(&box, [] { return adopt_own(*new LayoutState::IntrinsicSizes); });
  969. if (cache.min_content_width.has_value())
  970. return *cache.min_content_width;
  971. LayoutState throwaway_state(&m_state);
  972. auto& box_state = throwaway_state.get_mutable(box);
  973. box_state.width_constraint = SizeConstraint::MinContent;
  974. box_state.set_indefinite_content_width();
  975. box_state.set_indefinite_content_height();
  976. auto context = const_cast<FormattingContext*>(this)->create_independent_formatting_context_if_needed(throwaway_state, box);
  977. VERIFY(context);
  978. auto available_width = AvailableSize::make_min_content();
  979. auto available_height = AvailableSize::make_indefinite();
  980. context->run(box, LayoutMode::IntrinsicSizing, AvailableSpace(available_width, available_height));
  981. cache.min_content_width = context->automatic_content_width();
  982. if (!isfinite(cache.min_content_width->value())) {
  983. // HACK: If layout calculates a non-finite result, something went wrong. Force it to zero and log a little whine.
  984. dbgln("FIXME: Calculated non-finite min-content width for {}", box.debug_description());
  985. cache.min_content_width = 0;
  986. }
  987. return *cache.min_content_width;
  988. }
  989. CSSPixels FormattingContext::calculate_max_content_width(Layout::Box const& box) const
  990. {
  991. if (box.has_intrinsic_width())
  992. return *box.intrinsic_width();
  993. auto& root_state = m_state.m_root;
  994. auto& cache = *root_state.intrinsic_sizes.ensure(&box, [] { return adopt_own(*new LayoutState::IntrinsicSizes); });
  995. if (cache.max_content_width.has_value())
  996. return *cache.max_content_width;
  997. LayoutState throwaway_state(&m_state);
  998. auto& box_state = throwaway_state.get_mutable(box);
  999. box_state.width_constraint = SizeConstraint::MaxContent;
  1000. box_state.set_indefinite_content_width();
  1001. box_state.set_indefinite_content_height();
  1002. auto context = const_cast<FormattingContext*>(this)->create_independent_formatting_context_if_needed(throwaway_state, box);
  1003. VERIFY(context);
  1004. auto available_width = AvailableSize::make_max_content();
  1005. auto available_height = AvailableSize::make_indefinite();
  1006. context->run(box, LayoutMode::IntrinsicSizing, AvailableSpace(available_width, available_height));
  1007. cache.max_content_width = context->automatic_content_width();
  1008. if (!isfinite(cache.max_content_width->value())) {
  1009. // HACK: If layout calculates a non-finite result, something went wrong. Force it to zero and log a little whine.
  1010. dbgln("FIXME: Calculated non-finite max-content width for {}", box.debug_description());
  1011. cache.max_content_width = 0;
  1012. }
  1013. return *cache.max_content_width;
  1014. }
  1015. // https://www.w3.org/TR/css-sizing-3/#min-content-block-size
  1016. CSSPixels FormattingContext::calculate_min_content_height(Layout::Box const& box, AvailableSize const& available_width) const
  1017. {
  1018. // For block containers, tables, and inline boxes, this is equivalent to the max-content block size.
  1019. if (box.is_block_container() || box.is_table())
  1020. return calculate_max_content_height(box, available_width);
  1021. if (box.has_intrinsic_height())
  1022. return *box.intrinsic_height();
  1023. bool is_cacheable = available_width.is_definite() || available_width.is_intrinsic_sizing_constraint();
  1024. auto get_cache_slot = [&]() -> Optional<CSSPixels>* {
  1025. if (!is_cacheable)
  1026. return {};
  1027. auto& root_state = m_state.m_root;
  1028. auto& cache = *root_state.intrinsic_sizes.ensure(&box, [] { return adopt_own(*new LayoutState::IntrinsicSizes); });
  1029. if (available_width.is_definite())
  1030. return &cache.min_content_height_with_definite_available_width.ensure(available_width.to_px());
  1031. if (available_width.is_min_content())
  1032. return &cache.min_content_height_with_min_content_available_width;
  1033. if (available_width.is_max_content())
  1034. return &cache.min_content_height_with_max_content_available_width;
  1035. return {};
  1036. };
  1037. if (auto* cache_slot = get_cache_slot(); cache_slot && cache_slot->has_value())
  1038. return cache_slot->value();
  1039. LayoutState throwaway_state(&m_state);
  1040. auto& box_state = throwaway_state.get_mutable(box);
  1041. box_state.height_constraint = SizeConstraint::MinContent;
  1042. box_state.set_indefinite_content_height();
  1043. if (available_width.is_definite())
  1044. box_state.set_content_width(available_width.to_px());
  1045. auto context = const_cast<FormattingContext*>(this)->create_independent_formatting_context_if_needed(throwaway_state, box);
  1046. VERIFY(context);
  1047. context->run(box, LayoutMode::IntrinsicSizing, AvailableSpace(available_width, AvailableSize::make_min_content()));
  1048. auto min_content_height = context->automatic_content_height();
  1049. if (!isfinite(min_content_height.value())) {
  1050. // HACK: If layout calculates a non-finite result, something went wrong. Force it to zero and log a little whine.
  1051. dbgln("FIXME: Calculated non-finite min-content height for {}", box.debug_description());
  1052. min_content_height = 0;
  1053. }
  1054. if (auto* cache_slot = get_cache_slot()) {
  1055. *cache_slot = min_content_height;
  1056. }
  1057. return min_content_height;
  1058. }
  1059. CSSPixels FormattingContext::calculate_max_content_height(Layout::Box const& box, AvailableSize const& available_width) const
  1060. {
  1061. if (box.has_intrinsic_aspect_ratio() && available_width.is_definite())
  1062. return available_width.to_px() / *box.intrinsic_aspect_ratio();
  1063. if (box.has_intrinsic_height())
  1064. return *box.intrinsic_height();
  1065. bool is_cacheable = available_width.is_definite() || available_width.is_intrinsic_sizing_constraint();
  1066. auto get_cache_slot = [&]() -> Optional<CSSPixels>* {
  1067. if (!is_cacheable)
  1068. return {};
  1069. auto& root_state = m_state.m_root;
  1070. auto& cache = *root_state.intrinsic_sizes.ensure(&box, [] { return adopt_own(*new LayoutState::IntrinsicSizes); });
  1071. if (available_width.is_definite())
  1072. return &cache.max_content_height_with_definite_available_width.ensure(available_width.to_px());
  1073. if (available_width.is_min_content())
  1074. return &cache.max_content_height_with_min_content_available_width;
  1075. if (available_width.is_max_content())
  1076. return &cache.max_content_height_with_max_content_available_width;
  1077. return {};
  1078. };
  1079. if (auto* cache_slot = get_cache_slot(); cache_slot && cache_slot->has_value())
  1080. return cache_slot->value();
  1081. LayoutState throwaway_state(&m_state);
  1082. auto& box_state = throwaway_state.get_mutable(box);
  1083. box_state.height_constraint = SizeConstraint::MaxContent;
  1084. box_state.set_indefinite_content_height();
  1085. if (available_width.is_definite())
  1086. box_state.set_content_width(available_width.to_px());
  1087. auto context = const_cast<FormattingContext*>(this)->create_independent_formatting_context_if_needed(throwaway_state, box);
  1088. VERIFY(context);
  1089. context->run(box, LayoutMode::IntrinsicSizing, AvailableSpace(available_width, AvailableSize::make_max_content()));
  1090. auto max_content_height = context->automatic_content_height();
  1091. if (!isfinite(max_content_height.value())) {
  1092. // HACK: If layout calculates a non-finite result, something went wrong. Force it to zero and log a little whine.
  1093. dbgln("FIXME: Calculated non-finite max-content height for {}", box.debug_description());
  1094. max_content_height = 0;
  1095. }
  1096. if (auto* cache_slot = get_cache_slot()) {
  1097. *cache_slot = max_content_height;
  1098. }
  1099. return max_content_height;
  1100. }
  1101. CSS::Length FormattingContext::calculate_inner_width(Layout::Box const& box, AvailableSize const& available_width, CSS::Size const& width) const
  1102. {
  1103. auto width_of_containing_block = available_width.to_px();
  1104. auto width_of_containing_block_as_length_for_resolve = CSS::Length::make_px(width_of_containing_block);
  1105. if (width.is_auto()) {
  1106. return width.resolved(box, width_of_containing_block_as_length_for_resolve);
  1107. }
  1108. auto& computed_values = box.computed_values();
  1109. if (computed_values.box_sizing() == CSS::BoxSizing::BorderBox) {
  1110. auto const padding_left = computed_values.padding().left().resolved(box, width_of_containing_block_as_length_for_resolve);
  1111. auto const padding_right = computed_values.padding().right().resolved(box, width_of_containing_block_as_length_for_resolve);
  1112. auto inner_width = width.to_px(box, width_of_containing_block)
  1113. - computed_values.border_left().width
  1114. - padding_left.to_px(box)
  1115. - computed_values.border_right().width
  1116. - padding_right.to_px(box);
  1117. return CSS::Length::make_px(max(inner_width, 0));
  1118. }
  1119. return width.resolved(box, width_of_containing_block_as_length_for_resolve);
  1120. }
  1121. CSS::Length FormattingContext::calculate_inner_height(Layout::Box const& box, AvailableSize const&, CSS::Size const& height) const
  1122. {
  1123. auto height_of_containing_block = m_state.get(*box.containing_block()).content_height();
  1124. auto height_of_containing_block_as_length_for_resolve = CSS::Length::make_px(height_of_containing_block);
  1125. if (height.is_auto()) {
  1126. return height.resolved(box, height_of_containing_block_as_length_for_resolve);
  1127. }
  1128. auto& computed_values = box.computed_values();
  1129. if (computed_values.box_sizing() == CSS::BoxSizing::BorderBox) {
  1130. auto width_of_containing_block = CSS::Length::make_px(containing_block_width_for(box));
  1131. auto const padding_top = computed_values.padding().top().resolved(box, width_of_containing_block);
  1132. auto const padding_bottom = computed_values.padding().bottom().resolved(box, width_of_containing_block);
  1133. auto inner_height = height.to_px(box, height_of_containing_block)
  1134. - computed_values.border_top().width
  1135. - padding_top.to_px(box)
  1136. - computed_values.border_bottom().width
  1137. - padding_bottom.to_px(box);
  1138. return CSS::Length::make_px(max(inner_height, 0));
  1139. }
  1140. return height.resolved(box, height_of_containing_block_as_length_for_resolve);
  1141. }
  1142. CSSPixels FormattingContext::containing_block_width_for(Box const& box, LayoutState const& state)
  1143. {
  1144. auto& containing_block_state = state.get(*box.containing_block());
  1145. auto& box_state = state.get(box);
  1146. switch (box_state.width_constraint) {
  1147. case SizeConstraint::MinContent:
  1148. return 0;
  1149. case SizeConstraint::MaxContent:
  1150. return INFINITY;
  1151. case SizeConstraint::None:
  1152. return containing_block_state.content_width();
  1153. }
  1154. VERIFY_NOT_REACHED();
  1155. }
  1156. CSSPixels FormattingContext::containing_block_height_for(Box const& box, LayoutState const& state)
  1157. {
  1158. auto& containing_block_state = state.get(*box.containing_block());
  1159. auto& box_state = state.get(box);
  1160. switch (box_state.height_constraint) {
  1161. case SizeConstraint::MinContent:
  1162. return 0;
  1163. case SizeConstraint::MaxContent:
  1164. return INFINITY;
  1165. case SizeConstraint::None:
  1166. return containing_block_state.content_height();
  1167. }
  1168. VERIFY_NOT_REACHED();
  1169. }
  1170. // https://drafts.csswg.org/css-sizing-3/#stretch-fit-size
  1171. CSSPixels FormattingContext::calculate_stretch_fit_width(Box const& box, AvailableSize const& available_width) const
  1172. {
  1173. // The size a box would take if its outer size filled the available space in the given axis;
  1174. // in other words, the stretch fit into the available space, if that is definite.
  1175. // Undefined if the available space is indefinite.
  1176. auto const& box_state = m_state.get(box);
  1177. return available_width.to_px()
  1178. - box_state.margin_left
  1179. - box_state.margin_right
  1180. - box_state.padding_left
  1181. - box_state.padding_right
  1182. - box_state.border_left
  1183. - box_state.border_right;
  1184. }
  1185. // https://drafts.csswg.org/css-sizing-3/#stretch-fit-size
  1186. CSSPixels FormattingContext::calculate_stretch_fit_height(Box const& box, AvailableSize const& available_height) const
  1187. {
  1188. // The size a box would take if its outer size filled the available space in the given axis;
  1189. // in other words, the stretch fit into the available space, if that is definite.
  1190. // Undefined if the available space is indefinite.
  1191. auto const& box_state = m_state.get(box);
  1192. return available_height.to_px()
  1193. - box_state.margin_top
  1194. - box_state.margin_bottom
  1195. - box_state.padding_top
  1196. - box_state.padding_bottom
  1197. - box_state.border_top
  1198. - box_state.border_bottom;
  1199. }
  1200. bool FormattingContext::should_treat_width_as_auto(Box const& box, AvailableSpace const& available_space)
  1201. {
  1202. return box.computed_values().width().is_auto()
  1203. || (box.computed_values().width().contains_percentage() && !available_space.width.is_definite());
  1204. }
  1205. bool FormattingContext::should_treat_height_as_auto(Box const& box, AvailableSpace const& available_space)
  1206. {
  1207. return box.computed_values().height().is_auto()
  1208. || (box.computed_values().height().contains_percentage() && !available_space.height.is_definite());
  1209. }
  1210. bool FormattingContext::can_skip_is_anonymous_text_run(Box& box)
  1211. {
  1212. if (box.is_anonymous() && !box.is_generated() && !box.first_child_of_type<BlockContainer>()) {
  1213. bool contains_only_white_space = true;
  1214. box.for_each_in_subtree([&](auto const& node) {
  1215. if (!is<TextNode>(node) || !static_cast<TextNode const&>(node).dom_node().data().is_whitespace()) {
  1216. contains_only_white_space = false;
  1217. return IterationDecision::Break;
  1218. }
  1219. return IterationDecision::Continue;
  1220. });
  1221. if (contains_only_white_space)
  1222. return true;
  1223. }
  1224. return false;
  1225. }
  1226. }