GridFormattingContext.cpp 94 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840
  1. /*
  2. * Copyright (c) 2022-2023, Martin Falisse <mfalisse@outlook.com>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibWeb/DOM/Node.h>
  7. #include <LibWeb/Layout/Box.h>
  8. #include <LibWeb/Layout/GridFormattingContext.h>
  9. namespace Web::Layout {
  10. GridFormattingContext::GridFormattingContext(LayoutState& state, Box const& grid_container, FormattingContext* parent)
  11. : FormattingContext(Type::Grid, state, grid_container, parent)
  12. {
  13. }
  14. GridFormattingContext::~GridFormattingContext() = default;
  15. CSSPixels GridFormattingContext::resolve_definite_track_size(CSS::GridSize const& grid_size, AvailableSpace const& available_space)
  16. {
  17. VERIFY(grid_size.is_definite());
  18. switch (grid_size.type()) {
  19. case CSS::GridSize::Type::LengthPercentage: {
  20. if (!grid_size.length_percentage().is_auto()) {
  21. return grid_size.css_size().to_px(grid_container(), available_space.width.to_px());
  22. }
  23. break;
  24. }
  25. default:
  26. VERIFY_NOT_REACHED();
  27. }
  28. return 0;
  29. }
  30. int GridFormattingContext::get_count_of_tracks(Vector<CSS::ExplicitGridTrack> const& track_list, AvailableSpace const& available_space)
  31. {
  32. auto track_count = 0;
  33. for (auto const& explicit_grid_track : track_list) {
  34. if (explicit_grid_track.is_repeat() && explicit_grid_track.repeat().is_default())
  35. track_count += explicit_grid_track.repeat().repeat_count() * explicit_grid_track.repeat().grid_track_size_list().track_list().size();
  36. else
  37. track_count += 1;
  38. }
  39. if (track_list.size() == 1
  40. && track_list.first().is_repeat()
  41. && (track_list.first().repeat().is_auto_fill() || track_list.first().repeat().is_auto_fit())) {
  42. track_count = count_of_repeated_auto_fill_or_fit_tracks(track_list, available_space);
  43. }
  44. return track_count;
  45. }
  46. int GridFormattingContext::count_of_repeated_auto_fill_or_fit_tracks(Vector<CSS::ExplicitGridTrack> const& track_list, AvailableSpace const& available_space)
  47. {
  48. // https://www.w3.org/TR/css-grid-2/#auto-repeat
  49. // 7.2.3.2. Repeat-to-fill: auto-fill and auto-fit repetitions
  50. // On a subgridded axis, the auto-fill keyword is only valid once per <line-name-list>, and repeats
  51. // enough times for the name list to match the subgrid’s specified grid span (falling back to 0 if
  52. // the span is already fulfilled).
  53. // Otherwise on a standalone axis, when auto-fill is given as the repetition number
  54. // If the grid container has a definite size or max size in the relevant axis, then the number of
  55. // repetitions is the largest possible positive integer that does not cause the grid to overflow the
  56. // content box of its grid container
  57. CSSPixels sum_of_grid_track_sizes = 0;
  58. // (treating each track as its max track sizing function if that is definite or its minimum track sizing
  59. // function otherwise, flooring the max track sizing function by the min track sizing function if both
  60. // are definite, and taking gap into account)
  61. // FIXME: take gap into account
  62. for (auto& explicit_grid_track : track_list.first().repeat().grid_track_size_list().track_list()) {
  63. auto track_sizing_function = explicit_grid_track;
  64. if (track_sizing_function.is_minmax()) {
  65. if (track_sizing_function.minmax().max_grid_size().is_definite() && !track_sizing_function.minmax().min_grid_size().is_definite())
  66. sum_of_grid_track_sizes += resolve_definite_track_size(track_sizing_function.minmax().max_grid_size(), available_space);
  67. else if (track_sizing_function.minmax().min_grid_size().is_definite() && !track_sizing_function.minmax().max_grid_size().is_definite())
  68. sum_of_grid_track_sizes += resolve_definite_track_size(track_sizing_function.minmax().min_grid_size(), available_space);
  69. else if (track_sizing_function.minmax().min_grid_size().is_definite() && track_sizing_function.minmax().max_grid_size().is_definite())
  70. sum_of_grid_track_sizes += min(resolve_definite_track_size(track_sizing_function.minmax().min_grid_size(), available_space), resolve_definite_track_size(track_sizing_function.minmax().max_grid_size(), available_space));
  71. } else {
  72. sum_of_grid_track_sizes += min(resolve_definite_track_size(track_sizing_function.grid_size(), available_space), resolve_definite_track_size(track_sizing_function.grid_size(), available_space));
  73. }
  74. }
  75. return max(1, static_cast<int>((get_free_space(available_space, GridDimension::Column).to_px() / sum_of_grid_track_sizes).value()));
  76. // For the purpose of finding the number of auto-repeated tracks in a standalone axis, the UA must
  77. // floor the track size to a UA-specified value to avoid division by zero. It is suggested that this
  78. // floor be 1px.
  79. }
  80. void GridFormattingContext::place_item_with_row_and_column_position(Box const& child_box)
  81. {
  82. int row_start = child_box.computed_values().grid_row_start().raw_value() - 1;
  83. int row_end = child_box.computed_values().grid_row_end().raw_value() - 1;
  84. int column_start = child_box.computed_values().grid_column_start().raw_value() - 1;
  85. int column_end = child_box.computed_values().grid_column_end().raw_value() - 1;
  86. // https://www.w3.org/TR/css-grid-2/#line-placement
  87. // 8.3. Line-based Placement: the grid-row-start, grid-column-start, grid-row-end, and grid-column-end properties
  88. // https://www.w3.org/TR/css-grid-2/#grid-placement-slot
  89. // First attempt to match the grid area’s edge to a named grid area: if there is a grid line whose
  90. // line name is <custom-ident>-start (for grid-*-start) / <custom-ident>-end (for grid-*-end),
  91. // contributes the first such line to the grid item’s placement.
  92. // Otherwise, treat this as if the integer 1 had been specified along with the <custom-ident>.
  93. // https://www.w3.org/TR/css-grid-2/#grid-placement-int
  94. // Contributes the Nth grid line to the grid item’s placement. If a negative integer is given, it
  95. // instead counts in reverse, starting from the end edge of the explicit grid.
  96. if (row_end < 0)
  97. row_end = m_occupation_grid.row_count() + row_end + 2;
  98. if (column_end < 0)
  99. column_end = m_occupation_grid.column_count() + column_end + 2;
  100. // If a name is given as a <custom-ident>, only lines with that name are counted. If not enough
  101. // lines with that name exist, all implicit grid lines are assumed to have that name for the purpose
  102. // of finding this position.
  103. // https://www.w3.org/TR/css-grid-2/#grid-placement-span-int
  104. // Contributes a grid span to the grid item’s placement such that the corresponding edge of the grid
  105. // item’s grid area is N lines from its opposite edge in the corresponding direction. For example,
  106. // grid-column-end: span 2 indicates the second grid line in the endward direction from the
  107. // grid-column-start line.
  108. int row_span = 1;
  109. int column_span = 1;
  110. if (child_box.computed_values().grid_row_start().is_position() && child_box.computed_values().grid_row_end().is_span())
  111. row_span = child_box.computed_values().grid_row_end().raw_value();
  112. if (child_box.computed_values().grid_column_start().is_position() && child_box.computed_values().grid_column_end().is_span())
  113. column_span = child_box.computed_values().grid_column_end().raw_value();
  114. if (child_box.computed_values().grid_row_end().is_position() && child_box.computed_values().grid_row_start().is_span()) {
  115. row_span = child_box.computed_values().grid_row_start().raw_value();
  116. row_start = row_end - row_span;
  117. }
  118. if (child_box.computed_values().grid_column_end().is_position() && child_box.computed_values().grid_column_start().is_span()) {
  119. column_span = child_box.computed_values().grid_column_start().raw_value();
  120. column_start = column_end - column_span;
  121. }
  122. // If a name is given as a <custom-ident>, only lines with that name are counted. If not enough
  123. // lines with that name exist, all implicit grid lines on the side of the explicit grid
  124. // corresponding to the search direction are assumed to have that name for the purpose of counting
  125. // this span.
  126. // https://drafts.csswg.org/css-grid/#grid-placement-auto
  127. // auto
  128. // The property contributes nothing to the grid item’s placement, indicating auto-placement or a
  129. // default span of one. (See § 8 Placing Grid Items, above.)
  130. // https://www.w3.org/TR/css-grid-2/#common-uses-named-lines
  131. // 8.1.3. Named Lines and Spans
  132. // Instead of counting lines by number, lines can be referenced by their line name:
  133. if (child_box.computed_values().grid_column_end().has_line_name()) {
  134. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_column_end().line_name()); maybe_grid_area.has_value())
  135. column_end = maybe_grid_area->column_end;
  136. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_column_end().line_name(), grid_container().computed_values().grid_template_columns()); line_name_index > -1)
  137. column_end = line_name_index;
  138. else
  139. column_end = 1;
  140. column_start = column_end - 1;
  141. }
  142. if (child_box.computed_values().grid_column_start().has_line_name()) {
  143. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_column_end().line_name()); maybe_grid_area.has_value())
  144. column_start = maybe_grid_area->column_start;
  145. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_column_start().line_name(), grid_container().computed_values().grid_template_columns()); line_name_index > -1)
  146. column_start = line_name_index;
  147. else
  148. column_start = 0;
  149. }
  150. if (child_box.computed_values().grid_row_end().has_line_name()) {
  151. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_row_end().line_name()); maybe_grid_area.has_value())
  152. row_end = maybe_grid_area->row_end;
  153. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_row_end().line_name(), grid_container().computed_values().grid_template_rows()); line_name_index > -1)
  154. row_end = line_name_index;
  155. else
  156. row_end = 1;
  157. row_start = row_end - 1;
  158. }
  159. if (child_box.computed_values().grid_row_start().has_line_name()) {
  160. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_row_end().line_name()); maybe_grid_area.has_value())
  161. row_start = maybe_grid_area->row_start;
  162. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_row_start().line_name(), grid_container().computed_values().grid_template_rows()); line_name_index > -1)
  163. row_start = line_name_index;
  164. else
  165. row_start = 0;
  166. }
  167. // If there are multiple lines of the same name, they effectively establish a named set of grid
  168. // lines, which can be exclusively indexed by filtering the placement by name:
  169. // https://drafts.csswg.org/css-grid/#grid-placement-errors
  170. // 8.3.1. Grid Placement Conflict Handling
  171. // If the placement for a grid item contains two lines, and the start line is further end-ward than
  172. // the end line, swap the two lines. If the start line is equal to the end line, remove the end
  173. // line.
  174. if (child_box.computed_values().grid_row_start().is_position() && child_box.computed_values().grid_row_end().is_position()) {
  175. if (row_start > row_end)
  176. swap(row_start, row_end);
  177. if (row_start != row_end)
  178. row_span = row_end - row_start;
  179. }
  180. if (child_box.computed_values().grid_column_start().is_position() && child_box.computed_values().grid_column_end().is_position()) {
  181. if (column_start > column_end)
  182. swap(column_start, column_end);
  183. if (column_start != column_end)
  184. column_span = column_end - column_start;
  185. }
  186. // If the placement contains two spans, remove the one contributed by the end grid-placement
  187. // property.
  188. if (child_box.computed_values().grid_row_start().is_span() && child_box.computed_values().grid_row_end().is_span())
  189. row_span = child_box.computed_values().grid_row_start().raw_value();
  190. if (child_box.computed_values().grid_column_start().is_span() && child_box.computed_values().grid_column_end().is_span())
  191. column_span = child_box.computed_values().grid_column_start().raw_value();
  192. // FIXME: If the placement contains only a span for a named line, replace it with a span of 1.
  193. m_grid_items.append(GridItem(child_box, row_start, row_span, column_start, column_span));
  194. m_occupation_grid.set_occupied(column_start, column_start + column_span, row_start, row_start + row_span);
  195. }
  196. void GridFormattingContext::place_item_with_row_position(Box const& child_box)
  197. {
  198. int row_start = child_box.computed_values().grid_row_start().raw_value() - 1;
  199. int row_end = child_box.computed_values().grid_row_end().raw_value() - 1;
  200. // https://www.w3.org/TR/css-grid-2/#line-placement
  201. // 8.3. Line-based Placement: the grid-row-start, grid-column-start, grid-row-end, and grid-column-end properties
  202. // https://www.w3.org/TR/css-grid-2/#grid-placement-slot
  203. // First attempt to match the grid area’s edge to a named grid area: if there is a grid line whose
  204. // line name is <custom-ident>-start (for grid-*-start) / <custom-ident>-end (for grid-*-end),
  205. // contributes the first such line to the grid item’s placement.
  206. // Otherwise, treat this as if the integer 1 had been specified along with the <custom-ident>.
  207. // https://www.w3.org/TR/css-grid-2/#grid-placement-int
  208. // Contributes the Nth grid line to the grid item’s placement. If a negative integer is given, it
  209. // instead counts in reverse, starting from the end edge of the explicit grid.
  210. if (row_end < 0)
  211. row_end = m_occupation_grid.row_count() + row_end + 2;
  212. // If a name is given as a <custom-ident>, only lines with that name are counted. If not enough
  213. // lines with that name exist, all implicit grid lines are assumed to have that name for the purpose
  214. // of finding this position.
  215. // https://www.w3.org/TR/css-grid-2/#grid-placement-span-int
  216. // Contributes a grid span to the grid item’s placement such that the corresponding edge of the grid
  217. // item’s grid area is N lines from its opposite edge in the corresponding direction. For example,
  218. // grid-column-end: span 2 indicates the second grid line in the endward direction from the
  219. // grid-column-start line.
  220. int row_span = 1;
  221. if (child_box.computed_values().grid_row_start().is_position() && child_box.computed_values().grid_row_end().is_span())
  222. row_span = child_box.computed_values().grid_row_end().raw_value();
  223. if (child_box.computed_values().grid_row_end().is_position() && child_box.computed_values().grid_row_start().is_span()) {
  224. row_span = child_box.computed_values().grid_row_start().raw_value();
  225. row_start = row_end - row_span;
  226. // FIXME: Remove me once have implemented spans overflowing into negative indexes, e.g., grid-row: span 2 / 1
  227. if (row_start < 0)
  228. row_start = 0;
  229. }
  230. // If a name is given as a <custom-ident>, only lines with that name are counted. If not enough
  231. // lines with that name exist, all implicit grid lines on the side of the explicit grid
  232. // corresponding to the search direction are assumed to have that name for the purpose of counting
  233. // this span.
  234. // https://drafts.csswg.org/css-grid/#grid-placement-auto
  235. // auto
  236. // The property contributes nothing to the grid item’s placement, indicating auto-placement or a
  237. // default span of one. (See § 8 Placing Grid Items, above.)
  238. // https://www.w3.org/TR/css-grid-2/#common-uses-named-lines
  239. // 8.1.3. Named Lines and Spans
  240. // Instead of counting lines by number, lines can be referenced by their line name:
  241. if (child_box.computed_values().grid_row_end().has_line_name()) {
  242. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_row_end().line_name()); maybe_grid_area.has_value())
  243. row_end = maybe_grid_area->row_end;
  244. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_row_end().line_name(), grid_container().computed_values().grid_template_rows()); line_name_index > -1)
  245. row_end = line_name_index;
  246. else
  247. row_end = 1;
  248. row_start = row_end - 1;
  249. }
  250. if (child_box.computed_values().grid_row_start().has_line_name()) {
  251. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_row_end().line_name()); maybe_grid_area.has_value())
  252. row_start = maybe_grid_area->row_start;
  253. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_row_start().line_name(), grid_container().computed_values().grid_template_rows()); line_name_index > -1)
  254. row_start = line_name_index;
  255. else
  256. row_start = 0;
  257. }
  258. // If there are multiple lines of the same name, they effectively establish a named set of grid
  259. // lines, which can be exclusively indexed by filtering the placement by name:
  260. // https://drafts.csswg.org/css-grid/#grid-placement-errors
  261. // 8.3.1. Grid Placement Conflict Handling
  262. // If the placement for a grid item contains two lines, and the start line is further end-ward than
  263. // the end line, swap the two lines. If the start line is equal to the end line, remove the end
  264. // line.
  265. if (child_box.computed_values().grid_row_start().is_position() && child_box.computed_values().grid_row_end().is_position()) {
  266. if (row_start > row_end)
  267. swap(row_start, row_end);
  268. if (row_start != row_end)
  269. row_span = row_end - row_start;
  270. }
  271. // FIXME: Have yet to find the spec for this.
  272. if (!child_box.computed_values().grid_row_start().is_position() && child_box.computed_values().grid_row_end().is_position() && row_end == 0)
  273. row_start = 0;
  274. // If the placement contains two spans, remove the one contributed by the end grid-placement
  275. // property.
  276. if (child_box.computed_values().grid_row_start().is_span() && child_box.computed_values().grid_row_end().is_span())
  277. row_span = child_box.computed_values().grid_row_start().raw_value();
  278. // FIXME: If the placement contains only a span for a named line, replace it with a span of 1.
  279. int column_start = 0;
  280. auto column_span = child_box.computed_values().grid_column_start().is_span() ? child_box.computed_values().grid_column_start().raw_value() : 1;
  281. // https://drafts.csswg.org/css-grid/#auto-placement-algo
  282. // 8.5. Grid Item Placement Algorithm
  283. // 3.3. If the largest column span among all the items without a definite column position is larger
  284. // than the width of the implicit grid, add columns to the end of the implicit grid to accommodate
  285. // that column span.
  286. bool found_available_column = false;
  287. for (size_t column_index = column_start; column_index < m_occupation_grid.column_count(); column_index++) {
  288. if (!m_occupation_grid.is_occupied(column_index, row_start)) {
  289. found_available_column = true;
  290. column_start = column_index;
  291. break;
  292. }
  293. }
  294. if (!found_available_column) {
  295. column_start = m_occupation_grid.column_count();
  296. }
  297. m_occupation_grid.set_occupied(column_start, column_start + column_span, row_start, row_start + row_span);
  298. m_grid_items.append(GridItem(child_box, row_start, row_span, column_start, column_span));
  299. }
  300. void GridFormattingContext::place_item_with_column_position(Box const& child_box, int& auto_placement_cursor_x, int& auto_placement_cursor_y)
  301. {
  302. int column_start;
  303. if (child_box.computed_values().grid_column_start().raw_value() > 0) {
  304. column_start = child_box.computed_values().grid_column_start().raw_value() - 1;
  305. } else {
  306. // NOTE: Negative indexes count from the end side of the explicit grid
  307. column_start = m_explicit_columns_line_count + child_box.computed_values().grid_column_start().raw_value();
  308. }
  309. int column_end = child_box.computed_values().grid_column_end().raw_value() - 1;
  310. // https://www.w3.org/TR/css-grid-2/#line-placement
  311. // 8.3. Line-based Placement: the grid-row-start, grid-column-start, grid-row-end, and grid-column-end properties
  312. // https://www.w3.org/TR/css-grid-2/#grid-placement-slot
  313. // First attempt to match the grid area’s edge to a named grid area: if there is a grid line whose
  314. // line name is <custom-ident>-start (for grid-*-start) / <custom-ident>-end (for grid-*-end),
  315. // contributes the first such line to the grid item’s placement.
  316. // Otherwise, treat this as if the integer 1 had been specified along with the <custom-ident>.
  317. // https://www.w3.org/TR/css-grid-2/#grid-placement-int
  318. // Contributes the Nth grid line to the grid item’s placement. If a negative integer is given, it
  319. // instead counts in reverse, starting from the end edge of the explicit grid.
  320. if (column_end < 0)
  321. column_end = m_occupation_grid.column_count() + column_end + 2;
  322. // If a name is given as a <custom-ident>, only lines with that name are counted. If not enough
  323. // lines with that name exist, all implicit grid lines are assumed to have that name for the purpose
  324. // of finding this position.
  325. // https://www.w3.org/TR/css-grid-2/#grid-placement-span-int
  326. // Contributes a grid span to the grid item’s placement such that the corresponding edge of the grid
  327. // item’s grid area is N lines from its opposite edge in the corresponding direction. For example,
  328. // grid-column-end: span 2 indicates the second grid line in the endward direction from the
  329. // grid-column-start line.
  330. int column_span = 1;
  331. auto row_span = child_box.computed_values().grid_row_start().is_span() ? child_box.computed_values().grid_row_start().raw_value() : 1;
  332. if (child_box.computed_values().grid_column_start().is_position() && child_box.computed_values().grid_column_end().is_span())
  333. column_span = child_box.computed_values().grid_column_end().raw_value();
  334. if (child_box.computed_values().grid_column_end().is_position() && child_box.computed_values().grid_column_start().is_span()) {
  335. column_span = child_box.computed_values().grid_column_start().raw_value();
  336. column_start = column_end - column_span;
  337. // FIXME: Remove me once have implemented spans overflowing into negative indexes, e.g., grid-column: span 2 / 1
  338. if (column_start < 0)
  339. column_start = 0;
  340. }
  341. // FIXME: Have yet to find the spec for this.
  342. if (!child_box.computed_values().grid_column_start().is_position() && child_box.computed_values().grid_column_end().is_position() && column_end == 0)
  343. column_start = 0;
  344. // If a name is given as a <custom-ident>, only lines with that name are counted. If not enough
  345. // lines with that name exist, all implicit grid lines on the side of the explicit grid
  346. // corresponding to the search direction are assumed to have that name for the purpose of counting
  347. // this span.
  348. // https://drafts.csswg.org/css-grid/#grid-placement-auto
  349. // auto
  350. // The property contributes nothing to the grid item’s placement, indicating auto-placement or a
  351. // default span of one. (See § 8 Placing Grid Items, above.)
  352. // https://www.w3.org/TR/css-grid-2/#common-uses-named-lines
  353. // 8.1.3. Named Lines and Spans
  354. // Instead of counting lines by number, lines can be referenced by their line name:
  355. if (child_box.computed_values().grid_column_end().has_line_name()) {
  356. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_column_end().line_name()); maybe_grid_area.has_value())
  357. column_end = maybe_grid_area->column_end;
  358. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_column_end().line_name(), grid_container().computed_values().grid_template_columns()); line_name_index > -1)
  359. column_end = line_name_index;
  360. else
  361. column_end = 1;
  362. column_start = column_end - 1;
  363. }
  364. if (child_box.computed_values().grid_column_start().has_line_name()) {
  365. if (auto maybe_grid_area = m_grid_areas.get(child_box.computed_values().grid_column_end().line_name()); maybe_grid_area.has_value())
  366. column_start = maybe_grid_area->column_start;
  367. else if (auto line_name_index = get_line_index_by_line_name(child_box.computed_values().grid_column_start().line_name(), grid_container().computed_values().grid_template_columns()); line_name_index > -1)
  368. column_start = line_name_index;
  369. else
  370. column_start = 0;
  371. }
  372. // If there are multiple lines of the same name, they effectively establish a named set of grid
  373. // lines, which can be exclusively indexed by filtering the placement by name:
  374. // https://drafts.csswg.org/css-grid/#grid-placement-errors
  375. // 8.3.1. Grid Placement Conflict Handling
  376. // If the placement for a grid item contains two lines, and the start line is further end-ward than
  377. // the end line, swap the two lines. If the start line is equal to the end line, remove the end
  378. // line.
  379. if (child_box.computed_values().grid_column_start().is_position() && child_box.computed_values().grid_column_end().is_position()) {
  380. if (column_start > column_end)
  381. swap(column_start, column_end);
  382. if (column_start != column_end)
  383. column_span = column_end - column_start;
  384. }
  385. // If the placement contains two spans, remove the one contributed by the end grid-placement
  386. // property.
  387. if (child_box.computed_values().grid_column_start().is_span() && child_box.computed_values().grid_column_end().is_span())
  388. column_span = child_box.computed_values().grid_column_start().raw_value();
  389. // FIXME: If the placement contains only a span for a named line, replace it with a span of 1.
  390. // 4.1.1.1. Set the column position of the cursor to the grid item's column-start line. If this is
  391. // less than the previous column position of the cursor, increment the row position by 1.
  392. if (column_start < auto_placement_cursor_x)
  393. auto_placement_cursor_y++;
  394. auto_placement_cursor_x = column_start;
  395. // 4.1.1.2. Increment the cursor's row position until a value is found where the grid item does not
  396. // overlap any occupied grid cells (creating new rows in the implicit grid as necessary).
  397. while (true) {
  398. if (!m_occupation_grid.is_occupied(column_start, auto_placement_cursor_y)) {
  399. break;
  400. }
  401. auto_placement_cursor_y++;
  402. }
  403. // 4.1.1.3. Set the item's row-start line to the cursor's row position, and set the item's row-end
  404. // line according to its span from that position.
  405. m_occupation_grid.set_occupied(column_start, column_start + column_span, auto_placement_cursor_y, auto_placement_cursor_y + row_span);
  406. m_grid_items.append(GridItem(child_box, auto_placement_cursor_y, row_span, column_start, column_span));
  407. }
  408. void GridFormattingContext::place_item_with_no_declared_position(Box const& child_box, int& auto_placement_cursor_x, int& auto_placement_cursor_y)
  409. {
  410. // 4.1.2.1. Increment the column position of the auto-placement cursor until either this item's grid
  411. // area does not overlap any occupied grid cells, or the cursor's column position, plus the item's
  412. // column span, overflow the number of columns in the implicit grid, as determined earlier in this
  413. // algorithm.
  414. auto column_start = 0;
  415. auto column_span = 1;
  416. if (child_box.computed_values().grid_column_start().is_span())
  417. column_span = child_box.computed_values().grid_column_start().raw_value();
  418. else if (child_box.computed_values().grid_column_end().is_span())
  419. column_span = child_box.computed_values().grid_column_end().raw_value();
  420. // https://drafts.csswg.org/css-grid/#auto-placement-algo
  421. // 8.5. Grid Item Placement Algorithm
  422. // 3.3. If the largest column span among all the items without a definite column position is larger
  423. // than the width of the implicit grid, add columns to the end of the implicit grid to accommodate
  424. // that column span.
  425. auto row_start = 0;
  426. auto row_span = 1;
  427. if (child_box.computed_values().grid_row_start().is_span())
  428. row_span = child_box.computed_values().grid_row_start().raw_value();
  429. else if (child_box.computed_values().grid_row_end().is_span())
  430. row_span = child_box.computed_values().grid_row_end().raw_value();
  431. auto found_unoccupied_area = false;
  432. while (true) {
  433. while (auto_placement_cursor_x <= m_occupation_grid.max_column_index()) {
  434. if (auto_placement_cursor_x + column_span <= m_occupation_grid.max_column_index() + 1) {
  435. auto found_all_available = true;
  436. for (int span_index = 0; span_index < column_span; span_index++) {
  437. if (m_occupation_grid.is_occupied(auto_placement_cursor_x + span_index, auto_placement_cursor_y))
  438. found_all_available = false;
  439. }
  440. if (found_all_available) {
  441. found_unoccupied_area = true;
  442. column_start = auto_placement_cursor_x;
  443. row_start = auto_placement_cursor_y;
  444. break;
  445. }
  446. }
  447. auto_placement_cursor_x++;
  448. }
  449. if (found_unoccupied_area) {
  450. break;
  451. }
  452. // 4.1.2.2. If a non-overlapping position was found in the previous step, set the item's row-start
  453. // and column-start lines to the cursor's position. Otherwise, increment the auto-placement cursor's
  454. // row position (creating new rows in the implicit grid as necessary), set its column position to the
  455. // start-most column line in the implicit grid, and return to the previous step.
  456. if (!found_unoccupied_area) {
  457. auto_placement_cursor_x = m_occupation_grid.min_column_index();
  458. auto_placement_cursor_y++;
  459. row_start = auto_placement_cursor_y;
  460. }
  461. }
  462. m_occupation_grid.set_occupied(column_start, column_start + column_span, row_start, row_start + row_span);
  463. m_grid_items.append(GridItem(child_box, row_start, row_span, column_start, column_span));
  464. }
  465. void GridFormattingContext::initialize_grid_tracks_from_definition(AvailableSpace const& available_space, Vector<CSS::ExplicitGridTrack> const& tracks_definition, Vector<TemporaryTrack>& tracks)
  466. {
  467. auto track_count = get_count_of_tracks(tracks_definition, available_space);
  468. for (auto const& track_definition : tracks_definition) {
  469. auto repeat_count = (track_definition.is_repeat() && track_definition.repeat().is_default()) ? track_definition.repeat().repeat_count() : 1;
  470. if (track_definition.is_repeat()) {
  471. if (track_definition.repeat().is_auto_fill() || track_definition.repeat().is_auto_fit())
  472. repeat_count = track_count;
  473. }
  474. for (auto _ = 0; _ < repeat_count; _++) {
  475. switch (track_definition.type()) {
  476. case CSS::ExplicitGridTrack::Type::MinMax:
  477. tracks.append(TemporaryTrack(track_definition.minmax().min_grid_size(), track_definition.minmax().max_grid_size()));
  478. break;
  479. case CSS::ExplicitGridTrack::Type::Repeat:
  480. for (auto& explicit_grid_track : track_definition.repeat().grid_track_size_list().track_list()) {
  481. auto track_sizing_function = explicit_grid_track;
  482. if (track_sizing_function.is_minmax())
  483. tracks.append(TemporaryTrack(track_sizing_function.minmax().min_grid_size(), track_sizing_function.minmax().max_grid_size()));
  484. else
  485. tracks.append(TemporaryTrack(track_sizing_function.grid_size()));
  486. }
  487. break;
  488. case CSS::ExplicitGridTrack::Type::Default:
  489. tracks.append(TemporaryTrack(track_definition.grid_size()));
  490. break;
  491. default:
  492. VERIFY_NOT_REACHED();
  493. }
  494. }
  495. }
  496. }
  497. void GridFormattingContext::initialize_grid_tracks_for_columns_and_rows(AvailableSpace const& available_space)
  498. {
  499. auto const& grid_computed_values = grid_container().computed_values();
  500. auto const& grid_auto_columns = grid_computed_values.grid_auto_columns().track_list();
  501. size_t implicit_column_index = 0;
  502. // NOTE: If there are implicit tracks created by items with negative indexes they should prepend explicitly defined tracks
  503. auto negative_index_implied_column_tracks_count = abs(m_occupation_grid.min_column_index());
  504. for (int column_index = 0; column_index < negative_index_implied_column_tracks_count; column_index++) {
  505. if (grid_auto_columns.size() > 0) {
  506. auto size = grid_auto_columns[implicit_column_index % grid_auto_columns.size()];
  507. m_grid_columns.append(TemporaryTrack(size.grid_size()));
  508. } else {
  509. m_grid_columns.append(TemporaryTrack());
  510. }
  511. implicit_column_index++;
  512. }
  513. initialize_grid_tracks_from_definition(available_space, grid_computed_values.grid_template_columns().track_list(), m_grid_columns);
  514. for (size_t column_index = m_grid_columns.size(); column_index < m_occupation_grid.column_count(); column_index++) {
  515. if (grid_auto_columns.size() > 0) {
  516. auto size = grid_auto_columns[implicit_column_index % grid_auto_columns.size()];
  517. m_grid_columns.append(TemporaryTrack(size.grid_size()));
  518. } else {
  519. m_grid_columns.append(TemporaryTrack());
  520. }
  521. implicit_column_index++;
  522. }
  523. auto const& grid_auto_rows = grid_computed_values.grid_auto_rows().track_list();
  524. size_t implicit_row_index = 0;
  525. // NOTE: If there are implicit tracks created by items with negative indexes they should prepend explicitly defined tracks
  526. auto negative_index_implied_row_tracks_count = abs(m_occupation_grid.min_row_index());
  527. for (int row_index = 0; row_index < negative_index_implied_row_tracks_count; row_index++) {
  528. if (grid_auto_rows.size() > 0) {
  529. auto size = grid_auto_rows[implicit_row_index % grid_auto_rows.size()];
  530. m_grid_rows.append(TemporaryTrack(size.grid_size()));
  531. } else {
  532. m_grid_rows.append(TemporaryTrack());
  533. }
  534. implicit_row_index++;
  535. }
  536. initialize_grid_tracks_from_definition(available_space, grid_computed_values.grid_template_rows().track_list(), m_grid_rows);
  537. for (size_t row_index = m_grid_rows.size(); row_index < m_occupation_grid.row_count(); row_index++) {
  538. if (grid_auto_rows.size() > 0) {
  539. auto size = grid_auto_rows[implicit_row_index % grid_auto_rows.size()];
  540. m_grid_rows.append(TemporaryTrack(size.grid_size()));
  541. } else {
  542. m_grid_rows.append(TemporaryTrack());
  543. }
  544. implicit_row_index++;
  545. }
  546. }
  547. void GridFormattingContext::initialize_gap_tracks(AvailableSpace const& available_space)
  548. {
  549. // https://www.w3.org/TR/css-grid-2/#gutters
  550. // 11.1. Gutters: the row-gap, column-gap, and gap properties
  551. // For the purpose of track sizing, each gutter is treated as an extra, empty, fixed-size track of
  552. // the specified size, which is spanned by any grid items that span across its corresponding grid
  553. // line.
  554. if (!grid_container().computed_values().column_gap().is_auto() && m_grid_columns.size() > 0) {
  555. auto column_gap_width = grid_container().computed_values().column_gap().to_px(grid_container(), available_space.width.to_px());
  556. m_column_gap_tracks.ensure_capacity(m_grid_columns.size() - 1);
  557. for (size_t column_index = 0; column_index < m_grid_columns.size(); column_index++) {
  558. m_grid_columns_and_gaps.append(m_grid_columns[column_index]);
  559. if (column_index != m_grid_columns.size() - 1) {
  560. m_column_gap_tracks.append(TemporaryTrack(column_gap_width, true));
  561. m_grid_columns_and_gaps.append(m_column_gap_tracks.last());
  562. }
  563. }
  564. } else {
  565. for (auto& track : m_grid_columns) {
  566. m_grid_columns_and_gaps.append(track);
  567. }
  568. }
  569. if (!grid_container().computed_values().row_gap().is_auto() && m_grid_rows.size() > 0) {
  570. auto row_gap_height = grid_container().computed_values().row_gap().to_px(grid_container(), available_space.height.to_px());
  571. m_row_gap_tracks.ensure_capacity(m_grid_rows.size() - 1);
  572. for (size_t row_index = 0; row_index < m_grid_rows.size(); row_index++) {
  573. m_grid_rows_and_gaps.append(m_grid_rows[row_index]);
  574. if (row_index != m_grid_rows.size() - 1) {
  575. m_row_gap_tracks.append(TemporaryTrack(row_gap_height, true));
  576. m_grid_rows_and_gaps.append(m_row_gap_tracks.last());
  577. }
  578. }
  579. } else {
  580. for (auto& track : m_grid_rows) {
  581. m_grid_rows_and_gaps.append(track);
  582. }
  583. }
  584. }
  585. void GridFormattingContext::initialize_track_sizes(AvailableSpace const& available_space, GridDimension const dimension)
  586. {
  587. // https://www.w3.org/TR/css-grid-2/#algo-init
  588. // 12.4. Initialize Track Sizes
  589. // Initialize each track’s base size and growth limit.
  590. auto& tracks_and_gaps = dimension == GridDimension::Column ? m_grid_columns_and_gaps : m_grid_rows_and_gaps;
  591. auto& available_size = dimension == GridDimension::Column ? available_space.width : available_space.height;
  592. for (auto& track : tracks_and_gaps) {
  593. if (track.is_gap)
  594. continue;
  595. if (track.min_track_sizing_function.is_fixed(available_size)) {
  596. track.base_size = track.min_track_sizing_function.css_size().to_px(grid_container(), available_size.to_px());
  597. } else if (track.min_track_sizing_function.is_intrinsic(available_size)) {
  598. track.base_size = 0;
  599. }
  600. if (track.max_track_sizing_function.is_fixed(available_size)) {
  601. track.growth_limit = track.max_track_sizing_function.css_size().to_px(grid_container(), available_size.to_px());
  602. } else if (track.max_track_sizing_function.is_flexible_length()) {
  603. track.growth_limit = INFINITY;
  604. } else if (track.max_track_sizing_function.is_intrinsic(available_size)) {
  605. track.growth_limit = INFINITY;
  606. } else {
  607. VERIFY_NOT_REACHED();
  608. }
  609. // In all cases, if the growth limit is less than the base size, increase the growth limit to match
  610. // the base size.
  611. if (track.growth_limit < track.base_size)
  612. track.growth_limit = track.base_size;
  613. }
  614. }
  615. void GridFormattingContext::resolve_intrinsic_track_sizes(AvailableSpace const& available_space, GridDimension const dimension)
  616. {
  617. // https://www.w3.org/TR/css-grid-2/#algo-content
  618. // 12.5. Resolve Intrinsic Track Sizes
  619. // This step resolves intrinsic track sizing functions to absolute lengths. First it resolves those
  620. // sizes based on items that are contained wholly within a single track. Then it gradually adds in
  621. // the space requirements of items that span multiple tracks, evenly distributing the extra space
  622. // across those tracks insofar as possible.
  623. auto& tracks_and_gaps = dimension == GridDimension::Column ? m_grid_columns_and_gaps : m_grid_rows_and_gaps;
  624. // FIXME: 1. Shim baseline-aligned items so their intrinsic size contributions reflect their baseline alignment.
  625. // 2. Size tracks to fit non-spanning items:
  626. increase_sizes_to_accommodate_spanning_items_crossing_content_sized_tracks(available_space, dimension, 1);
  627. // https://www.w3.org/TR/css-grid-2/#auto-repeat
  628. // The auto-fit keyword behaves the same as auto-fill, except that after grid item placement any
  629. // empty repeated tracks are collapsed. An empty track is one with no in-flow grid items placed into
  630. // or spanning across it. (This can result in all tracks being collapsed, if they’re all empty.)
  631. if (dimension == GridDimension::Column // FIXME: Handle for columns
  632. && grid_container().computed_values().grid_template_columns().track_list().size() == 1
  633. && grid_container().computed_values().grid_template_columns().track_list().first().is_repeat()
  634. && grid_container().computed_values().grid_template_columns().track_list().first().repeat().is_auto_fit()) {
  635. for (size_t idx = 0; idx < m_grid_columns.size(); idx++) {
  636. auto column_to_check = grid_container().computed_values().column_gap().is_auto() ? idx : idx / 2;
  637. if (m_occupation_grid.is_occupied(column_to_check, 0))
  638. continue;
  639. if (!grid_container().computed_values().column_gap().is_auto() && idx % 2 != 0)
  640. continue;
  641. // A collapsed track is treated as having a fixed track sizing function of 0px
  642. m_grid_columns[idx].base_size = 0;
  643. m_grid_columns[idx].growth_limit = 0;
  644. // FIXME: And the gutters on either side of it—including any space allotted through distributed
  645. // alignment—collapse.
  646. }
  647. }
  648. // 3. Increase sizes to accommodate spanning items crossing content-sized tracks: Next, consider the
  649. // items with a span of 2 that do not span a track with a flexible sizing function.
  650. // Repeat incrementally for items with greater spans until all items have been considered.
  651. size_t max_item_span = 1;
  652. for (auto& item : m_grid_items)
  653. max_item_span = max(item.span(dimension), max_item_span);
  654. for (size_t span = 2; span <= max_item_span; span++) {
  655. increase_sizes_to_accommodate_spanning_items_crossing_content_sized_tracks(available_space, dimension, 2);
  656. }
  657. // 4. Increase sizes to accommodate spanning items crossing flexible tracks: Next, repeat the previous
  658. // step instead considering (together, rather than grouped by span size) all items that do span a
  659. // track with a flexible sizing function while
  660. increase_sizes_to_accommodate_spanning_items_crossing_flexible_tracks(dimension);
  661. // 5. If any track still has an infinite growth limit (because, for example, it had no items placed in
  662. // it or it is a flexible track), set its growth limit to its base size.
  663. for (auto& track : tracks_and_gaps) {
  664. if (!isfinite(track.growth_limit.value())) {
  665. track.growth_limit = track.base_size;
  666. }
  667. }
  668. }
  669. template<typename Match>
  670. void GridFormattingContext::distribute_extra_space_across_spanned_tracks_base_size(CSSPixels item_size_contribution, Vector<TemporaryTrack&>& spanned_tracks, Match matcher)
  671. {
  672. Vector<TemporaryTrack&> affected_tracks;
  673. for (auto& track : spanned_tracks) {
  674. if (matcher(track))
  675. affected_tracks.append(track);
  676. }
  677. for (auto& track : affected_tracks)
  678. track.item_incurred_increase = 0;
  679. // 1. Find the space to distribute:
  680. CSSPixels spanned_tracks_sizes_sum = 0;
  681. for (auto& track : spanned_tracks)
  682. spanned_tracks_sizes_sum += track.base_size;
  683. // Subtract the corresponding size of every spanned track from the item’s size contribution to find the item’s
  684. // remaining size contribution.
  685. auto extra_space = max(CSSPixels(0), item_size_contribution - spanned_tracks_sizes_sum);
  686. // 2. Distribute space up to limits:
  687. // FIXME: If a fixed-point type were used to represent CSS pixels, it would be possible to compare with 0
  688. // instead of epsilon.
  689. while (extra_space > NumericLimits<double>().epsilon()) {
  690. auto all_frozen = all_of(affected_tracks, [](auto const& track) { return track.base_size_frozen; });
  691. if (all_frozen)
  692. break;
  693. // Find the item-incurred increase for each spanned track with an affected size by: distributing the space
  694. // equally among such tracks, freezing a track’s item-incurred increase as its affected size + item-incurred
  695. // increase reaches its limit
  696. CSSPixels increase_per_track = extra_space / affected_tracks.size();
  697. for (auto& track : affected_tracks) {
  698. if (track.base_size_frozen)
  699. continue;
  700. if (increase_per_track >= track.growth_limit) {
  701. track.base_size_frozen = true;
  702. track.item_incurred_increase = track.growth_limit;
  703. extra_space -= track.growth_limit;
  704. } else {
  705. track.item_incurred_increase += increase_per_track;
  706. extra_space -= increase_per_track;
  707. }
  708. }
  709. }
  710. // FIXME: 3. Distribute space beyond limits
  711. // 4. For each affected track, if the track’s item-incurred increase is larger than the track’s planned increase
  712. // set the track’s planned increase to that value.
  713. for (auto& track : affected_tracks) {
  714. if (track.item_incurred_increase > track.planned_increase)
  715. track.planned_increase = track.item_incurred_increase;
  716. }
  717. }
  718. template<typename Match>
  719. void GridFormattingContext::distribute_extra_space_across_spanned_tracks_growth_limit(CSSPixels item_size_contribution, Vector<TemporaryTrack&>& spanned_tracks, Match matcher)
  720. {
  721. Vector<TemporaryTrack&> affected_tracks;
  722. for (auto& track : spanned_tracks) {
  723. if (matcher(track))
  724. affected_tracks.append(track);
  725. }
  726. for (auto& track : affected_tracks)
  727. track.item_incurred_increase = 0;
  728. // 1. Find the space to distribute:
  729. CSSPixels spanned_tracks_sizes_sum = 0;
  730. for (auto& track : spanned_tracks) {
  731. if (isfinite(track.growth_limit.value())) {
  732. spanned_tracks_sizes_sum += track.growth_limit;
  733. } else {
  734. spanned_tracks_sizes_sum += track.base_size;
  735. }
  736. }
  737. // Subtract the corresponding size of every spanned track from the item’s size contribution to find the item’s
  738. // remaining size contribution.
  739. auto extra_space = max(CSSPixels(0), item_size_contribution - spanned_tracks_sizes_sum);
  740. // 2. Distribute space up to limits:
  741. // FIXME: If a fixed-point type were used to represent CSS pixels, it would be possible to compare with 0
  742. // instead of epsilon.
  743. while (extra_space > NumericLimits<double>().epsilon()) {
  744. auto all_frozen = all_of(affected_tracks, [](auto const& track) { return track.growth_limit_frozen; });
  745. if (all_frozen)
  746. break;
  747. // Find the item-incurred increase for each spanned track with an affected size by: distributing the space
  748. // equally among such tracks, freezing a track’s item-incurred increase as its affected size + item-incurred
  749. // increase reaches its limit
  750. CSSPixels increase_per_track = extra_space / affected_tracks.size();
  751. for (auto& track : affected_tracks) {
  752. if (track.growth_limit_frozen)
  753. continue;
  754. // For growth limits, the limit is infinity if it is marked as infinitely growable, and equal to the
  755. // growth limit otherwise.
  756. auto limit = track.infinitely_growable ? INFINITY : track.growth_limit;
  757. if (increase_per_track >= limit) {
  758. track.growth_limit_frozen = true;
  759. track.item_incurred_increase = limit;
  760. extra_space -= limit;
  761. } else {
  762. track.item_incurred_increase += increase_per_track;
  763. extra_space -= increase_per_track;
  764. }
  765. }
  766. }
  767. // FIXME: 3. Distribute space beyond limits
  768. // 4. For each affected track, if the track’s item-incurred increase is larger than the track’s planned increase
  769. // set the track’s planned increase to that value.
  770. for (auto& track : spanned_tracks) {
  771. if (track.item_incurred_increase > track.planned_increase)
  772. track.planned_increase = track.item_incurred_increase;
  773. }
  774. }
  775. void GridFormattingContext::increase_sizes_to_accommodate_spanning_items_crossing_content_sized_tracks(AvailableSpace const& available_space, GridDimension const dimension, size_t span)
  776. {
  777. auto& available_size = dimension == GridDimension::Column ? available_space.width : available_space.height;
  778. auto& tracks = dimension == GridDimension::Column ? m_grid_columns : m_grid_rows;
  779. for (auto& item : m_grid_items) {
  780. auto const item_span = item.span(dimension);
  781. if (item_span != span)
  782. continue;
  783. Vector<TemporaryTrack&> spanned_tracks;
  784. for_each_spanned_track_by_item(item, dimension, [&](TemporaryTrack& track) {
  785. spanned_tracks.append(track);
  786. });
  787. auto item_spans_tracks_with_flexible_sizing_function = any_of(spanned_tracks, [](auto& track) {
  788. return track.min_track_sizing_function.is_flexible_length() || track.max_track_sizing_function.is_flexible_length();
  789. });
  790. if (item_spans_tracks_with_flexible_sizing_function)
  791. continue;
  792. // 1. For intrinsic minimums: First increase the base size of tracks with an intrinsic min track sizing
  793. // function by distributing extra space as needed to accommodate these items’ minimum contributions.
  794. auto item_size_contribution = [&] {
  795. // If the grid container is being sized under a min- or max-content constraint, use the items’ limited
  796. // min-content contributions in place of their minimum contributions here.
  797. if (available_size.is_intrinsic_sizing_constraint())
  798. return calculate_limited_min_content_contribution(item, dimension);
  799. return calculate_minimum_contribution(item, dimension);
  800. }();
  801. distribute_extra_space_across_spanned_tracks_base_size(item_size_contribution, spanned_tracks, [&](TemporaryTrack const& track) {
  802. return track.min_track_sizing_function.is_intrinsic(available_size);
  803. });
  804. for (auto& track : spanned_tracks) {
  805. track.base_size += track.planned_increase;
  806. track.planned_increase = 0;
  807. }
  808. // 2. For content-based minimums: Next continue to increase the base size of tracks with a min track
  809. // sizing function of min-content or max-content by distributing extra space as needed to account for
  810. // these items' min-content contributions.
  811. auto item_min_content_contribution = calculate_min_content_contribution(item, dimension);
  812. distribute_extra_space_across_spanned_tracks_base_size(item_min_content_contribution, spanned_tracks, [&](TemporaryTrack const& track) {
  813. return track.min_track_sizing_function.is_min_content() || track.min_track_sizing_function.is_max_content();
  814. });
  815. for (auto& track : spanned_tracks) {
  816. track.base_size += track.planned_increase;
  817. track.planned_increase = 0;
  818. }
  819. // 3. For max-content minimums: Next, if the grid container is being sized under a max-content constraint,
  820. // continue to increase the base size of tracks with a min track sizing function of auto or max-content by
  821. // distributing extra space as needed to account for these items' limited max-content contributions.
  822. if (available_size.is_max_content()) {
  823. auto item_limited_max_content_contribution = calculate_limited_max_content_contribution(item, dimension);
  824. distribute_extra_space_across_spanned_tracks_base_size(item_limited_max_content_contribution, spanned_tracks, [&](TemporaryTrack const& track) {
  825. return track.min_track_sizing_function.is_auto(available_size) || track.min_track_sizing_function.is_max_content();
  826. });
  827. for (auto& track : spanned_tracks) {
  828. track.base_size += track.planned_increase;
  829. track.planned_increase = 0;
  830. }
  831. }
  832. // 4. If at this point any track’s growth limit is now less than its base size, increase its growth limit to
  833. // match its base size.
  834. for (auto& track : tracks) {
  835. if (track.growth_limit < track.base_size)
  836. track.growth_limit = track.base_size;
  837. }
  838. // 5. For intrinsic maximums: Next increase the growth limit of tracks with an intrinsic max track sizing
  839. distribute_extra_space_across_spanned_tracks_growth_limit(item_min_content_contribution, spanned_tracks, [&](TemporaryTrack const& track) {
  840. return track.max_track_sizing_function.is_intrinsic(available_size);
  841. });
  842. for (auto& track : spanned_tracks) {
  843. if (!isfinite(track.growth_limit.value())) {
  844. // If the affected size is an infinite growth limit, set it to the track’s base size plus the planned increase.
  845. track.growth_limit = track.base_size + track.planned_increase;
  846. // Mark any tracks whose growth limit changed from infinite to finite in this step as infinitely growable
  847. // for the next step.
  848. track.infinitely_growable = true;
  849. } else {
  850. track.growth_limit += track.planned_increase;
  851. }
  852. track.planned_increase = 0;
  853. }
  854. // 6. For max-content maximums: Lastly continue to increase the growth limit of tracks with a max track
  855. // sizing function of max-content by distributing extra space as needed to account for these items' max-
  856. // content contributions.
  857. auto item_max_content_contribution = calculate_max_content_contribution(item, dimension);
  858. distribute_extra_space_across_spanned_tracks_growth_limit(item_max_content_contribution, spanned_tracks, [&](TemporaryTrack const& track) {
  859. return track.max_track_sizing_function.is_max_content() || track.max_track_sizing_function.is_auto(available_size);
  860. });
  861. for (auto& track : spanned_tracks) {
  862. if (!isfinite(track.growth_limit.value())) {
  863. // If the affected size is an infinite growth limit, set it to the track’s base size plus the planned increase.
  864. track.growth_limit = track.base_size + track.planned_increase;
  865. } else {
  866. track.growth_limit += track.planned_increase;
  867. }
  868. track.planned_increase = 0;
  869. }
  870. }
  871. }
  872. void GridFormattingContext::increase_sizes_to_accommodate_spanning_items_crossing_flexible_tracks(GridDimension const dimension)
  873. {
  874. auto& tracks = dimension == GridDimension::Column ? m_grid_columns : m_grid_rows;
  875. for (auto& item : m_grid_items) {
  876. Vector<TemporaryTrack&> spanned_tracks;
  877. for_each_spanned_track_by_item(item, dimension, [&](TemporaryTrack& track) {
  878. spanned_tracks.append(track);
  879. });
  880. auto item_spans_tracks_with_flexible_sizing_function = any_of(spanned_tracks, [](auto& track) {
  881. return track.min_track_sizing_function.is_flexible_length() || track.max_track_sizing_function.is_flexible_length();
  882. });
  883. if (!item_spans_tracks_with_flexible_sizing_function)
  884. continue;
  885. // 1. For intrinsic minimums: First increase the base size of tracks with an intrinsic min track sizing
  886. // function by distributing extra space as needed to accommodate these items’ minimum contributions.
  887. auto item_minimum_contribution = automatic_minimum_size(item, dimension);
  888. distribute_extra_space_across_spanned_tracks_base_size(item_minimum_contribution, spanned_tracks, [&](TemporaryTrack const& track) {
  889. return track.min_track_sizing_function.is_flexible_length();
  890. });
  891. for (auto& track : spanned_tracks) {
  892. track.base_size += track.planned_increase;
  893. }
  894. // 4. If at this point any track’s growth limit is now less than its base size, increase its growth limit to
  895. // match its base size.
  896. for (auto& track : tracks) {
  897. if (track.growth_limit < track.base_size)
  898. track.growth_limit = track.base_size;
  899. }
  900. }
  901. }
  902. void GridFormattingContext::maximize_tracks(AvailableSpace const& available_space, GridDimension const dimension)
  903. {
  904. // https://www.w3.org/TR/css-grid-2/#algo-grow-tracks
  905. // 12.6. Maximize Tracks
  906. auto& tracks = dimension == GridDimension::Column ? m_grid_columns : m_grid_rows;
  907. auto get_free_space_px = [&]() -> CSSPixels {
  908. // For the purpose of this step: if sizing the grid container under a max-content constraint, the
  909. // free space is infinite; if sizing under a min-content constraint, the free space is zero.
  910. auto free_space = get_free_space(available_space, dimension);
  911. if (free_space.is_max_content()) {
  912. return INFINITY;
  913. } else if (free_space.is_min_content()) {
  914. return 0;
  915. } else {
  916. return free_space.to_px();
  917. }
  918. };
  919. auto free_space_px = get_free_space_px();
  920. // If the free space is positive, distribute it equally to the base sizes of all tracks, freezing
  921. // tracks as they reach their growth limits (and continuing to grow the unfrozen tracks as needed).
  922. while (free_space_px > 0) {
  923. auto free_space_to_distribute_per_track = free_space_px / tracks.size();
  924. for (auto& track : tracks) {
  925. VERIFY(isfinite(track.growth_limit.value()));
  926. track.base_size = min(track.growth_limit, track.base_size + free_space_to_distribute_per_track);
  927. }
  928. if (get_free_space_px() == free_space_px)
  929. break;
  930. free_space_px = get_free_space_px();
  931. }
  932. // FIXME: If this would cause the grid to be larger than the grid container’s inner size as limited by its
  933. // max-width/height, then redo this step, treating the available grid space as equal to the grid
  934. // container’s inner size when it’s sized to its max-width/height.
  935. }
  936. void GridFormattingContext::expand_flexible_tracks(AvailableSpace const& available_space, GridDimension const dimension)
  937. {
  938. // https://drafts.csswg.org/css-grid/#algo-flex-tracks
  939. // 12.7. Expand Flexible Tracks
  940. // This step sizes flexible tracks using the largest value it can assign to an fr without exceeding
  941. // the available space.
  942. auto& tracks_and_gaps = dimension == GridDimension::Column ? m_grid_columns_and_gaps : m_grid_rows_and_gaps;
  943. auto& tracks = dimension == GridDimension::Column ? m_grid_columns : m_grid_rows;
  944. auto& available_size = dimension == GridDimension::Column ? available_space.width : available_space.height;
  945. auto find_the_size_of_an_fr = [&](Vector<TemporaryTrack&> tracks, CSSPixels space_to_fill) -> CSSPixels {
  946. // https://www.w3.org/TR/css-grid-2/#algo-find-fr-size
  947. // 1. Let leftover space be the space to fill minus the base sizes of the non-flexible grid tracks.
  948. auto leftover_space = space_to_fill;
  949. for (auto& track : tracks) {
  950. if (!track.max_track_sizing_function.is_flexible_length()) {
  951. leftover_space -= track.base_size;
  952. }
  953. }
  954. // 2. Let flex factor sum be the sum of the flex factors of the flexible tracks.
  955. // If this value is less than 1, set it to 1 instead.
  956. auto flex_factor_sum = 0;
  957. for (auto& track : tracks) {
  958. if (track.max_track_sizing_function.is_flexible_length())
  959. flex_factor_sum += track.max_track_sizing_function.flex_factor();
  960. }
  961. if (flex_factor_sum < 1)
  962. flex_factor_sum = 1;
  963. // 3. Let the hypothetical fr size be the leftover space divided by the flex factor sum.
  964. auto hypothetical_fr_size = leftover_space / flex_factor_sum;
  965. // FIXME: 4. If the product of the hypothetical fr size and a flexible track’s flex factor is less than the track’s
  966. // base size, restart this algorithm treating all such tracks as inflexible.
  967. // 5. Return the hypothetical fr size.
  968. return hypothetical_fr_size;
  969. };
  970. // First, find the grid’s used flex fraction:
  971. auto flex_fraction = [&]() {
  972. auto free_space = get_free_space(available_space, dimension);
  973. // If the free space is zero or if sizing the grid container under a min-content constraint:
  974. if (free_space.to_px() == 0 || available_size.is_min_content()) {
  975. // The used flex fraction is zero.
  976. return CSSPixels(0);
  977. // Otherwise, if the free space is a definite length:
  978. } else if (free_space.is_definite()) {
  979. // The used flex fraction is the result of finding the size of an fr using all of the grid tracks and a space
  980. // to fill of the available grid space.
  981. return find_the_size_of_an_fr(tracks_and_gaps, available_size.to_px());
  982. } else {
  983. // Otherwise, if the free space is an indefinite length:
  984. // The used flex fraction is the maximum of:
  985. CSSPixels result = 0;
  986. // For each flexible track, if the flexible track’s flex factor is greater than one, the result of dividing
  987. // the track’s base size by its flex factor; otherwise, the track’s base size.
  988. for (auto& track : tracks) {
  989. if (track.max_track_sizing_function.is_flexible_length()) {
  990. if (track.max_track_sizing_function.flex_factor() > 1) {
  991. result = max(result, track.base_size / track.max_track_sizing_function.flex_factor());
  992. } else {
  993. result = max(result, track.base_size);
  994. }
  995. }
  996. }
  997. // For each grid item that crosses a flexible track, the result of finding the size of an fr using all the
  998. // grid tracks that the item crosses and a space to fill of the item’s max-content contribution.
  999. for (auto& item : m_grid_items) {
  1000. Vector<TemporaryTrack&> spanned_tracks;
  1001. bool crosses_flexible_track = false;
  1002. for_each_spanned_track_by_item(item, dimension, [&](TemporaryTrack& track) {
  1003. spanned_tracks.append(track);
  1004. if (track.max_track_sizing_function.is_flexible_length())
  1005. crosses_flexible_track = true;
  1006. });
  1007. if (crosses_flexible_track)
  1008. result = max(result, find_the_size_of_an_fr(spanned_tracks, calculate_max_content_size(item, dimension)));
  1009. }
  1010. return result;
  1011. }
  1012. }();
  1013. // For each flexible track, if the product of the used flex fraction and the track’s flex factor is greater than
  1014. // the track’s base size, set its base size to that product.
  1015. for (auto& track : tracks_and_gaps) {
  1016. if (track.max_track_sizing_function.flex_factor() * flex_fraction > track.base_size) {
  1017. track.base_size = track.max_track_sizing_function.flex_factor() * flex_fraction;
  1018. }
  1019. }
  1020. }
  1021. void GridFormattingContext::stretch_auto_tracks(AvailableSpace const& available_space, GridDimension const dimension)
  1022. {
  1023. // https://drafts.csswg.org/css-grid/#algo-stretch
  1024. // 12.8. Stretch auto Tracks
  1025. auto& tracks_and_gaps = dimension == GridDimension::Column ? m_grid_columns_and_gaps : m_grid_rows_and_gaps;
  1026. auto& available_size = dimension == GridDimension::Column ? available_space.width : available_space.height;
  1027. // When the content-distribution property of the grid container is normal or stretch in this axis,
  1028. // this step expands tracks that have an auto max track sizing function by dividing any remaining
  1029. // positive, definite free space equally amongst them. If the free space is indefinite, but the grid
  1030. // container has a definite min-width/height, use that size to calculate the free space for this
  1031. // step instead.
  1032. CSSPixels used_space = 0;
  1033. for (auto& track : tracks_and_gaps) {
  1034. if (!track.max_track_sizing_function.is_auto(available_size))
  1035. used_space += track.base_size;
  1036. }
  1037. CSSPixels remaining_space = available_size.is_definite() ? available_size.to_px() - used_space : 0;
  1038. auto count_of_auto_max_sizing_tracks = 0;
  1039. for (auto& track : tracks_and_gaps) {
  1040. if (track.max_track_sizing_function.is_auto(available_size))
  1041. count_of_auto_max_sizing_tracks++;
  1042. }
  1043. for (auto& track : tracks_and_gaps) {
  1044. if (track.max_track_sizing_function.is_auto(available_size))
  1045. track.base_size = max(track.base_size, remaining_space / count_of_auto_max_sizing_tracks);
  1046. }
  1047. }
  1048. void GridFormattingContext::run_track_sizing(AvailableSpace const& available_space, GridDimension const dimension)
  1049. {
  1050. // https://www.w3.org/TR/css-grid-2/#algo-track-sizing
  1051. // 12.3. Track Sizing Algorithm
  1052. // 1. Initialize Track Sizes
  1053. initialize_track_sizes(available_space, dimension);
  1054. // 2. Resolve Intrinsic Track Sizes
  1055. resolve_intrinsic_track_sizes(available_space, dimension);
  1056. // 3. Maximize Tracks
  1057. maximize_tracks(available_space, dimension);
  1058. // 4. Expand Flexible Tracks
  1059. expand_flexible_tracks(available_space, dimension);
  1060. // 5. Expand Stretched auto Tracks
  1061. stretch_auto_tracks(available_space, dimension);
  1062. // If calculating the layout of a grid item in this step depends on the available space in the block
  1063. // axis, assume the available space that it would have if any row with a definite max track sizing
  1064. // function had that size and all other rows were infinite. If both the grid container and all
  1065. // tracks have definite sizes, also apply align-content to find the final effective size of any gaps
  1066. // spanned by such items; otherwise ignore the effects of track alignment in this estimation.
  1067. }
  1068. void GridFormattingContext::build_grid_areas()
  1069. {
  1070. // https://www.w3.org/TR/css-grid-2/#grid-template-areas-property
  1071. // If a named grid area spans multiple grid cells, but those cells do not form a single
  1072. // filled-in rectangle, the declaration is invalid.
  1073. for (size_t y = 0; y < grid_container().computed_values().grid_template_areas().size(); y++) {
  1074. for (size_t x = 0; x < grid_container().computed_values().grid_template_areas()[y].size(); x++) {
  1075. auto grid_area_name = grid_container().computed_values().grid_template_areas()[y][x];
  1076. auto maybe_grid_area = m_grid_areas.get(grid_area_name);
  1077. if (!maybe_grid_area.has_value()) {
  1078. m_grid_areas.set(grid_area_name, { grid_area_name, y, y + 1, x, x + 1 });
  1079. } else {
  1080. auto& grid_area = maybe_grid_area.value();
  1081. if (grid_area.row_start == y) {
  1082. if (grid_area.column_end == x)
  1083. grid_area.column_end = grid_area.column_end + 1;
  1084. else
  1085. return;
  1086. } else {
  1087. if (grid_area.row_end == y) {
  1088. if (grid_area.column_start != x)
  1089. return;
  1090. grid_area.row_end = grid_area.row_end + 1;
  1091. } else if (grid_area.row_end == y + 1) {
  1092. if (grid_area.column_end < x || grid_area.column_end > x + 1)
  1093. return;
  1094. } else {
  1095. return;
  1096. }
  1097. }
  1098. }
  1099. }
  1100. }
  1101. }
  1102. void GridFormattingContext::place_grid_items(AvailableSpace const& available_space)
  1103. {
  1104. auto grid_template_columns = grid_container().computed_values().grid_template_columns();
  1105. auto grid_template_rows = grid_container().computed_values().grid_template_rows();
  1106. auto column_count = get_count_of_tracks(grid_template_columns.track_list(), available_space);
  1107. auto row_count = get_count_of_tracks(grid_template_rows.track_list(), available_space);
  1108. // https://drafts.csswg.org/css-grid/#overview-placement
  1109. // 2.2. Placing Items
  1110. // The contents of the grid container are organized into individual grid items (analogous to
  1111. // flex items), which are then assigned to predefined areas in the grid. They can be explicitly
  1112. // placed using coordinates through the grid-placement properties or implicitly placed into
  1113. // empty areas using auto-placement.
  1114. grid_container().for_each_child_of_type<Box>([&](Box& child_box) {
  1115. if (can_skip_is_anonymous_text_run(child_box))
  1116. return IterationDecision::Continue;
  1117. m_boxes_to_place.append(child_box);
  1118. return IterationDecision::Continue;
  1119. });
  1120. m_occupation_grid = OccupationGrid(column_count, row_count);
  1121. build_grid_areas();
  1122. // https://drafts.csswg.org/css-grid/#auto-placement-algo
  1123. // 8.5. Grid Item Placement Algorithm
  1124. // FIXME: 0. Generate anonymous grid items
  1125. // 1. Position anything that's not auto-positioned.
  1126. for (size_t i = 0; i < m_boxes_to_place.size(); i++) {
  1127. auto const& child_box = m_boxes_to_place[i];
  1128. if (is_auto_positioned_row(child_box->computed_values().grid_row_start(), child_box->computed_values().grid_row_end())
  1129. || is_auto_positioned_column(child_box->computed_values().grid_column_start(), child_box->computed_values().grid_column_end()))
  1130. continue;
  1131. place_item_with_row_and_column_position(child_box);
  1132. m_boxes_to_place.remove(i);
  1133. i--;
  1134. }
  1135. // 2. Process the items locked to a given row.
  1136. // FIXME: Do "dense" packing
  1137. for (size_t i = 0; i < m_boxes_to_place.size(); i++) {
  1138. auto const& child_box = m_boxes_to_place[i];
  1139. if (is_auto_positioned_row(child_box->computed_values().grid_row_start(), child_box->computed_values().grid_row_end()))
  1140. continue;
  1141. place_item_with_row_position(child_box);
  1142. m_boxes_to_place.remove(i);
  1143. i--;
  1144. }
  1145. // 3. Determine the columns in the implicit grid.
  1146. // NOTE: "implicit grid" here is the same as the m_occupation_grid
  1147. // 3.1. Start with the columns from the explicit grid.
  1148. // NOTE: Done in step 1.
  1149. // 3.2. Among all the items with a definite column position (explicitly positioned items, items
  1150. // positioned in the previous step, and items not yet positioned but with a definite column) add
  1151. // columns to the beginning and end of the implicit grid as necessary to accommodate those items.
  1152. // NOTE: "Explicitly positioned items" and "items positioned in the previous step" done in step 1
  1153. // and 2, respectively. Adding columns for "items not yet positioned but with a definite column"
  1154. // will be done in step 4.
  1155. // 4. Position the remaining grid items.
  1156. // For each grid item that hasn't been positioned by the previous steps, in order-modified document
  1157. // order:
  1158. auto auto_placement_cursor_x = 0;
  1159. auto auto_placement_cursor_y = 0;
  1160. for (size_t i = 0; i < m_boxes_to_place.size(); i++) {
  1161. auto const& child_box = m_boxes_to_place[i];
  1162. // 4.1. For sparse packing:
  1163. // FIXME: no distinction made. See #4.2
  1164. // 4.1.1. If the item has a definite column position:
  1165. if (!is_auto_positioned_column(child_box->computed_values().grid_column_start(), child_box->computed_values().grid_column_end()))
  1166. place_item_with_column_position(child_box, auto_placement_cursor_x, auto_placement_cursor_y);
  1167. // 4.1.2. If the item has an automatic grid position in both axes:
  1168. else
  1169. place_item_with_no_declared_position(child_box, auto_placement_cursor_x, auto_placement_cursor_y);
  1170. m_boxes_to_place.remove(i);
  1171. i--;
  1172. // FIXME: 4.2. For dense packing:
  1173. }
  1174. // NOTE: When final implicit grid sizes are known, we can offset their positions so leftmost grid track has 0 index.
  1175. for (auto& item : m_grid_items) {
  1176. item.set_raw_row(item.raw_row() - m_occupation_grid.min_row_index());
  1177. item.set_raw_column(item.raw_column() - m_occupation_grid.min_column_index());
  1178. }
  1179. }
  1180. void GridFormattingContext::determine_grid_container_height()
  1181. {
  1182. CSSPixels total_y = 0;
  1183. for (auto& grid_row : m_grid_rows_and_gaps)
  1184. total_y += grid_row.base_size;
  1185. m_automatic_content_height = total_y;
  1186. }
  1187. void GridFormattingContext::resolve_grid_item_widths()
  1188. {
  1189. for (auto& item : m_grid_items) {
  1190. CSSPixels containing_block_width = containing_block_size_for_item(item, GridDimension::Column);
  1191. auto border_left = item.box().computed_values().border_left().width;
  1192. auto border_right = item.box().computed_values().border_right().width;
  1193. auto& box_state = m_state.get_mutable(item.box());
  1194. box_state.border_left = border_left;
  1195. box_state.border_right = border_right;
  1196. auto const& computed_width = item.box().computed_values().width();
  1197. CSSPixels used_width;
  1198. if (computed_width.is_auto())
  1199. used_width = (containing_block_width - box_state.border_left - box_state.border_right - box_state.padding_left - box_state.padding_right);
  1200. else if (computed_width.is_fit_content())
  1201. used_width = calculate_fit_content_width(item.box(), get_available_space_for_item(item));
  1202. else
  1203. used_width = computed_width.to_px(grid_container(), containing_block_width);
  1204. box_state.set_content_width(used_width);
  1205. }
  1206. }
  1207. void GridFormattingContext::resolve_grid_item_heights()
  1208. {
  1209. for (auto& item : m_grid_items) {
  1210. CSSPixels containing_block_height = containing_block_size_for_item(item, GridDimension::Row);
  1211. auto border_top = item.box().computed_values().border_top().width;
  1212. auto border_bottom = item.box().computed_values().border_bottom().width;
  1213. auto& box_state = m_state.get_mutable(item.box());
  1214. box_state.border_top = border_top;
  1215. box_state.border_bottom = border_bottom;
  1216. auto const& computed_height = item.box().computed_values().height();
  1217. auto used_height = computed_height.is_auto() ? (containing_block_height - box_state.border_top - box_state.border_bottom - box_state.padding_top - box_state.padding_bottom) : computed_height.to_px(grid_container(), containing_block_height);
  1218. box_state.set_content_height(used_height);
  1219. }
  1220. }
  1221. void GridFormattingContext::run(Box const& box, LayoutMode, AvailableSpace const& available_space)
  1222. {
  1223. m_available_space = available_space;
  1224. auto const& grid_computed_values = grid_container().computed_values();
  1225. // NOTE: We store explicit grid sizes to later use in determining the position of items with negative index.
  1226. m_explicit_columns_line_count = get_count_of_tracks(grid_computed_values.grid_template_columns().track_list(), available_space) + 1;
  1227. m_explicit_rows_line_count = get_count_of_tracks(grid_computed_values.grid_template_rows().track_list(), available_space) + 1;
  1228. place_grid_items(available_space);
  1229. initialize_grid_tracks_for_columns_and_rows(available_space);
  1230. initialize_gap_tracks(available_space);
  1231. for (auto& item : m_grid_items) {
  1232. auto& box_state = m_state.get_mutable(item.box());
  1233. auto& computed_values = item.box().computed_values();
  1234. // NOTE: As the containing blocks of grid items are created by implicit grid areas that are not present in the
  1235. // layout tree, the initial value of has_definite_width/height computed by LayoutState::UsedValues::set_node
  1236. // will be incorrect for anything other (auto, percentage, calculated) than fixed lengths.
  1237. // Therefor, it becomes necessary to reset this value to indefinite.
  1238. // TODO: Handle this in LayoutState::UsedValues::set_node
  1239. if (!computed_values.width().is_length())
  1240. box_state.set_indefinite_content_width();
  1241. if (!computed_values.height().is_length())
  1242. box_state.set_indefinite_content_height();
  1243. // NOTE: It is ok to use 0 containing block size to resolve paddings on the first pass when grid areas sizes
  1244. // are not known yet.
  1245. // FIXME: Do second pass of tracks layout to resolve percentage paddings
  1246. box_state.padding_top = computed_values.padding().top().to_px(grid_container(), 0);
  1247. box_state.padding_right = computed_values.padding().right().to_px(grid_container(), 0);
  1248. box_state.padding_bottom = computed_values.padding().bottom().to_px(grid_container(), 0);
  1249. box_state.padding_left = computed_values.padding().left().to_px(grid_container(), 0);
  1250. box_state.border_top = computed_values.border_top().width;
  1251. box_state.border_right = computed_values.border_right().width;
  1252. box_state.border_bottom = computed_values.border_bottom().width;
  1253. box_state.border_left = computed_values.border_left().width;
  1254. }
  1255. run_track_sizing(available_space, GridDimension::Column);
  1256. // Once the sizes of column tracks, which determine the widths of the grid areas forming the containing blocks
  1257. // for grid items, ara calculated, it becomes possible to determine the final widths of the grid items.
  1258. resolve_grid_item_widths();
  1259. run_track_sizing(available_space, GridDimension::Row);
  1260. resolve_grid_item_heights();
  1261. determine_grid_container_height();
  1262. if (available_space.height.is_intrinsic_sizing_constraint() || available_space.width.is_intrinsic_sizing_constraint()) {
  1263. determine_intrinsic_size_of_grid_container(available_space);
  1264. return;
  1265. }
  1266. auto layout_box = [&](int row_start, int row_end, int column_start, int column_end, Box const& child_box) -> void {
  1267. if (column_start < 0 || row_start < 0)
  1268. return;
  1269. auto& child_box_state = m_state.get_mutable(child_box);
  1270. CSSPixels x_start = 0;
  1271. CSSPixels x_end = 0;
  1272. CSSPixels y_start = 0;
  1273. CSSPixels y_end = 0;
  1274. for (int i = 0; i < column_start; i++)
  1275. x_start += m_grid_columns_and_gaps[i].base_size;
  1276. for (int i = 0; i < column_end; i++)
  1277. x_end += m_grid_columns_and_gaps[i].base_size;
  1278. for (int i = 0; i < row_start; i++)
  1279. y_start += m_grid_rows_and_gaps[i].base_size;
  1280. for (int i = 0; i < row_end; i++) {
  1281. y_end += m_grid_rows_and_gaps[i].base_size;
  1282. }
  1283. child_box_state.offset = { x_start + child_box_state.border_left + child_box_state.padding_left, y_start + child_box_state.border_top + child_box_state.padding_top };
  1284. auto available_space_for_children = AvailableSpace(AvailableSize::make_definite(child_box_state.content_width()), AvailableSize::make_definite(child_box_state.content_height()));
  1285. if (auto independent_formatting_context = layout_inside(child_box, LayoutMode::Normal, available_space_for_children))
  1286. independent_formatting_context->parent_context_did_dimension_child_root_box();
  1287. };
  1288. for (auto& grid_item : m_grid_items) {
  1289. auto resolved_row_span = box.computed_values().row_gap().is_auto() ? grid_item.raw_row_span() : grid_item.raw_row_span() * 2;
  1290. if (!box.computed_values().row_gap().is_auto() && grid_item.gap_adjusted_row(box) == 0)
  1291. resolved_row_span -= 1;
  1292. if (grid_item.gap_adjusted_row(box) + resolved_row_span > m_grid_rows.size())
  1293. resolved_row_span = m_grid_rows_and_gaps.size() - grid_item.gap_adjusted_row(box);
  1294. auto resolved_column_span = box.computed_values().column_gap().is_auto() ? grid_item.raw_column_span() : grid_item.raw_column_span() * 2;
  1295. if (!box.computed_values().column_gap().is_auto() && grid_item.gap_adjusted_column(box) == 0)
  1296. resolved_column_span -= 1;
  1297. if (grid_item.gap_adjusted_column(box) + resolved_column_span > m_grid_columns_and_gaps.size())
  1298. resolved_column_span = m_grid_columns_and_gaps.size() - grid_item.gap_adjusted_column(box);
  1299. layout_box(
  1300. grid_item.gap_adjusted_row(box),
  1301. grid_item.gap_adjusted_row(box) + resolved_row_span,
  1302. grid_item.gap_adjusted_column(box),
  1303. grid_item.gap_adjusted_column(box) + resolved_column_span,
  1304. grid_item.box());
  1305. }
  1306. }
  1307. void GridFormattingContext::determine_intrinsic_size_of_grid_container(AvailableSpace const& available_space)
  1308. {
  1309. // https://www.w3.org/TR/css-grid-1/#intrinsic-sizes
  1310. // The max-content size (min-content size) of a grid container is the sum of the grid container’s track sizes
  1311. // (including gutters) in the appropriate axis, when the grid is sized under a max-content constraint (min-content constraint).
  1312. if (available_space.height.is_intrinsic_sizing_constraint()) {
  1313. CSSPixels grid_container_height = 0;
  1314. for (auto& track : m_grid_rows) {
  1315. grid_container_height += track.base_size;
  1316. }
  1317. m_state.get_mutable(grid_container()).set_content_height(grid_container_height);
  1318. }
  1319. if (available_space.width.is_intrinsic_sizing_constraint()) {
  1320. CSSPixels grid_container_width = 0;
  1321. for (auto& track : m_grid_columns) {
  1322. grid_container_width += track.base_size;
  1323. }
  1324. m_state.get_mutable(grid_container()).set_content_width(grid_container_width);
  1325. }
  1326. }
  1327. CSSPixels GridFormattingContext::automatic_content_width() const
  1328. {
  1329. return m_state.get(grid_container()).content_width();
  1330. }
  1331. CSSPixels GridFormattingContext::automatic_content_height() const
  1332. {
  1333. return m_automatic_content_height;
  1334. }
  1335. bool GridFormattingContext::is_auto_positioned_row(CSS::GridTrackPlacement const& grid_row_start, CSS::GridTrackPlacement const& grid_row_end) const
  1336. {
  1337. return is_auto_positioned_track(grid_row_start, grid_row_end);
  1338. }
  1339. bool GridFormattingContext::is_auto_positioned_column(CSS::GridTrackPlacement const& grid_column_start, CSS::GridTrackPlacement const& grid_column_end) const
  1340. {
  1341. return is_auto_positioned_track(grid_column_start, grid_column_end);
  1342. }
  1343. bool GridFormattingContext::is_auto_positioned_track(CSS::GridTrackPlacement const& grid_track_start, CSS::GridTrackPlacement const& grid_track_end) const
  1344. {
  1345. return grid_track_start.is_auto_positioned() && grid_track_end.is_auto_positioned();
  1346. }
  1347. AvailableSize GridFormattingContext::get_free_space(AvailableSpace const& available_space, GridDimension const dimension) const
  1348. {
  1349. // https://www.w3.org/TR/css-grid-2/#algo-terms
  1350. // free space: Equal to the available grid space minus the sum of the base sizes of all the grid
  1351. // tracks (including gutters), floored at zero. If available grid space is indefinite, the free
  1352. // space is indefinite as well.
  1353. auto& available_size = dimension == GridDimension::Column ? available_space.width : available_space.height;
  1354. auto& tracks = dimension == GridDimension::Column ? m_grid_columns_and_gaps : m_grid_rows_and_gaps;
  1355. if (available_size.is_definite()) {
  1356. CSSPixels sum_base_sizes = 0;
  1357. for (auto& track : tracks)
  1358. sum_base_sizes += track.base_size;
  1359. return AvailableSize::make_definite(max(CSSPixels(0), available_size.to_px() - sum_base_sizes));
  1360. }
  1361. return available_size;
  1362. }
  1363. int GridFormattingContext::get_line_index_by_line_name(String const& needle, CSS::GridTrackSizeList grid_track_size_list)
  1364. {
  1365. if (grid_track_size_list.track_list().size() == 0)
  1366. return -1;
  1367. auto repeated_tracks_count = 0;
  1368. for (size_t x = 0; x < grid_track_size_list.track_list().size(); x++) {
  1369. if (grid_track_size_list.track_list()[x].is_repeat()) {
  1370. // FIXME: Calculate amount of columns/rows if auto-fill/fit
  1371. if (!grid_track_size_list.track_list()[x].repeat().is_default())
  1372. return -1;
  1373. auto repeat = grid_track_size_list.track_list()[x].repeat().grid_track_size_list();
  1374. for (size_t y = 0; y < repeat.track_list().size(); y++) {
  1375. for (size_t z = 0; z < repeat.line_names()[y].size(); z++) {
  1376. if (repeat.line_names()[y][z] == needle)
  1377. return x + repeated_tracks_count;
  1378. repeated_tracks_count++;
  1379. }
  1380. }
  1381. } else {
  1382. for (size_t y = 0; y < grid_track_size_list.line_names()[x].size(); y++) {
  1383. if (grid_track_size_list.line_names()[x][y] == needle)
  1384. return x + repeated_tracks_count;
  1385. }
  1386. }
  1387. }
  1388. for (size_t y = 0; y < grid_track_size_list.line_names()[grid_track_size_list.track_list().size()].size(); y++) {
  1389. if (grid_track_size_list.line_names()[grid_track_size_list.track_list().size()][y] == needle)
  1390. return grid_track_size_list.track_list().size() + repeated_tracks_count;
  1391. }
  1392. return -1;
  1393. }
  1394. void OccupationGrid::set_occupied(int column_start, int column_end, int row_start, int row_end)
  1395. {
  1396. for (int row_index = row_start; row_index < row_end; row_index++) {
  1397. for (int column_index = column_start; column_index < column_end; column_index++) {
  1398. m_min_column_index = min(m_min_column_index, column_index);
  1399. m_max_column_index = max(m_max_column_index, column_index);
  1400. m_min_row_index = min(m_min_row_index, row_index);
  1401. m_max_row_index = max(m_max_row_index, row_index);
  1402. m_occupation_grid.set(GridPosition { .row = row_index, .column = column_index });
  1403. }
  1404. }
  1405. }
  1406. bool OccupationGrid::is_occupied(int column_index, int row_index) const
  1407. {
  1408. return m_occupation_grid.contains(GridPosition { row_index, column_index });
  1409. }
  1410. int GridItem::gap_adjusted_row(Box const& grid_box) const
  1411. {
  1412. return grid_box.computed_values().row_gap().is_auto() ? m_row : m_row * 2;
  1413. }
  1414. int GridItem::gap_adjusted_column(Box const& grid_box) const
  1415. {
  1416. return grid_box.computed_values().column_gap().is_auto() ? m_column : m_column * 2;
  1417. }
  1418. CSS::Size const& GridFormattingContext::get_item_preferred_size(GridItem const& item, GridDimension const dimension) const
  1419. {
  1420. if (dimension == GridDimension::Column)
  1421. return item.box().computed_values().width();
  1422. return item.box().computed_values().height();
  1423. }
  1424. CSSPixels GridFormattingContext::calculate_min_content_size(GridItem const& item, GridDimension const dimension) const
  1425. {
  1426. if (dimension == GridDimension::Column) {
  1427. return calculate_min_content_width(item.box());
  1428. } else {
  1429. return calculate_min_content_height(item.box(), get_available_space_for_item(item).width);
  1430. }
  1431. }
  1432. CSSPixels GridFormattingContext::calculate_max_content_size(GridItem const& item, GridDimension const dimension) const
  1433. {
  1434. if (dimension == GridDimension::Column) {
  1435. return calculate_max_content_width(item.box());
  1436. } else {
  1437. return calculate_max_content_height(item.box(), get_available_space_for_item(item).width);
  1438. }
  1439. }
  1440. CSSPixels GridFormattingContext::containing_block_size_for_item(GridItem const& item, GridDimension const dimension) const
  1441. {
  1442. CSSPixels containing_block_size = 0;
  1443. for_each_spanned_track_by_item(item, dimension, [&](TemporaryTrack const& track) {
  1444. containing_block_size += track.base_size;
  1445. });
  1446. return containing_block_size;
  1447. }
  1448. AvailableSpace GridFormattingContext::get_available_space_for_item(GridItem const& item) const
  1449. {
  1450. auto& item_box_state = m_state.get(item.box());
  1451. AvailableSize available_width = item_box_state.has_definite_width() ? AvailableSize::make_definite(item_box_state.content_width()) : AvailableSize::make_indefinite();
  1452. AvailableSize available_height = item_box_state.has_definite_height() ? AvailableSize::make_definite(item_box_state.content_height()) : AvailableSize::make_indefinite();
  1453. return AvailableSpace(available_width, available_height);
  1454. }
  1455. CSSPixels GridFormattingContext::calculate_min_content_contribution(GridItem const& item, GridDimension const dimension) const
  1456. {
  1457. auto available_space_for_item = get_available_space_for_item(item);
  1458. auto should_treat_preferred_size_as_auto = [&] {
  1459. if (dimension == GridDimension::Column)
  1460. return should_treat_width_as_auto(item.box(), available_space_for_item);
  1461. return should_treat_height_as_auto(item.box(), available_space_for_item);
  1462. }();
  1463. if (should_treat_preferred_size_as_auto) {
  1464. return item.add_border_box_sizes(calculate_min_content_size(item, dimension), dimension, m_state);
  1465. }
  1466. auto preferred_size = get_item_preferred_size(item, dimension);
  1467. auto containing_block_size = containing_block_size_for_item(item, dimension);
  1468. return item.add_border_box_sizes(preferred_size.to_px(grid_container(), containing_block_size), dimension, m_state);
  1469. }
  1470. CSSPixels GridFormattingContext::calculate_max_content_contribution(GridItem const& item, GridDimension const dimension) const
  1471. {
  1472. auto available_space_for_item = get_available_space_for_item(item);
  1473. auto should_treat_preferred_size_as_auto = [&] {
  1474. if (dimension == GridDimension::Column)
  1475. return should_treat_width_as_auto(item.box(), available_space_for_item);
  1476. return should_treat_height_as_auto(item.box(), available_space_for_item);
  1477. }();
  1478. if (should_treat_preferred_size_as_auto) {
  1479. return item.add_border_box_sizes(calculate_max_content_size(item, dimension), dimension, m_state);
  1480. }
  1481. auto preferred_size = get_item_preferred_size(item, dimension);
  1482. auto containing_block_size = containing_block_size_for_item(item, dimension);
  1483. return item.add_border_box_sizes(preferred_size.to_px(grid_container(), containing_block_size), dimension, m_state);
  1484. }
  1485. CSSPixels GridFormattingContext::calculate_limited_min_content_contribution(GridItem const& item, GridDimension const dimension) const
  1486. {
  1487. // The limited min-content contribution of an item is its min-content contribution,
  1488. // limited by the max track sizing function (which could be the argument to a fit-content() track
  1489. // sizing function) if that is fixed and ultimately floored by its minimum contribution.
  1490. // FIXME: limit by max track sizing function
  1491. auto min_content_contribution = calculate_min_content_contribution(item, dimension);
  1492. auto minimum_contribution = calculate_minimum_contribution(item, dimension);
  1493. if (min_content_contribution < minimum_contribution)
  1494. return minimum_contribution;
  1495. return min_content_contribution;
  1496. }
  1497. CSSPixels GridFormattingContext::calculate_limited_max_content_contribution(GridItem const& item, GridDimension const dimension) const
  1498. {
  1499. // The limited max-content contribution of an item is its max-content contribution,
  1500. // limited by the max track sizing function (which could be the argument to a fit-content() track
  1501. // sizing function) if that is fixed and ultimately floored by its minimum contribution.
  1502. // FIXME: limit by max track sizing function
  1503. auto max_content_contribution = calculate_max_content_contribution(item, dimension);
  1504. auto minimum_contribution = calculate_minimum_contribution(item, dimension);
  1505. if (max_content_contribution < minimum_contribution)
  1506. return minimum_contribution;
  1507. return max_content_contribution;
  1508. }
  1509. CSS::Size const& GridFormattingContext::get_item_minimum_size(GridItem const& item, GridDimension const dimension) const
  1510. {
  1511. if (dimension == GridDimension::Column)
  1512. return item.box().computed_values().min_width();
  1513. return item.box().computed_values().min_height();
  1514. }
  1515. CSSPixels GridFormattingContext::content_size_suggestion(GridItem const& item, GridDimension const dimension) const
  1516. {
  1517. // The content size suggestion is the min-content size in the relevant axis
  1518. // FIXME: clamped, if it has a preferred aspect ratio, by any definite opposite-axis minimum and maximum sizes
  1519. // converted through the aspect ratio.
  1520. return calculate_min_content_size(item, dimension);
  1521. }
  1522. Optional<CSSPixels> GridFormattingContext::specified_size_suggestion(GridItem const& item, GridDimension const dimension) const
  1523. {
  1524. // https://www.w3.org/TR/css-grid-1/#specified-size-suggestion
  1525. // If the item’s preferred size in the relevant axis is definite, then the specified size suggestion is that size.
  1526. // It is otherwise undefined.
  1527. auto const& used_values = m_state.get(item.box());
  1528. auto has_definite_preferred_size = dimension == GridDimension::Column ? used_values.has_definite_width() : used_values.has_definite_height();
  1529. if (has_definite_preferred_size) {
  1530. // FIXME: consider margins, padding and borders because it is outer size.
  1531. auto containing_block_size = containing_block_size_for_item(item, dimension);
  1532. return get_item_preferred_size(item, dimension).to_px(item.box(), containing_block_size);
  1533. }
  1534. return {};
  1535. }
  1536. CSSPixels GridFormattingContext::content_based_minimum_size(GridItem const& item, GridDimension const dimension) const
  1537. {
  1538. // https://www.w3.org/TR/css-grid-1/#content-based-minimum-size
  1539. // The content-based minimum size for a grid item in a given dimension is its specified size suggestion if it exists
  1540. if (auto specified_size_suggestion = this->specified_size_suggestion(item, dimension); specified_size_suggestion.has_value()) {
  1541. return specified_size_suggestion.value();
  1542. }
  1543. // FIXME: otherwise its transferred size suggestion if that exists
  1544. // else its content size suggestion
  1545. return content_size_suggestion(item, dimension);
  1546. }
  1547. CSSPixels GridFormattingContext::automatic_minimum_size(GridItem const& item, GridDimension const dimension) const
  1548. {
  1549. // To provide a more reasonable default minimum size for grid items, the used value of its automatic minimum size
  1550. // in a given axis is the content-based minimum size if all of the following are true:
  1551. // - it is not a scroll container
  1552. // - it spans at least one track in that axis whose min track sizing function is auto
  1553. // FIXME: - if it spans more than one track in that axis, none of those tracks are flexible
  1554. auto const& tracks = dimension == GridDimension::Column ? m_grid_columns : m_grid_rows;
  1555. auto item_track_index = item.raw_position(dimension);
  1556. // FIXME: Check all tracks spanned by an item
  1557. AvailableSize const& available_size = dimension == GridDimension::Column ? m_available_space->width : m_available_space->height;
  1558. auto item_spans_auto_tracks = tracks[item_track_index].min_track_sizing_function.is_auto(available_size);
  1559. if (item_spans_auto_tracks && !item.box().is_scroll_container()) {
  1560. return item.add_border_box_sizes(content_based_minimum_size(item, dimension), dimension, m_state);
  1561. }
  1562. // Otherwise, the automatic minimum size is zero, as usual.
  1563. return 0;
  1564. }
  1565. CSSPixels GridFormattingContext::calculate_minimum_contribution(GridItem const& item, GridDimension const dimension) const
  1566. {
  1567. // The minimum contribution of an item is the smallest outer size it can have.
  1568. // Specifically, if the item’s computed preferred size behaves as auto or depends on the size of its
  1569. // containing block in the relevant axis, its minimum contribution is the outer size that would
  1570. // result from assuming the item’s used minimum size as its preferred size; else the item’s minimum
  1571. // contribution is its min-content contribution. Because the minimum contribution often depends on
  1572. // the size of the item’s content, it is considered a type of intrinsic size contribution.
  1573. auto preferred_size = get_item_preferred_size(item, dimension);
  1574. auto should_treat_preferred_size_as_auto = [&] {
  1575. if (dimension == GridDimension::Column)
  1576. return should_treat_width_as_auto(item.box(), get_available_space_for_item(item));
  1577. return should_treat_height_as_auto(item.box(), get_available_space_for_item(item));
  1578. }();
  1579. if (should_treat_preferred_size_as_auto) {
  1580. auto minimum_size = get_item_minimum_size(item, dimension);
  1581. if (minimum_size.is_auto())
  1582. return automatic_minimum_size(item, dimension);
  1583. auto containing_block_size = containing_block_size_for_item(item, dimension);
  1584. return item.add_border_box_sizes(minimum_size.to_px(grid_container(), containing_block_size), dimension, m_state);
  1585. }
  1586. return calculate_min_content_contribution(item, dimension);
  1587. }
  1588. }
  1589. namespace AK {
  1590. template<>
  1591. struct Traits<Web::Layout::GridPosition> : public GenericTraits<Web::Layout::GridPosition> {
  1592. static unsigned hash(Web::Layout::GridPosition const& key) { return pair_int_hash(key.row, key.column); }
  1593. };
  1594. }