BlockFormattingContext.cpp 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620
  1. /*
  2. * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibWeb/CSS/Length.h>
  7. #include <LibWeb/DOM/Node.h>
  8. #include <LibWeb/Layout/BlockBox.h>
  9. #include <LibWeb/Layout/BlockFormattingContext.h>
  10. #include <LibWeb/Layout/Box.h>
  11. #include <LibWeb/Layout/InitialContainingBlockBox.h>
  12. #include <LibWeb/Layout/InlineFormattingContext.h>
  13. #include <LibWeb/Layout/ListItemBox.h>
  14. #include <LibWeb/Layout/ReplacedBox.h>
  15. #include <LibWeb/Page/Frame.h>
  16. namespace Web::Layout {
  17. BlockFormattingContext::BlockFormattingContext(Box& context_box, FormattingContext* parent)
  18. : FormattingContext(context_box, parent)
  19. {
  20. }
  21. BlockFormattingContext::~BlockFormattingContext()
  22. {
  23. }
  24. bool BlockFormattingContext::is_initial() const
  25. {
  26. return is<InitialContainingBlockBox>(context_box());
  27. }
  28. void BlockFormattingContext::run(Box& box, LayoutMode layout_mode)
  29. {
  30. if (is_initial()) {
  31. layout_initial_containing_block(layout_mode);
  32. return;
  33. }
  34. // FIXME: BFC currently computes the width+height of the target box.
  35. // This is necessary to be able to place absolutely positioned descendants.
  36. // The same work is also done by the parent BFC for each of its blocks..
  37. if (layout_mode == LayoutMode::Default)
  38. compute_width(box);
  39. if (box.children_are_inline()) {
  40. layout_inline_children(box, layout_mode);
  41. } else {
  42. layout_block_level_children(box, layout_mode);
  43. }
  44. if (layout_mode == LayoutMode::Default) {
  45. compute_height(box);
  46. box.for_each_child_of_type<Box>([&](auto& child_box) {
  47. if (child_box.is_absolutely_positioned()) {
  48. layout_absolutely_positioned_element(child_box);
  49. }
  50. return IterationDecision::Continue;
  51. });
  52. }
  53. }
  54. void BlockFormattingContext::compute_width(Box& box)
  55. {
  56. if (box.is_absolutely_positioned()) {
  57. compute_width_for_absolutely_positioned_element(box);
  58. return;
  59. }
  60. if (is<ReplacedBox>(box)) {
  61. // FIXME: This should not be done *by* ReplacedBox
  62. auto& replaced = downcast<ReplacedBox>(box);
  63. replaced.prepare_for_replaced_layout();
  64. compute_width_for_block_level_replaced_element_in_normal_flow(replaced);
  65. return;
  66. }
  67. if (box.is_floating()) {
  68. compute_width_for_floating_box(box);
  69. return;
  70. }
  71. auto& computed_values = box.computed_values();
  72. float width_of_containing_block = box.width_of_logical_containing_block();
  73. auto zero_value = CSS::Length::make_px(0);
  74. auto margin_left = CSS::Length::make_auto();
  75. auto margin_right = CSS::Length::make_auto();
  76. const auto padding_left = computed_values.padding().left.resolved_or_zero(box, width_of_containing_block);
  77. const auto padding_right = computed_values.padding().right.resolved_or_zero(box, width_of_containing_block);
  78. auto try_compute_width = [&](const auto& a_width) {
  79. CSS::Length width = a_width;
  80. margin_left = computed_values.margin().left.resolved_or_zero(box, width_of_containing_block);
  81. margin_right = computed_values.margin().right.resolved_or_zero(box, width_of_containing_block);
  82. float total_px = computed_values.border_left().width + computed_values.border_right().width;
  83. for (auto& value : { margin_left, padding_left, width, padding_right, margin_right }) {
  84. total_px += value.to_px(box);
  85. }
  86. if (!box.is_inline()) {
  87. // 10.3.3 Block-level, non-replaced elements in normal flow
  88. // If 'width' is not 'auto' and 'border-left-width' + 'padding-left' + 'width' + 'padding-right' + 'border-right-width' (plus any of 'margin-left' or 'margin-right' that are not 'auto') is larger than the width of the containing block, then any 'auto' values for 'margin-left' or 'margin-right' are, for the following rules, treated as zero.
  89. if (width.is_auto() && total_px > width_of_containing_block) {
  90. if (margin_left.is_auto())
  91. margin_left = zero_value;
  92. if (margin_right.is_auto())
  93. margin_right = zero_value;
  94. }
  95. // 10.3.3 cont'd.
  96. auto underflow_px = width_of_containing_block - total_px;
  97. if (width.is_auto()) {
  98. if (margin_left.is_auto())
  99. margin_left = zero_value;
  100. if (margin_right.is_auto())
  101. margin_right = zero_value;
  102. if (underflow_px >= 0) {
  103. width = CSS::Length(underflow_px, CSS::Length::Type::Px);
  104. } else {
  105. width = zero_value;
  106. margin_right = CSS::Length(margin_right.to_px(box) + underflow_px, CSS::Length::Type::Px);
  107. }
  108. } else {
  109. if (!margin_left.is_auto() && !margin_right.is_auto()) {
  110. margin_right = CSS::Length(margin_right.to_px(box) + underflow_px, CSS::Length::Type::Px);
  111. } else if (!margin_left.is_auto() && margin_right.is_auto()) {
  112. margin_right = CSS::Length(underflow_px, CSS::Length::Type::Px);
  113. } else if (margin_left.is_auto() && !margin_right.is_auto()) {
  114. margin_left = CSS::Length(underflow_px, CSS::Length::Type::Px);
  115. } else { // margin_left.is_auto() && margin_right.is_auto()
  116. auto half_of_the_underflow = CSS::Length(underflow_px / 2, CSS::Length::Type::Px);
  117. margin_left = half_of_the_underflow;
  118. margin_right = half_of_the_underflow;
  119. }
  120. }
  121. } else if (box.is_inline_block()) {
  122. // 10.3.9 'Inline-block', non-replaced elements in normal flow
  123. // A computed value of 'auto' for 'margin-left' or 'margin-right' becomes a used value of '0'.
  124. if (margin_left.is_auto())
  125. margin_left = zero_value;
  126. if (margin_right.is_auto())
  127. margin_right = zero_value;
  128. // If 'width' is 'auto', the used value is the shrink-to-fit width as for floating elements.
  129. if (width.is_auto()) {
  130. // Find the available width: in this case, this is the width of the containing
  131. // block minus the used values of 'margin-left', 'border-left-width', 'padding-left',
  132. // 'padding-right', 'border-right-width', 'margin-right', and the widths of any relevant scroll bars.
  133. float available_width = width_of_containing_block
  134. - margin_left.to_px(box) - computed_values.border_left().width - padding_left.to_px(box)
  135. - padding_right.to_px(box) - computed_values.border_right().width - margin_right.to_px(box);
  136. auto result = calculate_shrink_to_fit_widths(box);
  137. // Then the shrink-to-fit width is: min(max(preferred minimum width, available width), preferred width).
  138. width = CSS::Length(min(max(result.preferred_minimum_width, available_width), result.preferred_width), CSS::Length::Type::Px);
  139. }
  140. }
  141. return width;
  142. };
  143. auto specified_width = computed_values.width().resolved_or_auto(box, width_of_containing_block);
  144. // 1. The tentative used width is calculated (without 'min-width' and 'max-width')
  145. auto used_width = try_compute_width(specified_width);
  146. // 2. The tentative used width is greater than 'max-width', the rules above are applied again,
  147. // but this time using the computed value of 'max-width' as the computed value for 'width'.
  148. auto specified_max_width = computed_values.max_width().resolved_or_auto(box, width_of_containing_block);
  149. if (!specified_max_width.is_auto()) {
  150. if (used_width.to_px(box) > specified_max_width.to_px(box)) {
  151. used_width = try_compute_width(specified_max_width);
  152. }
  153. }
  154. // 3. If the resulting width is smaller than 'min-width', the rules above are applied again,
  155. // but this time using the value of 'min-width' as the computed value for 'width'.
  156. auto specified_min_width = computed_values.min_width().resolved_or_auto(box, width_of_containing_block);
  157. if (!specified_min_width.is_auto()) {
  158. if (used_width.to_px(box) < specified_min_width.to_px(box)) {
  159. used_width = try_compute_width(specified_min_width);
  160. }
  161. }
  162. box.set_width(used_width.to_px(box));
  163. box.box_model().margin.left = margin_left.to_px(box);
  164. box.box_model().margin.right = margin_right.to_px(box);
  165. box.box_model().border.left = computed_values.border_left().width;
  166. box.box_model().border.right = computed_values.border_right().width;
  167. box.box_model().padding.left = padding_left.to_px(box);
  168. box.box_model().padding.right = padding_right.to_px(box);
  169. }
  170. void BlockFormattingContext::compute_width_for_floating_box(Box& box)
  171. {
  172. // 10.3.5 Floating, non-replaced elements
  173. auto& computed_values = box.computed_values();
  174. float width_of_containing_block = box.width_of_logical_containing_block();
  175. auto zero_value = CSS::Length::make_px(0);
  176. auto margin_left = computed_values.margin().left.resolved_or_zero(box, width_of_containing_block);
  177. auto margin_right = computed_values.margin().right.resolved_or_zero(box, width_of_containing_block);
  178. const auto padding_left = computed_values.padding().left.resolved_or_zero(box, width_of_containing_block);
  179. const auto padding_right = computed_values.padding().right.resolved_or_zero(box, width_of_containing_block);
  180. // If 'margin-left', or 'margin-right' are computed as 'auto', their used value is '0'.
  181. if (margin_left.is_auto())
  182. margin_left = zero_value;
  183. if (margin_right.is_auto())
  184. margin_right = zero_value;
  185. auto width = computed_values.width().resolved_or_auto(box, width_of_containing_block);
  186. // If 'width' is computed as 'auto', the used value is the "shrink-to-fit" width.
  187. if (width.is_auto()) {
  188. // Find the available width: in this case, this is the width of the containing
  189. // block minus the used values of 'margin-left', 'border-left-width', 'padding-left',
  190. // 'padding-right', 'border-right-width', 'margin-right', and the widths of any relevant scroll bars.
  191. float available_width = width_of_containing_block
  192. - margin_left.to_px(box) - computed_values.border_left().width - padding_left.to_px(box)
  193. - padding_right.to_px(box) - computed_values.border_right().width - margin_right.to_px(box);
  194. auto result = calculate_shrink_to_fit_widths(box);
  195. // Then the shrink-to-fit width is: min(max(preferred minimum width, available width), preferred width).
  196. width = CSS::Length(min(max(result.preferred_minimum_width, available_width), result.preferred_width), CSS::Length::Type::Px);
  197. }
  198. float final_width = width.resolved_or_zero(box, width_of_containing_block).to_px(box);
  199. box.set_width(final_width);
  200. box.box_model().margin.left = margin_left.to_px(box);
  201. box.box_model().margin.right = margin_right.to_px(box);
  202. box.box_model().border.left = computed_values.border_left().width;
  203. box.box_model().border.right = computed_values.border_right().width;
  204. box.box_model().padding.left = padding_left.to_px(box);
  205. box.box_model().padding.right = padding_right.to_px(box);
  206. }
  207. void BlockFormattingContext::compute_width_for_block_level_replaced_element_in_normal_flow(ReplacedBox& box)
  208. {
  209. box.set_width(compute_width_for_replaced_element(box));
  210. }
  211. static float compute_auto_height_for_block_level_element(const Box& box)
  212. {
  213. Optional<float> top;
  214. Optional<float> bottom;
  215. if (box.children_are_inline()) {
  216. // If it only has inline-level children, the height is the distance between
  217. // the top of the topmost line box and the bottom of the bottommost line box.
  218. if (!box.line_boxes().is_empty()) {
  219. for (auto& fragment : box.line_boxes().first().fragments()) {
  220. if (!top.has_value() || fragment.offset().y() < top.value())
  221. top = fragment.offset().y();
  222. }
  223. for (auto& fragment : box.line_boxes().last().fragments()) {
  224. if (!bottom.has_value() || (fragment.offset().y() + fragment.height()) > bottom.value())
  225. bottom = fragment.offset().y() + fragment.height();
  226. }
  227. }
  228. } else {
  229. // If it has block-level children, the height is the distance between
  230. // the top margin-edge of the topmost block-level child box
  231. // and the bottom margin-edge of the bottommost block-level child box.
  232. box.for_each_child_of_type<Box>([&](Layout::Box& child_box) {
  233. if (child_box.is_absolutely_positioned())
  234. return IterationDecision::Continue;
  235. if ((box.computed_values().overflow_y() == CSS::Overflow::Visible) && child_box.is_floating())
  236. return IterationDecision::Continue;
  237. float child_box_top = child_box.effective_offset().y() - child_box.box_model().margin_box().top;
  238. float child_box_bottom = child_box.effective_offset().y() + child_box.height() + child_box.box_model().margin_box().bottom;
  239. if (!top.has_value() || child_box_top < top.value())
  240. top = child_box_top;
  241. if (!bottom.has_value() || child_box_bottom > bottom.value())
  242. bottom = child_box_bottom;
  243. return IterationDecision::Continue;
  244. });
  245. }
  246. return bottom.value_or(0) - top.value_or(0);
  247. }
  248. void BlockFormattingContext::compute_height(Box& box)
  249. {
  250. auto& computed_values = box.computed_values();
  251. auto& containing_block = *box.containing_block();
  252. // First, resolve the top/bottom parts of the surrounding box model.
  253. box.box_model().margin.top = computed_values.margin().top.resolved_or_zero(box, containing_block.width()).to_px(box);
  254. box.box_model().margin.bottom = computed_values.margin().bottom.resolved_or_zero(box, containing_block.width()).to_px(box);
  255. box.box_model().border.top = computed_values.border_top().width;
  256. box.box_model().border.bottom = computed_values.border_bottom().width;
  257. box.box_model().padding.top = computed_values.padding().top.resolved_or_zero(box, containing_block.width()).to_px(box);
  258. box.box_model().padding.bottom = computed_values.padding().bottom.resolved_or_zero(box, containing_block.width()).to_px(box);
  259. // Then work out what the height is, based on box type and CSS properties.
  260. float height = 0;
  261. if (is<ReplacedBox>(box)) {
  262. height = compute_height_for_replaced_element(downcast<ReplacedBox>(box));
  263. } else {
  264. if (box.computed_values().height().is_undefined_or_auto()
  265. || (computed_values.height().is_percentage() && !containing_block.computed_values().height().is_absolute())) {
  266. height = compute_auto_height_for_block_level_element(box);
  267. } else {
  268. height = computed_values.height().resolved_or_auto(box, containing_block.height()).to_px(box);
  269. }
  270. }
  271. auto specified_max_height = computed_values.max_height().resolved_or_auto(box, containing_block.height());
  272. if (!specified_max_height.is_auto()
  273. && !(computed_values.max_height().is_percentage() && !containing_block.computed_values().height().is_absolute()))
  274. height = min(height, specified_max_height.to_px(box));
  275. auto specified_min_height = computed_values.min_height().resolved_or_auto(box, containing_block.height());
  276. if (!specified_min_height.is_auto()
  277. && !(computed_values.min_height().is_percentage() && !containing_block.computed_values().height().is_absolute()))
  278. height = max(height, specified_min_height.to_px(box));
  279. box.set_height(height);
  280. }
  281. void BlockFormattingContext::compute_position(Box& box)
  282. {
  283. // 9.4.3 Relative positioning
  284. // Once a box has been laid out according to the normal flow or floated, it may be shifted relative to this position.
  285. auto& box_model = box.box_model();
  286. auto& computed_values = box.computed_values();
  287. float width_of_containing_block = box.width_of_logical_containing_block();
  288. auto specified_left = computed_values.offset().left.resolved_or_zero(box, width_of_containing_block);
  289. auto specified_right = computed_values.offset().right.resolved_or_zero(box, width_of_containing_block);
  290. if (specified_left.is_auto() && specified_right.is_auto()) {
  291. // If both 'left' and 'right' are 'auto' (their initial values), the used values are '0' (i.e., the boxes stay in their original position).
  292. box_model.offset.left = 0;
  293. box_model.offset.right = 0;
  294. } else if (specified_left.is_auto()) {
  295. // If 'left' is 'auto', its used value is minus the value of 'right' (i.e., the boxes move to the left by the value of 'right').
  296. box_model.offset.right = specified_right.to_px(box);
  297. box_model.offset.left = 0 - box_model.offset.right;
  298. } else if (specified_right.is_auto()) {
  299. // If 'right' is specified as 'auto', its used value is minus the value of 'left'.
  300. box_model.offset.left = specified_left.to_px(box);
  301. box_model.offset.right = 0 - box_model.offset.left;
  302. } else {
  303. // If neither 'left' nor 'right' is 'auto', the position is over-constrained, and one of them has to be ignored.
  304. // If the 'direction' property of the containing block is 'ltr', the value of 'left' wins and 'right' becomes -'left'.
  305. // If 'direction' of the containing block is 'rtl', 'right' wins and 'left' is ignored.
  306. // FIXME: Check direction (assuming 'ltr' for now).
  307. box_model.offset.left = specified_left.to_px(box);
  308. box_model.offset.right = 0 - box_model.offset.left;
  309. }
  310. }
  311. void BlockFormattingContext::layout_inline_children(Box& box, LayoutMode layout_mode)
  312. {
  313. InlineFormattingContext context(box, this);
  314. context.run(box, layout_mode);
  315. }
  316. void BlockFormattingContext::layout_block_level_children(Box& box, LayoutMode layout_mode)
  317. {
  318. float content_height = 0;
  319. float content_width = 0;
  320. box.for_each_child_of_type<Box>([&](auto& child_box) {
  321. if (child_box.is_absolutely_positioned())
  322. return IterationDecision::Continue;
  323. if (child_box.is_floating()) {
  324. layout_floating_child(child_box, box);
  325. return IterationDecision::Continue;
  326. }
  327. compute_width(child_box);
  328. layout_inside(child_box, layout_mode);
  329. compute_height(child_box);
  330. if (child_box.computed_values().position() == CSS::Position::Relative)
  331. compute_position(child_box);
  332. if (is<ReplacedBox>(child_box))
  333. place_block_level_replaced_element_in_normal_flow(child_box, box);
  334. else if (is<BlockBox>(child_box))
  335. place_block_level_non_replaced_element_in_normal_flow(child_box, box);
  336. // FIXME: This should be factored differently. It's uncool that we mutate the tree *during* layout!
  337. // Instead, we should generate the marker box during the tree build.
  338. if (is<ListItemBox>(child_box))
  339. downcast<ListItemBox>(child_box).layout_marker();
  340. content_height = max(content_height, child_box.effective_offset().y() + child_box.height() + child_box.box_model().margin_box().bottom);
  341. content_width = max(content_width, downcast<Box>(child_box).width());
  342. return IterationDecision::Continue;
  343. });
  344. if (layout_mode != LayoutMode::Default) {
  345. if (box.computed_values().width().is_undefined() || box.computed_values().width().is_auto())
  346. box.set_width(content_width);
  347. }
  348. }
  349. void BlockFormattingContext::place_block_level_replaced_element_in_normal_flow(Box& child_box, Box& containing_block)
  350. {
  351. VERIFY(!containing_block.is_absolutely_positioned());
  352. auto& replaced_element_box_model = child_box.box_model();
  353. replaced_element_box_model.margin.top = child_box.computed_values().margin().top.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  354. replaced_element_box_model.margin.bottom = child_box.computed_values().margin().bottom.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  355. replaced_element_box_model.border.top = child_box.computed_values().border_top().width;
  356. replaced_element_box_model.border.bottom = child_box.computed_values().border_bottom().width;
  357. replaced_element_box_model.padding.top = child_box.computed_values().padding().top.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  358. replaced_element_box_model.padding.bottom = child_box.computed_values().padding().bottom.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  359. float x = replaced_element_box_model.margin.left
  360. + replaced_element_box_model.border.left
  361. + replaced_element_box_model.padding.left
  362. + replaced_element_box_model.offset.left;
  363. float y = replaced_element_box_model.margin_box().top + containing_block.box_model().offset.top;
  364. child_box.set_offset(x, y);
  365. }
  366. void BlockFormattingContext::place_block_level_non_replaced_element_in_normal_flow(Box& child_box, Box& containing_block)
  367. {
  368. auto& box_model = child_box.box_model();
  369. auto& computed_values = child_box.computed_values();
  370. box_model.margin.top = computed_values.margin().top.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  371. box_model.margin.bottom = computed_values.margin().bottom.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  372. box_model.border.top = computed_values.border_top().width;
  373. box_model.border.bottom = computed_values.border_bottom().width;
  374. box_model.padding.top = computed_values.padding().top.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  375. box_model.padding.bottom = computed_values.padding().bottom.resolved_or_zero(containing_block, containing_block.width()).to_px(child_box);
  376. float x = box_model.margin.left
  377. + box_model.border.left
  378. + box_model.padding.left
  379. + box_model.offset.left;
  380. if (containing_block.computed_values().text_align() == CSS::TextAlign::LibwebCenter) {
  381. x = (containing_block.width() / 2) - child_box.width() / 2;
  382. }
  383. float y = box_model.margin_box().top
  384. + box_model.offset.top;
  385. // NOTE: Empty (0-height) preceding siblings have their margins collapsed with *their* preceding sibling, etc.
  386. float collapsed_bottom_margin_of_preceding_siblings = 0;
  387. auto* relevant_sibling = child_box.previous_sibling_of_type<Layout::BlockBox>();
  388. while (relevant_sibling != nullptr) {
  389. if (!relevant_sibling->is_absolutely_positioned() && !relevant_sibling->is_floating()) {
  390. collapsed_bottom_margin_of_preceding_siblings = max(collapsed_bottom_margin_of_preceding_siblings, relevant_sibling->box_model().margin.bottom);
  391. if (relevant_sibling->border_box_height() > 0)
  392. break;
  393. }
  394. relevant_sibling = relevant_sibling->previous_sibling();
  395. }
  396. if (relevant_sibling) {
  397. y += relevant_sibling->effective_offset().y()
  398. + relevant_sibling->height()
  399. + relevant_sibling->box_model().border_box().bottom;
  400. // Collapse top margin with bottom margin of preceding siblings if needed
  401. float my_margin_top = box_model.margin.top;
  402. if (my_margin_top < 0 || collapsed_bottom_margin_of_preceding_siblings < 0) {
  403. // Negative margins present.
  404. float largest_negative_margin = -min(my_margin_top, collapsed_bottom_margin_of_preceding_siblings);
  405. float largest_positive_margin = (my_margin_top < 0 && collapsed_bottom_margin_of_preceding_siblings < 0) ? 0 : max(my_margin_top, collapsed_bottom_margin_of_preceding_siblings);
  406. float final_margin = largest_positive_margin - largest_negative_margin;
  407. y += final_margin - my_margin_top;
  408. } else if (collapsed_bottom_margin_of_preceding_siblings > my_margin_top) {
  409. // Sibling's margin is larger than mine, adjust so we use sibling's.
  410. y += collapsed_bottom_margin_of_preceding_siblings - my_margin_top;
  411. }
  412. }
  413. if (child_box.computed_values().clear() == CSS::Clear::Left || child_box.computed_values().clear() == CSS::Clear::Both) {
  414. if (!m_left_floating_boxes.is_empty()) {
  415. float clearance_y = 0;
  416. for (auto* floating_box : m_left_floating_boxes) {
  417. clearance_y = max(clearance_y, floating_box->effective_offset().y() + floating_box->box_model().margin_box().bottom);
  418. }
  419. y = max(y, clearance_y);
  420. m_left_floating_boxes.clear();
  421. }
  422. }
  423. if (child_box.computed_values().clear() == CSS::Clear::Right || child_box.computed_values().clear() == CSS::Clear::Both) {
  424. if (!m_right_floating_boxes.is_empty()) {
  425. float clearance_y = 0;
  426. for (auto* floating_box : m_right_floating_boxes) {
  427. clearance_y = max(clearance_y, floating_box->effective_offset().y() + floating_box->box_model().margin_box().bottom);
  428. }
  429. y = max(y, clearance_y);
  430. m_right_floating_boxes.clear();
  431. }
  432. }
  433. child_box.set_offset(x, y);
  434. }
  435. void BlockFormattingContext::layout_initial_containing_block(LayoutMode layout_mode)
  436. {
  437. auto viewport_rect = context_box().frame().viewport_rect();
  438. auto& icb = downcast<Layout::InitialContainingBlockBox>(context_box());
  439. icb.build_stacking_context_tree();
  440. icb.set_width(viewport_rect.width());
  441. layout_block_level_children(context_box(), layout_mode);
  442. VERIFY(!icb.children_are_inline());
  443. // FIXME: The ICB should have the height of the viewport.
  444. // Instead of auto-sizing the ICB, we should spill into overflow.
  445. float lowest_bottom = 0;
  446. icb.for_each_child_of_type<Box>([&](auto& child) {
  447. lowest_bottom = max(lowest_bottom, child.absolute_rect().bottom());
  448. });
  449. // FIXME: This is a hack and should be managed by an overflow mechanism.
  450. icb.set_height(max(static_cast<float>(viewport_rect.height()), lowest_bottom));
  451. }
  452. static Gfx::FloatRect rect_in_coordinate_space(const Box& box, const Box& context_box)
  453. {
  454. Gfx::FloatRect rect = box.margin_box_as_relative_rect();
  455. for (auto* ancestor = box.parent(); ancestor; ancestor = ancestor->parent()) {
  456. if (is<Box>(*ancestor)) {
  457. auto offset = downcast<Box>(*ancestor).effective_offset();
  458. rect.move_by(offset);
  459. }
  460. if (ancestor == &context_box)
  461. break;
  462. }
  463. return rect;
  464. }
  465. void BlockFormattingContext::layout_floating_child(Box& box, Box& containing_block)
  466. {
  467. VERIFY(box.is_floating());
  468. compute_width(box);
  469. layout_inside(box, LayoutMode::Default);
  470. compute_height(box);
  471. // First we place the box normally (to get the right y coordinate.)
  472. place_block_level_non_replaced_element_in_normal_flow(box, containing_block);
  473. // Then we float it to the left or right.
  474. float x = box.effective_offset().x();
  475. auto box_in_context_rect = rect_in_coordinate_space(box, context_box());
  476. float y_in_context_box = box_in_context_rect.y();
  477. // Next, float to the left and/or right
  478. if (box.computed_values().float_() == CSS::Float::Left) {
  479. if (!m_left_floating_boxes.is_empty()) {
  480. auto& previous_floating_box = *m_left_floating_boxes.last();
  481. auto previous_rect = rect_in_coordinate_space(previous_floating_box, context_box());
  482. if (previous_rect.contains_vertically(y_in_context_box)) {
  483. // This box touches another already floating box. Stack to the right.
  484. x = previous_floating_box.margin_box_as_relative_rect().x() + previous_floating_box.margin_box_as_relative_rect().width() + box.box_model().margin_box().left;
  485. } else {
  486. // This box does not touch another floating box, go all the way to the left.
  487. x = box.box_model().margin_box().left;
  488. // Also, forget all previous left-floating boxes while we're here since they're no longer relevant.
  489. m_left_floating_boxes.clear();
  490. }
  491. } else {
  492. // This is the first left-floating box. Go all the way to the left.
  493. x = box.box_model().margin_box().left;
  494. }
  495. m_left_floating_boxes.append(&box);
  496. } else if (box.computed_values().float_() == CSS::Float::Right) {
  497. if (!m_right_floating_boxes.is_empty()) {
  498. auto& previous_floating_box = *m_right_floating_boxes.last();
  499. auto previous_rect = rect_in_coordinate_space(previous_floating_box, context_box());
  500. if (previous_rect.contains_vertically(y_in_context_box)) {
  501. // This box touches another already floating box. Stack to the left.
  502. x = previous_floating_box.margin_box_as_relative_rect().x() - box.box_model().margin_box().right - box.width();
  503. } else {
  504. // This box does not touch another floating box, go all the way to the right.
  505. x = containing_block.width() - box.box_model().margin_box().right - box.width();
  506. // Also, forget all previous right-floating boxes while we're here since they're no longer relevant.
  507. m_right_floating_boxes.clear();
  508. }
  509. } else {
  510. // This is the first right-floating box. Go all the way to the right.
  511. x = containing_block.width() - box.box_model().margin_box().right - box.width();
  512. }
  513. m_right_floating_boxes.append(&box);
  514. }
  515. box.set_offset(x, box.effective_offset().y());
  516. }
  517. }