[css-grid] Remove compilation flag ENABLE_CSS_GRID_LAYOUT
[WebKit-https.git] / Source / WebCore / dom / Position.cpp
1 /*
2  * Copyright (C) 2004, 2005, 2006, 2009, 2013 Apple Inc. All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  * 1. Redistributions of source code must retain the above copyright
8  *    notice, this list of conditions and the following disclaimer.
9  * 2. Redistributions in binary form must reproduce the above copyright
10  *    notice, this list of conditions and the following disclaimer in the
11  *    documentation and/or other materials provided with the distribution.
12  *
13  * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
14  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
15  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
16  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL APPLE INC. OR
17  * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
18  * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
19  * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
20  * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
21  * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
22  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
23  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 
24  */
25
26 #include "config.h"
27 #include "Position.h"
28
29 #include "CSSComputedStyleDeclaration.h"
30 #include "HTMLBRElement.h"
31 #include "HTMLBodyElement.h"
32 #include "HTMLHtmlElement.h"
33 #include "HTMLNames.h"
34 #include "HTMLTableElement.h"
35 #include "InlineElementBox.h"
36 #include "InlineIterator.h"
37 #include "InlineTextBox.h"
38 #include "Logging.h"
39 #include "PositionIterator.h"
40 #include "RenderBlock.h"
41 #include "RenderFlexibleBox.h"
42 #include "RenderGrid.h"
43 #include "RenderInline.h"
44 #include "RenderIterator.h"
45 #include "RenderLineBreak.h"
46 #include "RenderText.h"
47 #include "RuntimeEnabledFeatures.h"
48 #include "Text.h"
49 #include "TextIterator.h"
50 #include "TextStream.h"
51 #include "VisiblePosition.h"
52 #include "VisibleUnits.h"
53 #include "htmlediting.h"
54 #include <stdio.h>
55 #include <wtf/text/CString.h>
56 #include <wtf/unicode/CharacterNames.h>
57
58 #if ENABLE(TREE_DEBUGGING)
59 #include <wtf/text/StringBuilder.h>
60 #endif
61
62 namespace WebCore {
63
64 using namespace HTMLNames;
65
66 static bool hasInlineBoxWrapper(RenderObject& renderer)
67 {
68     if (is<RenderBox>(renderer) && downcast<RenderBox>(renderer).inlineBoxWrapper())
69         return true;
70     if (is<RenderText>(renderer) && downcast<RenderText>(renderer).firstTextBox())
71         return true;
72     if (is<RenderLineBreak>(renderer) && downcast<RenderLineBreak>(renderer).inlineBoxWrapper())
73         return true;
74     return false;
75 }
76
77 static Node* nextRenderedEditable(Node* node)
78 {
79     while ((node = nextLeafNode(node))) {
80         RenderObject* renderer = node->renderer();
81         if (!renderer || !node->hasEditableStyle())
82             continue;
83         if (hasInlineBoxWrapper(*renderer))
84             return node;
85     }
86     return nullptr;
87 }
88
89 static Node* previousRenderedEditable(Node* node)
90 {
91     while ((node = previousLeafNode(node))) {
92         RenderObject* renderer = node->renderer();
93         if (!renderer || !node->hasEditableStyle())
94             continue;
95         if (hasInlineBoxWrapper(*renderer))
96             return node;
97     }
98     return nullptr;
99 }
100
101 Position::Position(Node* anchorNode, unsigned offset, LegacyEditingPositionFlag)
102     : m_anchorNode(anchorNode)
103     , m_offset(offset)
104     , m_anchorType(anchorTypeForLegacyEditingPosition(m_anchorNode.get(), m_offset))
105     , m_isLegacyEditingPosition(true)
106 {
107     ASSERT(!m_anchorNode || !m_anchorNode->isShadowRoot() || m_anchorNode == containerNode());
108     ASSERT(!m_anchorNode || !m_anchorNode->isPseudoElement());
109 }
110
111 Position::Position(Node* anchorNode, AnchorType anchorType)
112     : m_anchorNode(anchorNode)
113     , m_offset(0)
114     , m_anchorType(anchorType)
115     , m_isLegacyEditingPosition(false)
116 {
117     ASSERT(!m_anchorNode || !m_anchorNode->isShadowRoot() || m_anchorNode == containerNode());
118     ASSERT(!m_anchorNode || !m_anchorNode->isPseudoElement());
119     ASSERT(anchorType != PositionIsOffsetInAnchor);
120     ASSERT(!((anchorType == PositionIsBeforeChildren || anchorType == PositionIsAfterChildren)
121         && (is<Text>(*m_anchorNode) || editingIgnoresContent(*m_anchorNode))));
122 }
123
124 Position::Position(Node* anchorNode, int offset, AnchorType anchorType)
125     : m_anchorNode(anchorNode)
126     , m_offset(offset)
127     , m_anchorType(anchorType)
128     , m_isLegacyEditingPosition(false)
129 {
130     ASSERT(!m_anchorNode || !editingIgnoresContent(*m_anchorNode));
131     ASSERT(!m_anchorNode || !m_anchorNode->isPseudoElement());
132     ASSERT(anchorType == PositionIsOffsetInAnchor);
133 }
134
135 Position::Position(Text* textNode, unsigned offset)
136     : m_anchorNode(textNode)
137     , m_offset(offset)
138     , m_anchorType(PositionIsOffsetInAnchor)
139     , m_isLegacyEditingPosition(false)
140 {
141     ASSERT(m_anchorNode);
142 }
143
144 void Position::moveToPosition(Node* node, int offset)
145 {
146     ASSERT(!editingIgnoresContent(*node));
147     ASSERT(anchorType() == PositionIsOffsetInAnchor || m_isLegacyEditingPosition);
148     m_anchorNode = node;
149     m_offset = offset;
150     if (m_isLegacyEditingPosition)
151         m_anchorType = anchorTypeForLegacyEditingPosition(m_anchorNode.get(), m_offset);
152 }
153 void Position::moveToOffset(int offset)
154 {
155     ASSERT(anchorType() == PositionIsOffsetInAnchor || m_isLegacyEditingPosition);
156     m_offset = offset;
157     if (m_isLegacyEditingPosition)
158         m_anchorType = anchorTypeForLegacyEditingPosition(m_anchorNode.get(), m_offset);
159 }
160
161 Node* Position::containerNode() const
162 {
163     if (!m_anchorNode)
164         return nullptr;
165
166     switch (anchorType()) {
167     case PositionIsBeforeChildren:
168     case PositionIsAfterChildren:
169     case PositionIsOffsetInAnchor:
170         return m_anchorNode.get();
171     case PositionIsBeforeAnchor:
172     case PositionIsAfterAnchor:
173         return m_anchorNode->parentNode();
174     }
175     ASSERT_NOT_REACHED();
176     return nullptr;
177 }
178
179 Text* Position::containerText() const
180 {
181     switch (anchorType()) {
182     case PositionIsOffsetInAnchor:
183         return m_anchorNode && is<Text>(*m_anchorNode) ? downcast<Text>(m_anchorNode.get()) : nullptr;
184     case PositionIsBeforeAnchor:
185     case PositionIsAfterAnchor:
186         return nullptr;
187     case PositionIsBeforeChildren:
188     case PositionIsAfterChildren:
189         ASSERT(!m_anchorNode || !is<Text>(*m_anchorNode));
190         return nullptr;
191     }
192     ASSERT_NOT_REACHED();
193     return nullptr;
194 }
195
196 int Position::computeOffsetInContainerNode() const
197 {
198     if (!m_anchorNode)
199         return 0;
200
201     switch (anchorType()) {
202     case PositionIsBeforeChildren:
203         return 0;
204     case PositionIsAfterChildren:
205         return lastOffsetInNode(m_anchorNode.get());
206     case PositionIsOffsetInAnchor:
207         return minOffsetForNode(m_anchorNode.get(), m_offset);
208     case PositionIsBeforeAnchor:
209         return m_anchorNode->computeNodeIndex();
210     case PositionIsAfterAnchor:
211         return m_anchorNode->computeNodeIndex() + 1;
212     }
213     ASSERT_NOT_REACHED();
214     return 0;
215 }
216
217 int Position::offsetForPositionAfterAnchor() const
218 {
219     ASSERT(m_anchorType == PositionIsAfterAnchor || m_anchorType == PositionIsAfterChildren);
220     ASSERT(!m_isLegacyEditingPosition);
221     ASSERT(m_anchorNode);
222     return m_anchorNode ? lastOffsetForEditing(*m_anchorNode) : 0;
223 }
224
225 // Neighbor-anchored positions are invalid DOM positions, so they need to be
226 // fixed up before handing them off to the Range object.
227 Position Position::parentAnchoredEquivalent() const
228 {
229     if (!m_anchorNode)
230         return { };
231     
232     // FIXME: This should only be necessary for legacy positions, but is also needed for positions before and after Tables
233     if (m_offset <= 0 && (m_anchorType != PositionIsAfterAnchor && m_anchorType != PositionIsAfterChildren)) {
234         if (m_anchorNode->parentNode() && (editingIgnoresContent(*m_anchorNode) || isRenderedTable(m_anchorNode.get())))
235             return positionInParentBeforeNode(m_anchorNode.get());
236         return Position(m_anchorNode.get(), 0, PositionIsOffsetInAnchor);
237     }
238
239     if (!m_anchorNode->offsetInCharacters()
240         && (m_anchorType == PositionIsAfterAnchor || m_anchorType == PositionIsAfterChildren || static_cast<unsigned>(m_offset) == m_anchorNode->countChildNodes())
241         && (editingIgnoresContent(*m_anchorNode) || isRenderedTable(m_anchorNode.get()))
242         && containerNode()) {
243         return positionInParentAfterNode(m_anchorNode.get());
244     }
245
246     return { containerNode(), computeOffsetInContainerNode(), PositionIsOffsetInAnchor };
247 }
248
249 Node* Position::computeNodeBeforePosition() const
250 {
251     if (!m_anchorNode)
252         return nullptr;
253
254     switch (anchorType()) {
255     case PositionIsBeforeChildren:
256         return nullptr;
257     case PositionIsAfterChildren:
258         return m_anchorNode->lastChild();
259     case PositionIsOffsetInAnchor:
260         return m_offset ? m_anchorNode->traverseToChildAt(m_offset - 1) : nullptr;
261     case PositionIsBeforeAnchor:
262         return m_anchorNode->previousSibling();
263     case PositionIsAfterAnchor:
264         return m_anchorNode.get();
265     }
266     ASSERT_NOT_REACHED();
267     return nullptr;
268 }
269
270 Node* Position::computeNodeAfterPosition() const
271 {
272     if (!m_anchorNode)
273         return nullptr;
274
275     switch (anchorType()) {
276     case PositionIsBeforeChildren:
277         return m_anchorNode->firstChild();
278     case PositionIsAfterChildren:
279         return nullptr;
280     case PositionIsOffsetInAnchor:
281         return m_anchorNode->traverseToChildAt(m_offset);
282     case PositionIsBeforeAnchor:
283         return m_anchorNode.get();
284     case PositionIsAfterAnchor:
285         return m_anchorNode->nextSibling();
286     }
287     ASSERT_NOT_REACHED();
288     return nullptr;
289 }
290
291 Position::AnchorType Position::anchorTypeForLegacyEditingPosition(Node* anchorNode, int offset)
292 {
293     if (anchorNode && editingIgnoresContent(*anchorNode)) {
294         if (offset == 0)
295             return Position::PositionIsBeforeAnchor;
296         return Position::PositionIsAfterAnchor;
297     }
298     return Position::PositionIsOffsetInAnchor;
299 }
300
301 // FIXME: This method is confusing (does it return anchorNode() or containerNode()?) and should be renamed or removed
302 Element* Position::element() const
303 {
304     Node* node = anchorNode();
305     while (node && !is<Element>(*node))
306         node = node->parentNode();
307     return downcast<Element>(node);
308 }
309
310 Position Position::previous(PositionMoveType moveType) const
311 {
312     Node* node = deprecatedNode();
313     if (!node)
314         return *this;
315
316     int offset = deprecatedEditingOffset();
317     // FIXME: Negative offsets shouldn't be allowed. We should catch this earlier.
318     ASSERT(offset >= 0);
319
320     if (anchorType() == PositionIsBeforeAnchor) {
321         node = containerNode();
322         if (!node)
323             return *this;
324
325         offset = computeOffsetInContainerNode();
326     }
327
328     if (offset > 0) {
329         if (Node* child = node->traverseToChildAt(offset - 1))
330             return lastPositionInOrAfterNode(child);
331
332         // There are two reasons child might be 0:
333         //   1) The node is node like a text node that is not an element, and therefore has no children.
334         //      Going backward one character at a time is correct.
335         //   2) The old offset was a bogus offset like (<br>, 1), and there is no child.
336         //      Going from 1 to 0 is correct.
337         switch (moveType) {
338         case CodePoint:
339             return createLegacyEditingPosition(node, offset - 1);
340         case Character:
341             return createLegacyEditingPosition(node, uncheckedPreviousOffset(node, offset));
342         case BackwardDeletion:
343             return createLegacyEditingPosition(node, uncheckedPreviousOffsetForBackwardDeletion(node, offset));
344         }
345     }
346
347     ContainerNode* parent = node->parentNode();
348     if (!parent)
349         return *this;
350
351     if (positionBeforeOrAfterNodeIsCandidate(*node))
352         return positionBeforeNode(node);
353
354     Node* previousSibling = node->previousSibling();
355     if (previousSibling && positionBeforeOrAfterNodeIsCandidate(*previousSibling))
356         return positionAfterNode(previousSibling);
357
358     return createLegacyEditingPosition(parent, node->computeNodeIndex());
359 }
360
361 Position Position::next(PositionMoveType moveType) const
362 {
363     ASSERT(moveType != BackwardDeletion);
364
365     Node* node = deprecatedNode();
366     if (!node)
367         return *this;
368
369     int offset = deprecatedEditingOffset();
370     // FIXME: Negative offsets shouldn't be allowed. We should catch this earlier.
371     ASSERT(offset >= 0);
372
373     if (anchorType() == PositionIsAfterAnchor) {
374         node = containerNode();
375         if (!node)
376             return *this;
377
378         offset = computeOffsetInContainerNode();
379     }
380
381     Node* child = node->traverseToChildAt(offset);
382     if (child || (!node->hasChildNodes() && offset < lastOffsetForEditing(*node))) {
383         if (child)
384             return firstPositionInOrBeforeNode(child);
385
386         // There are two reasons child might be 0:
387         //   1) The node is node like a text node that is not an element, and therefore has no children.
388         //      Going forward one character at a time is correct.
389         //   2) The new offset is a bogus offset like (<br>, 1), and there is no child.
390         //      Going from 0 to 1 is correct.
391         return createLegacyEditingPosition(node, (moveType == Character) ? uncheckedNextOffset(node, offset) : offset + 1);
392     }
393
394     ContainerNode* parent = node->parentNode();
395     if (!parent)
396         return *this;
397
398     if (isRenderedTable(node) || editingIgnoresContent(*node))
399         return positionAfterNode(node);
400
401     Node* nextSibling = node->nextSibling();
402     if (nextSibling && positionBeforeOrAfterNodeIsCandidate(*nextSibling))
403         return positionBeforeNode(nextSibling);
404
405     return createLegacyEditingPosition(parent, node->computeNodeIndex() + 1);
406 }
407
408 int Position::uncheckedPreviousOffset(const Node* n, int current)
409 {
410     return n->renderer() ? n->renderer()->previousOffset(current) : current - 1;
411 }
412
413 int Position::uncheckedPreviousOffsetForBackwardDeletion(const Node* n, int current)
414 {
415     return n->renderer() ? n->renderer()->previousOffsetForBackwardDeletion(current) : current - 1;
416 }
417
418 int Position::uncheckedNextOffset(const Node* n, int current)
419 {
420     return n->renderer() ? n->renderer()->nextOffset(current) : current + 1;
421 }
422
423 bool Position::atFirstEditingPositionForNode() const
424 {
425     if (isNull())
426         return true;
427     // FIXME: Position before anchor shouldn't be considered as at the first editing position for node
428     // since that position resides outside of the node.
429     switch (m_anchorType) {
430     case PositionIsOffsetInAnchor:
431         return m_offset <= 0;
432     case PositionIsBeforeChildren:
433     case PositionIsBeforeAnchor:
434         return true;
435     case PositionIsAfterChildren:
436     case PositionIsAfterAnchor:
437         return !lastOffsetForEditing(*deprecatedNode());
438     }
439     ASSERT_NOT_REACHED();
440     return false;
441 }
442
443 bool Position::atLastEditingPositionForNode() const
444 {
445     if (isNull())
446         return true;
447     // FIXME: Position after anchor shouldn't be considered as at the first editing position for node
448     // since that position resides outside of the node.
449     return m_anchorType == PositionIsAfterAnchor || m_anchorType == PositionIsAfterChildren || m_offset >= lastOffsetForEditing(*deprecatedNode());
450 }
451
452 // A position is considered at editing boundary if one of the following is true:
453 // 1. It is the first position in the node and the next visually equivalent position
454 //    is non editable.
455 // 2. It is the last position in the node and the previous visually equivalent position
456 //    is non editable.
457 // 3. It is an editable position and both the next and previous visually equivalent
458 //    positions are both non editable.
459 bool Position::atEditingBoundary() const
460 {
461     Position nextPosition = downstream(CanCrossEditingBoundary);
462     if (atFirstEditingPositionForNode() && nextPosition.isNotNull() && !nextPosition.deprecatedNode()->hasEditableStyle())
463         return true;
464         
465     Position prevPosition = upstream(CanCrossEditingBoundary);
466     if (atLastEditingPositionForNode() && prevPosition.isNotNull() && !prevPosition.deprecatedNode()->hasEditableStyle())
467         return true;
468         
469     return nextPosition.isNotNull() && !nextPosition.deprecatedNode()->hasEditableStyle()
470         && prevPosition.isNotNull() && !prevPosition.deprecatedNode()->hasEditableStyle();
471 }
472
473 Node* Position::parentEditingBoundary() const
474 {
475     if (!m_anchorNode)
476         return nullptr;
477
478     Node* documentElement = m_anchorNode->document().documentElement();
479     if (!documentElement)
480         return nullptr;
481
482     Node* boundary = m_anchorNode.get();
483     while (boundary != documentElement && boundary->nonShadowBoundaryParentNode() && m_anchorNode->hasEditableStyle() == boundary->parentNode()->hasEditableStyle())
484         boundary = boundary->nonShadowBoundaryParentNode();
485     
486     return boundary;
487 }
488
489
490 bool Position::atStartOfTree() const
491 {
492     if (isNull())
493         return true;
494
495     Node* container = containerNode();
496     if (container && container->parentNode())
497         return false;
498
499     switch (m_anchorType) {
500     case PositionIsOffsetInAnchor:
501         return m_offset <= 0;
502     case PositionIsBeforeAnchor:
503         return !m_anchorNode->previousSibling();
504     case PositionIsAfterAnchor:
505         return false;
506     case PositionIsBeforeChildren:
507         return true;
508     case PositionIsAfterChildren:
509         return !lastOffsetForEditing(*m_anchorNode);
510     }
511     ASSERT_NOT_REACHED();
512     return false;
513 }
514
515 bool Position::atEndOfTree() const
516 {
517     if (isNull())
518         return true;
519
520     Node* container = containerNode();
521     if (container && container->parentNode())
522         return false;
523
524     switch (m_anchorType) {
525     case PositionIsOffsetInAnchor:
526         return m_offset >= lastOffsetForEditing(*m_anchorNode);
527     case PositionIsBeforeAnchor:
528         return false;
529     case PositionIsAfterAnchor:
530         return !m_anchorNode->nextSibling();
531     case PositionIsBeforeChildren:
532         return !lastOffsetForEditing(*m_anchorNode);
533     case PositionIsAfterChildren:
534         return true;
535     }
536     ASSERT_NOT_REACHED();
537     return false;
538 }
539
540 // return first preceding DOM position rendered at a different location, or "this"
541 Position Position::previousCharacterPosition(EAffinity affinity) const
542 {
543     if (isNull())
544         return { };
545
546     Node* fromRootEditableElement = deprecatedNode()->rootEditableElement();
547
548     bool atStartOfLine = isStartOfLine(VisiblePosition(*this, affinity));
549     bool rendered = isCandidate();
550     
551     Position currentPosition = *this;
552     while (!currentPosition.atStartOfTree()) {
553         currentPosition = currentPosition.previous();
554
555         if (currentPosition.deprecatedNode()->rootEditableElement() != fromRootEditableElement)
556             return *this;
557
558         if (atStartOfLine || !rendered) {
559             if (currentPosition.isCandidate())
560                 return currentPosition;
561         } else if (rendersInDifferentPosition(currentPosition))
562             return currentPosition;
563     }
564     
565     return *this;
566 }
567
568 // return first following position rendered at a different location, or "this"
569 Position Position::nextCharacterPosition(EAffinity affinity) const
570 {
571     if (isNull())
572         return { };
573
574     Node* fromRootEditableElement = deprecatedNode()->rootEditableElement();
575
576     bool atEndOfLine = isEndOfLine({ *this, affinity });
577     bool rendered = isCandidate();
578     
579     Position currentPosition = *this;
580     while (!currentPosition.atEndOfTree()) {
581         currentPosition = currentPosition.next();
582
583         if (currentPosition.deprecatedNode()->rootEditableElement() != fromRootEditableElement)
584             return *this;
585
586         if (atEndOfLine || !rendered) {
587             if (currentPosition.isCandidate())
588                 return currentPosition;
589         } else if (rendersInDifferentPosition(currentPosition))
590             return currentPosition;
591     }
592     
593     return *this;
594 }
595
596 // Whether or not [node, 0] and [node, lastOffsetForEditing(node)] are their own VisiblePositions.
597 // If true, adjacent candidates are visually distinct.
598 // FIXME: Disregard nodes with renderers that have no height, as we do in isCandidate.
599 // FIXME: Share code with isCandidate, if possible.
600 static bool endsOfNodeAreVisuallyDistinctPositions(Node* node)
601 {
602     if (!node || !node->renderer())
603         return false;
604         
605     if (!node->renderer()->isInline())
606         return true;
607         
608     // Don't include inline tables.
609     if (is<HTMLTableElement>(*node))
610         return false;
611     
612     // There is a VisiblePosition inside an empty inline-block container.
613     return node->renderer()->isReplaced() && canHaveChildrenForEditing(*node) && downcast<RenderBox>(*node->renderer()).height() && !node->firstChild();
614 }
615
616 static Node* enclosingVisualBoundary(Node* node)
617 {
618     while (node && !endsOfNodeAreVisuallyDistinctPositions(node))
619         node = node->parentNode();
620         
621     return node;
622 }
623
624 // upstream() and downstream() want to return positions that are either in a
625 // text node or at just before a non-text node.  This method checks for that.
626 static bool isStreamer(const PositionIterator& pos)
627 {
628     if (!pos.node())
629         return true;
630         
631     if (isAtomicNode(pos.node()))
632         return true;
633         
634     return pos.atStartOfNode();
635 }
636
637 // This function and downstream() are used for moving back and forth between visually equivalent candidates.
638 // For example, for the text node "foo     bar" where whitespace is collapsible, there are two candidates 
639 // that map to the VisiblePosition between 'b' and the space.  This function will return the left candidate 
640 // and downstream() will return the right one.
641 // Also, upstream() will return [boundary, 0] for any of the positions from [boundary, 0] to the first candidate
642 // in boundary, where endsOfNodeAreVisuallyDistinctPositions(boundary) is true.
643 Position Position::upstream(EditingBoundaryCrossingRule rule) const
644 {
645     Node* startNode = deprecatedNode();
646     if (!startNode)
647         return { };
648     
649     // iterate backward from there, looking for a qualified position
650     Node* boundary = enclosingVisualBoundary(startNode);
651     // FIXME: PositionIterator should respect Before and After positions.
652     PositionIterator lastVisible = m_anchorType == PositionIsAfterAnchor ? createLegacyEditingPosition(m_anchorNode.get(), caretMaxOffset(*m_anchorNode)) : *this;
653     PositionIterator currentPosition = lastVisible;
654     bool startEditable = startNode->hasEditableStyle();
655     Node* lastNode = startNode;
656     bool boundaryCrossed = false;
657     for (; !currentPosition.atStart(); currentPosition.decrement()) {
658         auto& currentNode = *currentPosition.node();
659         
660         // Don't check for an editability change if we haven't moved to a different node,
661         // to avoid the expense of computing hasEditableStyle().
662         if (&currentNode != lastNode) {
663             // Don't change editability.
664             bool currentEditable = currentNode.hasEditableStyle();
665             if (startEditable != currentEditable) {
666                 if (rule == CannotCrossEditingBoundary)
667                     break;
668                 boundaryCrossed = true;
669             }
670             lastNode = &currentNode;
671         }
672
673         // If we've moved to a position that is visually distinct, return the last saved position. There 
674         // is code below that terminates early if we're *about* to move to a visually distinct position.
675         if (endsOfNodeAreVisuallyDistinctPositions(&currentNode) && &currentNode != boundary)
676             return lastVisible;
677
678         // skip position in unrendered or invisible node
679         RenderObject* renderer = currentNode.renderer();
680         if (!renderer || renderer->style().visibility() != VISIBLE)
681             continue;
682                  
683         if (rule == CanCrossEditingBoundary && boundaryCrossed) {
684             lastVisible = currentPosition;
685             break;
686         }
687         
688         // track last visible streamer position
689         if (isStreamer(currentPosition))
690             lastVisible = currentPosition;
691         
692         // Don't move past a position that is visually distinct.  We could rely on code above to terminate and 
693         // return lastVisible on the next iteration, but we terminate early to avoid doing a computeNodeIndex() call.
694         if (endsOfNodeAreVisuallyDistinctPositions(&currentNode) && currentPosition.atStartOfNode())
695             return lastVisible;
696
697         // Return position after tables and nodes which have content that can be ignored.
698         if (editingIgnoresContent(currentNode) || isRenderedTable(&currentNode)) {
699             if (currentPosition.atEndOfNode())
700                 return positionAfterNode(&currentNode);
701             continue;
702         }
703
704         // return current position if it is in rendered text
705         if (is<RenderText>(*renderer)) {
706             auto& textRenderer = downcast<RenderText>(*renderer);
707             textRenderer.ensureLineBoxes();
708
709             if (!textRenderer.firstTextBox())
710                 continue;
711             if (&currentNode != startNode) {
712                 // This assertion fires in layout tests in the case-transform.html test because
713                 // of a mix-up between offsets in the text in the DOM tree with text in the
714                 // render tree which can have a different length due to case transformation.
715                 // Until we resolve that, disable this so we can run the layout tests!
716                 //ASSERT(currentOffset >= renderer->caretMaxOffset());
717                 return createLegacyEditingPosition(&currentNode, renderer->caretMaxOffset());
718             }
719
720             unsigned textOffset = currentPosition.offsetInLeafNode();
721             auto lastTextBox = textRenderer.lastTextBox();
722             for (auto* box = textRenderer.firstTextBox(); box; box = box->nextTextBox()) {
723                 if (textOffset <= box->start() + box->len()) {
724                     if (textOffset > box->start())
725                         return currentPosition;
726                     continue;
727                 }
728
729                 if (box == lastTextBox || textOffset != box->start() + box->len() + 1)
730                     continue;
731
732                 // The text continues on the next line only if the last text box is not on this line and
733                 // none of the boxes on this line have a larger start offset.
734
735                 bool continuesOnNextLine = true;
736                 InlineBox* otherBox = box;
737                 while (continuesOnNextLine) {
738                     otherBox = otherBox->nextLeafChild();
739                     if (!otherBox)
740                         break;
741                     if (otherBox == lastTextBox || (&otherBox->renderer() == &textRenderer && downcast<InlineTextBox>(*otherBox).start() > textOffset))
742                         continuesOnNextLine = false;
743                 }
744
745                 otherBox = box;
746                 while (continuesOnNextLine) {
747                     otherBox = otherBox->prevLeafChild();
748                     if (!otherBox)
749                         break;
750                     if (otherBox == lastTextBox || (&otherBox->renderer() == &textRenderer && downcast<InlineTextBox>(*otherBox).start() > textOffset))
751                         continuesOnNextLine = false;
752                 }
753
754                 if (continuesOnNextLine)
755                     return currentPosition;
756             }
757         }
758     }
759
760     return lastVisible;
761 }
762
763 // This function and upstream() are used for moving back and forth between visually equivalent candidates.
764 // For example, for the text node "foo     bar" where whitespace is collapsible, there are two candidates 
765 // that map to the VisiblePosition between 'b' and the space.  This function will return the right candidate 
766 // and upstream() will return the left one.
767 // Also, downstream() will return the last position in the last atomic node in boundary for all of the positions
768 // in boundary after the last candidate, where endsOfNodeAreVisuallyDistinctPositions(boundary).
769 // FIXME: This function should never be called when the line box tree is dirty. See https://bugs.webkit.org/show_bug.cgi?id=97264
770 Position Position::downstream(EditingBoundaryCrossingRule rule) const
771 {
772     Node* startNode = deprecatedNode();
773     if (!startNode)
774         return { };
775
776     // iterate forward from there, looking for a qualified position
777     Node* boundary = enclosingVisualBoundary(startNode);
778     // FIXME: PositionIterator should respect Before and After positions.
779     PositionIterator lastVisible = m_anchorType == PositionIsAfterAnchor ? createLegacyEditingPosition(m_anchorNode.get(), caretMaxOffset(*m_anchorNode)) : *this;
780     PositionIterator currentPosition = lastVisible;
781     bool startEditable = startNode->hasEditableStyle();
782     Node* lastNode = startNode;
783     bool boundaryCrossed = false;
784     for (; !currentPosition.atEnd(); currentPosition.increment()) {
785         auto& currentNode = *currentPosition.node();
786         
787         // Don't check for an editability change if we haven't moved to a different node,
788         // to avoid the expense of computing hasEditableStyle().
789         if (&currentNode != lastNode) {
790             // Don't change editability.
791             bool currentEditable = currentNode.hasEditableStyle();
792             if (startEditable != currentEditable) {
793                 if (rule == CannotCrossEditingBoundary)
794                     break;
795                 boundaryCrossed = true;
796             }
797                 
798             lastNode = &currentNode;
799         }
800
801         // stop before going above the body, up into the head
802         // return the last visible streamer position
803         if (is<HTMLBodyElement>(currentNode) && currentPosition.atEndOfNode())
804             break;
805
806         // Do not move to a visually distinct position.
807         if (endsOfNodeAreVisuallyDistinctPositions(&currentNode) && &currentNode != boundary)
808             return lastVisible;
809         // Do not move past a visually disinct position.
810         // Note: The first position after the last in a node whose ends are visually distinct
811         // positions will be [boundary->parentNode(), originalBlock->computeNodeIndex() + 1].
812         if (boundary && boundary->parentNode() == &currentNode)
813             return lastVisible;
814
815         // skip position in unrendered or invisible node
816         auto* renderer = currentNode.renderer();
817         if (!renderer || renderer->style().visibility() != VISIBLE)
818             continue;
819             
820         if (rule == CanCrossEditingBoundary && boundaryCrossed) {
821             lastVisible = currentPosition;
822             break;
823         }
824         
825         // track last visible streamer position
826         if (isStreamer(currentPosition))
827             lastVisible = currentPosition;
828
829         // Return position before tables and nodes which have content that can be ignored.
830         if (editingIgnoresContent(currentNode) || isRenderedTable(&currentNode)) {
831             if (currentPosition.atStartOfNode())
832                 return positionBeforeNode(&currentNode);
833             continue;
834         }
835
836         // return current position if it is in rendered text
837         if (is<RenderText>(*renderer)) {
838             auto& textRenderer = downcast<RenderText>(*renderer);
839             textRenderer.ensureLineBoxes();
840
841             if (!textRenderer.firstTextBox())
842                 continue;
843             if (&currentNode != startNode) {
844                 ASSERT(currentPosition.atStartOfNode());
845                 return createLegacyEditingPosition(&currentNode, renderer->caretMinOffset());
846             }
847
848             unsigned textOffset = currentPosition.offsetInLeafNode();
849             auto lastTextBox = textRenderer.lastTextBox();
850             for (auto* box = textRenderer.firstTextBox(); box; box = box->nextTextBox()) {
851                 if (textOffset <= box->end()) {
852                     if (textOffset >= box->start())
853                         return currentPosition;
854                     continue;
855                 }
856
857                 if (box == lastTextBox || textOffset != box->start() + box->len())
858                     continue;
859
860                 // The text continues on the next line only if the last text box is not on this line and
861                 // none of the boxes on this line have a larger start offset.
862
863                 bool continuesOnNextLine = true;
864                 InlineBox* otherBox = box;
865                 while (continuesOnNextLine) {
866                     otherBox = otherBox->nextLeafChild();
867                     if (!otherBox)
868                         break;
869                     if (otherBox == lastTextBox || (&otherBox->renderer() == &textRenderer && downcast<InlineTextBox>(*otherBox).start() >= textOffset))
870                         continuesOnNextLine = false;
871                 }
872
873                 otherBox = box;
874                 while (continuesOnNextLine) {
875                     otherBox = otherBox->prevLeafChild();
876                     if (!otherBox)
877                         break;
878                     if (otherBox == lastTextBox || (&otherBox->renderer() == &textRenderer && downcast<InlineTextBox>(*otherBox).start() >= textOffset))
879                         continuesOnNextLine = false;
880                 }
881
882                 if (continuesOnNextLine)
883                     return currentPosition;
884             }
885         }
886     }
887     
888     return lastVisible;
889 }
890
891 unsigned Position::positionCountBetweenPositions(const Position& a, const Position& b)
892 {
893     if (a.isNull() || b.isNull())
894         return UINT_MAX;
895     
896     Position endPos;
897     Position pos;
898     if (a > b) {
899         endPos = a;
900         pos = b;
901     } else if (a < b) {
902         endPos = b;
903         pos = a;
904     } else
905         return 0;
906     
907     unsigned posCount = 0;
908     while (!pos.atEndOfTree() && pos != endPos) {
909         pos = pos.next();
910         ++posCount;
911     }
912     return posCount;
913 }
914
915 static int boundingBoxLogicalHeight(RenderObject *o, const IntRect &rect)
916 {
917     return o->style().isHorizontalWritingMode() ? rect.height() : rect.width();
918 }
919
920 bool Position::hasRenderedNonAnonymousDescendantsWithHeight(const RenderElement& renderer)
921 {
922     RenderObject* stop = renderer.nextInPreOrderAfterChildren();
923     for (RenderObject* o = renderer.firstChild(); o && o != stop; o = o->nextInPreOrder()) {
924         if (!o->nonPseudoNode())
925             continue;
926         if (is<RenderText>(*o)) {
927             if (boundingBoxLogicalHeight(o, downcast<RenderText>(*o).linesBoundingBox()))
928                 return true;
929             continue;
930         }
931         if (is<RenderLineBreak>(*o)) {
932             if (boundingBoxLogicalHeight(o, downcast<RenderLineBreak>(*o).linesBoundingBox()))
933                 return true;
934             continue;
935         }
936         if (is<RenderBox>(*o)) {
937             if (roundToInt(downcast<RenderBox>(*o).logicalHeight()))
938                 return true;
939             continue;
940         }
941         if (is<RenderInline>(*o)) {
942             const RenderInline& renderInline = downcast<RenderInline>(*o);
943             if (isEmptyInline(renderInline) && boundingBoxLogicalHeight(o, renderInline.linesBoundingBox()))
944                 return true;
945             continue;
946         }
947     }
948     return false;
949 }
950
951 bool Position::nodeIsUserSelectNone(Node* node)
952 {
953     return node && node->renderer() && node->renderer()->style().userSelect() == SELECT_NONE;
954 }
955
956 #if ENABLE(USERSELECT_ALL)
957 bool Position::nodeIsUserSelectAll(const Node* node)
958 {
959     return node && node->renderer() && node->renderer()->style().userSelect() == SELECT_ALL;
960 }
961
962 Node* Position::rootUserSelectAllForNode(Node* node)
963 {
964     if (!node || !nodeIsUserSelectAll(node))
965         return nullptr;
966     Node* parent = node->parentNode();
967     if (!parent)
968         return node;
969
970     Node* candidateRoot = node;
971     while (parent) {
972         if (!parent->renderer()) {
973             parent = parent->parentNode();
974             continue;
975         }
976         if (!nodeIsUserSelectAll(parent))
977             break;
978         candidateRoot = parent;
979         parent = candidateRoot->parentNode();
980     }
981     return candidateRoot;
982 }
983 #endif
984
985 bool Position::isCandidate() const
986 {
987     if (isNull())
988         return false;
989
990     auto* renderer = deprecatedNode()->renderer();
991     if (!renderer)
992         return false;
993
994     if (renderer->style().visibility() != VISIBLE)
995         return false;
996
997     if (renderer->isBR()) {
998         // FIXME: The condition should be m_anchorType == PositionIsBeforeAnchor, but for now we still need to support legacy positions.
999         return !m_offset && m_anchorType != PositionIsAfterAnchor && !nodeIsUserSelectNone(deprecatedNode()->parentNode());
1000     }
1001
1002     if (is<RenderText>(*renderer))
1003         return !nodeIsUserSelectNone(deprecatedNode()) && downcast<RenderText>(*renderer).containsCaretOffset(m_offset);
1004
1005     if (positionBeforeOrAfterNodeIsCandidate(*deprecatedNode())) {
1006         return ((atFirstEditingPositionForNode() && m_anchorType == PositionIsBeforeAnchor)
1007             || (atLastEditingPositionForNode() && m_anchorType == PositionIsAfterAnchor))
1008             && !nodeIsUserSelectNone(deprecatedNode()->parentNode());
1009     }
1010
1011     if (is<HTMLHtmlElement>(*m_anchorNode))
1012         return false;
1013
1014     if (is<RenderBlockFlow>(*renderer) || is<RenderGrid>(*renderer) || is<RenderFlexibleBox>(*renderer)) {
1015         RenderBlock& block = downcast<RenderBlock>(*renderer);
1016         if (block.logicalHeight() || is<HTMLBodyElement>(*m_anchorNode)) {
1017             if (!Position::hasRenderedNonAnonymousDescendantsWithHeight(block))
1018                 return atFirstEditingPositionForNode() && !Position::nodeIsUserSelectNone(deprecatedNode());
1019             return m_anchorNode->hasEditableStyle() && !Position::nodeIsUserSelectNone(deprecatedNode()) && atEditingBoundary();
1020         }
1021         return false;
1022     }
1023
1024     return m_anchorNode->hasEditableStyle() && !Position::nodeIsUserSelectNone(deprecatedNode()) && atEditingBoundary();
1025 }
1026
1027 bool Position::isRenderedCharacter() const
1028 {
1029     if (!is<Text>(deprecatedNode()))
1030         return false;
1031
1032     RenderText* renderer = downcast<Text>(*deprecatedNode()).renderer();
1033     if (!renderer)
1034         return false;
1035
1036     return renderer->containsRenderedCharacterOffset(m_offset);
1037 }
1038
1039 static bool inSameEnclosingBlockFlowElement(Node* a, Node* b)
1040 {
1041     return a && b && deprecatedEnclosingBlockFlowElement(a) == deprecatedEnclosingBlockFlowElement(b);
1042 }
1043
1044 bool Position::rendersInDifferentPosition(const Position& position) const
1045 {
1046     if (isNull() || position.isNull())
1047         return false;
1048
1049     auto* renderer = deprecatedNode()->renderer();
1050     if (!renderer)
1051         return false;
1052     
1053     auto* positionRenderer = position.deprecatedNode()->renderer();
1054     if (!positionRenderer)
1055         return false;
1056
1057     if (renderer->style().visibility() != VISIBLE || positionRenderer->style().visibility() != VISIBLE)
1058         return false;
1059     
1060     if (deprecatedNode() == position.deprecatedNode()) {
1061         if (is<HTMLBRElement>(*deprecatedNode()))
1062             return false;
1063
1064         if (m_offset == position.deprecatedEditingOffset())
1065             return false;
1066
1067         if (!is<Text>(*deprecatedNode()) && !is<Text>(*position.deprecatedNode())) {
1068             if (m_offset != position.deprecatedEditingOffset())
1069                 return true;
1070         }
1071     }
1072
1073     if (is<HTMLBRElement>(*deprecatedNode()) && position.isCandidate())
1074         return true;
1075
1076     if (is<HTMLBRElement>(*position.deprecatedNode()) && isCandidate())
1077         return true;
1078
1079     if (!inSameEnclosingBlockFlowElement(deprecatedNode(), position.deprecatedNode()))
1080         return true;
1081
1082     if (is<RenderText>(*renderer) && !downcast<RenderText>(*renderer).containsCaretOffset(m_offset))
1083         return false;
1084
1085     if (is<RenderText>(*positionRenderer) && !downcast<RenderText>(*positionRenderer).containsCaretOffset(position.m_offset))
1086         return false;
1087
1088     int thisRenderedOffset = is<RenderText>(*renderer) ? downcast<RenderText>(*renderer).countRenderedCharacterOffsetsUntil(m_offset) : m_offset;
1089     int positionRenderedOffset = is<RenderText>(*positionRenderer) ? downcast<RenderText>(*positionRenderer).countRenderedCharacterOffsetsUntil(position.m_offset) : position.m_offset;
1090
1091     if (renderer == positionRenderer && thisRenderedOffset == positionRenderedOffset)
1092         return false;
1093
1094     int ignoredCaretOffset;
1095     InlineBox* b1;
1096     getInlineBoxAndOffset(DOWNSTREAM, b1, ignoredCaretOffset);
1097     InlineBox* b2;
1098     position.getInlineBoxAndOffset(DOWNSTREAM, b2, ignoredCaretOffset);
1099
1100     LOG(Editing, "renderer:               %p [%p]\n", renderer, b1);
1101     LOG(Editing, "thisRenderedOffset:         %d\n", thisRenderedOffset);
1102     LOG(Editing, "posRenderer:            %p [%p]\n", positionRenderer, b2);
1103     LOG(Editing, "posRenderedOffset:      %d\n", positionRenderedOffset);
1104     LOG(Editing, "node min/max:           %d:%d\n", caretMinOffset(*deprecatedNode()), caretMaxOffset(*deprecatedNode()));
1105     LOG(Editing, "pos node min/max:       %d:%d\n", caretMinOffset(*position.deprecatedNode()), caretMaxOffset(*position.deprecatedNode()));
1106     LOG(Editing, "----------------------------------------------------------------------\n");
1107
1108     if (!b1 || !b2) {
1109         return false;
1110     }
1111
1112     if (&b1->root() != &b2->root()) {
1113         return true;
1114     }
1115
1116     if (nextRenderedEditable(deprecatedNode()) == position.deprecatedNode()
1117         && thisRenderedOffset == caretMaxOffset(*deprecatedNode()) && !positionRenderedOffset) {
1118         return false;
1119     }
1120     
1121     if (previousRenderedEditable(deprecatedNode()) == position.deprecatedNode()
1122         && !thisRenderedOffset && positionRenderedOffset == caretMaxOffset(*position.deprecatedNode())) {
1123         return false;
1124     }
1125
1126     return true;
1127 }
1128
1129 // This assumes that it starts in editable content.
1130 Position Position::leadingWhitespacePosition(EAffinity affinity, bool considerNonCollapsibleWhitespace) const
1131 {
1132     ASSERT(isEditablePosition(*this));
1133     if (isNull())
1134         return { };
1135     
1136     if (is<HTMLBRElement>(*upstream().deprecatedNode()))
1137         return { };
1138
1139     Position prev = previousCharacterPosition(affinity);
1140     if (prev != *this && inSameEnclosingBlockFlowElement(deprecatedNode(), prev.deprecatedNode()) && is<Text>(*prev.deprecatedNode())) {
1141         String string = downcast<Text>(*prev.deprecatedNode()).data();
1142         UChar c = string[prev.deprecatedEditingOffset()];
1143         if (considerNonCollapsibleWhitespace ? (isSpaceOrNewline(c) || c == noBreakSpace) : deprecatedIsCollapsibleWhitespace(c))
1144             if (isEditablePosition(prev))
1145                 return prev;
1146     }
1147
1148     return { };
1149 }
1150
1151 // This assumes that it starts in editable content.
1152 Position Position::trailingWhitespacePosition(EAffinity, bool considerNonCollapsibleWhitespace) const
1153 {
1154     ASSERT(isEditablePosition(*this));
1155     if (isNull())
1156         return { };
1157     
1158     VisiblePosition v(*this);
1159     UChar c = v.characterAfter();
1160     // The space must not be in another paragraph and it must be editable.
1161     if (!isEndOfParagraph(v) && v.next(CannotCrossEditingBoundary).isNotNull())
1162         if (considerNonCollapsibleWhitespace ? (isSpaceOrNewline(c) || c == noBreakSpace) : deprecatedIsCollapsibleWhitespace(c))
1163             return *this;
1164     
1165     return { };
1166 }
1167
1168 void Position::getInlineBoxAndOffset(EAffinity affinity, InlineBox*& inlineBox, int& caretOffset) const
1169 {
1170     getInlineBoxAndOffset(affinity, primaryDirection(), inlineBox, caretOffset);
1171 }
1172
1173 static bool isNonTextLeafChild(RenderObject& object)
1174 {
1175     if (is<RenderText>(object))
1176         return false;
1177     return !downcast<RenderElement>(object).firstChild();
1178 }
1179
1180 static InlineTextBox* searchAheadForBetterMatch(RenderObject* renderer)
1181 {
1182     RenderBlock* container = renderer->containingBlock();
1183     RenderObject* next = renderer;
1184     while ((next = next->nextInPreOrder(container))) {
1185         if (is<RenderBlock>(*next))
1186             return nullptr;
1187         if (next->isBR())
1188             return nullptr;
1189         if (isNonTextLeafChild(*next))
1190             return nullptr;
1191         if (is<RenderText>(*next)) {
1192             InlineTextBox* match = nullptr;
1193             int minOffset = INT_MAX;
1194             for (InlineTextBox* box = downcast<RenderText>(*next).firstTextBox(); box; box = box->nextTextBox()) {
1195                 int caretMinOffset = box->caretMinOffset();
1196                 if (caretMinOffset < minOffset) {
1197                     match = box;
1198                     minOffset = caretMinOffset;
1199                 }
1200             }
1201             if (match)
1202                 return match;
1203         }
1204     }
1205     return nullptr;
1206 }
1207
1208 static Position downstreamIgnoringEditingBoundaries(Position position)
1209 {
1210     Position lastPosition;
1211     while (position != lastPosition) {
1212         lastPosition = position;
1213         position = position.downstream(CanCrossEditingBoundary);
1214     }
1215     return position;
1216 }
1217
1218 static Position upstreamIgnoringEditingBoundaries(Position position)
1219 {
1220     Position lastPosition;
1221     while (position != lastPosition) {
1222         lastPosition = position;
1223         position = position.upstream(CanCrossEditingBoundary);
1224     }
1225     return position;
1226 }
1227
1228 void Position::getInlineBoxAndOffset(EAffinity affinity, TextDirection primaryDirection, InlineBox*& inlineBox, int& caretOffset) const
1229 {
1230     caretOffset = deprecatedEditingOffset();
1231     RenderObject* renderer = deprecatedNode()->renderer();
1232
1233     if (renderer->isBR())
1234         inlineBox = !caretOffset ? downcast<RenderLineBreak>(*renderer).inlineBoxWrapper() : nullptr;
1235     else if (is<RenderText>(*renderer)) {
1236         auto& textRenderer = downcast<RenderText>(*renderer);
1237         textRenderer.ensureLineBoxes();
1238
1239         InlineTextBox* box;
1240         InlineTextBox* candidate = nullptr;
1241
1242         for (box = textRenderer.firstTextBox(); box; box = box->nextTextBox()) {
1243             int caretMinOffset = box->caretMinOffset();
1244             int caretMaxOffset = box->caretMaxOffset();
1245
1246             if (caretOffset < caretMinOffset || caretOffset > caretMaxOffset || (caretOffset == caretMaxOffset && box->isLineBreak()))
1247                 continue;
1248
1249             if (caretOffset > caretMinOffset && caretOffset < caretMaxOffset) {
1250                 inlineBox = box;
1251                 return;
1252             }
1253
1254             if (((caretOffset == caretMaxOffset) ^ (affinity == DOWNSTREAM))
1255                 || ((caretOffset == caretMinOffset) ^ (affinity == UPSTREAM))
1256                 || (caretOffset == caretMaxOffset && box->nextLeafChild() && box->nextLeafChild()->isLineBreak()))
1257                 break;
1258
1259             candidate = box;
1260         }
1261         if (candidate && candidate == textRenderer.lastTextBox() && affinity == DOWNSTREAM) {
1262             box = searchAheadForBetterMatch(&textRenderer);
1263             if (box)
1264                 caretOffset = box->caretMinOffset();
1265         }
1266         inlineBox = box ? box : candidate;
1267     } else {
1268         inlineBox = nullptr;
1269         if (canHaveChildrenForEditing(*deprecatedNode()) && is<RenderBlockFlow>(*renderer) && hasRenderedNonAnonymousDescendantsWithHeight(downcast<RenderBlockFlow>(*renderer))) {
1270             // Try a visually equivalent position with possibly opposite editability. This helps in case |this| is in
1271             // an editable block but surrounded by non-editable positions. It acts to negate the logic at the beginning
1272             // of RenderObject::createVisiblePosition().
1273             Position equivalent = downstreamIgnoringEditingBoundaries(*this);
1274             if (equivalent == *this) {
1275                 equivalent = upstreamIgnoringEditingBoundaries(*this);
1276                 if (equivalent == *this || downstreamIgnoringEditingBoundaries(equivalent) == *this)
1277                     return;
1278             }
1279
1280             equivalent.getInlineBoxAndOffset(UPSTREAM, primaryDirection, inlineBox, caretOffset);
1281             return;
1282         }
1283         if (is<RenderBox>(*renderer)) {
1284             inlineBox = downcast<RenderBox>(*renderer).inlineBoxWrapper();
1285             if (!inlineBox || (caretOffset > inlineBox->caretMinOffset() && caretOffset < inlineBox->caretMaxOffset()))
1286                 return;
1287         }
1288     }
1289
1290     if (!inlineBox)
1291         return;
1292
1293     unsigned char level = inlineBox->bidiLevel();
1294
1295     if (inlineBox->direction() == primaryDirection) {
1296         if (caretOffset == inlineBox->caretRightmostOffset()) {
1297             InlineBox* nextBox = inlineBox->nextLeafChild();
1298             if (!nextBox || nextBox->bidiLevel() >= level)
1299                 return;
1300
1301             level = nextBox->bidiLevel();
1302             InlineBox* prevBox = inlineBox;
1303             do {
1304                 prevBox = prevBox->prevLeafChild();
1305             } while (prevBox && prevBox->bidiLevel() > level);
1306
1307             if (prevBox && prevBox->bidiLevel() == level)   // For example, abc FED 123 ^ CBA
1308                 return;
1309
1310             // For example, abc 123 ^ CBA
1311             while (InlineBox* nextBox = inlineBox->nextLeafChild()) {
1312                 if (nextBox->bidiLevel() < level)
1313                     break;
1314                 inlineBox = nextBox;
1315             }
1316             caretOffset = inlineBox->caretRightmostOffset();
1317         } else {
1318             InlineBox* prevBox = inlineBox->prevLeafChild();
1319             if (!prevBox || prevBox->bidiLevel() >= level)
1320                 return;
1321
1322             level = prevBox->bidiLevel();
1323             InlineBox* nextBox = inlineBox;
1324             do {
1325                 nextBox = nextBox->nextLeafChild();
1326             } while (nextBox && nextBox->bidiLevel() > level);
1327
1328             if (nextBox && nextBox->bidiLevel() == level)
1329                 return;
1330
1331             while (InlineBox* prevBox = inlineBox->prevLeafChild()) {
1332                 if (prevBox->bidiLevel() < level)
1333                     break;
1334                 inlineBox = prevBox;
1335             }
1336             caretOffset = inlineBox->caretLeftmostOffset();
1337         }
1338         return;
1339     }
1340
1341     if (caretOffset == inlineBox->caretLeftmostOffset()) {
1342         InlineBox* prevBox = inlineBox->prevLeafChildIgnoringLineBreak();
1343         if (!prevBox || prevBox->bidiLevel() < level) {
1344             // Left edge of a secondary run. Set to the right edge of the entire run.
1345             while (InlineBox* nextBox = inlineBox->nextLeafChildIgnoringLineBreak()) {
1346                 if (nextBox->bidiLevel() < level)
1347                     break;
1348                 inlineBox = nextBox;
1349             }
1350             caretOffset = inlineBox->caretRightmostOffset();
1351         } else if (prevBox->bidiLevel() > level) {
1352             // Right edge of a "tertiary" run. Set to the left edge of that run.
1353             while (InlineBox* tertiaryBox = inlineBox->prevLeafChildIgnoringLineBreak()) {
1354                 if (tertiaryBox->bidiLevel() <= level)
1355                     break;
1356                 inlineBox = tertiaryBox;
1357             }
1358             caretOffset = inlineBox->caretLeftmostOffset();
1359         }
1360     } else {
1361         InlineBox* nextBox = inlineBox->nextLeafChildIgnoringLineBreak();
1362         if (!nextBox || nextBox->bidiLevel() < level) {
1363             // Right edge of a secondary run. Set to the left edge of the entire run.
1364             while (InlineBox* prevBox = inlineBox->prevLeafChildIgnoringLineBreak()) {
1365                 if (prevBox->bidiLevel() < level)
1366                     break;
1367                 inlineBox = prevBox;
1368             }
1369             caretOffset = inlineBox->caretLeftmostOffset();
1370         } else if (nextBox->bidiLevel() > level) {
1371             // Left edge of a "tertiary" run. Set to the right edge of that run.
1372             while (InlineBox* tertiaryBox = inlineBox->nextLeafChildIgnoringLineBreak()) {
1373                 if (tertiaryBox->bidiLevel() <= level)
1374                     break;
1375                 inlineBox = tertiaryBox;
1376             }
1377             caretOffset = inlineBox->caretRightmostOffset();
1378         }
1379     }
1380 }
1381
1382 TextDirection Position::primaryDirection() const
1383 {
1384     if (!m_anchorNode->renderer())
1385         return LTR;
1386     if (auto* blockFlow = lineageOfType<RenderBlockFlow>(*m_anchorNode->renderer()).first())
1387         return blockFlow->style().direction();
1388     return LTR;
1389 }
1390
1391 #if ENABLE(TREE_DEBUGGING)
1392
1393 void Position::debugPosition(const char* msg) const
1394 {
1395     if (isNull())
1396         fprintf(stderr, "Position [%s]: null\n", msg);
1397     else
1398         fprintf(stderr, "Position [%s]: %s [%p] at %d\n", msg, deprecatedNode()->nodeName().utf8().data(), deprecatedNode(), m_offset);
1399 }
1400
1401 void Position::formatForDebugger(char* buffer, unsigned length) const
1402 {
1403     StringBuilder result;
1404
1405     if (isNull())
1406         result.appendLiteral("<null>");
1407     else {
1408         char s[1024];
1409         result.appendLiteral("offset ");
1410         result.appendNumber(m_offset);
1411         result.appendLiteral(" of ");
1412         deprecatedNode()->formatForDebugger(s, sizeof(s));
1413         result.append(s);
1414     }
1415
1416     strncpy(buffer, result.toString().utf8().data(), length - 1);
1417 }
1418
1419 void Position::showAnchorTypeAndOffset() const
1420 {
1421     if (m_isLegacyEditingPosition)
1422         fputs("legacy, ", stderr);
1423     switch (anchorType()) {
1424     case PositionIsOffsetInAnchor:
1425         fputs("offset", stderr);
1426         break;
1427     case PositionIsBeforeChildren:
1428         fputs("beforeChildren", stderr);
1429         break;
1430     case PositionIsAfterChildren:
1431         fputs("afterChildren", stderr);
1432         break;
1433     case PositionIsBeforeAnchor:
1434         fputs("before", stderr);
1435         break;
1436     case PositionIsAfterAnchor:
1437         fputs("after", stderr);
1438         break;
1439     }
1440     fprintf(stderr, ", offset:%d\n", m_offset);
1441 }
1442
1443 void Position::showTreeForThis() const
1444 {
1445     if (anchorNode()) {
1446         anchorNode()->showTreeForThis();
1447         showAnchorTypeAndOffset();
1448     }
1449 }
1450
1451 #endif
1452
1453 bool Position::equals(const Position& other) const
1454 {
1455     if (!m_anchorNode)
1456         return !m_anchorNode == !other.m_anchorNode;
1457     if (!other.m_anchorNode)
1458         return false;
1459
1460     switch (anchorType()) {
1461     case PositionIsBeforeChildren:
1462         ASSERT(!is<Text>(*m_anchorNode));
1463         switch (other.anchorType()) {
1464         case PositionIsBeforeChildren:
1465             ASSERT(!is<Text>(*other.m_anchorNode));
1466             return m_anchorNode == other.m_anchorNode;
1467         case PositionIsAfterChildren:
1468             ASSERT(!is<Text>(*other.m_anchorNode));
1469             return m_anchorNode == other.m_anchorNode && !m_anchorNode->hasChildNodes();
1470         case PositionIsOffsetInAnchor:
1471             return m_anchorNode == other.m_anchorNode && !other.m_offset;
1472         case PositionIsBeforeAnchor:
1473             return m_anchorNode->firstChild() == other.m_anchorNode;
1474         case PositionIsAfterAnchor:
1475             return false;
1476         }
1477         break;
1478     case PositionIsAfterChildren:
1479         ASSERT(!is<Text>(*m_anchorNode));
1480         switch (other.anchorType()) {
1481         case PositionIsBeforeChildren:
1482             ASSERT(!is<Text>(*other.m_anchorNode));
1483             return m_anchorNode == other.m_anchorNode && !m_anchorNode->hasChildNodes();
1484         case PositionIsAfterChildren:
1485             ASSERT(!is<Text>(*other.m_anchorNode));
1486             return m_anchorNode == other.m_anchorNode;
1487         case PositionIsOffsetInAnchor:
1488             return m_anchorNode == other.m_anchorNode && m_anchorNode->countChildNodes() == static_cast<unsigned>(m_offset);
1489         case PositionIsBeforeAnchor:
1490             return false;
1491         case PositionIsAfterAnchor:
1492             return m_anchorNode->lastChild() == other.m_anchorNode;
1493         }
1494         break;
1495     case PositionIsOffsetInAnchor:
1496         switch (other.anchorType()) {
1497         case PositionIsBeforeChildren:
1498             ASSERT(!is<Text>(*other.m_anchorNode));
1499             return m_anchorNode == other.m_anchorNode && !m_offset;
1500         case PositionIsAfterChildren:
1501             ASSERT(!is<Text>(*other.m_anchorNode));
1502             return m_anchorNode == other.m_anchorNode && m_offset == static_cast<int>(other.m_anchorNode->countChildNodes());
1503         case PositionIsOffsetInAnchor:
1504             return m_anchorNode == other.m_anchorNode && m_offset == other.m_offset;
1505         case PositionIsBeforeAnchor:
1506             return m_anchorNode->traverseToChildAt(m_offset) == other.m_anchorNode;
1507         case PositionIsAfterAnchor:
1508             return m_offset && m_anchorNode->traverseToChildAt(m_offset - 1) == other.m_anchorNode;
1509         }
1510         break;
1511     case PositionIsBeforeAnchor:
1512         switch (other.anchorType()) {
1513         case PositionIsBeforeChildren:
1514             ASSERT(!is<Text>(*other.m_anchorNode));
1515             return m_anchorNode == other.m_anchorNode->firstChild();
1516         case PositionIsAfterChildren:
1517             ASSERT(!is<Text>(*other.m_anchorNode));
1518             return false;
1519         case PositionIsOffsetInAnchor:
1520             return m_anchorNode == other.m_anchorNode->traverseToChildAt(other.m_offset);
1521         case PositionIsBeforeAnchor:
1522             return m_anchorNode == other.m_anchorNode;
1523         case PositionIsAfterAnchor:
1524             return m_anchorNode->previousSibling() == other.m_anchorNode;
1525         }
1526         break;
1527     case PositionIsAfterAnchor:
1528         switch (other.anchorType()) {
1529         case PositionIsBeforeChildren:
1530             ASSERT(!is<Text>(*other.m_anchorNode));
1531             return false;
1532         case PositionIsAfterChildren:
1533             ASSERT(!is<Text>(*other.m_anchorNode));
1534             return m_anchorNode == other.m_anchorNode->lastChild();
1535         case PositionIsOffsetInAnchor:
1536             return other.m_offset && m_anchorNode == other.m_anchorNode->traverseToChildAt(other.m_offset - 1);
1537         case PositionIsBeforeAnchor:
1538             return m_anchorNode->nextSibling() == other.m_anchorNode;
1539         case PositionIsAfterAnchor:
1540             return m_anchorNode == other.m_anchorNode;
1541         }
1542         break;
1543     }
1544
1545     ASSERT_NOT_REACHED();
1546     return false;
1547 }
1548
1549 static TextStream& operator<<(TextStream& stream, Position::AnchorType anchorType)
1550 {
1551     switch (anchorType) {
1552     case Position::PositionIsOffsetInAnchor:
1553         stream << "offset in anchor";
1554         break;
1555     case Position::PositionIsBeforeAnchor:
1556         stream << "before anchor";
1557         break;
1558     case Position::PositionIsAfterAnchor:
1559         stream << "after anchor";
1560         break;
1561     case Position::PositionIsBeforeChildren:
1562         stream << "before children";
1563         break;
1564     case Position::PositionIsAfterChildren:
1565         stream << "after children";
1566         break;
1567     }
1568     return stream;
1569 }
1570
1571 TextStream& operator<<(TextStream& stream, const Position& position)
1572 {
1573     TextStream::GroupScope scope(stream);
1574     stream << "Position " << &position;
1575
1576     stream.dumpProperty("anchor node", position.anchorNode());
1577     stream.dumpProperty("offset", position.offsetInContainerNode());
1578     stream.dumpProperty("anchor type", position.anchorType());
1579
1580     return stream;
1581 }
1582
1583 } // namespace WebCore
1584
1585 #if ENABLE(TREE_DEBUGGING)
1586
1587 void showTree(const WebCore::Position& pos)
1588 {
1589     pos.showTreeForThis();
1590 }
1591
1592 void showTree(const WebCore::Position* pos)
1593 {
1594     if (pos)
1595         pos->showTreeForThis();
1596 }
1597
1598 #endif