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