Create render tree lazily
[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->attached())
139         return 0;
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 0;
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.createRenderer(style.releaseNonNull());
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->attached())
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     // FIXME: constify this RenderStyle&.
382     RenderStyle& style = parentRenderer->style();
383
384     if (!textRendererIsNeeded(textNode, *parentRenderer, style))
385         return;
386     RenderText* newRenderer = textNode.createTextRenderer(style);
387     if (!newRenderer)
388         return;
389     if (!parentRenderer->isChildAllowed(*newRenderer, style)) {
390         newRenderer->destroy();
391         return;
392     }
393
394     // Make sure the RenderObject already knows it is going to be added to a RenderFlowThread before we set the style
395     // for the first time. Otherwise code using inRenderFlowThread() in the styleWillChange and styleDidChange will fail.
396     newRenderer->setFlowThreadState(parentRenderer->flowThreadState());
397
398     RenderObject* nextRenderer = nextSiblingRenderer(textNode);
399     textNode.setRenderer(newRenderer);
400     // Parent takes care of the animations, no need to call setAnimatableStyle.
401     parentRenderer->addChild(newRenderer, nextRenderer);
402 }
403
404 void attachTextRenderer(Text& textNode)
405 {
406     createTextRendererIfNeeded(textNode);
407
408     textNode.clearNeedsStyleRecalc();
409 }
410
411 void detachTextRenderer(Text& textNode)
412 {
413     if (textNode.renderer())
414         textNode.renderer()->destroyAndCleanupAnonymousWrappers();
415     textNode.setRenderer(0);
416 }
417
418 void updateTextRendererAfterContentChange(Text& textNode, unsigned offsetOfReplacedData, unsigned lengthOfReplacedData)
419 {
420     if (!textNode.attached())
421         return;
422     RenderText* textRenderer = textNode.renderer();
423     if (!textRenderer) {
424         attachTextRenderer(textNode);
425         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(textNode);
426         return;
427     }
428     RenderObject* parentRenderer = NodeRenderingTraversal::parent(&textNode)->renderer();
429     if (!textRendererIsNeeded(textNode, *parentRenderer, textRenderer->style())) {
430         detachTextRenderer(textNode);
431         attachTextRenderer(textNode);
432         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(textNode);
433         return;
434     }
435     textRenderer->setTextWithOffset(textNode.dataImpl(), offsetOfReplacedData, lengthOfReplacedData);
436 }
437
438 static void attachChildren(ContainerNode& current)
439 {
440     for (Node* child = current.firstChild(); child; child = child->nextSibling()) {
441         ASSERT(!child->renderer() || current.shadowRoot() || current.isInsertionPoint());
442         if (child->renderer())
443             continue;
444         if (child->isTextNode()) {
445             attachTextRenderer(*toText(child));
446             continue;
447         }
448         if (child->isElementNode())
449             attachRenderTree(*toElement(child), nullptr);
450     }
451 }
452
453 static void attachShadowRoot(ShadowRoot& shadowRoot)
454 {
455     StyleResolver& styleResolver = shadowRoot.document().ensureStyleResolver();
456     styleResolver.pushParentShadowRoot(&shadowRoot);
457
458     attachChildren(shadowRoot);
459
460     styleResolver.popParentShadowRoot(&shadowRoot);
461
462     shadowRoot.clearNeedsStyleRecalc();
463     shadowRoot.clearChildNeedsStyleRecalc();
464 }
465
466 static PseudoElement* beforeOrAfterPseudoElement(Element& current, PseudoId pseudoId)
467 {
468     ASSERT(pseudoId == BEFORE || pseudoId == AFTER);
469     if (pseudoId == BEFORE)
470         return current.beforePseudoElement();
471     return current.afterPseudoElement();
472 }
473
474 static void setBeforeOrAfterPseudoElement(Element& current, PassRefPtr<PseudoElement> pseudoElement, PseudoId pseudoId)
475 {
476     ASSERT(pseudoId == BEFORE || pseudoId == AFTER);
477     if (pseudoId == BEFORE) {
478         current.setBeforePseudoElement(pseudoElement);
479         return;
480     }
481     current.setAfterPseudoElement(pseudoElement);
482 }
483
484 static void clearBeforeOrAfterPseudoElement(Element& current, PseudoId pseudoId)
485 {
486     ASSERT(pseudoId == BEFORE || pseudoId == AFTER);
487     if (pseudoId == BEFORE) {
488         current.clearBeforePseudoElement();
489         return;
490     }
491     current.clearAfterPseudoElement();
492 }
493
494 static bool needsPseudeElement(Element& current, PseudoId pseudoId)
495 {
496     if (!current.document().styleSheetCollection().usesBeforeAfterRules())
497         return false;
498     if (!current.renderer() || !current.renderer()->canHaveGeneratedChildren())
499         return false;
500     if (current.isPseudoElement())
501         return false;
502     if (!pseudoElementRendererIsNeeded(current.renderer()->getCachedPseudoStyle(pseudoId)))
503         return false;
504     return true;
505 }
506
507 static void attachBeforeOrAfterPseudoElementIfNeeded(Element& current, PseudoId pseudoId)
508 {
509     if (!needsPseudeElement(current, pseudoId))
510         return;
511     RefPtr<PseudoElement> pseudoElement = PseudoElement::create(current, pseudoId);
512     setBeforeOrAfterPseudoElement(current, pseudoElement, pseudoId);
513     attachRenderTree(*pseudoElement, nullptr);
514 }
515
516 static void attachRenderTree(Element& current, PassRefPtr<RenderStyle> resolvedStyle)
517 {
518     PostAttachCallbackDisabler callbackDisabler(current);
519     WidgetHierarchyUpdatesSuspensionScope suspendWidgetHierarchyUpdates;
520
521     if (current.hasCustomStyleResolveCallbacks())
522         current.willAttachRenderers();
523
524     createRendererIfNeeded(current, resolvedStyle);
525
526     if (current.parentElement() && current.parentElement()->isInCanvasSubtree())
527         current.setIsInCanvasSubtree(true);
528
529     attachBeforeOrAfterPseudoElementIfNeeded(current, BEFORE);
530
531     StyleResolverParentPusher parentPusher(&current);
532
533     // When a shadow root exists, it does the work of attaching the children.
534     if (ShadowRoot* shadowRoot = current.shadowRoot()) {
535         parentPusher.push();
536         attachShadowRoot(*shadowRoot);
537     } else if (current.firstChild())
538         parentPusher.push();
539
540     attachChildren(current);
541
542     current.clearNeedsStyleRecalc();
543     current.clearChildNeedsStyleRecalc();
544
545     if (AXObjectCache* cache = current.document().axObjectCache())
546         cache->updateCacheAfterNodeIsAttached(&current);
547
548     attachBeforeOrAfterPseudoElementIfNeeded(current, AFTER);
549
550     current.updateFocusAppearanceAfterAttachIfNeeded();
551     
552     if (current.hasCustomStyleResolveCallbacks())
553         current.didAttachRenderers();
554 }
555
556 static void detachChildren(ContainerNode& current, DetachType detachType)
557 {
558     for (Node* child = current.firstChild(); child; child = child->nextSibling()) {
559         if (child->isTextNode()) {
560             Style::detachTextRenderer(*toText(child));
561             continue;
562         }
563         if (child->isElementNode())
564             detachRenderTree(*toElement(child), detachType);
565     }
566     current.clearChildNeedsStyleRecalc();
567 }
568
569 static void detachShadowRoot(ShadowRoot& shadowRoot, DetachType detachType)
570 {
571     detachChildren(shadowRoot, detachType);
572 }
573
574 static void detachRenderTree(Element& current, DetachType detachType)
575 {
576     WidgetHierarchyUpdatesSuspensionScope suspendWidgetHierarchyUpdates;
577
578     if (current.hasCustomStyleResolveCallbacks())
579         current.willDetachRenderers();
580
581     current.clearStyleDerivedDataBeforeDetachingRenderer();
582
583     // Do not remove the element's hovered and active status
584     // if performing a reattach.
585     if (detachType != ReattachDetach)
586         current.clearHoverAndActiveStatusBeforeDetachingRenderer();
587
588     if (ShadowRoot* shadowRoot = current.shadowRoot())
589         detachShadowRoot(*shadowRoot, detachType);
590
591     detachChildren(current, detachType);
592
593     if (current.renderer())
594         current.renderer()->destroyAndCleanupAnonymousWrappers();
595     current.setRenderer(0);
596
597     if (current.hasCustomStyleResolveCallbacks())
598         current.didDetachRenderers();
599 }
600
601 static bool pseudoStyleCacheIsInvalid(RenderElement* renderer, RenderStyle* newStyle)
602 {
603     const RenderStyle& currentStyle = renderer->style();
604
605     const PseudoStyleCache* pseudoStyleCache = currentStyle.cachedPseudoStyles();
606     if (!pseudoStyleCache)
607         return false;
608
609     size_t cacheSize = pseudoStyleCache->size();
610     for (size_t i = 0; i < cacheSize; ++i) {
611         RefPtr<RenderStyle> newPseudoStyle;
612         PseudoId pseudoId = pseudoStyleCache->at(i)->styleType();
613         if (pseudoId == FIRST_LINE || pseudoId == FIRST_LINE_INHERITED)
614             newPseudoStyle = renderer->uncachedFirstLineStyle(newStyle);
615         else
616             newPseudoStyle = renderer->getUncachedPseudoStyle(PseudoStyleRequest(pseudoId), newStyle, newStyle);
617         if (!newPseudoStyle)
618             return true;
619         if (*newPseudoStyle != *pseudoStyleCache->at(i)) {
620             if (pseudoId < FIRST_INTERNAL_PSEUDOID)
621                 newStyle->setHasPseudoStyle(pseudoId);
622             newStyle->addCachedPseudoStyle(newPseudoStyle);
623             if (pseudoId == FIRST_LINE || pseudoId == FIRST_LINE_INHERITED) {
624                 // FIXME: We should do an actual diff to determine whether a repaint vs. layout
625                 // is needed, but for now just assume a layout will be required. The diff code
626                 // in RenderObject::setStyle would need to be factored out so that it could be reused.
627                 renderer->setNeedsLayoutAndPrefWidthsRecalc();
628             }
629             return true;
630         }
631     }
632     return false;
633 }
634
635 static Change resolveLocal(Element& current, Change inheritedChange)
636 {
637     Change localChange = Detach;
638     RefPtr<RenderStyle> newStyle;
639     RefPtr<RenderStyle> currentStyle = current.renderStyle();
640
641     Document& document = current.document();
642     if (currentStyle && current.styleChangeType() != ReconstructRenderTree) {
643         newStyle = current.styleForRenderer();
644         localChange = determineChange(currentStyle.get(), newStyle.get(), document.settings());
645     }
646     if (localChange == Detach) {
647         if (current.renderer() || current.inNamedFlow())
648             detachRenderTree(current, ReattachDetach);
649         attachRenderTree(current, newStyle.release());
650         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(current);
651
652         return Detach;
653     }
654
655     if (RenderElement* renderer = current.renderer()) {
656         if (localChange != NoChange || pseudoStyleCacheIsInvalid(renderer, newStyle.get()) || (inheritedChange == Force && renderer->requiresForcedStyleRecalcPropagation()) || current.styleChangeType() == SyntheticStyleChange)
657             renderer->setAnimatableStyle(*newStyle);
658         else if (current.needsStyleRecalc()) {
659             // Although no change occurred, we use the new style so that the cousin style sharing code won't get
660             // fooled into believing this style is the same.
661             renderer->setStyleInternal(*newStyle);
662         }
663     }
664
665     // 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
666     // 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).
667     if (document.styleSheetCollection().usesRemUnits() && document.documentElement() == &current && localChange != NoChange && currentStyle && newStyle && currentStyle->fontSize() != newStyle->fontSize()) {
668         // Cached RenderStyles may depend on the re units.
669         if (StyleResolver* styleResolver = document.styleResolverIfExists())
670             styleResolver->invalidateMatchedPropertiesCache();
671         return Force;
672     }
673     if (inheritedChange == Force)
674         return Force;
675     if (current.styleChangeType() >= FullStyleChange)
676         return Force;
677
678     return localChange;
679 }
680
681 static void updateTextStyle(Text& text)
682 {
683     RenderText* renderer = text.renderer();
684
685     if (!text.needsStyleRecalc())
686         return;
687     if (renderer)
688         renderer->setText(text.dataImpl());
689     else {
690         attachTextRenderer(text);
691         reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(text);
692     }
693     text.clearNeedsStyleRecalc();
694 }
695
696 static void resolveShadowTree(ShadowRoot* shadowRoot, Style::Change change)
697 {
698     if (!shadowRoot)
699         return;
700     StyleResolver& styleResolver = shadowRoot->document().ensureStyleResolver();
701     styleResolver.pushParentShadowRoot(shadowRoot);
702
703     for (Node* child = shadowRoot->firstChild(); child; child = child->nextSibling()) {
704         if (child->isTextNode()) {
705             // Current user agent ShadowRoots don't have immediate text children so this branch is never actually taken.
706             updateTextStyle(*toText(child));
707             continue;
708         }
709         resolveTree(*toElement(child), change);
710     }
711
712     styleResolver.popParentShadowRoot(shadowRoot);
713     shadowRoot->clearNeedsStyleRecalc();
714     shadowRoot->clearChildNeedsStyleRecalc();
715 }
716
717 static void updateBeforeOrAfterPseudoElement(Element& current, Change change, PseudoId pseudoId)
718 {
719     if (PseudoElement* existingPseudoElement = beforeOrAfterPseudoElement(current, pseudoId)) {
720         if (needsPseudeElement(current, pseudoId))
721             resolveTree(*existingPseudoElement, current.needsStyleRecalc() ? Force : change);
722         else
723             clearBeforeOrAfterPseudoElement(current, pseudoId);
724         return;
725     }
726     attachBeforeOrAfterPseudoElementIfNeeded(current, pseudoId);
727 }
728
729 #if PLATFORM(IOS)
730 static EVisibility elementImplicitVisibility(const Element* element)
731 {
732     RenderObject* renderer = element->renderer();
733     if (!renderer)
734         return VISIBLE;
735
736     RenderStyle* style = renderer->style();
737     if (!style)
738         return VISIBLE;
739
740     Length width(style->width());
741     Length height(style->height());
742     if ((width.isFixed() && width.value() <= 0) || (height.isFixed() && height.value() <= 0))
743         return HIDDEN;
744
745     Length top(style->top());
746     Length left(style->left());
747     if (left.isFixed() && width.isFixed() && -left.value() >= width.value())
748         return HIDDEN;
749
750     if (top.isFixed() && height.isFixed() && -top.value() >= height.value())
751         return HIDDEN;
752     return VISIBLE;
753 }
754
755 class CheckForVisibilityChangeOnRecalcStyle {
756 public:
757     CheckForVisibilityChangeOnRecalcStyle(Element* element, RenderStyle* currentStyle)
758         : m_element(element)
759         , m_previousDisplay(currentStyle ? currentStyle->display() : NONE)
760         , m_previousVisibility(currentStyle ? currentStyle->visibility() : HIDDEN)
761         , m_previousImplicitVisibility(WKObservingContentChanges() && WKContentChange() != WKContentVisibilityChange ? elementImplicitVisibility(element) : VISIBLE)
762     {
763     }
764     ~CheckForVisibilityChangeOnRecalcStyle()
765     {
766         if (!WKObservingContentChanges())
767             return;
768         RenderStyle* style = m_element->renderStyle();
769         if (!style)
770             return;
771         if ((m_previousDisplay == NONE && style->display() != NONE) || (m_previousVisibility == HIDDEN && style->visibility() != HIDDEN)
772             || (m_previousImplicitVisibility == HIDDEN && elementImplicitVisibility(m_element.get()) == VISIBLE))
773             WKSetObservedContentChange(WKContentVisibilityChange);
774     }
775 private:
776     RefPtr<Element> m_element;
777     EDisplay m_previousDisplay;
778     EVisibility m_previousVisibility;
779     EVisibility m_previousImplicitVisibility;
780 };
781 #endif // PLATFORM(IOS)
782
783 void resolveTree(Element& current, Change change)
784 {
785     ASSERT(change != Detach);
786
787     if (current.hasCustomStyleResolveCallbacks()) {
788         if (!current.willRecalcStyle(change))
789             return;
790     }
791
792     ContainerNode* renderingParentNode = NodeRenderingTraversal::parent(&current);
793     bool hasParentStyle = renderingParentNode && renderingParentNode->renderStyle();
794     bool hasDirectAdjacentRules = current.childrenAffectedByDirectAdjacentRules();
795     bool hasIndirectAdjacentRules = current.childrenAffectedByForwardPositionalRules();
796
797 #if PLATFORM(IOS)
798     CheckForVisibilityChangeOnRecalcStyle checkForVisibilityChange(&current, current.renderStyle());
799 #endif
800
801     if (change > NoChange || current.needsStyleRecalc())
802         current.resetComputedStyle();
803
804     if (hasParentStyle && (change >= Inherit || current.needsStyleRecalc()))
805         change = resolveLocal(current, change);
806
807     if (change != Detach) {
808         StyleResolverParentPusher parentPusher(&current);
809
810         if (ShadowRoot* shadowRoot = current.shadowRoot()) {
811             if (change >= Inherit || shadowRoot->childNeedsStyleRecalc() || shadowRoot->needsStyleRecalc()) {
812                 parentPusher.push();
813                 resolveShadowTree(shadowRoot, change);
814             }
815         }
816
817         updateBeforeOrAfterPseudoElement(current, change, BEFORE);
818
819         // FIXME: This check is good enough for :hover + foo, but it is not good enough for :hover + foo + bar.
820         // For now we will just worry about the common case, since it's a lot trickier to get the second case right
821         // without doing way too much re-resolution.
822         bool forceCheckOfNextElementSibling = false;
823         bool forceCheckOfAnyElementSibling = false;
824         for (Node* child = current.firstChild(); child; child = child->nextSibling()) {
825             if (child->isTextNode()) {
826                 updateTextStyle(*toText(child));
827                 continue;
828             }
829             if (!child->isElementNode())
830                 continue;
831             Element* childElement = toElement(child);
832             bool childRulesChanged = childElement->needsStyleRecalc() && childElement->styleChangeType() == FullStyleChange;
833             if ((forceCheckOfNextElementSibling || forceCheckOfAnyElementSibling))
834                 childElement->setNeedsStyleRecalc();
835             if (change >= Inherit || childElement->childNeedsStyleRecalc() || childElement->needsStyleRecalc()) {
836                 parentPusher.push();
837                 resolveTree(*childElement, change);
838             }
839             forceCheckOfNextElementSibling = childRulesChanged && hasDirectAdjacentRules;
840             forceCheckOfAnyElementSibling = forceCheckOfAnyElementSibling || (childRulesChanged && hasIndirectAdjacentRules);
841         }
842
843         updateBeforeOrAfterPseudoElement(current, change, AFTER);
844     }
845
846     current.clearNeedsStyleRecalc();
847     current.clearChildNeedsStyleRecalc();
848     
849     if (current.hasCustomStyleResolveCallbacks())
850         current.didRecalcStyle(change);
851 }
852
853 void resolveTree(Document& document, Change change)
854 {
855     bool resolveRootStyle = change == Force || (document.shouldDisplaySeamlesslyWithParent() && change >= Inherit);
856     if (resolveRootStyle) {
857         auto documentStyle = resolveForDocument(document);
858
859         // Inserting the pictograph font at the end of the font fallback list is done by the
860         // font selector, so set a font selector if needed.
861         if (Settings* settings = document.settings()) {
862             StyleResolver* styleResolver = document.styleResolverIfExists();
863             if (settings->fontFallbackPrefersPictographs() && styleResolver)
864                 documentStyle.get().font().update(styleResolver->fontSelector());
865         }
866
867         Style::Change documentChange = determineChange(&documentStyle.get(), &document.renderView()->style(), document.settings());
868         if (documentChange != NoChange)
869             document.renderView()->setStyle(std::move(documentStyle));
870         else
871             documentStyle.dropRef();
872     }
873
874     Element* documentElement = document.documentElement();
875     if (!documentElement)
876         return;
877     if (change < Inherit && !documentElement->childNeedsStyleRecalc() && !documentElement->needsStyleRecalc())
878         return;
879     resolveTree(*documentElement, change);
880 }
881
882 void attachRenderTree(Element& element)
883 {
884     attachRenderTree(element, nullptr);
885     reattachTextRenderersForWhitespaceOnlySiblingsAfterAttachIfNeeded(element);
886 }
887
888 void detachRenderTree(Element& element)
889 {
890     detachRenderTree(element, NormalDetach);
891 }
892
893 void detachRenderTreeInReattachMode(Element& element)
894 {
895     detachRenderTree(element, ReattachDetach);
896 }
897
898 void reattachRenderTree(Element& current)
899 {
900     if (current.attached())
901         detachRenderTree(current, ReattachDetach);
902     attachRenderTree(current);
903 }
904
905 }
906 }