[LFC] Implement height computation for replaced elements.
[WebKit-https.git] / Source / WebCore / layout / blockformatting / BlockFormattingContext.cpp
1 /*
2  * Copyright (C) 2018 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
14  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
15  * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
17  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
18  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
19  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
20  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
21  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
22  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
23  * THE POSSIBILITY OF SUCH DAMAGE.
24  */
25
26 #include "config.h"
27 #include "BlockFormattingContext.h"
28
29 #if ENABLE(LAYOUT_FORMATTING_CONTEXT)
30
31 #include "BlockFormattingState.h"
32 #include "BlockMarginCollapse.h"
33 #include "DisplayBox.h"
34 #include "FloatingContext.h"
35 #include "FloatingState.h"
36 #include "LayoutBox.h"
37 #include "LayoutContainer.h"
38 #include "LayoutContext.h"
39 #include <wtf/IsoMallocInlines.h>
40
41 namespace WebCore {
42 namespace Layout {
43
44 WTF_MAKE_ISO_ALLOCATED_IMPL(BlockFormattingContext);
45
46 BlockFormattingContext::BlockFormattingContext(const Box& formattingContextRoot)
47     : FormattingContext(formattingContextRoot)
48 {
49 }
50
51 void BlockFormattingContext::layout(LayoutContext& layoutContext, FormattingState& formattingState) const
52 {
53     // 9.4.1 Block formatting contexts
54     // In a block formatting context, boxes are laid out one after the other, vertically, beginning at the top of a containing block.
55     // The vertical distance between two sibling boxes is determined by the 'margin' properties.
56     // Vertical margins between adjacent block-level boxes in a block formatting context collapse.
57     if (!is<Container>(root()))
58         return;
59     auto& formattingRoot = downcast<Container>(root());
60     LayoutQueue layoutQueue;
61     FloatingContext floatingContext(formattingState.floatingState());
62     // This is a post-order tree traversal layout.
63     // The root container layout is done in the formatting context it lives in, not that one it creates, so let's start with the first child.
64     if (auto* firstChild = formattingRoot.firstInFlowOrFloatingChild())
65         layoutQueue.append(std::make_unique<LayoutPair>(LayoutPair {*firstChild, layoutContext.createDisplayBox(*firstChild)}));
66     // 1. Go all the way down to the leaf node
67     // 2. Compute static position and width as we traverse down
68     // 3. As we climb back on the tree, compute height and finialize position
69     // (Any subtrees with new formatting contexts need to layout synchronously)
70     while (!layoutQueue.isEmpty()) {
71         // Traverse down on the descendants and compute width/static position until we find a leaf node.
72         while (true) {
73             auto& layoutPair = *layoutQueue.last();
74             auto& layoutBox = layoutPair.layoutBox;
75             auto& displayBox = layoutPair.displayBox;
76             
77             computeWidth(layoutContext, layoutBox, displayBox);
78             computeStaticPosition(layoutContext, layoutBox, layoutPair.displayBox);
79             if (layoutBox.establishesFormattingContext()) {
80                 auto formattingContext = layoutContext.formattingContext(layoutBox);
81                 formattingContext->layout(layoutContext, layoutContext.establishedFormattingState(layoutBox, *formattingContext));
82                 break;
83             }
84             if (!is<Container>(layoutBox) || !downcast<Container>(layoutBox).hasInFlowOrFloatingChild())
85                 break;
86             auto& firstChild = *downcast<Container>(layoutBox).firstInFlowOrFloatingChild();
87             layoutQueue.append(std::make_unique<LayoutPair>(LayoutPair {firstChild, layoutContext.createDisplayBox(firstChild)}));
88         }
89
90         // Climb back on the ancestors and compute height/final position.
91         while (!layoutQueue.isEmpty()) {
92             // All inflow descendants (if there are any) are laid out by now. Let's compute the box's height.
93             auto layoutPair = layoutQueue.takeLast();
94             auto& layoutBox = layoutPair->layoutBox;
95             auto& displayBox = layoutPair->displayBox;
96
97             computeHeight(layoutContext, layoutBox, displayBox);
98             // Adjust position now that we have all the previous floats placed in this context -if needed.
99             floatingContext.computePosition(layoutBox, displayBox);
100             if (!is<Container>(layoutBox))
101                 continue;
102             auto& container = downcast<Container>(layoutBox);
103             // Move in-flow positioned children to their final position.
104             placeInFlowPositionedChildren(container);
105             if (auto* nextSibling = container.nextInFlowOrFloatingSibling()) {
106                 layoutQueue.append(std::make_unique<LayoutPair>(LayoutPair {*nextSibling, layoutContext.createDisplayBox(*nextSibling)}));
107                 break;
108             }
109         }
110     }
111     // Place the inflow positioned children.
112     placeInFlowPositionedChildren(formattingRoot);
113     // And take care of out-of-flow boxes as the final step.
114     layoutOutOfFlowDescendants(layoutContext);
115 }
116
117 std::unique_ptr<FormattingState> BlockFormattingContext::createFormattingState(Ref<FloatingState>&& floatingState) const
118 {
119     return std::make_unique<BlockFormattingState>(WTFMove(floatingState));
120 }
121
122 Ref<FloatingState> BlockFormattingContext::createOrFindFloatingState(LayoutContext&) const
123 {
124     // Block formatting context always establishes a new floating state.
125     return FloatingState::create();
126 }
127
128 void BlockFormattingContext::computeStaticPosition(LayoutContext& layoutContext, const Box& layoutBox, Display::Box& displayBox) const
129 {
130     // https://www.w3.org/TR/CSS22/visuren.html#block-formatting
131     // In a block formatting context, boxes are laid out one after the other, vertically, beginning at the top of a containing block.
132     // The vertical distance between two sibling boxes is determined by the 'margin' properties.
133     // Vertical margins between adjacent block-level boxes in a block formatting context collapse.
134     // In a block formatting context, each box's left outer edge touches the left edge of the containing block (for right-to-left formatting, right edges touch).
135     auto containingBlockContentBox = layoutContext.displayBoxForLayoutBox(*layoutBox.containingBlock())->contentBox();
136     // Start from the top of the container's content box.
137     auto top = containingBlockContentBox.y();
138     auto left = containingBlockContentBox.x();
139     if (auto* previousInFlowSibling = layoutBox.previousInFlowSibling())
140         top = layoutContext.displayBoxForLayoutBox(*previousInFlowSibling)->bottom() + marginBottom(*previousInFlowSibling);
141     LayoutPoint topLeft = { top, left };
142     topLeft.moveBy({ marginLeft(layoutBox), marginTop(layoutBox) });
143     displayBox.setTopLeft(topLeft);
144 }
145
146 void BlockFormattingContext::computeInFlowWidth(LayoutContext& layoutContext, const Box& layoutBox, Display::Box& displayBox) const
147 {
148     if (!layoutBox.replaced()) {
149         computeInFlowNonReplacedWidth(layoutContext, layoutBox, displayBox);
150         return;
151     }
152     computeReplacedWidth(layoutContext, layoutBox, displayBox);
153 }
154
155 void BlockFormattingContext::computeInFlowNonReplacedWidth(LayoutContext& layoutContext, const Box& layoutBox, Display::Box& displayBox) const
156 {
157     ASSERT(layoutBox.isInFlow() && !layoutBox.replaced());
158
159     // 10.3.3 Block-level, non-replaced elements in normal flow
160     // The following constraints must hold among the used values of the other properties:
161     // 'margin-left' + 'border-left-width' + 'padding-left' + 'width' + 'padding-right' + 'border-right-width' + 'margin-right' = width of containing block
162
163     // If 'width' is set to 'auto', any other 'auto' values become '0' and 'width' follows from the resulting equality.
164     auto& style = layoutBox.style();
165     auto containingBlockWidth = layoutContext.displayBoxForLayoutBox(*layoutBox.containingBlock())->width();
166
167     LayoutUnit computedWidthValue;
168     auto width = style.logicalWidth();
169     if (width.isAuto()) {
170         auto marginLeft = displayBox.marginLeft();
171         auto marginRight = displayBox.marginRight();
172
173         auto paddingLeft = displayBox.paddingLeft();
174         auto paddingRight = displayBox.paddingRight();
175
176         auto borderLeft = displayBox.borderLeft();
177         auto borderRight = displayBox.borderRight();
178
179         computedWidthValue = containingBlockWidth - (marginLeft + borderLeft + paddingLeft + paddingRight + borderRight + marginRight);
180     } else
181         computedWidthValue = valueForLength(width, containingBlockWidth);
182
183     displayBox.setWidth(computedWidthValue);
184 }
185
186 void BlockFormattingContext::computeInFlowHeight(LayoutContext& layoutContext, const Box& layoutBox, Display::Box& displayBox) const
187 {
188     if (!layoutBox.replaced()) {
189         computeInFlowNonReplacedHeight(layoutContext, layoutBox, displayBox);
190         return;
191     }
192     computeReplacedHeight(layoutContext, layoutBox, displayBox);
193 }
194
195 LayoutUnit BlockFormattingContext::marginTop(const Box& layoutBox) const
196 {
197     return BlockMarginCollapse::marginTop(layoutBox);
198 }
199
200 LayoutUnit BlockFormattingContext::marginBottom(const Box& layoutBox) const
201 {
202     return BlockMarginCollapse::marginBottom(layoutBox);
203 }
204
205 void BlockFormattingContext::computeInFlowNonReplacedHeight(LayoutContext& layoutContext, const Box& layoutBox, Display::Box& displayBox) const
206 {
207     ASSERT(layoutBox.isInFlow() && !layoutBox.replaced());
208
209     // https://www.w3.org/TR/CSS22/visudet.html
210     // If 'height' is 'auto', the height depends on whether the element has any block-level children and whether it has padding or borders:
211     // The element's height is the distance from its top content edge to the first applicable of the following:
212     // 1. the bottom edge of the last line box, if the box establishes a inline formatting context with one or more lines
213     // 2. the bottom edge of the bottom (possibly collapsed) margin of its last in-flow child, if the child's bottom margin
214     //    does not collapse with the element's bottom margin
215     // 3. the bottom border edge of the last in-flow child whose top margin doesn't collapse with the element's bottom margin
216     // 4. zero, otherwise
217     // Only children in the normal flow are taken into account (i.e., floating boxes and absolutely positioned boxes are ignored,
218     // and relatively positioned boxes are considered without their offset). Note that the child box may be an anonymous block box.
219     if (!layoutBox.style().logicalHeight().isAuto()) {
220         // FIXME: Only fixed values yet.
221         displayBox.setHeight(layoutBox.style().logicalHeight().value());
222         return;
223     }
224
225     if (!is<Container>(layoutBox) || !downcast<Container>(layoutBox).hasInFlowChild()) {
226         displayBox.setHeight(0);
227         return;
228     }
229
230     // 1. the bottom edge of the last line box, if the box establishes a inline formatting context with one or more lines
231     if (layoutBox.establishesInlineFormattingContext()) {
232         // height = lastLineBox().bottom();
233         displayBox.setHeight(0);
234         return;
235     }
236
237     // 2. the bottom edge of the bottom (possibly collapsed) margin of its last in-flow child, if the child's bottom margin...
238     auto* lastInFlowChild = downcast<Container>(layoutBox).lastInFlowChild();
239     ASSERT(lastInFlowChild);
240     if (!BlockMarginCollapse::isMarginBottomCollapsedWithParent(*lastInFlowChild)) {
241         auto* lastInFlowDisplayBox = layoutContext.displayBoxForLayoutBox(*lastInFlowChild);
242         ASSERT(lastInFlowDisplayBox);
243         displayBox.setHeight(lastInFlowDisplayBox->bottom() + lastInFlowDisplayBox->marginBottom());
244         return;
245     }
246
247     // 3. the bottom border edge of the last in-flow child whose top margin doesn't collapse with the element's bottom margin
248     auto* inFlowChild = lastInFlowChild;
249     while (inFlowChild && BlockMarginCollapse::isMarginTopCollapsedWithParentMarginBottom(*inFlowChild))
250         inFlowChild = inFlowChild->previousInFlowSibling();
251     if (inFlowChild) {
252         auto* inFlowDisplayBox = layoutContext.displayBoxForLayoutBox(*inFlowChild);
253         ASSERT(inFlowDisplayBox);
254         displayBox.setHeight(inFlowDisplayBox->top() + inFlowDisplayBox->borderBox().height());
255         return;
256     }
257
258     // 4. zero, otherwise
259     displayBox.setHeight(0);
260 }
261
262 }
263 }
264
265 #endif