LayoutState.cpp 32 KB

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