LayoutState.cpp 32 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690
  1. /*
  2. * Copyright (c) 2022-2024, Andreas Kling <andreas@ladybird.org>
  3. * Copyright (c) 2024, Sam Atkins <atkinssj@serenityos.org>
  4. * Copyright (c) 2024, Aliaksandr Kalenik <kalenik.aliaksandr@gmail.com>
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause
  7. */
  8. #include <AK/Debug.h>
  9. #include <LibWeb/DOM/ShadowRoot.h>
  10. #include <LibWeb/Layout/AvailableSpace.h>
  11. #include <LibWeb/Layout/BlockContainer.h>
  12. #include <LibWeb/Layout/InlineNode.h>
  13. #include <LibWeb/Layout/LayoutState.h>
  14. #include <LibWeb/Layout/Viewport.h>
  15. #include <LibWeb/Painting/SVGPathPaintable.h>
  16. #include <LibWeb/Painting/SVGSVGPaintable.h>
  17. #include <LibWeb/Painting/TextPaintable.h>
  18. namespace Web::Layout {
  19. LayoutState::LayoutState(LayoutState const* parent)
  20. : m_parent(parent)
  21. , m_root(find_root())
  22. {
  23. }
  24. LayoutState::~LayoutState()
  25. {
  26. }
  27. LayoutState::UsedValues& LayoutState::get_mutable(NodeWithStyle const& node)
  28. {
  29. if (auto* used_values = used_values_per_layout_node.get(node).value_or(nullptr))
  30. return *used_values;
  31. for (auto const* ancestor = m_parent; ancestor; ancestor = ancestor->m_parent) {
  32. if (auto* ancestor_used_values = ancestor->used_values_per_layout_node.get(node).value_or(nullptr)) {
  33. auto cow_used_values = adopt_own(*new UsedValues(*ancestor_used_values));
  34. auto* cow_used_values_ptr = cow_used_values.ptr();
  35. used_values_per_layout_node.set(node, move(cow_used_values));
  36. return *cow_used_values_ptr;
  37. }
  38. }
  39. auto const* containing_block_used_values = node.is_viewport() ? nullptr : &get(*node.containing_block());
  40. auto new_used_values = adopt_own(*new UsedValues);
  41. auto* new_used_values_ptr = new_used_values.ptr();
  42. new_used_values->set_node(const_cast<NodeWithStyle&>(node), containing_block_used_values);
  43. used_values_per_layout_node.set(node, move(new_used_values));
  44. return *new_used_values_ptr;
  45. }
  46. LayoutState::UsedValues const& LayoutState::get(NodeWithStyle const& node) const
  47. {
  48. if (auto const* used_values = used_values_per_layout_node.get(node).value_or(nullptr))
  49. return *used_values;
  50. for (auto const* ancestor = m_parent; ancestor; ancestor = ancestor->m_parent) {
  51. if (auto const* ancestor_used_values = ancestor->used_values_per_layout_node.get(node).value_or(nullptr))
  52. return *ancestor_used_values;
  53. }
  54. auto const* containing_block_used_values = node.is_viewport() ? nullptr : &get(*node.containing_block());
  55. auto new_used_values = adopt_own(*new UsedValues);
  56. auto* new_used_values_ptr = new_used_values.ptr();
  57. new_used_values->set_node(const_cast<NodeWithStyle&>(node), containing_block_used_values);
  58. const_cast<LayoutState*>(this)->used_values_per_layout_node.set(node, move(new_used_values));
  59. return *new_used_values_ptr;
  60. }
  61. // https://www.w3.org/TR/css-overflow-3/#scrollable-overflow
  62. static CSSPixelRect measure_scrollable_overflow(Box const& box)
  63. {
  64. if (!box.paintable_box())
  65. return {};
  66. auto& paintable_box = const_cast<Painting::PaintableBox&>(*box.paintable_box());
  67. if (paintable_box.scrollable_overflow_rect().has_value())
  68. return paintable_box.scrollable_overflow_rect().value();
  69. // The scrollable overflow area is the union of:
  70. // - The scroll container’s own padding box.
  71. auto scrollable_overflow_rect = paintable_box.absolute_padding_box_rect();
  72. // - All line boxes directly contained by the scroll container.
  73. if (is<Painting::PaintableWithLines>(box.first_paintable())) {
  74. for (auto const& fragment : static_cast<Painting::PaintableWithLines const&>(*box.first_paintable()).fragments()) {
  75. scrollable_overflow_rect = scrollable_overflow_rect.united(fragment.absolute_rect());
  76. }
  77. }
  78. auto content_overflow_rect = scrollable_overflow_rect;
  79. // - The border boxes of all boxes for which it is the containing block
  80. // and whose border boxes are positioned not wholly in the negative scrollable overflow region,
  81. // FIXME: accounting for transforms by projecting each box onto the plane of the element that establishes its 3D rendering context. [CSS3-TRANSFORMS]
  82. if (!box.children_are_inline()) {
  83. box.for_each_in_subtree_of_type<Box>([&box, &scrollable_overflow_rect, &content_overflow_rect](Box const& child) {
  84. if (!child.paintable_box())
  85. return TraversalDecision::Continue;
  86. if (child.containing_block() != &box)
  87. return TraversalDecision::Continue;
  88. auto child_border_box = child.paintable_box()->absolute_border_box_rect();
  89. // Border boxes with zero area do not affect the scrollable overflow area.
  90. if (child_border_box.is_empty())
  91. return TraversalDecision::Continue;
  92. // NOTE: Here we check that the child is not wholly in the negative scrollable overflow region.
  93. if (child_border_box.bottom() < 0 || child_border_box.right() < 0)
  94. return TraversalDecision::Continue;
  95. scrollable_overflow_rect = scrollable_overflow_rect.united(child_border_box);
  96. content_overflow_rect = content_overflow_rect.united(child_border_box);
  97. // - The scrollable overflow areas of all of the above boxes
  98. // (including zero-area boxes and accounting for transforms as described above),
  99. // provided they themselves have overflow: visible (i.e. do not themselves trap the overflow)
  100. // and that scrollable overflow is not already clipped (e.g. by the clip property or the contain property).
  101. if (is<Viewport>(box) || child.computed_values().overflow_x() == CSS::Overflow::Visible || child.computed_values().overflow_y() == CSS::Overflow::Visible) {
  102. auto child_scrollable_overflow = measure_scrollable_overflow(child);
  103. if (is<Viewport>(box) || child.computed_values().overflow_x() == CSS::Overflow::Visible)
  104. scrollable_overflow_rect.unite_horizontally(child_scrollable_overflow);
  105. if (is<Viewport>(box) || child.computed_values().overflow_y() == CSS::Overflow::Visible)
  106. scrollable_overflow_rect.unite_vertically(child_scrollable_overflow);
  107. }
  108. return TraversalDecision::Continue;
  109. });
  110. }
  111. // FIXME: - The margin areas of grid item and flex item boxes for which the box establishes a containing block.
  112. // - Additional padding added to the end-side of the scrollable overflow rectangle as necessary
  113. // to enable a scroll position that satisfies the requirements of place-content: end alignment.
  114. auto has_scrollable_overflow = !paintable_box.absolute_padding_box_rect().contains(scrollable_overflow_rect);
  115. if (has_scrollable_overflow) {
  116. scrollable_overflow_rect.set_height(max(scrollable_overflow_rect.height(), content_overflow_rect.height() + box.box_model().padding.bottom));
  117. }
  118. paintable_box.set_overflow_data(Painting::PaintableBox::OverflowData {
  119. .scrollable_overflow_rect = scrollable_overflow_rect,
  120. .has_scrollable_overflow = has_scrollable_overflow,
  121. });
  122. return scrollable_overflow_rect;
  123. }
  124. void LayoutState::resolve_relative_positions()
  125. {
  126. // This function resolves relative position offsets of fragments that belong to inline paintables.
  127. // It runs *after* the paint tree has been constructed, so it modifies paintable node & fragment offsets directly.
  128. for (auto& it : used_values_per_layout_node) {
  129. auto& used_values = *it.value;
  130. auto& node = const_cast<NodeWithStyle&>(used_values.node());
  131. for (auto& paintable : node.paintables()) {
  132. if (!(is<Painting::PaintableWithLines>(paintable) && is<Layout::InlineNode>(paintable.layout_node())))
  133. continue;
  134. auto const& inline_paintable = static_cast<Painting::PaintableWithLines&>(paintable);
  135. for (auto& fragment : inline_paintable.fragments()) {
  136. auto const& fragment_node = fragment.layout_node();
  137. if (!is<Layout::NodeWithStyleAndBoxModelMetrics>(*fragment_node.parent()))
  138. continue;
  139. // Collect effective relative position offset from inline-flow parent chain.
  140. CSSPixelPoint offset;
  141. for (auto* ancestor = fragment_node.parent(); ancestor; ancestor = ancestor->parent()) {
  142. if (!is<Layout::NodeWithStyleAndBoxModelMetrics>(*ancestor))
  143. break;
  144. if (!ancestor->display().is_inline_outside() || !ancestor->display().is_flow_inside())
  145. break;
  146. if (ancestor->computed_values().position() == CSS::Positioning::Relative) {
  147. auto const& ancestor_node = static_cast<Layout::NodeWithStyleAndBoxModelMetrics const&>(*ancestor);
  148. auto const& inset = ancestor_node.box_model().inset;
  149. offset.translate_by(inset.left, inset.top);
  150. }
  151. }
  152. const_cast<Painting::PaintableFragment&>(fragment).set_offset(fragment.offset().translated(offset));
  153. }
  154. }
  155. }
  156. }
  157. static void build_paint_tree(Node& node, Painting::Paintable* parent_paintable = nullptr)
  158. {
  159. for (auto& paintable : node.paintables()) {
  160. if (parent_paintable && !paintable.forms_unconnected_subtree()) {
  161. VERIFY(!paintable.parent());
  162. parent_paintable->append_child(paintable);
  163. }
  164. paintable.set_dom_node(node.dom_node());
  165. if (node.dom_node())
  166. node.dom_node()->set_paintable(paintable);
  167. }
  168. for (auto* child = node.first_child(); child; child = child->next_sibling()) {
  169. build_paint_tree(*child, node.first_paintable());
  170. }
  171. }
  172. void LayoutState::commit(Box& root)
  173. {
  174. // Only the top-level LayoutState should ever be committed.
  175. VERIFY(!m_parent);
  176. // NOTE: In case this is a relayout of an existing tree, we start by detaching the old paint tree
  177. // from the layout tree. This is done to ensure that we don't end up with any old-tree pointers
  178. // when text paintables shift around in the tree.
  179. root.for_each_in_inclusive_subtree([&](Layout::Node& node) {
  180. node.clear_paintables();
  181. return TraversalDecision::Continue;
  182. });
  183. HashTable<Layout::InlineNode*> inline_nodes;
  184. root.document().for_each_shadow_including_inclusive_descendant([&](DOM::Node& node) {
  185. node.clear_paintable();
  186. if (node.layout_node() && is<InlineNode>(node.layout_node())) {
  187. inline_nodes.set(static_cast<InlineNode*>(node.layout_node()));
  188. }
  189. return TraversalDecision::Continue;
  190. });
  191. HashTable<Layout::TextNode*> text_nodes;
  192. HashTable<Painting::PaintableWithLines*> inline_node_paintables;
  193. auto try_to_relocate_fragment_in_inline_node = [&](auto& fragment, size_t line_index) -> bool {
  194. for (auto const* parent = fragment.layout_node().parent(); parent; parent = parent->parent()) {
  195. if (is<InlineNode>(*parent)) {
  196. auto& inline_node = const_cast<InlineNode&>(static_cast<InlineNode const&>(*parent));
  197. auto line_paintable = inline_node.create_paintable_for_line_with_index(line_index);
  198. line_paintable->add_fragment(fragment);
  199. if (!inline_node_paintables.contains(line_paintable.ptr())) {
  200. inline_node_paintables.set(line_paintable.ptr());
  201. inline_node.add_paintable(line_paintable);
  202. }
  203. return true;
  204. }
  205. }
  206. return false;
  207. };
  208. for (auto& it : used_values_per_layout_node) {
  209. auto& used_values = *it.value;
  210. auto& node = const_cast<NodeWithStyle&>(used_values.node());
  211. if (is<NodeWithStyleAndBoxModelMetrics>(node)) {
  212. // Transfer box model metrics.
  213. auto& box_model = static_cast<NodeWithStyleAndBoxModelMetrics&>(node).box_model();
  214. box_model.inset = { used_values.inset_top, used_values.inset_right, used_values.inset_bottom, used_values.inset_left };
  215. box_model.padding = { used_values.padding_top, used_values.padding_right, used_values.padding_bottom, used_values.padding_left };
  216. box_model.border = { used_values.border_top, used_values.border_right, used_values.border_bottom, used_values.border_left };
  217. box_model.margin = { used_values.margin_top, used_values.margin_right, used_values.margin_bottom, used_values.margin_left };
  218. }
  219. auto paintable = node.create_paintable();
  220. node.add_paintable(paintable);
  221. // For boxes, transfer all the state needed for painting.
  222. if (paintable && is<Painting::PaintableBox>(*paintable)) {
  223. auto& paintable_box = static_cast<Painting::PaintableBox&>(*paintable);
  224. paintable_box.set_offset(used_values.offset);
  225. paintable_box.set_content_size(used_values.content_width(), used_values.content_height());
  226. if (used_values.override_borders_data().has_value()) {
  227. paintable_box.set_override_borders_data(used_values.override_borders_data().value());
  228. }
  229. if (used_values.table_cell_coordinates().has_value()) {
  230. paintable_box.set_table_cell_coordinates(used_values.table_cell_coordinates().value());
  231. }
  232. if (is<Painting::PaintableWithLines>(paintable_box)) {
  233. auto& paintable_with_lines = static_cast<Painting::PaintableWithLines&>(paintable_box);
  234. for (size_t line_index = 0; line_index < used_values.line_boxes.size(); ++line_index) {
  235. auto& line_box = used_values.line_boxes[line_index];
  236. for (auto& fragment : line_box.fragments()) {
  237. if (fragment.layout_node().is_text_node())
  238. text_nodes.set(static_cast<Layout::TextNode*>(const_cast<Layout::Node*>(&fragment.layout_node())));
  239. auto did_relocate_fragment = try_to_relocate_fragment_in_inline_node(fragment, line_index);
  240. if (!did_relocate_fragment) {
  241. paintable_with_lines.add_fragment(fragment);
  242. }
  243. }
  244. }
  245. }
  246. if (used_values.computed_svg_transforms().has_value() && is<Painting::SVGGraphicsPaintable>(paintable_box)) {
  247. auto& svg_graphics_paintable = static_cast<Painting::SVGGraphicsPaintable&>(paintable_box);
  248. svg_graphics_paintable.set_computed_transforms(*used_values.computed_svg_transforms());
  249. }
  250. if (used_values.computed_svg_path().has_value() && is<Painting::SVGPathPaintable>(paintable_box)) {
  251. auto& svg_geometry_paintable = static_cast<Painting::SVGPathPaintable&>(paintable_box);
  252. svg_geometry_paintable.set_computed_path(move(*used_values.computed_svg_path()));
  253. }
  254. if (node.display().is_grid_inside()) {
  255. paintable_box.set_used_values_for_grid_template_columns(used_values.grid_template_columns());
  256. paintable_box.set_used_values_for_grid_template_rows(used_values.grid_template_rows());
  257. }
  258. }
  259. }
  260. // Create paintables for inline nodes without fragments to make possible querying their geometry.
  261. for (auto& inline_node : inline_nodes) {
  262. auto* paintable = inline_node->first_paintable();
  263. if (paintable)
  264. continue;
  265. paintable = inline_node->create_paintable_for_line_with_index(0);
  266. inline_node->add_paintable(paintable);
  267. }
  268. // Resolve relative positions for regular boxes (not line box fragments):
  269. // NOTE: This needs to occur before fragments are transferred into the corresponding inline paintables, because
  270. // after this transfer, the containing_line_box_fragment will no longer be valid.
  271. for (auto& it : used_values_per_layout_node) {
  272. auto& used_values = *it.value;
  273. auto& node = const_cast<NodeWithStyle&>(used_values.node());
  274. if (!node.is_box())
  275. continue;
  276. auto& paintable = static_cast<Painting::PaintableBox&>(*node.first_paintable());
  277. CSSPixelPoint offset;
  278. if (used_values.containing_line_box_fragment.has_value()) {
  279. // Atomic inline case:
  280. // We know that `node` is an atomic inline because `containing_line_box_fragments` refers to the
  281. // line box fragment in the parent block container that contains it.
  282. auto const& containing_line_box_fragment = used_values.containing_line_box_fragment.value();
  283. auto const& containing_block = *node.containing_block();
  284. auto const& containing_block_used_values = get(containing_block);
  285. auto const& fragment = containing_block_used_values.line_boxes[containing_line_box_fragment.line_box_index].fragments()[containing_line_box_fragment.fragment_index];
  286. // The fragment has the final offset for the atomic inline, so we just need to copy it from there.
  287. offset = fragment.offset();
  288. } else {
  289. // Not an atomic inline, much simpler case.
  290. offset = used_values.offset;
  291. }
  292. // Apply relative position inset if appropriate.
  293. if (node.computed_values().position() == CSS::Positioning::Relative && is<NodeWithStyleAndBoxModelMetrics>(node)) {
  294. auto const& inset = static_cast<NodeWithStyleAndBoxModelMetrics const&>(node).box_model().inset;
  295. offset.translate_by(inset.left, inset.top);
  296. }
  297. paintable.set_offset(offset);
  298. }
  299. for (auto* text_node : text_nodes) {
  300. text_node->add_paintable(text_node->create_paintable());
  301. auto* paintable = text_node->first_paintable();
  302. auto const& font = text_node->first_available_font();
  303. auto const glyph_height = CSSPixels::nearest_value_for(font.pixel_size());
  304. auto const css_line_thickness = [&] {
  305. auto computed_thickness = text_node->computed_values().text_decoration_thickness().resolved(*text_node, CSS::Length(1, CSS::Length::Type::Em).to_px(*text_node));
  306. if (computed_thickness.is_auto())
  307. return max(glyph_height.scaled(0.1), 1);
  308. return computed_thickness.to_px(*text_node);
  309. }();
  310. auto& text_paintable = static_cast<Painting::TextPaintable&>(*paintable);
  311. text_paintable.set_text_decoration_thickness(css_line_thickness);
  312. }
  313. build_paint_tree(root);
  314. resolve_relative_positions();
  315. // Measure size of paintables created for inline nodes.
  316. for (auto& paintable_with_lines : inline_node_paintables) {
  317. if (!is<InlineNode>(paintable_with_lines->layout_node())) {
  318. continue;
  319. }
  320. auto const& fragments = paintable_with_lines->fragments();
  321. if (fragments.is_empty()) {
  322. continue;
  323. }
  324. paintable_with_lines->set_offset(fragments.first().offset());
  325. CSSPixelSize size;
  326. for (auto const& fragment : fragments) {
  327. size.set_width(size.width() + fragment.width());
  328. size.set_height(max(size.height(), fragment.height()));
  329. }
  330. paintable_with_lines->set_content_size(size.width(), size.height());
  331. }
  332. // Measure overflow in scroll containers.
  333. for (auto& it : used_values_per_layout_node) {
  334. auto& used_values = *it.value;
  335. if (!used_values.node().is_box())
  336. continue;
  337. auto const& box = static_cast<Layout::Box const&>(used_values.node());
  338. measure_scrollable_overflow(box);
  339. // The scroll offset can become invalid if the scrollable overflow rectangle has changed after layout.
  340. // For example, if the scroll container has been scrolled to the very end and is then resized to become larger
  341. // (scrollable overflow rect become smaller), the scroll offset would be out of bounds.
  342. auto& paintable_box = const_cast<Painting::PaintableBox&>(*box.paintable_box());
  343. if (!paintable_box.scroll_offset().is_zero())
  344. paintable_box.set_scroll_offset(paintable_box.scroll_offset());
  345. }
  346. for (auto& it : used_values_per_layout_node) {
  347. auto& used_values = *it.value;
  348. if (!used_values.node().is_box())
  349. continue;
  350. auto const& box = static_cast<Layout::Box const&>(used_values.node());
  351. auto& paintable_box = const_cast<Painting::PaintableBox&>(*box.paintable_box());
  352. if (box.is_sticky_position()) {
  353. // https://drafts.csswg.org/css-position/#insets
  354. // For sticky positioned boxes, the inset is instead relative to the relevant scrollport’s size. Negative values are allowed.
  355. auto sticky_insets = make<Painting::PaintableBox::StickyInsets>();
  356. auto const& inset = box.computed_values().inset();
  357. auto const* nearest_scrollable_ancestor = paintable_box.nearest_scrollable_ancestor();
  358. CSSPixelSize scrollport_size;
  359. if (nearest_scrollable_ancestor) {
  360. scrollport_size = nearest_scrollable_ancestor->absolute_rect().size();
  361. }
  362. if (!inset.top().is_auto()) {
  363. sticky_insets->top = inset.top().to_px(box, scrollport_size.height());
  364. }
  365. if (!inset.right().is_auto()) {
  366. sticky_insets->right = inset.right().to_px(box, scrollport_size.width());
  367. }
  368. if (!inset.bottom().is_auto()) {
  369. sticky_insets->bottom = inset.bottom().to_px(box, scrollport_size.height());
  370. }
  371. if (!inset.left().is_auto()) {
  372. sticky_insets->left = inset.left().to_px(box, scrollport_size.width());
  373. }
  374. paintable_box.set_sticky_insets(move(sticky_insets));
  375. }
  376. }
  377. }
  378. void LayoutState::UsedValues::set_node(NodeWithStyle& node, UsedValues const* containing_block_used_values)
  379. {
  380. m_node = &node;
  381. m_containing_block_used_values = containing_block_used_values;
  382. // NOTE: In the code below, we decide if `node` has definite width and/or height.
  383. // This attempts to cover all the *general* cases where CSS considers sizes to be definite.
  384. // If `node` has definite values for min/max-width or min/max-height and a definite
  385. // preferred size in the same axis, we clamp the preferred size here as well.
  386. //
  387. // There are additional cases where CSS considers values to be definite. We model all of
  388. // those by having our engine consider sizes to be definite *once they are assigned to
  389. // the UsedValues by calling set_content_width() or set_content_height().
  390. auto const& computed_values = node.computed_values();
  391. auto adjust_for_box_sizing = [&](CSSPixels unadjusted_pixels, CSS::Size const& computed_size, bool width) -> CSSPixels {
  392. // box-sizing: content-box and/or automatic size don't require any adjustment.
  393. if (computed_values.box_sizing() == CSS::BoxSizing::ContentBox || computed_size.is_auto())
  394. return unadjusted_pixels;
  395. // box-sizing: border-box requires us to subtract the relevant border and padding from the size.
  396. CSSPixels border_and_padding;
  397. if (width) {
  398. border_and_padding = computed_values.border_left().width
  399. + computed_values.padding().left().to_px(*m_node, containing_block_used_values->content_width())
  400. + computed_values.border_right().width
  401. + computed_values.padding().right().to_px(*m_node, containing_block_used_values->content_width());
  402. } else {
  403. border_and_padding = computed_values.border_top().width
  404. + computed_values.padding().top().to_px(*m_node, containing_block_used_values->content_width())
  405. + computed_values.border_bottom().width
  406. + computed_values.padding().bottom().to_px(*m_node, containing_block_used_values->content_width());
  407. }
  408. return unadjusted_pixels - border_and_padding;
  409. };
  410. auto is_definite_size = [&](CSS::Size const& size, CSSPixels& resolved_definite_size, bool width) {
  411. // A size that can be determined without performing layout; that is,
  412. // a <length>,
  413. // a measure of text (without consideration of line-wrapping),
  414. // a size of the initial containing block,
  415. // or a <percentage> or other formula (such as the “stretch-fit” sizing of non-replaced blocks [CSS2]) that is resolved solely against definite sizes.
  416. auto containing_block_has_definite_size = containing_block_used_values ? (width ? containing_block_used_values->has_definite_width() : containing_block_used_values->has_definite_height()) : false;
  417. if (size.is_auto()) {
  418. // NOTE: The width of a non-flex-item block is considered definite if it's auto and the containing block has definite width.
  419. if (width
  420. && !node.is_floating()
  421. && !node.is_absolutely_positioned()
  422. && node.display().is_block_outside()
  423. && node.parent()
  424. && !node.parent()->is_floating()
  425. && (node.parent()->display().is_flow_root_inside()
  426. || node.parent()->display().is_flow_inside())) {
  427. if (containing_block_has_definite_size) {
  428. CSSPixels available_width = containing_block_used_values->content_width();
  429. resolved_definite_size = available_width
  430. - margin_left
  431. - margin_right
  432. - padding_left
  433. - padding_right
  434. - border_left
  435. - border_right;
  436. return true;
  437. }
  438. return false;
  439. }
  440. return false;
  441. }
  442. if (size.is_calculated()) {
  443. if (size.calculated().contains_percentage()) {
  444. if (!containing_block_has_definite_size)
  445. return false;
  446. auto containing_block_size_as_length = width ? containing_block_used_values->content_width() : containing_block_used_values->content_height();
  447. resolved_definite_size = adjust_for_box_sizing(size.calculated().resolve_length_percentage(node, containing_block_size_as_length).value_or(CSS::Length::make_auto()).to_px(node), size, width);
  448. return true;
  449. }
  450. resolved_definite_size = adjust_for_box_sizing(size.calculated().resolve_length(node)->to_px(node), size, width);
  451. return true;
  452. }
  453. if (size.is_length()) {
  454. VERIFY(!size.is_auto()); // This should have been covered by the Size::is_auto() branch above.
  455. resolved_definite_size = adjust_for_box_sizing(size.length().to_px(node), size, width);
  456. return true;
  457. }
  458. if (size.is_percentage()) {
  459. if (containing_block_has_definite_size) {
  460. auto containing_block_size = width ? containing_block_used_values->content_width() : containing_block_used_values->content_height();
  461. resolved_definite_size = adjust_for_box_sizing(containing_block_size.scaled(size.percentage().as_fraction()), size, width);
  462. return true;
  463. }
  464. return false;
  465. }
  466. return false;
  467. };
  468. CSSPixels min_width = 0;
  469. bool has_definite_min_width = is_definite_size(computed_values.min_width(), min_width, true);
  470. CSSPixels max_width = 0;
  471. bool has_definite_max_width = is_definite_size(computed_values.max_width(), max_width, true);
  472. CSSPixels min_height = 0;
  473. bool has_definite_min_height = is_definite_size(computed_values.min_height(), min_height, false);
  474. CSSPixels max_height = 0;
  475. bool has_definite_max_height = is_definite_size(computed_values.max_height(), max_height, false);
  476. m_has_definite_width = is_definite_size(computed_values.width(), m_content_width, true);
  477. m_has_definite_height = is_definite_size(computed_values.height(), m_content_height, false);
  478. // For boxes with a preferred aspect ratio and one definite size, we can infer the other size
  479. // and consider it definite since this did not require performing layout.
  480. if (is<Box>(node)) {
  481. auto const& box = static_cast<Box const&>(node);
  482. if (auto aspect_ratio = box.preferred_aspect_ratio(); aspect_ratio.has_value()) {
  483. if (m_has_definite_width && m_has_definite_height) {
  484. // Both width and height are definite.
  485. } else if (m_has_definite_width) {
  486. m_content_height = m_content_width / *aspect_ratio;
  487. m_has_definite_height = true;
  488. } else if (m_has_definite_height) {
  489. m_content_width = m_content_height * *aspect_ratio;
  490. m_has_definite_width = true;
  491. }
  492. }
  493. }
  494. if (m_has_definite_width) {
  495. if (has_definite_min_width)
  496. m_content_width = max(min_width, m_content_width);
  497. if (has_definite_max_width)
  498. m_content_width = min(max_width, m_content_width);
  499. }
  500. if (m_has_definite_height) {
  501. if (has_definite_min_height)
  502. m_content_height = max(min_height, m_content_height);
  503. if (has_definite_max_height)
  504. m_content_height = min(max_height, m_content_height);
  505. }
  506. }
  507. void LayoutState::UsedValues::set_content_width(CSSPixels width)
  508. {
  509. VERIFY(!width.might_be_saturated());
  510. if (width < 0) {
  511. // Negative widths are not allowed in CSS. We have a bug somewhere! Clamp to 0 to avoid doing too much damage.
  512. dbgln_if(LIBWEB_CSS_DEBUG, "FIXME: Layout calculated a negative width for {}: {}", m_node->debug_description(), width);
  513. width = 0;
  514. }
  515. m_content_width = width;
  516. // FIXME: We should not do this! Definiteness of widths should be determined early,
  517. // and not changed later (except for some special cases in flex layout..)
  518. m_has_definite_width = true;
  519. }
  520. void LayoutState::UsedValues::set_content_height(CSSPixels height)
  521. {
  522. VERIFY(!height.might_be_saturated());
  523. if (height < 0) {
  524. // Negative heights are not allowed in CSS. We have a bug somewhere! Clamp to 0 to avoid doing too much damage.
  525. dbgln_if(LIBWEB_CSS_DEBUG, "FIXME: Layout calculated a negative height for {}: {}", m_node->debug_description(), height);
  526. height = 0;
  527. }
  528. m_content_height = height;
  529. }
  530. void LayoutState::UsedValues::set_temporary_content_width(CSSPixels width)
  531. {
  532. m_content_width = width;
  533. }
  534. void LayoutState::UsedValues::set_temporary_content_height(CSSPixels height)
  535. {
  536. m_content_height = height;
  537. }
  538. AvailableSize LayoutState::UsedValues::available_width_inside() const
  539. {
  540. if (width_constraint == SizeConstraint::MinContent)
  541. return AvailableSize::make_min_content();
  542. if (width_constraint == SizeConstraint::MaxContent)
  543. return AvailableSize::make_max_content();
  544. if (has_definite_width())
  545. return AvailableSize::make_definite(m_content_width);
  546. return AvailableSize::make_indefinite();
  547. }
  548. AvailableSize LayoutState::UsedValues::available_height_inside() const
  549. {
  550. if (height_constraint == SizeConstraint::MinContent)
  551. return AvailableSize::make_min_content();
  552. if (height_constraint == SizeConstraint::MaxContent)
  553. return AvailableSize::make_max_content();
  554. if (has_definite_height())
  555. return AvailableSize::make_definite(m_content_height);
  556. return AvailableSize::make_indefinite();
  557. }
  558. AvailableSpace LayoutState::UsedValues::available_inner_space_or_constraints_from(AvailableSpace const& outer_space) const
  559. {
  560. auto inner_width = available_width_inside();
  561. auto inner_height = available_height_inside();
  562. if (inner_width.is_indefinite() && outer_space.width.is_intrinsic_sizing_constraint())
  563. inner_width = outer_space.width;
  564. if (inner_height.is_indefinite() && outer_space.height.is_intrinsic_sizing_constraint())
  565. inner_height = outer_space.height;
  566. return AvailableSpace(inner_width, inner_height);
  567. }
  568. void LayoutState::UsedValues::set_content_offset(CSSPixelPoint new_offset)
  569. {
  570. set_content_x(new_offset.x());
  571. set_content_y(new_offset.y());
  572. }
  573. void LayoutState::UsedValues::set_content_x(CSSPixels x)
  574. {
  575. offset.set_x(x);
  576. }
  577. void LayoutState::UsedValues::set_content_y(CSSPixels y)
  578. {
  579. offset.set_y(y);
  580. }
  581. void LayoutState::UsedValues::set_indefinite_content_width()
  582. {
  583. m_has_definite_width = false;
  584. }
  585. void LayoutState::UsedValues::set_indefinite_content_height()
  586. {
  587. m_has_definite_height = false;
  588. }
  589. }