6fdee89cf47c16fa08e1b339a184adf4428b2c6a
[WebKit-https.git] / Source / WebCore / style / StyleResolveTree.cpp
1 /*
2  * Copyright (C) 1999 Lars Knoll (knoll@kde.org)
3  *           (C) 1999 Antti Koivisto (koivisto@kde.org)
4  *           (C) 2001 Peter Kelly (pmk@post.com)
5  *           (C) 2001 Dirk Mueller (mueller@kde.org)
6  *           (C) 2007 David Smith (catfish.man@gmail.com)
7  * Copyright (C) 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2012, 2013 Apple Inc. All rights reserved.
8  *           (C) 2007 Eric Seidel (eric@webkit.org)
9  *
10  * This library is free software; you can redistribute it and/or
11  * modify it under the terms of the GNU Library General Public
12  * License as published by the Free Software Foundation; either
13  * version 2 of the License, or (at your option) any later version.
14  *
15  * This library is distributed in the hope that it will be useful,
16  * but WITHOUT ANY WARRANTY; without even the implied warranty of
17  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18  * Library General Public License for more details.
19  *
20  * You should have received a copy of the GNU Library General Public License
21  * along with this library; see the file COPYING.LIB.  If not, write to
22  * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
23  * Boston, MA 02110-1301, USA.
24  */
25
26 #include "config.h"
27 #include "StyleResolveTree.h"
28
29 #include "AXObjectCache.h"
30 #include "AnimationController.h"
31 #include "CSSFontSelector.h"
32 #include "Element.h"
33 #include "ElementIterator.h"
34 #include "ElementRareData.h"
35 #include "ElementTraversal.h"
36 #include "FlowThreadController.h"
37 #include "NodeRenderStyle.h"
38 #include "NodeRenderingTraversal.h"
39 #include "NodeTraversal.h"
40 #include "RenderElement.h"
41 #include "RenderFullScreen.h"
42 #include "RenderNamedFlowThread.h"
43 #include "RenderText.h"
44 #include "RenderView.h"
45 #include "RenderWidget.h"
46 #include "Settings.h"
47 #include "ShadowRoot.h"
48 #include "StyleResolveForDocument.h"
49 #include "StyleResolver.h"
50 #include "Text.h"
51
52 #if PLATFORM(IOS)
53 #include "CSSFontSelector.h"
54 #include "WKContentObservation.h"
55 #endif
56
57 namespace WebCore {
58
59 namespace Style {
60
61 enum DetachType { NormalDetach, ReattachDetach };
62
63 static void attachRenderTree(Element&, PassRefPtr<RenderStyle>);
64 static void detachRenderTree(Element&, DetachType);
65
66 Change determineChange(const RenderStyle* s1, const RenderStyle* s2, Settings* settings)
67 {
68     if (!s1 || !s2)
69         return Detach;
70     if (s1->display() != s2->display())
71         return Detach;
72     if (s1->hasPseudoStyle(FIRST_LETTER) != s2->hasPseudoStyle(FIRST_LETTER))
73         return Detach;
74     // We just detach if a renderer acquires or loses a column-span, since spanning elements
75     // typically won't contain much content.
76     if (s1->columnSpan() != s2->columnSpan())
77         return Detach;
78     if (settings->regionBasedColumnsEnabled()) {
79         bool specifiesColumns1 = !s1->hasAutoColumnCount() || !s1->hasAutoColumnWidth();
80         bool specifiesColumns2 = !s2->hasAutoColumnCount() || !s2->hasAutoColumnWidth();
81         if (specifiesColumns1 != specifiesColumns2)
82             return Detach;
83     }
84     if (!s1->contentDataEquivalent(s2))
85         return Detach;
86     // When text-combine property has been changed, we need to prepare a separate renderer object.
87     // When text-combine is on, we use RenderCombineText, otherwise RenderText.
88     // https://bugs.webkit.org/show_bug.cgi?id=55069
89     if (s1->hasTextCombine() != s2->hasTextCombine())
90         return Detach;
91     // We need to reattach the node, so that it is moved to the correct RenderFlowThread.
92     if (s1->flowThread() != s2->flowThread())
93         return Detach;
94     // When the region thread has changed, we need to prepare a separate render region object.
95     if (s1->regionThread() != s2->regionThread())
96         return Detach;
97
98     if (*s1 != *s2) {
99         if (s1->inheritedNotEqual(s2))
100             return Inherit;
101         if (s1->hasExplicitlyInheritedProperties() || s2->hasExplicitlyInheritedProperties())
102             return Inherit;
103
104         return NoInherit;
105     }
106     // If the pseudoStyles have changed, we want any StyleChange that is not NoChange
107     // because setStyle will do the right thing with anything else.
108     if (s1->hasAnyPublicPseudoStyles()) {
109         for (PseudoId pseudoId = FIRST_PUBLIC_PSEUDOID; pseudoId < FIRST_INTERNAL_PSEUDOID; pseudoId = static_cast<PseudoId>(pseudoId + 1)) {
110             if (s1->hasPseudoStyle(pseudoId)) {
111                 RenderStyle* ps2 = s2->getCachedPseudoStyle(pseudoId);
112                 if (!ps2)
113                     return NoInherit;
114                 RenderStyle* ps1 = s1->getCachedPseudoStyle(pseudoId);
115                 if (!ps1 || *ps1 != *ps2)
116                     return NoInherit;
117             }
118         }
119     }
120
121     return NoChange;
122 }
123
124 static bool isRendererReparented(const RenderObject* renderer)
125 {
126     if (!renderer->node()->isElementNode())
127         return false;
128     if (!renderer->style().flowThread().isEmpty())
129         return true;
130     return false;
131 }
132
133 static RenderObject* nextSiblingRenderer(const Element& element, const ContainerNode* renderingParentNode)
134 {
135     // Avoid an O(N^2) problem with this function by not checking for
136     // nextRenderer() when the parent element hasn't attached yet.
137     // FIXME: Why would we get here anyway if parent is not attached?
138     if (renderingParentNode && !renderingParentNode->renderer())
139         return nullptr;
140     for (Node* sibling = NodeRenderingTraversal::nextSibling(&element); sibling; sibling = NodeRenderingTraversal::nextSibling(sibling)) {
141         RenderObject* renderer = sibling->renderer();
142         if (renderer && !isRendererReparented(renderer))
143             return renderer;
144     }
145     return nullptr;
146 }
147
148 static bool shouldCreateRenderer(const Element& element, const ContainerNode* renderingParent)
149 {
150     if (!element.document().shouldCreateRenderers())
151         return false;
152     if (!renderingParent)
153         return false;
154     RenderObject* parentRenderer = renderingParent->renderer();
155     if (!parentRenderer)
156         return false;
157     if (!parentRenderer->canHaveChildren() && !(element.isPseudoElement() && parentRenderer->canHaveGeneratedChildren()))
158         return false;
159     if (!renderingParent->childShouldCreateRenderer(element))
160         return false;
161     return true;
162 }
163
164 // Check the specific case of elements that are children of regions but are flowed into a flow thread themselves.
165 static bool elementInsideRegionNeedsRenderer(Element& element, const ContainerNode* renderingParentNode, RefPtr<RenderStyle>& style)
166 {
167 #if ENABLE(CSS_REGIONS)
168     // The parent of a region should always be an element.
169     const RenderElement* parentRenderer = renderingParentNode ? renderingParentNode->renderer() : 0;
170
171     bool parentIsRegion = parentRenderer && !parentRenderer->canHaveChildren() && parentRenderer->isRenderNamedFlowFragmentContainer();
172     bool parentIsNonRenderedInsideRegion = !parentRenderer && element.parentElement() && element.parentElement()->isInsideRegion();
173     if (!parentIsRegion && !parentIsNonRenderedInsideRegion)
174         return false;
175
176     if (!style)
177         style = element.styleForRenderer();
178
179     // Children of this element will only be allowed to be flowed into other flow-threads if display is NOT none.
180     if (element.rendererIsNeeded(*style))
181         element.setIsInsideRegion(true);
182
183     if (element.shouldMoveToFlowThread(*style))
184         return true;
185 #else
186     UNUSED_PARAM(element);
187     UNUSED_PARAM(renderingParentNode);
188     UNUSED_PARAM(style);
189 #endif
190     return false;
191 }
192
193 #if ENABLE(CSS_REGIONS)
194 static RenderNamedFlowThread* moveToFlowThreadIfNeeded(Element& element, const RenderStyle& style)
195 {
196     if (!element.shouldMoveToFlowThread(style))
197         return 0;
198     FlowThreadController& flowThreadController = element.document().renderView()->flowThreadController();
199     RenderNamedFlowThread& parentFlowRenderer = flowThreadController.ensureRenderFlowThreadWithName(style.flowThread());
200     flowThreadController.registerNamedFlowContentElement(element, parentFlowRenderer);
201     return &parentFlowRenderer;
202 }
203 #endif
204
205 static void createRendererIfNeeded(Element& element, PassRefPtr<RenderStyle> resolvedStyle)
206 {
207     ASSERT(!element.renderer());
208
209     ContainerNode* renderingParentNode = NodeRenderingTraversal::parent(&element);
210
211     RefPtr<RenderStyle> style = resolvedStyle;
212
213     element.setIsInsideRegion(false);
214
215     if (!shouldCreateRenderer(element, renderingParentNode) && !elementInsideRegionNeedsRenderer(element, renderingParentNode, style))
216         return;
217
218     if (!style)
219         style = element.styleForRenderer();
220
221     RenderNamedFlowThread* parentFlowRenderer = 0;
222 #if ENABLE(CSS_REGIONS)
223     parentFlowRenderer = moveToFlowThreadIfNeeded(element, *style);
224 #endif
225
226     if (!element.rendererIsNeeded(*style))
227         return;
228
229     RenderElement* parentRenderer;
230     RenderObject* nextRenderer;
231     if (parentFlowRenderer) {
232         parentRenderer = parentFlowRenderer;
233         nextRenderer = parentFlowRenderer->nextRendererForNode(&element);
234     } else {
235         // FIXME: Make this path Element only, handle the root special case separately.
236         parentRenderer = renderingParentNode->renderer();
237         nextRenderer = nextSiblingRenderer(element, renderingParentNode);
238     }
239
240     RenderElement* newRenderer = element.createElementRenderer(style.releaseNonNull()).leakPtr();
241     if (!newRenderer)
242         return;
243     if (!parentRenderer->isChildAllowed(*newRenderer, newRenderer->style())) {
244         newRenderer->destroy();
245         return;
246     }
247
248     // Make sure the RenderObject already knows it is going to be added to a RenderFlowThread before we set the style
249     // for the first time. Otherwise code using inRenderFlowThread() in the styleWillChange and styleDidChange will fail.
250     newRenderer->setFlowThreadState(parentRenderer->flowThreadState());
251
252     // Code below updateAnimations() can depend on Element::renderer() already being set.
253     element.setRenderer(newRenderer);
254
255     // FIXME: There's probably a better way to factor this.
256     // This just does what setAnimatedStyle() does, except with setStyleInternal() instead of setStyle().
257     newRenderer->setStyleInternal(newRenderer->animation().updateAnimations(*newRenderer, newRenderer->style()));
258
259     newRenderer->initializeStyle();
260
261 #if ENABLE(FULLSCREEN_API)
262     Document& document = element.document();
263     if (document.webkitIsFullScreen() && document.webkitCurrentFullScreenElement() == &element) {
264         newRenderer = RenderFullScreen::wrapRenderer(newRenderer, parentRenderer, document);
265         if (!newRenderer)
266             return;
267     }
268 #endif
269     // Note: Adding newRenderer instead of renderer(). renderer() may be a child of newRenderer.
270     parentRenderer->addChild(newRenderer, nextRenderer);
271 }
272
273 static RenderObject* previousSiblingRenderer(const Text& textNode)
274 {
275     if (textNode.renderer())
276         return textNode.renderer()->previousSibling();
277     for (Node* sibling = NodeRenderingTraversal::previousSibling(&textNode); sibling; sibling = NodeRenderingTraversal::previousSibling(sibling)) {
278         RenderObject* renderer = sibling->renderer();
279         if (renderer && !isRendererReparented(renderer))
280             return renderer;
281     }
282     return 0;
283 }
284
285 static RenderObject* nextSiblingRenderer(const Text& textNode)
286 {
287     if (textNode.renderer())
288         return textNode.renderer()->nextSibling();
289     for (Node* sibling = NodeRenderingTraversal::nextSibling(&textNode); sibling; sibling = NodeRenderingTraversal::nextSibling(sibling)) {
290         RenderObject* renderer = sibling->renderer();
291         if (renderer && !isRendererReparented(renderer))
292             return renderer;
293     }
294     return 0;
295 }
296
297 static void reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(Node& current)
298 {
299     if (current.isInsertionPoint())
300         return;
301     // This function finds sibling text renderers where the results of textRendererIsNeeded may have changed as a result of
302     // the current node gaining or losing the renderer. This can only affect white space text nodes.
303     for (Node* sibling = NodeRenderingTraversal::nextSibling(&current); sibling; sibling = NodeRenderingTraversal::nextSibling(sibling)) {
304         // Siblings haven't been attached yet. They will be handled normally when they are.
305         if (sibling->styleChangeType() == ReconstructRenderTree)
306             return;
307         if (sibling->isElementNode()) {
308             // Text renderers beyond rendered elements can't be affected.
309             if (!sibling->renderer() || isRendererReparented(sibling->renderer()))
310                 continue;
311             return;
312         }
313         if (!sibling->isTextNode())
314             continue;
315         Text& textSibling = *toText(sibling);
316         if (!textSibling.length() || !textSibling.containsOnlyWhitespace())
317             return;
318         Text& whitespaceTextSibling = textSibling;
319         bool hadRenderer = whitespaceTextSibling.renderer();
320         detachTextRenderer(whitespaceTextSibling);
321         attachTextRenderer(whitespaceTextSibling);
322         // No changes, futher renderers can't be affected.
323         if (hadRenderer == !!whitespaceTextSibling.renderer())
324             return;
325     }
326 }
327
328 static bool textRendererIsNeeded(const Text& textNode, const RenderObject& parentRenderer, const RenderStyle& style)
329 {
330     if (textNode.isEditingText())
331         return true;
332     if (!textNode.length())
333         return false;
334     if (style.display() == NONE)
335         return false;
336     if (!textNode.containsOnlyWhitespace())
337         return true;
338     // This text node has nothing but white space. We may still need a renderer in some cases.
339     if (parentRenderer.isTable() || parentRenderer.isTableRow() || parentRenderer.isTableSection() || parentRenderer.isRenderTableCol() || parentRenderer.isFrameSet())
340         return false;
341     if (style.preserveNewline()) // pre/pre-wrap/pre-line always make renderers.
342         return true;
343
344     RenderObject* previousRenderer = previousSiblingRenderer(textNode);
345     if (previousRenderer && previousRenderer->isBR()) // <span><br/> <br/></span>
346         return false;
347         
348     if (parentRenderer.isRenderInline()) {
349         // <span><div/> <div/></span>
350         if (previousRenderer && !previousRenderer->isInline())
351             return false;
352     } else {
353         if (parentRenderer.isRenderBlock() && !parentRenderer.childrenInline() && (!previousRenderer || !previousRenderer->isInline()))
354             return false;
355         
356         RenderObject* first = toRenderElement(parentRenderer).firstChild();
357         while (first && first->isFloatingOrOutOfFlowPositioned())
358             first = first->nextSibling();
359         RenderObject* nextRenderer = nextSiblingRenderer(textNode);
360         if (!first || nextRenderer == first) {
361             // Whitespace at the start of a block just goes away. Don't even make a render object for this text.
362             return false;
363         }
364     }
365     return true;
366 }
367
368 static void createTextRendererIfNeeded(Text& textNode)
369 {
370     ASSERT(!textNode.renderer());
371
372     ContainerNode* renderingParentNode = NodeRenderingTraversal::parent(&textNode);
373     if (!renderingParentNode)
374         return;
375     RenderElement* parentRenderer = renderingParentNode->renderer();
376     if (!parentRenderer || !parentRenderer->canHaveChildren())
377         return;
378     if (!renderingParentNode->childShouldCreateRenderer(textNode))
379         return;
380
381     const auto& style = parentRenderer->style();
382
383     if (!textRendererIsNeeded(textNode, *parentRenderer, style))
384         return;
385
386     auto newRenderer = textNode.createTextRenderer(style);
387     ASSERT(newRenderer);
388
389     if (!parentRenderer->isChildAllowed(*newRenderer, style))
390         return;
391
392     // Make sure the RenderObject already knows it is going to be added to a RenderFlowThread before we set the style
393     // for the first time. Otherwise code using inRenderFlowThread() in the styleWillChange and styleDidChange will fail.
394     newRenderer->setFlowThreadState(parentRenderer->flowThreadState());
395
396     RenderObject* nextRenderer = nextSiblingRenderer(textNode);
397     textNode.setRenderer(newRenderer.get());
398     // Parent takes care of the animations, no need to call setAnimatableStyle.
399     parentRenderer->addChild(newRenderer.leakPtr(), nextRenderer);
400 }
401
402 void attachTextRenderer(Text& textNode)
403 {
404     createTextRendererIfNeeded(textNode);
405
406     textNode.clearNeedsStyleRecalc();
407 }
408
409 void detachTextRenderer(Text& textNode)
410 {
411     if (textNode.renderer())
412         textNode.renderer()->destroyAndCleanupAnonymousWrappers();
413     textNode.setRenderer(0);
414 }
415
416 void updateTextRendererAfterContentChange(Text& textNode, unsigned offsetOfReplacedData, unsigned lengthOfReplacedData)
417 {
418     RenderText* textRenderer = textNode.renderer();
419     if (!textRenderer) {
420         attachTextRenderer(textNode);
421         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(textNode);
422         return;
423     }
424     RenderObject* parentRenderer = NodeRenderingTraversal::parent(&textNode)->renderer();
425     if (!textRendererIsNeeded(textNode, *parentRenderer, textRenderer->style())) {
426         detachTextRenderer(textNode);
427         attachTextRenderer(textNode);
428         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(textNode);
429         return;
430     }
431     textRenderer->setTextWithOffset(textNode.dataImpl(), offsetOfReplacedData, lengthOfReplacedData);
432 }
433
434 static void attachChildren(ContainerNode& current)
435 {
436     for (Node* child = current.firstChild(); child; child = child->nextSibling()) {
437         ASSERT(!child->renderer() || current.shadowRoot() || current.isInsertionPoint());
438         if (child->renderer())
439             continue;
440         if (child->isTextNode()) {
441             attachTextRenderer(*toText(child));
442             continue;
443         }
444         if (child->isElementNode())
445             attachRenderTree(*toElement(child), nullptr);
446     }
447 }
448
449 static void attachShadowRoot(ShadowRoot& shadowRoot)
450 {
451     StyleResolver& styleResolver = shadowRoot.document().ensureStyleResolver();
452     styleResolver.pushParentShadowRoot(&shadowRoot);
453
454     attachChildren(shadowRoot);
455
456     styleResolver.popParentShadowRoot(&shadowRoot);
457
458     shadowRoot.clearNeedsStyleRecalc();
459     shadowRoot.clearChildNeedsStyleRecalc();
460 }
461
462 static PseudoElement* beforeOrAfterPseudoElement(Element& current, PseudoId pseudoId)
463 {
464     ASSERT(pseudoId == BEFORE || pseudoId == AFTER);
465     if (pseudoId == BEFORE)
466         return current.beforePseudoElement();
467     return current.afterPseudoElement();
468 }
469
470 static void setBeforeOrAfterPseudoElement(Element& current, PassRefPtr<PseudoElement> pseudoElement, PseudoId pseudoId)
471 {
472     ASSERT(pseudoId == BEFORE || pseudoId == AFTER);
473     if (pseudoId == BEFORE) {
474         current.setBeforePseudoElement(pseudoElement);
475         return;
476     }
477     current.setAfterPseudoElement(pseudoElement);
478 }
479
480 static void clearBeforeOrAfterPseudoElement(Element& current, PseudoId pseudoId)
481 {
482     ASSERT(pseudoId == BEFORE || pseudoId == AFTER);
483     if (pseudoId == BEFORE) {
484         current.clearBeforePseudoElement();
485         return;
486     }
487     current.clearAfterPseudoElement();
488 }
489
490 static bool needsPseudeElement(Element& current, PseudoId pseudoId)
491 {
492     if (!current.document().styleSheetCollection().usesBeforeAfterRules())
493         return false;
494     if (!current.renderer() || !current.renderer()->canHaveGeneratedChildren())
495         return false;
496     if (current.isPseudoElement())
497         return false;
498     if (!pseudoElementRendererIsNeeded(current.renderer()->getCachedPseudoStyle(pseudoId)))
499         return false;
500     return true;
501 }
502
503 static void attachBeforeOrAfterPseudoElementIfNeeded(Element& current, PseudoId pseudoId)
504 {
505     if (!needsPseudeElement(current, pseudoId))
506         return;
507     RefPtr<PseudoElement> pseudoElement = PseudoElement::create(current, pseudoId);
508     setBeforeOrAfterPseudoElement(current, pseudoElement, pseudoId);
509     attachRenderTree(*pseudoElement, nullptr);
510 }
511
512 static void attachRenderTree(Element& current, PassRefPtr<RenderStyle> resolvedStyle)
513 {
514     PostAttachCallbackDisabler callbackDisabler(current.document());
515     WidgetHierarchyUpdatesSuspensionScope suspendWidgetHierarchyUpdates;
516
517     if (current.hasCustomStyleResolveCallbacks())
518         current.willAttachRenderers();
519
520     createRendererIfNeeded(current, resolvedStyle);
521
522     if (current.parentElement() && current.parentElement()->isInCanvasSubtree())
523         current.setIsInCanvasSubtree(true);
524
525     attachBeforeOrAfterPseudoElementIfNeeded(current, BEFORE);
526
527     StyleResolverParentPusher parentPusher(&current);
528
529     // When a shadow root exists, it does the work of attaching the children.
530     if (ShadowRoot* shadowRoot = current.shadowRoot()) {
531         parentPusher.push();
532         attachShadowRoot(*shadowRoot);
533     } else if (current.firstChild())
534         parentPusher.push();
535
536     attachChildren(current);
537
538     current.clearNeedsStyleRecalc();
539     current.clearChildNeedsStyleRecalc();
540
541     if (AXObjectCache* cache = current.document().axObjectCache())
542         cache->updateCacheAfterNodeIsAttached(&current);
543
544     attachBeforeOrAfterPseudoElementIfNeeded(current, AFTER);
545
546     current.updateFocusAppearanceAfterAttachIfNeeded();
547     
548     if (current.hasCustomStyleResolveCallbacks())
549         current.didAttachRenderers();
550 }
551
552 static void detachChildren(ContainerNode& current, DetachType detachType)
553 {
554     for (Node* child = current.firstChild(); child; child = child->nextSibling()) {
555         if (child->isTextNode()) {
556             Style::detachTextRenderer(*toText(child));
557             continue;
558         }
559         if (child->isElementNode())
560             detachRenderTree(*toElement(child), detachType);
561     }
562     current.clearChildNeedsStyleRecalc();
563 }
564
565 static void detachShadowRoot(ShadowRoot& shadowRoot, DetachType detachType)
566 {
567     detachChildren(shadowRoot, detachType);
568 }
569
570 static void detachRenderTree(Element& current, DetachType detachType)
571 {
572     WidgetHierarchyUpdatesSuspensionScope suspendWidgetHierarchyUpdates;
573
574     if (current.hasCustomStyleResolveCallbacks())
575         current.willDetachRenderers();
576
577     current.clearStyleDerivedDataBeforeDetachingRenderer();
578
579     // Do not remove the element's hovered and active status
580     // if performing a reattach.
581     if (detachType != ReattachDetach)
582         current.clearHoverAndActiveStatusBeforeDetachingRenderer();
583
584     if (ShadowRoot* shadowRoot = current.shadowRoot())
585         detachShadowRoot(*shadowRoot, detachType);
586
587     detachChildren(current, detachType);
588
589     if (current.renderer())
590         current.renderer()->destroyAndCleanupAnonymousWrappers();
591     current.setRenderer(0);
592
593     if (current.hasCustomStyleResolveCallbacks())
594         current.didDetachRenderers();
595 }
596
597 static bool pseudoStyleCacheIsInvalid(RenderElement* renderer, RenderStyle* newStyle)
598 {
599     const RenderStyle& currentStyle = renderer->style();
600
601     const PseudoStyleCache* pseudoStyleCache = currentStyle.cachedPseudoStyles();
602     if (!pseudoStyleCache)
603         return false;
604
605     size_t cacheSize = pseudoStyleCache->size();
606     for (size_t i = 0; i < cacheSize; ++i) {
607         RefPtr<RenderStyle> newPseudoStyle;
608         PseudoId pseudoId = pseudoStyleCache->at(i)->styleType();
609         if (pseudoId == FIRST_LINE || pseudoId == FIRST_LINE_INHERITED)
610             newPseudoStyle = renderer->uncachedFirstLineStyle(newStyle);
611         else
612             newPseudoStyle = renderer->getUncachedPseudoStyle(PseudoStyleRequest(pseudoId), newStyle, newStyle);
613         if (!newPseudoStyle)
614             return true;
615         if (*newPseudoStyle != *pseudoStyleCache->at(i)) {
616             if (pseudoId < FIRST_INTERNAL_PSEUDOID)
617                 newStyle->setHasPseudoStyle(pseudoId);
618             newStyle->addCachedPseudoStyle(newPseudoStyle);
619             if (pseudoId == FIRST_LINE || pseudoId == FIRST_LINE_INHERITED) {
620                 // FIXME: We should do an actual diff to determine whether a repaint vs. layout
621                 // is needed, but for now just assume a layout will be required. The diff code
622                 // in RenderObject::setStyle would need to be factored out so that it could be reused.
623                 renderer->setNeedsLayoutAndPrefWidthsRecalc();
624             }
625             return true;
626         }
627     }
628     return false;
629 }
630
631 static Change resolveLocal(Element& current, Change inheritedChange)
632 {
633     Change localChange = Detach;
634     RefPtr<RenderStyle> newStyle;
635     RefPtr<RenderStyle> currentStyle = current.renderStyle();
636
637     Document& document = current.document();
638     if (currentStyle && current.styleChangeType() != ReconstructRenderTree) {
639         newStyle = current.styleForRenderer();
640         localChange = determineChange(currentStyle.get(), newStyle.get(), document.settings());
641     }
642     if (localChange == Detach) {
643         if (current.renderer() || current.inNamedFlow())
644             detachRenderTree(current, ReattachDetach);
645         attachRenderTree(current, newStyle.release());
646         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(current);
647
648         return Detach;
649     }
650
651     if (RenderElement* renderer = current.renderer()) {
652         if (localChange != NoChange || pseudoStyleCacheIsInvalid(renderer, newStyle.get()) || (inheritedChange == Force && renderer->requiresForcedStyleRecalcPropagation()) || current.styleChangeType() == SyntheticStyleChange)
653             renderer->setAnimatableStyle(*newStyle);
654         else if (current.needsStyleRecalc()) {
655             // Although no change occurred, we use the new style so that the cousin style sharing code won't get
656             // fooled into believing this style is the same.
657             renderer->setStyleInternal(*newStyle);
658         }
659     }
660
661     // If "rem" units are used anywhere in the document, and if the document element's font size changes, then go ahead and force font updating
662     // all the way down the tree. This is simpler than having to maintain a cache of objects (and such font size changes should be rare anyway).
663     if (document.styleSheetCollection().usesRemUnits() && document.documentElement() == &current && localChange != NoChange && currentStyle && newStyle && currentStyle->fontSize() != newStyle->fontSize()) {
664         // Cached RenderStyles may depend on the re units.
665         if (StyleResolver* styleResolver = document.styleResolverIfExists())
666             styleResolver->invalidateMatchedPropertiesCache();
667         return Force;
668     }
669     if (inheritedChange == Force)
670         return Force;
671     if (current.styleChangeType() >= FullStyleChange)
672         return Force;
673
674     return localChange;
675 }
676
677 static void updateTextStyle(Text& text)
678 {
679     RenderText* renderer = text.renderer();
680
681     if (!text.needsStyleRecalc())
682         return;
683     if (renderer)
684         renderer->setText(text.dataImpl());
685     else {
686         attachTextRenderer(text);
687         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(text);
688     }
689     text.clearNeedsStyleRecalc();
690 }
691
692 static void resolveShadowTree(ShadowRoot* shadowRoot, Style::Change change)
693 {
694     if (!shadowRoot)
695         return;
696     StyleResolver& styleResolver = shadowRoot->document().ensureStyleResolver();
697     styleResolver.pushParentShadowRoot(shadowRoot);
698
699     for (Node* child = shadowRoot->firstChild(); child; child = child->nextSibling()) {
700         if (child->isTextNode()) {
701             // Current user agent ShadowRoots don't have immediate text children so this branch is never actually taken.
702             updateTextStyle(*toText(child));
703             continue;
704         }
705         resolveTree(*toElement(child), change);
706     }
707
708     styleResolver.popParentShadowRoot(shadowRoot);
709     shadowRoot->clearNeedsStyleRecalc();
710     shadowRoot->clearChildNeedsStyleRecalc();
711 }
712
713 static void updateBeforeOrAfterPseudoElement(Element& current, Change change, PseudoId pseudoId)
714 {
715     if (PseudoElement* existingPseudoElement = beforeOrAfterPseudoElement(current, pseudoId)) {
716         if (needsPseudeElement(current, pseudoId))
717             resolveTree(*existingPseudoElement, current.needsStyleRecalc() ? Force : change);
718         else
719             clearBeforeOrAfterPseudoElement(current, pseudoId);
720         return;
721     }
722     attachBeforeOrAfterPseudoElementIfNeeded(current, pseudoId);
723 }
724
725 #if PLATFORM(IOS)
726 static EVisibility elementImplicitVisibility(const Element* element)
727 {
728     RenderObject* renderer = element->renderer();
729     if (!renderer)
730         return VISIBLE;
731
732     RenderStyle* style = renderer->style();
733     if (!style)
734         return VISIBLE;
735
736     Length width(style->width());
737     Length height(style->height());
738     if ((width.isFixed() && width.value() <= 0) || (height.isFixed() && height.value() <= 0))
739         return HIDDEN;
740
741     Length top(style->top());
742     Length left(style->left());
743     if (left.isFixed() && width.isFixed() && -left.value() >= width.value())
744         return HIDDEN;
745
746     if (top.isFixed() && height.isFixed() && -top.value() >= height.value())
747         return HIDDEN;
748     return VISIBLE;
749 }
750
751 class CheckForVisibilityChangeOnRecalcStyle {
752 public:
753     CheckForVisibilityChangeOnRecalcStyle(Element* element, RenderStyle* currentStyle)
754         : m_element(element)
755         , m_previousDisplay(currentStyle ? currentStyle->display() : NONE)
756         , m_previousVisibility(currentStyle ? currentStyle->visibility() : HIDDEN)
757         , m_previousImplicitVisibility(WKObservingContentChanges() && WKContentChange() != WKContentVisibilityChange ? elementImplicitVisibility(element) : VISIBLE)
758     {
759     }
760     ~CheckForVisibilityChangeOnRecalcStyle()
761     {
762         if (!WKObservingContentChanges())
763             return;
764         RenderStyle* style = m_element->renderStyle();
765         if (!style)
766             return;
767         if ((m_previousDisplay == NONE && style->display() != NONE) || (m_previousVisibility == HIDDEN && style->visibility() != HIDDEN)
768             || (m_previousImplicitVisibility == HIDDEN && elementImplicitVisibility(m_element.get()) == VISIBLE))
769             WKSetObservedContentChange(WKContentVisibilityChange);
770     }
771 private:
772     RefPtr<Element> m_element;
773     EDisplay m_previousDisplay;
774     EVisibility m_previousVisibility;
775     EVisibility m_previousImplicitVisibility;
776 };
777 #endif // PLATFORM(IOS)
778
779 void resolveTree(Element& current, Change change)
780 {
781     ASSERT(change != Detach);
782
783     if (current.hasCustomStyleResolveCallbacks()) {
784         if (!current.willRecalcStyle(change))
785             return;
786     }
787
788     ContainerNode* renderingParentNode = NodeRenderingTraversal::parent(&current);
789     bool hasParentStyle = renderingParentNode && renderingParentNode->renderStyle();
790     bool hasDirectAdjacentRules = current.childrenAffectedByDirectAdjacentRules();
791     bool hasIndirectAdjacentRules = current.childrenAffectedByForwardPositionalRules();
792
793 #if PLATFORM(IOS)
794     CheckForVisibilityChangeOnRecalcStyle checkForVisibilityChange(&current, current.renderStyle());
795 #endif
796
797     if (change > NoChange || current.needsStyleRecalc())
798         current.resetComputedStyle();
799
800     if (hasParentStyle && (change >= Inherit || current.needsStyleRecalc()))
801         change = resolveLocal(current, change);
802
803     if (change != Detach) {
804         StyleResolverParentPusher parentPusher(&current);
805
806         if (ShadowRoot* shadowRoot = current.shadowRoot()) {
807             if (change >= Inherit || shadowRoot->childNeedsStyleRecalc() || shadowRoot->needsStyleRecalc()) {
808                 parentPusher.push();
809                 resolveShadowTree(shadowRoot, change);
810             }
811         }
812
813         updateBeforeOrAfterPseudoElement(current, change, BEFORE);
814
815         // FIXME: This check is good enough for :hover + foo, but it is not good enough for :hover + foo + bar.
816         // For now we will just worry about the common case, since it's a lot trickier to get the second case right
817         // without doing way too much re-resolution.
818         bool forceCheckOfNextElementSibling = false;
819         bool forceCheckOfAnyElementSibling = false;
820         for (Node* child = current.firstChild(); child; child = child->nextSibling()) {
821             if (child->isTextNode()) {
822                 updateTextStyle(*toText(child));
823                 continue;
824             }
825             if (!child->isElementNode())
826                 continue;
827             Element* childElement = toElement(child);
828             bool childRulesChanged = childElement->needsStyleRecalc() && childElement->styleChangeType() == FullStyleChange;
829             if ((forceCheckOfNextElementSibling || forceCheckOfAnyElementSibling))
830                 childElement->setNeedsStyleRecalc();
831             if (change >= Inherit || childElement->childNeedsStyleRecalc() || childElement->needsStyleRecalc()) {
832                 parentPusher.push();
833                 resolveTree(*childElement, change);
834             }
835             forceCheckOfNextElementSibling = childRulesChanged && hasDirectAdjacentRules;
836             forceCheckOfAnyElementSibling = forceCheckOfAnyElementSibling || (childRulesChanged && hasIndirectAdjacentRules);
837         }
838
839         updateBeforeOrAfterPseudoElement(current, change, AFTER);
840     }
841
842     current.clearNeedsStyleRecalc();
843     current.clearChildNeedsStyleRecalc();
844     
845     if (current.hasCustomStyleResolveCallbacks())
846         current.didRecalcStyle(change);
847 }
848
849 void resolveTree(Document& document, Change change)
850 {
851     bool resolveRootStyle = change == Force || (document.shouldDisplaySeamlesslyWithParent() && change >= Inherit);
852     if (resolveRootStyle) {
853         auto documentStyle = resolveForDocument(document);
854
855         // Inserting the pictograph font at the end of the font fallback list is done by the
856         // font selector, so set a font selector if needed.
857         if (Settings* settings = document.settings()) {
858             StyleResolver* styleResolver = document.styleResolverIfExists();
859             if (settings->fontFallbackPrefersPictographs() && styleResolver)
860                 documentStyle.get().font().update(styleResolver->fontSelector());
861         }
862
863         Style::Change documentChange = determineChange(&documentStyle.get(), &document.renderView()->style(), document.settings());
864         if (documentChange != NoChange)
865             document.renderView()->setStyle(std::move(documentStyle));
866         else
867             documentStyle.dropRef();
868     }
869
870     Element* documentElement = document.documentElement();
871     if (!documentElement)
872         return;
873     if (change < Inherit && !documentElement->childNeedsStyleRecalc() && !documentElement->needsStyleRecalc())
874         return;
875     resolveTree(*documentElement, change);
876 }
877
878 void attachRenderTree(Element& element)
879 {
880     attachRenderTree(element, nullptr);
881     reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(element);
882 }
883
884 void detachRenderTree(Element& element)
885 {
886     detachRenderTree(element, NormalDetach);
887 }
888
889 void detachRenderTreeInReattachMode(Element& element)
890 {
891     detachRenderTree(element, ReattachDetach);
892 }
893
894 }
895 }