Reviewed by John
[WebKit-https.git] / WebCore / khtml / editing / htmlediting.cpp
1 /*
2  * Copyright (C) 2004 Apple Computer, 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 COMPUTER, 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 COMPUTER, 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 "htmlediting.h"
27
28 #include "css_computedstyle.h"
29 #include "css_value.h"
30 #include "css_valueimpl.h"
31 #include "cssproperties.h"
32 #include "dom_doc.h"
33 #include "dom_docimpl.h"
34 #include "dom_docimpl.h"
35 #include "dom_elementimpl.h"
36 #include "dom_nodeimpl.h"
37 #include "dom_position.h"
38 #include "dom_positioniterator.h"
39 #include "dom_stringimpl.h"
40 #include "dom_textimpl.h"
41 #include "dom2_rangeimpl.h"
42 #include "html_elementimpl.h"
43 #include "html_imageimpl.h"
44 #include "html_interchange.h"
45 #include "htmlattrs.h"
46 #include "htmltags.h"
47 #include "khtml_part.h"
48 #include "khtml_part.h"
49 #include "khtmlview.h"
50 #include "qptrlist.h"
51 #include "render_object.h"
52 #include "render_style.h"
53 #include "render_text.h"
54 #include "visible_position.h"
55 #include "visible_units.h"
56
57 using DOM::AttrImpl;
58 using DOM::CSSComputedStyleDeclarationImpl;
59 using DOM::CSSMutableStyleDeclarationImpl;
60 using DOM::CSSPrimitiveValue;
61 using DOM::CSSPrimitiveValueImpl;
62 using DOM::CSSProperty;
63 using DOM::CSSStyleDeclarationImpl;
64 using DOM::CSSValueImpl;
65 using DOM::DocumentFragmentImpl;
66 using DOM::DocumentImpl;
67 using DOM::DOMString;
68 using DOM::DOMStringImpl;
69 using DOM::DoNotStayInBlock;
70 using DOM::DoNotUpdateLayout;
71 using DOM::EditingTextImpl;
72 using DOM::ElementImpl;
73 using DOM::EStayInBlock;
74 using DOM::HTMLElementImpl;
75 using DOM::HTMLImageElementImpl;
76 using DOM::NamedAttrMapImpl;
77 using DOM::Node;
78 using DOM::NodeImpl;
79 using DOM::NodeListImpl;
80 using DOM::Position;
81 using DOM::PositionIterator;
82 using DOM::Range;
83 using DOM::RangeImpl;
84 using DOM::StayInBlock;
85 using DOM::TextImpl;
86 using DOM::TreeWalkerImpl;
87
88 #if APPLE_CHANGES
89 #include "KWQAssertions.h"
90 #include "KWQLogging.h"
91 #include "KWQKHTMLPart.h"
92 #endif
93
94 #if !APPLE_CHANGES
95 #define ASSERT(assertion) ((void)0)
96 #define ASSERT_WITH_MESSAGE(assertion, formatAndArgs...) ((void)0)
97 #define ASSERT_NOT_REACHED() ((void)0)
98 #define LOG(channel, formatAndArgs...) ((void)0)
99 #define ERROR(formatAndArgs...) ((void)0)
100 #define ASSERT(assertion) assert(assertion)
101 #if LOG_DISABLED
102 #define debugPosition(a,b) ((void)0)
103 #define debugNode(a,b) ((void)0)
104 #endif
105 #endif
106
107 #define IF_IMPL_NULL_RETURN_ARG(arg) do { \
108         if (isNull()) { return arg; } \
109     } while (0)
110         
111 #define IF_IMPL_NULL_RETURN do { \
112         if (isNull()) { return; } \
113     } while (0)
114
115 namespace khtml {
116
117 static inline bool isNBSP(const QChar &c)
118 {
119     return c == QChar(0xa0);
120 }
121
122 static inline bool isWS(const QChar &c)
123 {
124     return c.isSpace() && c != QChar(0xa0);
125 }
126
127 static inline bool isWS(const DOMString &text)
128 {
129     if (text.length() != 1)
130         return false;
131     
132     return isWS(text[0]);
133 }
134
135 static inline bool isWS(const Position &pos)
136 {
137     if (!pos.node())
138         return false;
139         
140     if (!pos.node()->isTextNode())
141         return false;
142
143     const DOMString &string = static_cast<TextImpl *>(pos.node())->data();
144     return isWS(string[pos.offset()]);
145 }
146
147 static const int spacesPerTab = 4;
148
149 static inline bool isTab(const DOMString &text)
150 {
151     static QChar tabCharacter = QChar(0x9);
152     if (text.length() != 1)
153         return false;
154     
155     return text[0] == tabCharacter;
156 }
157
158 static inline bool isTableStructureNode(const NodeImpl *node)
159 {
160     RenderObject *r = node->renderer();
161     return (r && (r->isTableCell() || r->isTableRow() || r->isTableSection() || r->isTableCol()));
162 }
163
164 static DOMString &nonBreakingSpaceString()
165 {
166     static DOMString nonBreakingSpaceString = QString(QChar(0xa0));
167     return nonBreakingSpaceString;
168 }
169
170 static DOMString &styleSpanClassString()
171 {
172     static DOMString styleSpanClassString = "khtml-style-span";
173     return styleSpanClassString;
174 }
175
176 static DOMString &blockPlaceholderClassString()
177 {
178     static DOMString blockPlaceholderClassString = "khtml-block-placeholder";
179     return blockPlaceholderClassString;
180 }
181
182 static void derefNodesInList(QPtrList<NodeImpl> &list)
183 {
184     for (QPtrListIterator<NodeImpl> it(list); it.current(); ++it)
185         it.current()->deref();
186 }
187
188 static void debugPosition(const char *prefix, const Position &pos)
189 {
190     if (!prefix)
191         prefix = "";
192     if (pos.isNull())
193         LOG(Editing, "%s <null>", prefix);
194     else
195         LOG(Editing, "%s%s %p : %d", prefix, getTagName(pos.node()->id()).string().latin1(), pos.node(), pos.offset());
196 }
197
198 static void debugNode(const char *prefix, const NodeImpl *node)
199 {
200     if (!prefix)
201         prefix = "";
202     if (!node)
203         LOG(Editing, "%s <null>", prefix);
204     else
205         LOG(Editing, "%s%s %p", prefix, getTagName(node->id()).string().latin1(), node);
206 }
207
208 //------------------------------------------------------------------------------------------
209 // EditCommandPtr
210
211 EditCommandPtr::EditCommandPtr()
212 {
213 }
214
215 EditCommandPtr::EditCommandPtr(EditCommand *impl) : SharedPtr<EditCommand>(impl)
216 {
217 }
218
219 EditCommandPtr::EditCommandPtr(const EditCommandPtr &o) : SharedPtr<EditCommand>(o)
220 {
221 }
222
223 EditCommandPtr::~EditCommandPtr()
224 {
225 }
226
227 EditCommandPtr &EditCommandPtr::operator=(const EditCommandPtr &c)
228 {
229     static_cast<SharedPtr<EditCommand> &>(*this) = c;
230     return *this;
231 }
232
233 bool EditCommandPtr::isCompositeStep() const
234 {
235     IF_IMPL_NULL_RETURN_ARG(false);        
236     return get()->isCompositeStep();
237 }
238
239 bool EditCommandPtr::isInsertTextCommand() const
240 {
241     IF_IMPL_NULL_RETURN_ARG(false);        
242     return get()->isInsertTextCommand();
243 }
244
245 bool EditCommandPtr::isTypingCommand() const
246 {
247     IF_IMPL_NULL_RETURN_ARG(false);        
248     return get()->isTypingCommand();
249 }
250
251 void EditCommandPtr::apply() const
252 {
253     IF_IMPL_NULL_RETURN;
254     get()->apply();
255 }
256
257 void EditCommandPtr::unapply() const
258 {
259     IF_IMPL_NULL_RETURN;
260     get()->unapply();
261 }
262
263 void EditCommandPtr::reapply() const
264 {
265     IF_IMPL_NULL_RETURN;
266     get()->reapply();
267 }
268
269 EditAction EditCommandPtr::editingAction() const
270 {
271     IF_IMPL_NULL_RETURN_ARG(EditActionUnspecified);
272     return get()->editingAction();
273 }
274
275 DocumentImpl * const EditCommandPtr::document() const
276 {
277     IF_IMPL_NULL_RETURN_ARG(0);
278     return get()->document();
279 }
280
281 Selection EditCommandPtr::startingSelection() const
282 {
283     IF_IMPL_NULL_RETURN_ARG(Selection());
284     return get()->startingSelection();
285 }
286
287 Selection EditCommandPtr::endingSelection() const
288 {
289     IF_IMPL_NULL_RETURN_ARG(Selection());
290     return get()->endingSelection();
291 }
292
293 void EditCommandPtr::setStartingSelection(const Selection &s) const
294 {
295     IF_IMPL_NULL_RETURN;
296     get()->setStartingSelection(s);
297 }
298
299 void EditCommandPtr::setEndingSelection(const Selection &s) const
300 {
301     IF_IMPL_NULL_RETURN;
302     get()->setEndingSelection(s);
303 }
304
305 CSSMutableStyleDeclarationImpl *EditCommandPtr::typingStyle() const
306 {
307     IF_IMPL_NULL_RETURN_ARG(0);
308     return get()->typingStyle();
309 }
310
311 void EditCommandPtr::setTypingStyle(CSSMutableStyleDeclarationImpl *style) const
312 {
313     IF_IMPL_NULL_RETURN;
314     get()->setTypingStyle(style);
315 }
316
317 EditCommandPtr EditCommandPtr::parent() const
318 {
319     IF_IMPL_NULL_RETURN_ARG(0);
320     return get()->parent();
321 }
322
323 void EditCommandPtr::setParent(const EditCommandPtr &cmd) const
324 {
325     IF_IMPL_NULL_RETURN;
326     get()->setParent(cmd.get());
327 }
328
329 EditCommandPtr &EditCommandPtr::emptyCommand()
330 {
331     static EditCommandPtr m_emptyCommand;
332     return m_emptyCommand;
333 }
334
335 //------------------------------------------------------------------------------------------
336 // StyleChange
337
338 StyleChange::StyleChange(CSSStyleDeclarationImpl *style, ELegacyHTMLStyles usesLegacyStyles)
339     : m_applyBold(false), m_applyItalic(false), m_usesLegacyStyles(usesLegacyStyles)
340 {
341     init(style, Position());
342 }
343
344 StyleChange::StyleChange(CSSStyleDeclarationImpl *style, const Position &position, ELegacyHTMLStyles usesLegacyStyles)
345     : m_applyBold(false), m_applyItalic(false), m_usesLegacyStyles(usesLegacyStyles)
346 {
347     init(style, position);
348 }
349
350 void StyleChange::init(CSSStyleDeclarationImpl *style, const Position &position)
351 {
352     style->ref();
353     CSSMutableStyleDeclarationImpl *mutableStyle = style->makeMutable();
354     mutableStyle->ref();
355     style->deref();
356     
357     QString styleText("");
358
359     QValueListConstIterator<CSSProperty> end;
360     for (QValueListConstIterator<CSSProperty> it = mutableStyle->valuesIterator(); it != end; ++it) {
361         const CSSProperty *property = &*it;
362
363         // If position is empty or the position passed in already has the 
364         // style, just move on.
365         if (position.isNotNull() && currentlyHasStyle(position, property))
366             continue;
367         
368         // If needed, figure out if this change is a legacy HTML style change.
369         if (m_usesLegacyStyles && checkForLegacyHTMLStyleChange(property))
370             continue;
371
372         // Add this property
373         styleText += property->cssText().string();
374     }
375
376     mutableStyle->deref();
377
378     // Save the result for later
379     m_cssStyle = styleText.stripWhiteSpace();
380 }
381
382 bool StyleChange::checkForLegacyHTMLStyleChange(const DOM::CSSProperty *property)
383 {
384     DOMString valueText(property->value()->cssText());
385     switch (property->id()) {
386         case CSS_PROP_FONT_WEIGHT:
387             if (strcasecmp(valueText, "bold") == 0) {
388                 m_applyBold = true;
389                 return true;
390             }
391             break;
392         case CSS_PROP_FONT_STYLE:
393             if (strcasecmp(valueText, "italic") == 0 || strcasecmp(valueText, "oblique") == 0) {
394                 m_applyItalic = true;
395                 return true;
396             }
397             break;
398     }
399     return false;
400 }
401
402 bool StyleChange::currentlyHasStyle(const Position &pos, const CSSProperty *property)
403 {
404     ASSERT(pos.isNotNull());
405     CSSComputedStyleDeclarationImpl *style = pos.computedStyle();
406     ASSERT(style);
407     style->ref();
408     CSSValueImpl *value = style->getPropertyCSSValue(property->id(), DoNotUpdateLayout);
409     style->deref();
410     if (!value)
411         return false;
412     value->ref();
413     bool result = strcasecmp(value->cssText(), property->value()->cssText()) == 0;
414     value->deref();
415     return result;
416 }
417
418 //------------------------------------------------------------------------------------------
419 // EditCommand
420
421 EditCommand::EditCommand(DocumentImpl *document) 
422     : m_document(document), m_state(NotApplied), m_typingStyle(0), m_parent(0)
423 {
424     ASSERT(m_document);
425     ASSERT(m_document->part());
426     m_document->ref();
427     m_startingSelection = m_document->part()->selection();
428     m_endingSelection = m_startingSelection;
429
430     m_document->part()->setSelection(Selection(), false, true);
431 }
432
433 EditCommand::~EditCommand()
434 {
435     ASSERT(m_document);
436     m_document->deref();
437     if (m_typingStyle)
438         m_typingStyle->deref();
439 }
440
441 void EditCommand::apply()
442 {
443     ASSERT(m_document);
444     ASSERT(m_document->part());
445     ASSERT(state() == NotApplied);
446  
447     KHTMLPart *part = m_document->part();
448
449     ASSERT(part->selection().isNone());
450
451     doApply();
452     
453     m_state = Applied;
454
455     // FIXME: Improve typing style.
456     // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
457     if (!preservesTypingStyle())
458         setTypingStyle(0);
459
460     if (!isCompositeStep()) {
461         document()->updateLayout();
462         EditCommandPtr cmd(this);
463         part->appliedEditing(cmd);
464     }
465 }
466
467 void EditCommand::unapply()
468 {
469     ASSERT(m_document);
470     ASSERT(m_document->part());
471     ASSERT(state() == Applied);
472
473     bool topLevel = !isCompositeStep();
474  
475     KHTMLPart *part = m_document->part();
476
477     if (topLevel) {
478         part->setSelection(Selection(), false, true);
479     }
480     ASSERT(part->selection().isNone());
481     
482     doUnapply();
483     
484     m_state = NotApplied;
485
486     if (topLevel) {
487         document()->updateLayout();
488         EditCommandPtr cmd(this);
489         part->unappliedEditing(cmd);
490     }
491 }
492
493 void EditCommand::reapply()
494 {
495     ASSERT(m_document);
496     ASSERT(m_document->part());
497     ASSERT(state() == NotApplied);
498     
499     bool topLevel = !isCompositeStep();
500  
501     KHTMLPart *part = m_document->part();
502
503     if (topLevel) {
504         part->setSelection(Selection(), false, true);
505     }
506     ASSERT(part->selection().isNone());
507     
508     doReapply();
509     
510     m_state = Applied;
511
512     if (topLevel) {
513         document()->updateLayout();
514         EditCommandPtr cmd(this);
515         part->reappliedEditing(cmd);
516     }
517 }
518
519 void EditCommand::doReapply()
520 {
521     doApply();
522 }
523
524 EditAction EditCommand::editingAction() const
525 {
526     return EditActionUnspecified;
527 }
528
529 void EditCommand::setStartingSelection(const Selection &s)
530 {
531     for (EditCommand *cmd = this; cmd; cmd = cmd->m_parent)
532         cmd->m_startingSelection = s;
533 }
534
535 void EditCommand::setEndingSelection(const Selection &s)
536 {
537     for (EditCommand *cmd = this; cmd; cmd = cmd->m_parent)
538         cmd->m_endingSelection = s;
539 }
540
541 void EditCommand::assignTypingStyle(CSSMutableStyleDeclarationImpl *style)
542 {
543     if (m_typingStyle == style)
544         return;
545         
546     CSSMutableStyleDeclarationImpl *old = m_typingStyle;
547     m_typingStyle = style;
548     if (m_typingStyle)
549         m_typingStyle->ref();
550     if (old)
551         old->deref();
552 }
553
554 void EditCommand::setTypingStyle(CSSMutableStyleDeclarationImpl *style)
555 {
556     // FIXME: Improve typing style.
557     // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
558     for (EditCommand *cmd = this; cmd; cmd = cmd->m_parent)
559         cmd->assignTypingStyle(style);
560 }
561
562 bool EditCommand::preservesTypingStyle() const
563 {
564     return false;
565 }
566
567 bool EditCommand::isInsertTextCommand() const
568 {
569     return false;
570 }
571
572 bool EditCommand::isTypingCommand() const
573 {
574     return false;
575 }
576
577 //------------------------------------------------------------------------------------------
578 // CompositeEditCommand
579
580 CompositeEditCommand::CompositeEditCommand(DocumentImpl *document) 
581     : EditCommand(document)
582 {
583 }
584
585 void CompositeEditCommand::doUnapply()
586 {
587     if (m_cmds.count() == 0) {
588         return;
589     }
590     
591     for (int i = m_cmds.count() - 1; i >= 0; --i)
592         m_cmds[i]->unapply();
593
594     setState(NotApplied);
595 }
596
597 void CompositeEditCommand::doReapply()
598 {
599     if (m_cmds.count() == 0) {
600         return;
601     }
602
603     for (QValueList<EditCommandPtr>::ConstIterator it = m_cmds.begin(); it != m_cmds.end(); ++it)
604         (*it)->reapply();
605
606     setState(Applied);
607 }
608
609 //
610 // sugary-sweet convenience functions to help create and apply edit commands in composite commands
611 //
612 void CompositeEditCommand::applyCommandToComposite(EditCommandPtr &cmd)
613 {
614     cmd.setStartingSelection(endingSelection());
615     cmd.setEndingSelection(endingSelection());
616     cmd.setParent(this);
617     cmd.apply();
618     m_cmds.append(cmd);
619 }
620
621 void CompositeEditCommand::insertParagraphSeparator()
622 {
623     EditCommandPtr cmd(new InsertParagraphSeparatorCommand(document()));
624     applyCommandToComposite(cmd);
625 }
626
627 void CompositeEditCommand::insertNodeBefore(NodeImpl *insertChild, NodeImpl *refChild)
628 {
629     EditCommandPtr cmd(new InsertNodeBeforeCommand(document(), insertChild, refChild));
630     applyCommandToComposite(cmd);
631 }
632
633 void CompositeEditCommand::insertNodeAfter(NodeImpl *insertChild, NodeImpl *refChild)
634 {
635     if (refChild->parentNode()->lastChild() == refChild) {
636         appendNode(insertChild, refChild->parentNode());
637     }
638     else {
639         ASSERT(refChild->nextSibling());
640         insertNodeBefore(insertChild, refChild->nextSibling());
641     }
642 }
643
644 void CompositeEditCommand::insertNodeAt(NodeImpl *insertChild, NodeImpl *refChild, long offset)
645 {
646     if (refChild->hasChildNodes() || (refChild->renderer() && refChild->renderer()->isBlockFlow())) {
647         NodeImpl *child = refChild->firstChild();
648         for (long i = 0; child && i < offset; i++)
649             child = child->nextSibling();
650         if (child)
651             insertNodeBefore(insertChild, child);
652         else
653             appendNode(insertChild, refChild);
654     } 
655     else if (refChild->caretMinOffset() >= offset) {
656         insertNodeBefore(insertChild, refChild);
657     } 
658     else if (refChild->isTextNode() && refChild->caretMaxOffset() > offset) {
659         splitTextNode(static_cast<TextImpl *>(refChild), offset);
660         insertNodeBefore(insertChild, refChild);
661     } 
662     else {
663         insertNodeAfter(insertChild, refChild);
664     }
665 }
666
667 void CompositeEditCommand::appendNode(NodeImpl *appendChild, NodeImpl *parent)
668 {
669     EditCommandPtr cmd(new AppendNodeCommand(document(), appendChild, parent));
670     applyCommandToComposite(cmd);
671 }
672
673 void CompositeEditCommand::removeFullySelectedNode(NodeImpl *node)
674 {
675     if (isTableStructureNode(node)) {
676         // Do not remove an element of table structure; remove its contents.
677         NodeImpl *child = node->firstChild();
678         while (child) {
679             NodeImpl *remove = child;
680             child = child->nextSibling();
681             removeFullySelectedNode(remove);
682         }
683     }
684     else {
685         EditCommandPtr cmd(new RemoveNodeCommand(document(), node));
686         applyCommandToComposite(cmd);
687     }
688 }
689
690 void CompositeEditCommand::removeNode(NodeImpl *removeChild)
691 {
692     EditCommandPtr cmd(new RemoveNodeCommand(document(), removeChild));
693     applyCommandToComposite(cmd);
694 }
695
696 void CompositeEditCommand::removeNodePreservingChildren(NodeImpl *removeChild)
697 {
698     EditCommandPtr cmd(new RemoveNodePreservingChildrenCommand(document(), removeChild));
699     applyCommandToComposite(cmd);
700 }
701
702 void CompositeEditCommand::splitTextNode(TextImpl *text, long offset)
703 {
704     EditCommandPtr cmd(new SplitTextNodeCommand(document(), text, offset));
705     applyCommandToComposite(cmd);
706 }
707
708 void CompositeEditCommand::joinTextNodes(TextImpl *text1, TextImpl *text2)
709 {
710     EditCommandPtr cmd(new JoinTextNodesCommand(document(), text1, text2));
711     applyCommandToComposite(cmd);
712 }
713
714 void CompositeEditCommand::inputText(const DOMString &text, bool selectInsertedText)
715 {
716     InsertTextCommand *impl = new InsertTextCommand(document());
717     EditCommandPtr cmd(impl);
718     applyCommandToComposite(cmd);
719     impl->input(text, selectInsertedText);
720 }
721
722 void CompositeEditCommand::insertTextIntoNode(TextImpl *node, long offset, const DOMString &text)
723 {
724     EditCommandPtr cmd(new InsertIntoTextNode(document(), node, offset, text));
725     applyCommandToComposite(cmd);
726 }
727
728 void CompositeEditCommand::deleteTextFromNode(TextImpl *node, long offset, long count)
729 {
730     EditCommandPtr cmd(new DeleteFromTextNodeCommand(document(), node, offset, count));
731     applyCommandToComposite(cmd);
732 }
733
734 void CompositeEditCommand::replaceTextInNode(TextImpl *node, long offset, long count, const DOMString &replacementText)
735 {
736     EditCommandPtr deleteCommand(new DeleteFromTextNodeCommand(document(), node, offset, count));
737     applyCommandToComposite(deleteCommand);
738     EditCommandPtr insertCommand(new InsertIntoTextNode(document(), node, offset, replacementText));
739     applyCommandToComposite(insertCommand);
740 }
741
742 void CompositeEditCommand::deleteSelection(bool smartDelete, bool mergeBlocksAfterDelete)
743 {
744     if (endingSelection().isRange()) {
745         EditCommandPtr cmd(new DeleteSelectionCommand(document(), smartDelete, mergeBlocksAfterDelete));
746         applyCommandToComposite(cmd);
747     }
748 }
749
750 void CompositeEditCommand::deleteSelection(const Selection &selection, bool smartDelete, bool mergeBlocksAfterDelete)
751 {
752     if (selection.isRange()) {
753         EditCommandPtr cmd(new DeleteSelectionCommand(document(), selection, smartDelete, mergeBlocksAfterDelete));
754         applyCommandToComposite(cmd);
755     }
756 }
757
758 void CompositeEditCommand::removeCSSProperty(CSSStyleDeclarationImpl *decl, int property)
759 {
760     EditCommandPtr cmd(new RemoveCSSPropertyCommand(document(), decl, property));
761     applyCommandToComposite(cmd);
762 }
763
764 void CompositeEditCommand::removeNodeAttribute(ElementImpl *element, int attribute)
765 {
766     EditCommandPtr cmd(new RemoveNodeAttributeCommand(document(), element, attribute));
767     applyCommandToComposite(cmd);
768 }
769
770 void CompositeEditCommand::setNodeAttribute(ElementImpl *element, int attribute, const DOMString &value)
771 {
772     EditCommandPtr cmd(new SetNodeAttributeCommand(document(), element, attribute, value));
773     applyCommandToComposite(cmd);
774 }
775
776 void CompositeEditCommand::rebalanceWhitespace()
777 {
778     Selection selection = endingSelection();
779     if (selection.isCaretOrRange()) {
780         EditCommandPtr startCmd(new RebalanceWhitespaceCommand(document(), endingSelection().start()));
781         applyCommandToComposite(startCmd);
782         if (selection.isRange()) {
783             EditCommandPtr endCmd(new RebalanceWhitespaceCommand(document(), endingSelection().end()));
784             applyCommandToComposite(endCmd);
785         }
786     }
787 }
788
789 NodeImpl *CompositeEditCommand::applyTypingStyle(NodeImpl *child) const
790 {
791     // FIXME: This function should share code with ApplyStyleCommand::applyStyleIfNeeded
792     // and ApplyStyleCommand::computeStyleChange.
793     // Both function do similar work, and the common parts could be factored out.
794
795     // FIXME: Improve typing style.
796     // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
797
798     // update document layout once before running the rest of the function
799     // so that we avoid the expense of updating before each and every call
800     // to check a computed style
801     document()->updateLayout();
802
803     StyleChange styleChange(document()->part()->typingStyle());
804
805     NodeImpl *childToAppend = child;
806     int exceptionCode = 0;
807
808     if (styleChange.applyItalic()) {
809         ElementImpl *italicElement = document()->createHTMLElement("I", exceptionCode);
810         ASSERT(exceptionCode == 0);
811         italicElement->appendChild(childToAppend, exceptionCode);
812         ASSERT(exceptionCode == 0);
813         childToAppend = italicElement;
814     }
815
816     if (styleChange.applyBold()) {
817         ElementImpl *boldElement = document()->createHTMLElement("B", exceptionCode);
818         ASSERT(exceptionCode == 0);
819         boldElement->appendChild(childToAppend, exceptionCode);
820         ASSERT(exceptionCode == 0);
821         childToAppend = boldElement;
822     }
823
824     if (styleChange.cssStyle().length() > 0) {
825         ElementImpl *styleElement = document()->createHTMLElement("SPAN", exceptionCode);
826         ASSERT(exceptionCode == 0);
827         styleElement->setAttribute(ATTR_STYLE, styleChange.cssStyle());
828         styleElement->setAttribute(ATTR_CLASS, styleSpanClassString());
829         styleElement->appendChild(childToAppend, exceptionCode);
830         ASSERT(exceptionCode == 0);
831         childToAppend = styleElement;
832     }
833
834     return childToAppend;
835 }
836
837 void CompositeEditCommand::deleteInsignificantText(TextImpl *textNode, int start, int end)
838 {
839     if (!textNode || !textNode->renderer() || start >= end)
840         return;
841
842     RenderText *textRenderer = static_cast<RenderText *>(textNode->renderer());
843     InlineTextBox *box = textRenderer->firstTextBox();
844     if (!box) {
845         // whole text node is empty
846         removeNode(textNode);
847         return;    
848     }
849     
850     long length = textNode->length();
851     if (start >= length || end > length)
852         return;
853
854     int removed = 0;
855     InlineTextBox *prevBox = 0;
856     DOMStringImpl *str = 0;
857
858     // This loop structure works to process all gaps preceding a box,
859     // and also will look at the gap after the last box.
860     while (prevBox || box) {
861         int gapStart = prevBox ? prevBox->m_start + prevBox->m_len : 0;
862         if (end < gapStart)
863             // No more chance for any intersections
864             break;
865
866         int gapEnd = box ? box->m_start : length;
867         bool indicesIntersect = start <= gapEnd && end >= gapStart;
868         int gapLen = gapEnd - gapStart;
869         if (indicesIntersect && gapLen > 0) {
870             gapStart = kMax(gapStart, start);
871             gapEnd = kMin(gapEnd, end);
872             if (!str) {
873                 str = textNode->string()->substring(start, end - start);
874                 str->ref();
875             }    
876             // remove text in the gap
877             str->remove(gapStart - start - removed, gapLen);
878             removed += gapLen;
879         }
880         
881         prevBox = box;
882         if (box)
883             box = box->nextTextBox();
884     }
885
886     if (str) {
887         // Replace the text between start and end with our pruned version.
888         if (str->l > 0) {
889             replaceTextInNode(textNode, start, end - start, str);
890         }
891         else {
892             // Assert that we are not going to delete all of the text in the node.
893             // If we were, that should have been done above with the call to 
894             // removeNode and return.
895             ASSERT(start > 0 || (unsigned long)end - start < textNode->length());
896             deleteTextFromNode(textNode, start, end - start);
897         }
898         str->deref();
899     }
900 }
901
902 void CompositeEditCommand::deleteInsignificantText(const Position &start, const Position &end)
903 {
904     if (start.isNull() || end.isNull())
905         return;
906
907     if (RangeImpl::compareBoundaryPoints(start, end) >= 0)
908         return;
909
910     NodeImpl *node = start.node();
911     while (node) {
912         NodeImpl *next = node->traverseNextNode();
913     
914         if (node->isTextNode()) {
915             TextImpl *textNode = static_cast<TextImpl *>(node);
916             bool isStartNode = node == start.node();
917             bool isEndNode = node == end.node();
918             int startOffset = isStartNode ? start.offset() : 0;
919             int endOffset = isEndNode ? end.offset() : textNode->length();
920             deleteInsignificantText(textNode, startOffset, endOffset);
921         }
922             
923         if (node == end.node())
924             break;
925         node = next;
926     }
927 }
928
929 void CompositeEditCommand::deleteInsignificantTextDownstream(const DOM::Position &pos)
930 {
931     Position end = VisiblePosition(pos).next().deepEquivalent().downstream(StayInBlock);
932     deleteInsignificantText(pos, end);
933 }
934
935 void CompositeEditCommand::insertBlockPlaceholderIfNeeded(NodeImpl *node)
936 {
937     document()->updateLayout();
938
939     RenderObject *renderer = node->renderer();
940     if (!renderer->isBlockFlow())
941         return;
942     
943     if (renderer->height() > 0)
944         return;
945
946     int exceptionCode = 0;
947     ElementImpl *breakNode = document()->createHTMLElement("BR", exceptionCode);
948     ASSERT(exceptionCode == 0);
949     breakNode->setAttribute(ATTR_CLASS, blockPlaceholderClassString());
950     appendNode(breakNode, node);
951 }
952
953 bool CompositeEditCommand::removeBlockPlaceholderIfNeeded(NodeImpl *node)
954 {
955     document()->updateLayout();
956
957     RenderObject *renderer = node->renderer();
958     if (!renderer->isBlockFlow())
959         return false;
960
961     // This code will remove a block placeholder if it still is at the end
962     // of a block, where we placed it in insertBlockPlaceholderIfNeeded().
963     // Of course, a person who hand-edits an HTML file could move a 
964     // placeholder around, but it seems OK to be unconcerned about that case.
965     NodeImpl *last = node->lastChild();
966     if (last && last->isHTMLElement()) {
967         ElementImpl *element = static_cast<ElementImpl *>(last);
968         if (element->getAttribute(ATTR_CLASS) == blockPlaceholderClassString()) {
969             removeNode(element);
970             return true;
971         }
972     }
973     return false;
974 }
975
976 //==========================================================================================
977 // Concrete commands
978 //------------------------------------------------------------------------------------------
979 // AppendNodeCommand
980
981 AppendNodeCommand::AppendNodeCommand(DocumentImpl *document, NodeImpl *appendChild, NodeImpl *parentNode)
982     : EditCommand(document), m_appendChild(appendChild), m_parentNode(parentNode)
983 {
984     ASSERT(m_appendChild);
985     m_appendChild->ref();
986
987     ASSERT(m_parentNode);
988     m_parentNode->ref();
989 }
990
991 AppendNodeCommand::~AppendNodeCommand()
992 {
993     ASSERT(m_appendChild);
994     m_appendChild->deref();
995
996     ASSERT(m_parentNode);
997     m_parentNode->deref();
998 }
999
1000 void AppendNodeCommand::doApply()
1001 {
1002     ASSERT(m_appendChild);
1003     ASSERT(m_parentNode);
1004
1005     int exceptionCode = 0;
1006     m_parentNode->appendChild(m_appendChild, exceptionCode);
1007     ASSERT(exceptionCode == 0);
1008 }
1009
1010 void AppendNodeCommand::doUnapply()
1011 {
1012     ASSERT(m_appendChild);
1013     ASSERT(m_parentNode);
1014     ASSERT(state() == Applied);
1015
1016     int exceptionCode = 0;
1017     m_parentNode->removeChild(m_appendChild, exceptionCode);
1018     ASSERT(exceptionCode == 0);
1019 }
1020
1021 //------------------------------------------------------------------------------------------
1022 // ApplyStyleCommand
1023
1024 ApplyStyleCommand::ApplyStyleCommand(DocumentImpl *document, CSSStyleDeclarationImpl *style, EditAction editingAction)
1025     : CompositeEditCommand(document), m_style(style->makeMutable()), m_editingAction(editingAction)
1026 {   
1027     ASSERT(m_style);
1028     m_style->ref();
1029 }
1030
1031 ApplyStyleCommand::~ApplyStyleCommand()
1032 {
1033     ASSERT(m_style);
1034     m_style->deref();
1035 }
1036
1037 void ApplyStyleCommand::doApply()
1038 {
1039     // apply the block-centric properties of the style
1040     CSSMutableStyleDeclarationImpl *blockStyle = m_style->copyBlockProperties();
1041     blockStyle->ref();
1042     applyBlockStyle(blockStyle);
1043
1044     // apply any remaining styles to the inline elements
1045     // NOTE: hopefully, this string comparison is the same as checking for a non-null diff
1046     if (blockStyle->length() < m_style->length()) {
1047         CSSMutableStyleDeclarationImpl *inlineStyle = m_style->copy();
1048         inlineStyle->ref();
1049         blockStyle->diff(inlineStyle);
1050         applyInlineStyle(inlineStyle);
1051         inlineStyle->deref();
1052     }
1053
1054     blockStyle->deref();
1055     
1056     setEndingSelectionNeedsLayout();
1057 }
1058
1059 EditAction ApplyStyleCommand::editingAction() const
1060 {
1061     return m_editingAction;
1062 }
1063
1064 void ApplyStyleCommand::applyBlockStyle(CSSMutableStyleDeclarationImpl *style)
1065 {
1066     // update document layout once before removing styles
1067     // so that we avoid the expense of updating before each and every call
1068     // to check a computed style
1069     document()->updateLayout();
1070
1071     // get positions we want to use for applying style
1072     Position start(endingSelection().start());
1073     Position end(endingSelection().end());
1074     
1075     // remove current values, if any, of the specified styles from the blocks
1076     // NOTE: tracks the previous block to avoid repeated processing
1077     NodeImpl *beyondEnd = end.node()->traverseNextNode();
1078     NodeImpl *prevBlock = 0;
1079     for (NodeImpl *node = start.node(); node != beyondEnd; node = node->traverseNextNode()) {
1080         NodeImpl *block = node->enclosingBlockFlowElement();
1081         if (block != prevBlock && block->isHTMLElement()) {
1082             removeCSSStyle(style, static_cast<HTMLElementImpl *>(block));
1083             prevBlock = block;
1084         }
1085     }
1086     
1087     // apply specified styles to the block flow elements in the selected range
1088     prevBlock = 0;
1089     for (NodeImpl *node = start.node(); node != beyondEnd; node = node->traverseNextNode()) {
1090         NodeImpl *block = node->enclosingBlockFlowElement();
1091         if (block != prevBlock && block->isHTMLElement()) {
1092             addBlockStyleIfNeeded(style, static_cast<HTMLElementImpl *>(block));
1093             prevBlock = block;
1094         }
1095     }
1096 }
1097
1098 void ApplyStyleCommand::applyInlineStyle(CSSMutableStyleDeclarationImpl *style)
1099 {
1100     // adjust to the positions we want to use for applying style
1101     Position start(endingSelection().start().downstream(StayInBlock).equivalentRangeCompliantPosition());
1102     Position end(endingSelection().end().upstream(StayInBlock));
1103
1104     // update document layout once before removing styles
1105     // so that we avoid the expense of updating before each and every call
1106     // to check a computed style
1107     document()->updateLayout();
1108
1109     // Remove style from the selection.
1110     // Use the upstream position of the start for removing style.
1111     // This will ensure we remove all traces of the relevant styles from the selection
1112     // and prevent us from adding redundant ones, as described in:
1113     // <rdar://problem/3724344> Bolding and unbolding creates extraneous tags
1114     removeInlineStyle(style, start.upstream(), end);
1115     
1116     // split the start node if the selection starts inside of it
1117     bool splitStart = splitTextAtStartIfNeeded(start, end); 
1118     if (splitStart) {
1119         start = endingSelection().start();
1120         end = endingSelection().end();
1121     }
1122
1123     // split the end node if the selection ends inside of it
1124     splitTextAtEndIfNeeded(start, end);
1125     start = endingSelection().start();
1126     end = endingSelection().end();
1127
1128     // update document layout once before running the rest of the function
1129     // so that we avoid the expense of updating before each and every call
1130     // to check a computed style
1131     document()->updateLayout();
1132     
1133     if (start.node() == end.node()) {
1134         // simple case...start and end are the same node
1135         addInlineStyleIfNeeded(style, start.node(), end.node());
1136     }
1137     else {
1138         NodeImpl *node = start.node();
1139         while (1) {
1140             if (node->childNodeCount() == 0 && node->renderer() && node->renderer()->isInline()) {
1141                 NodeImpl *runStart = node;
1142                 while (1) {
1143                     NodeImpl *next = node->traverseNextNode();
1144                     // Break if node is the end node, or if the next node does not fit in with
1145                     // the current group.
1146                     if (node == end.node() || 
1147                         runStart->parentNode() != next->parentNode() || 
1148                         (next->isHTMLElement() && next->id() != ID_BR) || 
1149                         (next->renderer() && !next->renderer()->isInline()))
1150                         break;
1151                     node = next;
1152                 }
1153                 // Now apply style to the run we found.
1154                 addInlineStyleIfNeeded(style, runStart, node);
1155             }
1156             if (node == end.node())
1157                 break;
1158             node = node->traverseNextNode();
1159         }
1160     }
1161 }
1162
1163 //------------------------------------------------------------------------------------------
1164 // ApplyStyleCommand: style-removal helpers
1165
1166 bool ApplyStyleCommand::isHTMLStyleNode(CSSMutableStyleDeclarationImpl *style, HTMLElementImpl *elem)
1167 {
1168     QValueListConstIterator<CSSProperty> end;
1169     for (QValueListConstIterator<CSSProperty> it = style->valuesIterator(); it != end; ++it) {
1170         switch ((*it).id()) {
1171             case CSS_PROP_FONT_WEIGHT:
1172                 if (elem->id() == ID_B)
1173                     return true;
1174                 break;
1175             case CSS_PROP_FONT_STYLE:
1176                 if (elem->id() == ID_I)
1177                     return true;
1178                 break;
1179         }
1180     }
1181
1182     return false;
1183 }
1184
1185 void ApplyStyleCommand::removeHTMLStyleNode(HTMLElementImpl *elem)
1186 {
1187     // This node can be removed.
1188     // EDIT FIXME: This does not handle the case where the node
1189     // has attributes. But how often do people add attributes to <B> tags? 
1190     // Not so often I think.
1191     ASSERT(elem);
1192     removeNodePreservingChildren(elem);
1193 }
1194
1195 void ApplyStyleCommand::removeCSSStyle(CSSMutableStyleDeclarationImpl *style, HTMLElementImpl *elem)
1196 {
1197     ASSERT(style);
1198     ASSERT(elem);
1199
1200     CSSMutableStyleDeclarationImpl *decl = elem->inlineStyleDecl();
1201     if (!decl)
1202         return;
1203
1204     QValueListConstIterator<CSSProperty> end;
1205     for (QValueListConstIterator<CSSProperty> it = style->valuesIterator(); it != end; ++it) {
1206         int propertyID = (*it).id();
1207         CSSValueImpl *value = decl->getPropertyCSSValue(propertyID);
1208         if (value) {
1209             value->ref();
1210             removeCSSProperty(decl, propertyID);
1211             value->deref();
1212         }
1213     }
1214
1215     if (elem->id() == ID_SPAN && elem->renderer() && elem->renderer()->isInline()) {
1216         // Check to see if the span is one we added to apply style.
1217         // If it is, and there are no more attributes on the span other than our
1218         // class marker, remove the span.
1219         if (decl->length() == 0) {
1220             removeNodeAttribute(elem, ATTR_STYLE);
1221             NamedAttrMapImpl *map = elem->attributes();
1222             if (map && map->length() == 1 && elem->getAttribute(ATTR_CLASS) == styleSpanClassString())
1223                 removeNodePreservingChildren(elem);
1224         }
1225     }
1226 }
1227
1228 void ApplyStyleCommand::removeBlockStyle(CSSMutableStyleDeclarationImpl *style, const Position &start, const Position &end)
1229 {
1230     ASSERT(start.isNotNull());
1231     ASSERT(end.isNotNull());
1232     ASSERT(start.node()->inDocument());
1233     ASSERT(end.node()->inDocument());
1234     ASSERT(RangeImpl::compareBoundaryPoints(start, end) <= 0);
1235     
1236 }
1237
1238 void ApplyStyleCommand::removeInlineStyle(CSSMutableStyleDeclarationImpl *style, const Position &start, const Position &end)
1239 {
1240     ASSERT(start.isNotNull());
1241     ASSERT(end.isNotNull());
1242     ASSERT(start.node()->inDocument());
1243     ASSERT(end.node()->inDocument());
1244     ASSERT(RangeImpl::compareBoundaryPoints(start, end) <= 0);
1245     
1246     NodeImpl *node = start.node();
1247     while (node) {
1248         NodeImpl *next = node->traverseNextNode();
1249         if (node->isHTMLElement() && nodeFullySelected(node, start, end)) {
1250             HTMLElementImpl *elem = static_cast<HTMLElementImpl *>(node);
1251             if (isHTMLStyleNode(style, elem))
1252                 removeHTMLStyleNode(elem);
1253             else
1254                 removeCSSStyle(style, elem);
1255         }
1256         if (node == end.node())
1257             break;
1258         node = next;
1259     }
1260 }
1261
1262 bool ApplyStyleCommand::nodeFullySelected(NodeImpl *node, const Position &start, const Position &end) const
1263 {
1264     ASSERT(node);
1265
1266     Position pos = Position(node, node->childNodeCount()).upstream();
1267     return RangeImpl::compareBoundaryPoints(node, 0, start.node(), start.offset()) >= 0 &&
1268         RangeImpl::compareBoundaryPoints(pos, end) <= 0;
1269 }
1270
1271 //------------------------------------------------------------------------------------------
1272 // ApplyStyleCommand: style-application helpers
1273
1274
1275 bool ApplyStyleCommand::splitTextAtStartIfNeeded(const Position &start, const Position &end)
1276 {
1277     if (start.node()->isTextNode() && start.offset() > start.node()->caretMinOffset() && start.offset() < start.node()->caretMaxOffset()) {
1278         long endOffsetAdjustment = start.node() == end.node() ? start.offset() : 0;
1279         TextImpl *text = static_cast<TextImpl *>(start.node());
1280         EditCommandPtr cmd(new SplitTextNodeCommand(document(), text, start.offset()));
1281         applyCommandToComposite(cmd);
1282         setEndingSelection(Selection(Position(start.node(), 0), Position(end.node(), end.offset() - endOffsetAdjustment)));
1283         return true;
1284     }
1285     return false;
1286 }
1287
1288 NodeImpl *ApplyStyleCommand::splitTextAtEndIfNeeded(const Position &start, const Position &end)
1289 {
1290     if (end.node()->isTextNode() && end.offset() > end.node()->caretMinOffset() && end.offset() < end.node()->caretMaxOffset()) {
1291         TextImpl *text = static_cast<TextImpl *>(end.node());
1292         SplitTextNodeCommand *impl = new SplitTextNodeCommand(document(), text, end.offset());
1293         EditCommandPtr cmd(impl);
1294         applyCommandToComposite(cmd);
1295         NodeImpl *startNode = start.node() == end.node() ? impl->node()->previousSibling() : start.node();
1296         ASSERT(startNode);
1297         setEndingSelection(Selection(Position(startNode, start.offset()), Position(impl->node()->previousSibling(), impl->node()->previousSibling()->caretMaxOffset())));
1298         return impl->node()->previousSibling();
1299     }
1300     return end.node();
1301 }
1302
1303 void ApplyStyleCommand::surroundNodeRangeWithElement(NodeImpl *startNode, NodeImpl *endNode, ElementImpl *element)
1304 {
1305     ASSERT(startNode);
1306     ASSERT(endNode);
1307     ASSERT(element);
1308     
1309     NodeImpl *node = startNode;
1310     while (1) {
1311         NodeImpl *next = node->traverseNextNode();
1312         if (node->childNodeCount() == 0 && node->renderer() && node->renderer()->isInline()) {
1313             removeNode(node);
1314             appendNode(node, element);
1315         }
1316         if (node == endNode)
1317             break;
1318         node = next;
1319     }
1320 }
1321
1322 void ApplyStyleCommand::addBlockStyleIfNeeded(CSSMutableStyleDeclarationImpl *style, HTMLElementImpl *block)
1323 {
1324     // Do not check for legacy styles here. Those styles, like <B> and <I>, only apply for
1325     // inline content.
1326     StyleChange styleChange(style, Position(block, 0), StyleChange::DoNotUseLegacyHTMLStyles);
1327     if (styleChange.cssStyle().length() > 0) {
1328         DOMString cssText = styleChange.cssStyle();
1329         CSSMutableStyleDeclarationImpl *decl = block->inlineStyleDecl();
1330         if (decl)
1331             cssText += decl->cssText();
1332         block->setAttribute(ATTR_STYLE, cssText);
1333     }
1334 }
1335
1336 void ApplyStyleCommand::addInlineStyleIfNeeded(CSSMutableStyleDeclarationImpl *style, NodeImpl *startNode, NodeImpl *endNode)
1337 {
1338     // FIXME: This function should share code with CompositeEditCommand::applyTypingStyle.
1339     // Both functions do similar work, and the common parts could be factored out.
1340
1341     StyleChange styleChange(style, Position(startNode, 0));
1342     int exceptionCode = 0;
1343     
1344     if (styleChange.cssStyle().length() > 0) {
1345         ElementImpl *styleElement = document()->createHTMLElement("SPAN", exceptionCode);
1346         ASSERT(exceptionCode == 0);
1347         styleElement->setAttribute(ATTR_STYLE, styleChange.cssStyle());
1348         styleElement->setAttribute(ATTR_CLASS, styleSpanClassString());
1349         insertNodeBefore(styleElement, startNode);
1350         surroundNodeRangeWithElement(startNode, endNode, styleElement);
1351     }
1352
1353     if (styleChange.applyBold()) {
1354         ElementImpl *boldElement = document()->createHTMLElement("B", exceptionCode);
1355         ASSERT(exceptionCode == 0);
1356         insertNodeBefore(boldElement, startNode);
1357         surroundNodeRangeWithElement(startNode, endNode, boldElement);
1358     }
1359
1360     if (styleChange.applyItalic()) {
1361         ElementImpl *italicElement = document()->createHTMLElement("I", exceptionCode);
1362         ASSERT(exceptionCode == 0);
1363         insertNodeBefore(italicElement, startNode);
1364         surroundNodeRangeWithElement(startNode, endNode, italicElement);
1365     }
1366 }
1367
1368 Position ApplyStyleCommand::positionInsertionPoint(Position pos)
1369 {
1370     if (pos.node()->isTextNode() && (pos.offset() > 0 && pos.offset() < pos.node()->maxOffset())) {
1371         SplitTextNodeCommand *impl = new SplitTextNodeCommand(document(), static_cast<TextImpl *>(pos.node()), pos.offset());
1372         EditCommandPtr split(impl);
1373         split.apply();
1374         pos = Position(impl->node(), 0);
1375     }
1376
1377 #if 0
1378     // EDIT FIXME: If modified to work with the internals of applying style,
1379     // this code can work to optimize cases where a style change is taking place on
1380     // a boundary between nodes where one of the nodes has the desired style. In other
1381     // words, it is possible for content to be merged into existing nodes rather than adding
1382     // additional markup.
1383     if (currentlyHasStyle(pos))
1384         return pos;
1385         
1386     // try next node
1387     if (pos.offset() >= pos.node()->caretMaxOffset()) {
1388         NodeImpl *nextNode = pos.node()->traverseNextNode();
1389         if (nextNode) {
1390             Position next = Position(nextNode, 0);
1391             if (currentlyHasStyle(next))
1392                 return next;
1393         }
1394     }
1395
1396     // try previous node
1397     if (pos.offset() <= pos.node()->caretMinOffset()) {
1398         NodeImpl *prevNode = pos.node()->traversePreviousNode();
1399         if (prevNode) {
1400             Position prev = Position(prevNode, prevNode->maxOffset());
1401             if (currentlyHasStyle(prev))
1402                 return prev;
1403         }
1404     }
1405 #endif
1406     
1407     return pos;
1408 }
1409
1410 //------------------------------------------------------------------------------------------
1411 // DeleteFromTextNodeCommand
1412
1413 DeleteFromTextNodeCommand::DeleteFromTextNodeCommand(DocumentImpl *document, TextImpl *node, long offset, long count)
1414     : EditCommand(document), m_node(node), m_offset(offset), m_count(count)
1415 {
1416     ASSERT(m_node);
1417     ASSERT(m_offset >= 0);
1418     ASSERT(m_offset < (long)m_node->length());
1419     ASSERT(m_count >= 0);
1420     
1421     m_node->ref();
1422 }
1423
1424 DeleteFromTextNodeCommand::~DeleteFromTextNodeCommand()
1425 {
1426     ASSERT(m_node);
1427     m_node->deref();
1428 }
1429
1430 void DeleteFromTextNodeCommand::doApply()
1431 {
1432     ASSERT(m_node);
1433
1434     int exceptionCode = 0;
1435     m_text = m_node->substringData(m_offset, m_count, exceptionCode);
1436     ASSERT(exceptionCode == 0);
1437     
1438     m_node->deleteData(m_offset, m_count, exceptionCode);
1439     ASSERT(exceptionCode == 0);
1440 }
1441
1442 void DeleteFromTextNodeCommand::doUnapply()
1443 {
1444     ASSERT(m_node);
1445     ASSERT(!m_text.isEmpty());
1446
1447     int exceptionCode = 0;
1448     m_node->insertData(m_offset, m_text, exceptionCode);
1449     ASSERT(exceptionCode == 0);
1450 }
1451
1452 //------------------------------------------------------------------------------------------
1453 // DeleteSelectionCommand
1454
1455 DeleteSelectionCommand::DeleteSelectionCommand(DocumentImpl *document, bool smartDelete, bool mergeBlocksAfterDelete)
1456     : CompositeEditCommand(document), 
1457       m_hasSelectionToDelete(false), 
1458       m_smartDelete(smartDelete), 
1459       m_mergeBlocksAfterDelete(mergeBlocksAfterDelete),
1460       m_startBlock(0),
1461       m_endBlock(0),
1462       m_startNode(0),
1463       m_typingStyle(0)
1464 {
1465 }
1466
1467 DeleteSelectionCommand::DeleteSelectionCommand(DocumentImpl *document, const Selection &selection, bool smartDelete, bool mergeBlocksAfterDelete)
1468     : CompositeEditCommand(document), 
1469       m_hasSelectionToDelete(true), 
1470       m_smartDelete(smartDelete), 
1471       m_mergeBlocksAfterDelete(mergeBlocksAfterDelete),
1472       m_selectionToDelete(selection),
1473       m_startBlock(0),
1474       m_endBlock(0),
1475       m_startNode(0),
1476       m_typingStyle(0)
1477 {
1478 }
1479
1480 void DeleteSelectionCommand::initializePositionData()
1481 {
1482     //
1483     // Handle setting some basic positions
1484     //
1485     Position start = m_selectionToDelete.start();
1486     Position end = m_selectionToDelete.end();
1487
1488     m_upstreamStart = start.upstream(StayInBlock);
1489     m_downstreamStart = start.downstream(StayInBlock);
1490     m_upstreamEnd = end.upstream(StayInBlock);
1491     m_downstreamEnd = end.downstream(StayInBlock);
1492
1493     //
1494     // Handle leading and trailing whitespace, as well as smart delete adjustments to the selection
1495     //
1496     m_leadingWhitespace = m_upstreamStart.leadingWhitespacePosition();
1497     bool hasLeadingWhitespaceBeforeAdjustment = m_leadingWhitespace.isNotNull();
1498     if (m_smartDelete && hasLeadingWhitespaceBeforeAdjustment) {
1499         Position pos = VisiblePosition(start).previous().deepEquivalent();
1500         // Expand out one character upstream for smart delete and recalculate
1501         // positions based on this change.
1502         m_upstreamStart = pos.upstream(StayInBlock);
1503         m_downstreamStart = pos.downstream(StayInBlock);
1504         m_leadingWhitespace = m_upstreamStart.leadingWhitespacePosition();
1505     }
1506     m_trailingWhitespace = m_downstreamEnd.trailingWhitespacePosition();
1507     // Note: trailing whitespace is only considered for smart delete if there is no leading
1508     // whitespace, as in the case where you double-click the first word of a paragraph.
1509     if (m_smartDelete && !hasLeadingWhitespaceBeforeAdjustment && m_trailingWhitespace.isNotNull()) {
1510         // Expand out one character downstream for smart delete and recalculate
1511         // positions based on this change.
1512         Position pos = VisiblePosition(end).next().deepEquivalent();
1513         m_upstreamEnd = pos.upstream(StayInBlock);
1514         m_downstreamEnd = pos.downstream(StayInBlock);
1515         m_trailingWhitespace = m_downstreamEnd.trailingWhitespacePosition();
1516     }
1517     m_trailingWhitespaceValid = true;
1518     
1519     //
1520     // Handle setting start and end blocks and the start node.
1521     //
1522     m_startBlock = m_downstreamStart.node()->enclosingBlockFlowElement();
1523     m_startBlock->ref();
1524     m_endBlock = m_upstreamEnd.node()->enclosingBlockFlowElement();
1525     m_endBlock->ref();
1526     m_startNode = m_upstreamStart.node();
1527     m_startNode->ref();
1528
1529     //
1530     // Handle detecting if the line containing the selection end is itself fully selected.
1531     // This is one of the tests that determines if block merging of content needs to be done.
1532     //
1533     VisiblePosition visibleEnd(end);
1534     if (isFirstVisiblePositionOnLine(visibleEnd)) {
1535         Position previousLineStart = previousLinePosition(visibleEnd, DOWNSTREAM, 0).deepEquivalent();
1536         if (previousLineStart.isNull() || RangeImpl::compareBoundaryPoints(previousLineStart, m_downstreamStart) >= 0)
1537             m_mergeBlocksAfterDelete = false;
1538     }
1539
1540     debugPosition("m_upstreamStart      ", m_upstreamStart);
1541     debugPosition("m_downstreamStart    ", m_downstreamStart);
1542     debugPosition("m_upstreamEnd        ", m_upstreamEnd);
1543     debugPosition("m_downstreamEnd      ", m_downstreamEnd);
1544     debugPosition("m_leadingWhitespace  ", m_leadingWhitespace);
1545     debugPosition("m_trailingWhitespace ", m_trailingWhitespace);
1546     debugNode(    "m_startBlock         ", m_startBlock);
1547     debugNode(    "m_endBlock           ", m_endBlock);    
1548     debugNode(    "m_startNode          ", m_startNode);    
1549 }
1550
1551 void DeleteSelectionCommand::saveTypingStyleState()
1552 {
1553     // Figure out the typing style in effect before the delete is done.
1554     // FIXME: Improve typing style.
1555     // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
1556     CSSComputedStyleDeclarationImpl *computedStyle = m_selectionToDelete.start().computedStyle();
1557     computedStyle->ref();
1558     m_typingStyle = computedStyle->copyInheritableProperties();
1559     m_typingStyle->ref();
1560     computedStyle->deref();
1561 }
1562
1563 bool DeleteSelectionCommand::handleSpecialCaseAllContentDelete()
1564 {
1565     Position start = m_downstreamStart;
1566     Position end = m_upstreamEnd;
1567
1568     ElementImpl *rootElement = start.node()->rootEditableElement();
1569     Position rootStart = Position(rootElement, 0);
1570     Position rootEnd = Position(rootElement, rootElement ? rootElement->childNodeCount() : 0).equivalentDeepPosition();
1571     if (start == VisiblePosition(rootStart).downstreamDeepEquivalent() && end == VisiblePosition(rootEnd).deepEquivalent()) {
1572         // Delete every child of the root editable element
1573         NodeImpl *node = rootElement->firstChild();
1574         while (node) {
1575             NodeImpl *next = node->traverseNextSibling();
1576             removeNode(node);
1577             node = next;
1578         }
1579         return true;
1580     }
1581     return false;
1582 }
1583
1584 bool DeleteSelectionCommand::handleSpecialCaseBRDelete()
1585 {
1586     // Check for special-case where the selection contains only a BR on a line by itself after another BR.
1587     bool upstreamStartIsBR = m_startNode->id() == ID_BR;
1588     bool downstreamStartIsBR = m_downstreamStart.node()->id() == ID_BR;
1589     bool isBROnLineByItself = upstreamStartIsBR && downstreamStartIsBR && m_downstreamStart.node() == m_upstreamEnd.node();
1590     if (isBROnLineByItself) {
1591         removeNode(m_downstreamStart.node());
1592         m_endingPosition = m_upstreamStart;
1593         m_mergeBlocksAfterDelete = false;
1594         return true;
1595     }
1596
1597     // Check for special-case where the selection contains only a BR right after a block ended.
1598     bool downstreamEndIsBR = m_downstreamEnd.node()->id() == ID_BR;
1599     Position upstreamFromBR = m_downstreamEnd.upstream();
1600     Position downstreamFromStart = m_downstreamStart.downstream();
1601     bool startIsBRAfterBlock = downstreamEndIsBR && downstreamFromStart.node() == m_downstreamEnd.node() &&
1602         m_downstreamEnd.node()->enclosingBlockFlowElement() != upstreamFromBR.node()->enclosingBlockFlowElement();
1603     if (startIsBRAfterBlock) {
1604         removeNode(m_downstreamEnd.node());
1605         m_endingPosition = upstreamFromBR;
1606         m_mergeBlocksAfterDelete = false;
1607         return true;
1608     }
1609
1610     // Not a special-case delete per se, but we can detect that the merging of content between blocks
1611     // should not be done.
1612     if (upstreamStartIsBR && downstreamStartIsBR)
1613         m_mergeBlocksAfterDelete = false;
1614
1615     return false;
1616 }
1617
1618 void DeleteSelectionCommand::handleGeneralDelete()
1619 {
1620     int startOffset = m_upstreamStart.offset();
1621
1622     if (startOffset == 0 && m_startNode->isBlockFlow() && m_startBlock != m_endBlock && !m_endBlock->isAncestor(m_startBlock)) {
1623         // The block containing the start of the selection is completely selected. 
1624         // Delete it all in one step right here.
1625         ASSERT(!m_downstreamEnd.node()->isAncestor(m_startNode));
1626
1627         // shift the start node to the start of the next block.
1628         NodeImpl *old = m_startNode;
1629         m_startNode = m_startBlock->traverseNextSibling();
1630         m_startNode->ref();
1631         old->deref();
1632         startOffset = 0;
1633
1634         removeFullySelectedNode(m_startBlock);
1635     }
1636     else if (startOffset >= m_startNode->caretMaxOffset()) {
1637         // Move the start node to the next node in the tree since the startOffset is equal to
1638         // or beyond the start node's caretMaxOffset This means there is nothing visible to delete. 
1639         // However, before moving on, delete any insignificant text that may be present in a text node.
1640         if (m_startNode->isTextNode()) {
1641             // Delete any insignificant text from this node.
1642             TextImpl *text = static_cast<TextImpl *>(m_startNode);
1643             if (text->length() > (unsigned)m_startNode->caretMaxOffset())
1644                 deleteTextFromNode(text, m_startNode->caretMaxOffset(), text->length() - m_startNode->caretMaxOffset());
1645         }
1646         
1647         // shift the start node to the next
1648         NodeImpl *old = m_startNode;
1649         m_startNode = old->traverseNextNode();
1650         m_startNode->ref();
1651         old->deref();
1652         startOffset = 0;
1653     }
1654
1655     if (m_startNode == m_downstreamEnd.node()) {
1656         // The selection to delete is all in one node.
1657         if (!m_startNode->renderer() || 
1658             (startOffset <= m_startNode->caretMinOffset() && m_downstreamEnd.offset() >= m_startNode->caretMaxOffset())) {
1659             // just delete
1660             removeFullySelectedNode(m_startNode);
1661         }
1662         else if (m_downstreamEnd.offset() - startOffset > 0) {
1663             // in a text node that needs to be trimmed
1664             TextImpl *text = static_cast<TextImpl *>(m_startNode);
1665             deleteTextFromNode(text, startOffset, m_downstreamEnd.offset() - startOffset);
1666             m_trailingWhitespaceValid = false;
1667         }
1668     }
1669     else {
1670         // The selection to delete spans more than one node.
1671         NodeImpl *node = m_startNode;
1672         
1673         if (startOffset > 0) {
1674             // in a text node that needs to be trimmed
1675             TextImpl *text = static_cast<TextImpl *>(node);
1676             deleteTextFromNode(text, startOffset, text->length() - startOffset);
1677             node = node->traverseNextNode();
1678         }
1679         
1680         // handle deleting all nodes that are completely selected
1681         while (node && node != m_downstreamEnd.node()) {
1682             if (!m_downstreamEnd.node()->isAncestor(node)) {
1683                 NodeImpl *nextNode = node->traverseNextSibling();
1684                 removeFullySelectedNode(node);
1685                 node = nextNode;
1686             }
1687             else {
1688                 NodeImpl *n = node->lastChild();
1689                 while (n && n->lastChild())
1690                     n = n->lastChild();
1691                 if (n == m_downstreamEnd.node() && m_downstreamEnd.offset() >= m_downstreamEnd.node()->caretMaxOffset()) {
1692                     // remove an ancestor of m_downstreamEnd.node(), and thus m_downstreamEnd.node() itself
1693                     removeFullySelectedNode(node);
1694                     m_trailingWhitespaceValid = false;
1695                     node = 0;
1696                 } 
1697                 else {
1698                     node = node->traverseNextNode();
1699                 }
1700             }
1701         }
1702
1703         if (m_downstreamEnd.node() != m_startNode && m_downstreamEnd.node()->inDocument() && m_downstreamEnd.offset() >= m_downstreamEnd.node()->caretMinOffset()) {
1704             if (m_downstreamEnd.offset() >= m_downstreamEnd.node()->caretMaxOffset()) {
1705                 // need to delete whole node
1706                 // we can get here if this is the last node in the block
1707                 removeFullySelectedNode(m_downstreamEnd.node());
1708                 m_trailingWhitespaceValid = false;
1709             }
1710             else {
1711                 // in a text node that needs to be trimmed
1712                 TextImpl *text = static_cast<TextImpl *>(m_downstreamEnd.node());
1713                 if (m_downstreamEnd.offset() > 0) {
1714                     deleteTextFromNode(text, 0, m_downstreamEnd.offset());
1715                     m_downstreamEnd = Position(text, 0);
1716                     m_trailingWhitespaceValid = false;
1717                 }
1718             }
1719         }
1720     }
1721 }
1722
1723 void DeleteSelectionCommand::fixupWhitespace()
1724 {
1725     document()->updateLayout();
1726     if (m_leadingWhitespace.isNotNull() && (m_trailingWhitespace.isNotNull() || !m_leadingWhitespace.isRenderedCharacter())) {
1727         LOG(Editing, "replace leading");
1728         TextImpl *textNode = static_cast<TextImpl *>(m_leadingWhitespace.node());
1729         replaceTextInNode(textNode, m_leadingWhitespace.offset(), 1, nonBreakingSpaceString());
1730     }
1731     else if (m_trailingWhitespace.isNotNull()) {
1732         if (m_trailingWhitespaceValid) {
1733             if (!m_trailingWhitespace.isRenderedCharacter()) {
1734                 LOG(Editing, "replace trailing [valid]");
1735                 TextImpl *textNode = static_cast<TextImpl *>(m_trailingWhitespace.node());
1736                 replaceTextInNode(textNode, m_trailingWhitespace.offset(), 1, nonBreakingSpaceString());
1737             }
1738         }
1739         else {
1740             Position pos = m_endingPosition.downstream(StayInBlock);
1741             pos = Position(pos.node(), pos.offset() - 1);
1742             if (isWS(pos) && !pos.isRenderedCharacter()) {
1743                 LOG(Editing, "replace trailing [invalid]");
1744                 TextImpl *textNode = static_cast<TextImpl *>(pos.node());
1745                 replaceTextInNode(textNode, pos.offset(), 1, nonBreakingSpaceString());
1746                 // need to adjust ending position since the trailing position is not valid.
1747                 m_endingPosition = pos;
1748             }
1749         }
1750     }
1751 }
1752
1753 // This function moves nodes in the block containing startNode to dstBlock, starting
1754 // from startNode and proceeding to the end of the block. Nodes in the block containing
1755 // startNode that appear in document order before startNode are not moved.
1756 // This function is an important helper for deleting selections that cross block
1757 // boundaries.
1758 void DeleteSelectionCommand::moveNodesAfterNode()
1759 {
1760     if (!m_mergeBlocksAfterDelete)
1761         return;
1762
1763     if (m_endBlock == m_startBlock)
1764         return;
1765
1766     NodeImpl *startNode = m_downstreamEnd.node();
1767     NodeImpl *dstNode = m_upstreamStart.node();
1768
1769     if (!startNode->inDocument() || !dstNode->inDocument())
1770         return;
1771
1772     NodeImpl *startBlock = startNode->enclosingBlockFlowElement();
1773     if (isTableStructureNode(startBlock))
1774         // Do not move content between parts of a table
1775         return;
1776
1777     // Now that we are about to add content, check to see if a placeholder element
1778     // can be removed.
1779     removeBlockPlaceholderIfNeeded(startBlock);
1780
1781     // Move the subtree containing node
1782     NodeImpl *node = startNode->enclosingInlineElement();
1783
1784     // Insert after the subtree containing destNode
1785     NodeImpl *refNode = dstNode->enclosingInlineElement();
1786
1787     // Nothing to do if start is already at the beginning of dstBlock
1788     NodeImpl *dstBlock = refNode->enclosingBlockFlowElement();
1789     if (startBlock == dstBlock->firstChild())
1790         return;
1791
1792     // Do the move.
1793     while (node && node->isAncestor(startBlock)) {
1794         NodeImpl *moveNode = node;
1795         node = node->nextSibling();
1796         removeNode(moveNode);
1797         insertNodeAfter(moveNode, refNode);
1798         refNode = moveNode;
1799     }
1800
1801     // If the startBlock no longer has any kids, we may need to deal with adding a BR
1802     // to make the layout come out right. Consider this document:
1803     //
1804     // One
1805     // <div>Two</div>
1806     // Three
1807     // 
1808     // Placing the insertion before before the 'T' of 'Two' and hitting delete will
1809     // move the contents of the div to the block containing 'One' and delete the div.
1810     // This will have the side effect of moving 'Three' on to the same line as 'One'
1811     // and 'Two'. This is undesirable. We fix this up by adding a BR before the 'Three'.
1812     // This may not be ideal, but it is better than nothing.
1813     document()->updateLayout();
1814     if (!startBlock->renderer() || !startBlock->renderer()->firstChild()) {
1815         removeNode(startBlock);
1816         if (refNode->renderer() && refNode->renderer()->inlineBox() && refNode->renderer()->inlineBox()->nextOnLineExists()) {
1817             int exceptionCode = 0;
1818             ElementImpl *breakNode = document()->createHTMLElement("BR", exceptionCode);
1819             ASSERT(exceptionCode == 0);
1820             insertNodeAfter(breakNode, refNode);
1821         }
1822     }
1823 }
1824
1825 void DeleteSelectionCommand::calculateEndingPosition()
1826 {
1827     if (m_endingPosition.isNotNull() && m_endingPosition.node()->inDocument())
1828         return;
1829
1830     m_endingPosition = m_upstreamStart;
1831     if (m_endingPosition.node()->inDocument())
1832         return;
1833     
1834     m_endingPosition = m_downstreamEnd;
1835     if (m_endingPosition.node()->inDocument())
1836         return;
1837
1838     m_endingPosition = Position(m_startBlock, 0);
1839     if (m_endingPosition.node()->inDocument())
1840         return;
1841
1842     m_endingPosition = Position(m_endBlock, 0);
1843     if (m_endingPosition.node()->inDocument())
1844         return;
1845
1846     m_endingPosition = Position(document()->documentElement(), 0);
1847 }
1848
1849 void DeleteSelectionCommand::calculateTypingStyleAfterDelete()
1850 {
1851     // Compute the difference between the style before the delete and the style now
1852     // after the delete has been done. Set this style on the part, so other editing
1853     // commands being composed with this one will work, and also cache it on the command,
1854     // so the KHTMLPart::appliedEditing can set it after the whole composite command 
1855     // has completed.
1856     // FIXME: Improve typing style.
1857     // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
1858     if (m_startNode == m_endingPosition.node())
1859         document()->part()->setTypingStyle(0);
1860     else {
1861         CSSComputedStyleDeclarationImpl endingStyle(m_endingPosition.node());
1862         endingStyle.diff(m_typingStyle);
1863         if (!m_typingStyle->length()) {
1864             m_typingStyle->deref();
1865             m_typingStyle = 0;
1866         }
1867         document()->part()->setTypingStyle(m_typingStyle);
1868         setTypingStyle(m_typingStyle);
1869     }
1870 }
1871
1872 void DeleteSelectionCommand::clearTransientState()
1873 {
1874     m_selectionToDelete.clear();
1875     m_upstreamStart.clear();
1876     m_downstreamStart.clear();
1877     m_upstreamEnd.clear();
1878     m_downstreamEnd.clear();
1879     m_endingPosition.clear();
1880     m_leadingWhitespace.clear();
1881     m_trailingWhitespace.clear();
1882
1883     if (m_startBlock) {
1884         m_startBlock->deref();
1885         m_startBlock = 0;
1886     }
1887     if (m_endBlock) {
1888         m_endBlock->deref();
1889         m_endBlock = 0;
1890     }
1891     if (m_startNode) {
1892         m_startNode->deref();
1893         m_startNode = 0;
1894     }
1895     if (m_typingStyle) {
1896         m_typingStyle->deref();
1897         m_typingStyle = 0;
1898     }
1899 }
1900
1901 void DeleteSelectionCommand::doApply()
1902 {
1903     // If selection has not been set to a custom selection when the command was created,
1904     // use the current ending selection.
1905     if (!m_hasSelectionToDelete)
1906         m_selectionToDelete = endingSelection();
1907         
1908     if (!m_selectionToDelete.isRange())
1909         return;
1910
1911     initializePositionData();
1912
1913     if (!m_startBlock || !m_endBlock) {
1914         // Can't figure out what blocks we're in. This can happen if
1915         // the document structure is not what we are expecting, like if
1916         // the document has no body element, or if the editable block
1917         // has been changed to display: inline. Some day it might
1918         // be nice to be able to deal with this, but for now, bail.
1919         clearTransientState();
1920         return;
1921     }
1922
1923     // Delete any text that may hinder our ability to fixup whitespace after the detele
1924     deleteInsignificantTextDownstream(m_trailingWhitespace);    
1925
1926     saveTypingStyleState();
1927     
1928     if (!handleSpecialCaseAllContentDelete())
1929         if (!handleSpecialCaseBRDelete())
1930             handleGeneralDelete();
1931     
1932     // Do block merge if start and end of selection are in different blocks.
1933     moveNodesAfterNode();
1934     
1935     calculateEndingPosition();
1936     fixupWhitespace();
1937
1938     // If the delete emptied a block, add in a placeholder so the block does not
1939     // seem to disappear.
1940     insertBlockPlaceholderIfNeeded(m_endingPosition.node());
1941     calculateTypingStyleAfterDelete();
1942     setEndingSelection(m_endingPosition);
1943     debugPosition("endingPosition   ", m_endingPosition);
1944     clearTransientState();
1945     rebalanceWhitespace();
1946 }
1947
1948 EditAction DeleteSelectionCommand::editingAction() const
1949 {
1950     // Note that DeleteSelectionCommand is also used when the user presses the Delete key,
1951     // but in that case there's a TypingCommand that supplies the editingAction(), so
1952     // the Undo menu correctly shows "Undo Typing"
1953     return EditActionCut;
1954 }
1955
1956 bool DeleteSelectionCommand::preservesTypingStyle() const
1957 {
1958     return true;
1959 }
1960
1961 //------------------------------------------------------------------------------------------
1962 // InsertIntoTextNode
1963
1964 InsertIntoTextNode::InsertIntoTextNode(DocumentImpl *document, TextImpl *node, long offset, const DOMString &text)
1965     : EditCommand(document), m_node(node), m_offset(offset)
1966 {
1967     ASSERT(m_node);
1968     ASSERT(m_offset >= 0);
1969     ASSERT(!text.isEmpty());
1970     
1971     m_node->ref();
1972     m_text = text.copy(); // make a copy to ensure that the string never changes
1973 }
1974
1975 InsertIntoTextNode::~InsertIntoTextNode()
1976 {
1977     if (m_node)
1978         m_node->deref();
1979 }
1980
1981 void InsertIntoTextNode::doApply()
1982 {
1983     ASSERT(m_node);
1984     ASSERT(m_offset >= 0);
1985     ASSERT(!m_text.isEmpty());
1986
1987     int exceptionCode = 0;
1988     m_node->insertData(m_offset, m_text, exceptionCode);
1989     ASSERT(exceptionCode == 0);
1990 }
1991
1992 void InsertIntoTextNode::doUnapply()
1993 {
1994     ASSERT(m_node);
1995     ASSERT(m_offset >= 0);
1996     ASSERT(!m_text.isEmpty());
1997
1998     int exceptionCode = 0;
1999     m_node->deleteData(m_offset, m_text.length(), exceptionCode);
2000     ASSERT(exceptionCode == 0);
2001 }
2002
2003 //------------------------------------------------------------------------------------------
2004 // InsertLineBreakCommand
2005
2006 InsertLineBreakCommand::InsertLineBreakCommand(DocumentImpl *document) 
2007     : CompositeEditCommand(document)
2008 {
2009 }
2010
2011 void InsertLineBreakCommand::insertNodeAfterPosition(NodeImpl *node, const Position &pos)
2012 {
2013     // Insert the BR after the caret position. In the case the
2014     // position is a block, do an append. We don't want to insert
2015     // the BR *after* the block.
2016     Position upstream(pos.upstream(StayInBlock));
2017     NodeImpl *cb = pos.node()->enclosingBlockFlowElement();
2018     if (cb == pos.node())
2019         appendNode(node, cb);
2020     else
2021         insertNodeAfter(node, pos.node());
2022 }
2023
2024 void InsertLineBreakCommand::insertNodeBeforePosition(NodeImpl *node, const Position &pos)
2025 {
2026     // Insert the BR after the caret position. In the case the
2027     // position is a block, do an append. We don't want to insert
2028     // the BR *before* the block.
2029     Position upstream(pos.upstream(StayInBlock));
2030     NodeImpl *cb = pos.node()->enclosingBlockFlowElement();
2031     if (cb == pos.node())
2032         appendNode(node, cb);
2033     else
2034         insertNodeBefore(node, pos.node());
2035 }
2036
2037 void InsertLineBreakCommand::doApply()
2038 {
2039     deleteSelection();
2040     Selection selection = endingSelection();
2041
2042     int exceptionCode = 0;
2043     ElementImpl *breakNode = document()->createHTMLElement("BR", exceptionCode);
2044     ASSERT(exceptionCode == 0);
2045
2046     NodeImpl *nodeToInsert = breakNode;
2047     
2048     // Handle the case where there is a typing style.
2049     // FIXME: Improve typing style.
2050     // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
2051     CSSMutableStyleDeclarationImpl *typingStyle = document()->part()->typingStyle();
2052     if (typingStyle && typingStyle->length() > 0)
2053         nodeToInsert = applyTypingStyle(breakNode);
2054     
2055     Position pos(selection.start().upstream(StayInBlock));
2056     bool atStart = pos.offset() <= pos.node()->caretMinOffset();
2057     bool atEnd = pos.offset() >= pos.node()->caretMaxOffset();
2058     bool atEndOfBlock = isLastVisiblePositionInBlock(VisiblePosition(pos));
2059     
2060     if (atEndOfBlock) {
2061         LOG(Editing, "input newline case 1");
2062         // Check for a trailing BR. If there isn't one, we'll need to insert an "extra" one.
2063         // This makes the "real" BR we want to insert appear in the rendering without any 
2064         // significant side effects (and no real worries either since you can't arrow past 
2065         // this extra one.
2066         if (pos.node()->id() == ID_BR && pos.offset() == 0) {
2067             // Already placed in a trailing BR. Insert "real" BR before it and leave the selection alone.
2068             insertNodeBefore(nodeToInsert, pos.node());
2069         }
2070         else {
2071             NodeImpl *next = pos.node()->traverseNextNode();
2072             bool hasTrailingBR = next && next->id() == ID_BR && pos.node()->enclosingBlockFlowElement() == next->enclosingBlockFlowElement();
2073             insertNodeAfterPosition(nodeToInsert, pos);
2074             if (hasTrailingBR) {
2075                 setEndingSelection(Position(next, 0));
2076             }
2077             else if (!document()->inStrictMode()) {
2078                 // Insert an "extra" BR at the end of the block. 
2079                 ElementImpl *extraBreakNode = document()->createHTMLElement("br", exceptionCode);
2080                 ASSERT(exceptionCode == 0);
2081                 insertNodeAfter(extraBreakNode, nodeToInsert);
2082                 setEndingSelection(Position(extraBreakNode, 0));
2083             }
2084         }
2085     }
2086     else if (atStart) {
2087         LOG(Editing, "input newline case 2");
2088         // Insert node before downstream position, and place caret there as well. 
2089         Position endingPosition = pos.downstream(StayInBlock);
2090         insertNodeBeforePosition(nodeToInsert, endingPosition);
2091         setEndingSelection(endingPosition);
2092     }
2093     else if (atEnd) {
2094         LOG(Editing, "input newline case 3");
2095         // Insert BR after this node. Place caret in the position that is downstream
2096         // of the current position, reckoned before inserting the BR in between.
2097         Position endingPosition = pos.downstream(StayInBlock);
2098         insertNodeAfterPosition(nodeToInsert, pos);
2099         setEndingSelection(endingPosition);
2100     }
2101     else {
2102         // Split a text node
2103         LOG(Editing, "input newline case 4");
2104         ASSERT(pos.node()->isTextNode());
2105         
2106         // Do the split
2107         TextImpl *textNode = static_cast<TextImpl *>(pos.node());
2108         TextImpl *textBeforeNode = document()->createTextNode(textNode->substringData(0, selection.start().offset(), exceptionCode));
2109         deleteTextFromNode(textNode, 0, pos.offset());
2110         insertNodeBefore(textBeforeNode, textNode);
2111         insertNodeBefore(nodeToInsert, textNode);
2112         Position endingPosition = Position(textNode, 0);
2113         
2114         // Handle whitespace that occurs after the split
2115         document()->updateLayout();
2116         if (!endingPosition.isRenderedCharacter()) {
2117             // Clear out all whitespace and insert one non-breaking space
2118             deleteInsignificantTextDownstream(endingPosition);
2119             insertTextIntoNode(textNode, 0, nonBreakingSpaceString());
2120         }
2121         
2122         setEndingSelection(endingPosition);
2123     }
2124     rebalanceWhitespace();
2125 }
2126
2127 //------------------------------------------------------------------------------------------
2128 // InsertNodeBeforeCommand
2129
2130 InsertNodeBeforeCommand::InsertNodeBeforeCommand(DocumentImpl *document, NodeImpl *insertChild, NodeImpl *refChild)
2131     : EditCommand(document), m_insertChild(insertChild), m_refChild(refChild)
2132 {
2133     ASSERT(m_insertChild);
2134     m_insertChild->ref();
2135
2136     ASSERT(m_refChild);
2137     m_refChild->ref();
2138 }
2139
2140 InsertNodeBeforeCommand::~InsertNodeBeforeCommand()
2141 {
2142     ASSERT(m_insertChild);
2143     m_insertChild->deref();
2144
2145     ASSERT(m_refChild);
2146     m_refChild->deref();
2147 }
2148
2149 void InsertNodeBeforeCommand::doApply()
2150 {
2151     ASSERT(m_insertChild);
2152     ASSERT(m_refChild);
2153     ASSERT(m_refChild->parentNode());
2154
2155     int exceptionCode = 0;
2156     m_refChild->parentNode()->insertBefore(m_insertChild, m_refChild, exceptionCode);
2157     ASSERT(exceptionCode == 0);
2158 }
2159
2160 void InsertNodeBeforeCommand::doUnapply()
2161 {
2162     ASSERT(m_insertChild);
2163     ASSERT(m_refChild);
2164     ASSERT(m_refChild->parentNode());
2165
2166     int exceptionCode = 0;
2167     m_refChild->parentNode()->removeChild(m_insertChild, exceptionCode);
2168     ASSERT(exceptionCode == 0);
2169 }
2170
2171 //------------------------------------------------------------------------------------------
2172 // InsertParagraphSeparatorCommand
2173
2174 InsertParagraphSeparatorCommand::InsertParagraphSeparatorCommand(DocumentImpl *document) 
2175     : CompositeEditCommand(document)
2176 {
2177 }
2178
2179 InsertParagraphSeparatorCommand::~InsertParagraphSeparatorCommand() 
2180 {
2181     derefNodesInList(clonedNodes);
2182 }
2183
2184 ElementImpl *InsertParagraphSeparatorCommand::createParagraphElement()
2185 {
2186     static DOMString paragraphStyle("margin-top: 0.1em; margin-bottom: 0.1em");
2187
2188     int exceptionCode = 0;
2189     ElementImpl *element = document()->createHTMLElement("p", exceptionCode);
2190     ASSERT(exceptionCode == 0);
2191     element->setAttribute(ATTR_STYLE, paragraphStyle);
2192     element->ref();
2193     clonedNodes.append(element);
2194     return element;
2195 }
2196
2197 void InsertParagraphSeparatorCommand::doApply()
2198 {
2199     Selection selection = endingSelection();
2200     if (selection.isNone())
2201         return;
2202     
2203     // Delete the current selection.
2204     // If the selection is a range and the start and end nodes are in different blocks, 
2205     // then this command bails after the delete, but takes the one additional step of
2206     // moving the selection downstream so it is in the ending block (if that block is
2207     // still around, that is).
2208     Position pos = selection.start();
2209     if (selection.isRange()) {
2210         NodeImpl *startBlockBeforeDelete = selection.start().node()->enclosingBlockFlowElement();
2211         NodeImpl *endBlockBeforeDelete = selection.end().node()->enclosingBlockFlowElement();
2212         bool doneAfterDelete = startBlockBeforeDelete != endBlockBeforeDelete;
2213         deleteSelection(false, false);
2214         if (doneAfterDelete) {
2215             document()->updateLayout();
2216             setEndingSelection(endingSelection().start().downstream());
2217             rebalanceWhitespace();
2218             return;
2219         }
2220         pos = endingSelection().start();
2221     }
2222
2223     // Find the start block.
2224     NodeImpl *startNode = pos.node();
2225     NodeImpl *startBlock = startNode->enclosingBlockFlowElement();
2226     if (!startBlock || !startBlock->parentNode())
2227         return;
2228
2229     VisiblePosition visiblePos(pos);
2230     bool isFirstInBlock = isFirstVisiblePositionInBlock(visiblePos);
2231     bool isLastInBlock = isLastVisiblePositionInBlock(visiblePos);
2232     bool startBlockIsRoot = startBlock == startBlock->rootEditableElement();
2233
2234     // This is the block that is going to be inserted.
2235     NodeImpl *blockToInsert = startBlockIsRoot ? createParagraphElement() : startBlock->cloneNode(false);
2236     
2237     //---------------------------------------------------------------------
2238     // Handle empty block case.
2239     if (isFirstInBlock && isLastInBlock) {
2240         LOG(Editing, "insert paragraph separator: empty block case");
2241         if (startBlockIsRoot) {
2242             NodeImpl *extraBlock = createParagraphElement();
2243             appendNode(extraBlock, startBlock);
2244             insertBlockPlaceholderIfNeeded(extraBlock);
2245             appendNode(blockToInsert, startBlock);
2246         }
2247         else {
2248             insertNodeAfter(blockToInsert, startBlock);
2249         }
2250         insertBlockPlaceholderIfNeeded(blockToInsert);
2251         setEndingSelection(Position(blockToInsert, 0));
2252         return;
2253     }
2254
2255     //---------------------------------------------------------------------
2256     // Handle case when position is in the first visible position in its block.
2257     // and similar case where upstream position is in another block.
2258     bool upstreamInDifferentBlock = startBlock != pos.upstream(DoNotStayInBlock).node()->enclosingBlockFlowElement();
2259     if (upstreamInDifferentBlock || isFirstInBlock) {
2260         LOG(Editing, "insert paragraph separator: first in block case");
2261         pos = pos.downstream(StayInBlock);
2262         insertNodeBefore(blockToInsert, startBlockIsRoot ? pos.node() : startBlock);
2263         insertBlockPlaceholderIfNeeded(blockToInsert);
2264         setEndingSelection(pos);
2265         return;
2266     }
2267
2268     //---------------------------------------------------------------------
2269     // Handle case when position is in the last visible position in its block, 
2270     // and similar case where downstream position is in another block.
2271     bool downstreamInDifferentBlock = startBlock != pos.downstream(DoNotStayInBlock).node()->enclosingBlockFlowElement();
2272     if (downstreamInDifferentBlock || isLastInBlock) {
2273         LOG(Editing, "insert paragraph separator: last in block case");
2274         insertNodeAfter(blockToInsert, startBlockIsRoot ? pos.node() : startBlock);
2275         insertBlockPlaceholderIfNeeded(blockToInsert);
2276         setEndingSelection(Position(blockToInsert, 0));
2277         return;
2278     }
2279
2280     //---------------------------------------------------------------------
2281     // Handle the (more complicated) general case,
2282
2283     LOG(Editing, "insert paragraph separator: general case");
2284
2285     // Put the added block in the tree.
2286     insertNodeAfter(blockToInsert, startBlockIsRoot ? pos.node() : startBlock);
2287
2288     // Build up list of ancestors in between the start node and the start block.
2289     if (startNode != startBlock) {
2290         for (NodeImpl *n = startNode->parentNode(); n && n != startBlock; n = n->parentNode())
2291             ancestors.prepend(n);
2292     }
2293
2294     // Split at pos if in the middle of a text node.
2295     if (startNode->isTextNode()) {
2296         TextImpl *textNode = static_cast<TextImpl *>(startNode);
2297         bool atEnd = (unsigned long)pos.offset() >= textNode->length();
2298         if (pos.offset() > 0 && !atEnd) {
2299             SplitTextNodeCommand *splitCommand = new SplitTextNodeCommand(document(), textNode, pos.offset());
2300             EditCommandPtr cmd(splitCommand);
2301             applyCommandToComposite(cmd);
2302             startNode = splitCommand->node();
2303             pos = Position(startNode, 0);
2304         }
2305         else if (atEnd) {
2306             startNode = startNode->traverseNextNode();
2307             ASSERT(startNode);
2308         }
2309     }
2310     else if (pos.offset() > 0) {
2311         startNode = startNode->traverseNextNode();
2312         ASSERT(startNode);
2313     }
2314
2315     // Make clones of ancestors in between the start node and the start block.
2316     NodeImpl *parent = blockToInsert;
2317     for (QPtrListIterator<NodeImpl> it(ancestors); it.current(); ++it) {
2318         NodeImpl *child = it.current()->cloneNode(false); // shallow clone
2319         child->ref();
2320         clonedNodes.append(child);
2321         appendNode(child, parent);
2322         parent = child;
2323     }
2324
2325     // Move the start node and the siblings of the start node.
2326     if (startNode != startBlock) {
2327         NodeImpl *n = startNode;
2328         if (n->id() == ID_BR)
2329             n = n->nextSibling();
2330         while (n && n != blockToInsert) {
2331             NodeImpl *next = n->nextSibling();
2332             removeNode(n);
2333             appendNode(n, parent);
2334             n = next;
2335         }
2336     }            
2337
2338     // Move everything after the start node.
2339     NodeImpl *leftParent = ancestors.last();
2340     while (leftParent && leftParent != startBlock) {
2341         parent = parent->parentNode();
2342         NodeImpl *n = leftParent->nextSibling();
2343         while (n) {
2344             NodeImpl *next = n->nextSibling();
2345             removeNode(n);
2346             appendNode(n, parent);
2347             n = next;
2348         }
2349         leftParent = leftParent->parentNode();
2350     }
2351
2352     setEndingSelection(Position(blockToInsert, 0));
2353     rebalanceWhitespace();
2354 }
2355
2356 //------------------------------------------------------------------------------------------
2357 // InsertParagraphSeparatorInQuotedContentCommand
2358
2359 InsertParagraphSeparatorInQuotedContentCommand::InsertParagraphSeparatorInQuotedContentCommand(DocumentImpl *document)
2360     : CompositeEditCommand(document)
2361 {
2362 }
2363
2364 InsertParagraphSeparatorInQuotedContentCommand::~InsertParagraphSeparatorInQuotedContentCommand()
2365 {
2366     derefNodesInList(clonedNodes);
2367     if (m_breakNode)
2368         m_breakNode->deref();
2369 }
2370
2371 bool InsertParagraphSeparatorInQuotedContentCommand::isMailBlockquote(const NodeImpl *node) const
2372 {
2373     if (!node || !node->renderer() || !node->isElementNode() && node->id() != ID_BLOCKQUOTE)
2374         return false;
2375         
2376     return static_cast<const ElementImpl *>(node)->getAttribute("type") == "cite";
2377 }
2378
2379 void InsertParagraphSeparatorInQuotedContentCommand::doApply()
2380 {
2381     Selection selection = endingSelection();
2382     if (selection.isNone())
2383         return;
2384     
2385     // Delete the current selection.
2386     Position pos = selection.start();
2387     if (selection.isRange()) {
2388         deleteSelection(false, false);
2389         pos = endingSelection().start().upstream();
2390     }
2391     
2392     // Find the top-most blockquote from the start.
2393     NodeImpl *startNode = pos.node();
2394     NodeImpl *topBlockquote = 0;
2395     for (NodeImpl *n = startNode->parentNode(); n; n = n->parentNode()) {
2396         if (isMailBlockquote(n))
2397             topBlockquote = n;
2398     }
2399     if (!topBlockquote || !topBlockquote->parentNode())
2400         return;
2401
2402     // Build up list of ancestors in between the start node and the top blockquote.
2403     if (startNode != topBlockquote) {
2404         for (NodeImpl *n = startNode->parentNode(); n && n != topBlockquote; n = n->parentNode())
2405             ancestors.prepend(n);
2406     }
2407
2408     // Insert a break after the top blockquote.
2409     int exceptionCode = 0;
2410     m_breakNode = document()->createHTMLElement("BR", exceptionCode);
2411     m_breakNode->ref();
2412     ASSERT(exceptionCode == 0);
2413     insertNodeAfter(m_breakNode, topBlockquote);
2414
2415     if (!isLastVisiblePositionInNode(VisiblePosition(pos), topBlockquote)) {
2416         // Split at pos if in the middle of a text node.
2417         if (startNode->isTextNode()) {
2418             TextImpl *textNode = static_cast<TextImpl *>(startNode);
2419             bool atEnd = (unsigned long)pos.offset() >= textNode->length();
2420             if (pos.offset() > 0 && !atEnd) {
2421                 SplitTextNodeCommand *splitCommand = new SplitTextNodeCommand(document(), textNode, pos.offset());
2422                 EditCommandPtr cmd(splitCommand);
2423                 applyCommandToComposite(cmd);
2424                 startNode = splitCommand->node();
2425                 pos = Position(startNode, 0);
2426             }
2427             else if (atEnd) {
2428                 startNode = startNode->traverseNextNode();
2429                 ASSERT(startNode);
2430             }
2431         }
2432         else if (pos.offset() > 0) {
2433             startNode = startNode->traverseNextNode();
2434             ASSERT(startNode);
2435         }
2436
2437         // Insert a clone of the top blockquote after the break.
2438         NodeImpl *clonedBlockquote = topBlockquote->cloneNode(false);
2439         clonedBlockquote->ref();
2440         clonedNodes.append(clonedBlockquote);
2441         insertNodeAfter(clonedBlockquote, m_breakNode);
2442         insertBlockPlaceholderIfNeeded(clonedBlockquote);
2443         
2444         // Make clones of ancestors in between the start node and the top blockquote.
2445         NodeImpl *parent = clonedBlockquote;
2446         for (QPtrListIterator<NodeImpl> it(ancestors); it.current(); ++it) {
2447             NodeImpl *child = it.current()->cloneNode(false); // shallow clone
2448             child->ref();
2449             clonedNodes.append(child);
2450             appendNode(child, parent);
2451             parent = child;
2452         }
2453
2454         // Move the start node and the siblings of the start node.
2455         bool startIsBR = false;
2456         if (startNode != topBlockquote) {
2457             NodeImpl *n = startNode;
2458             bool startIsBR = n->id() == ID_BR;
2459             if (startIsBR)
2460                 n = n->nextSibling();
2461             while (n) {
2462                 NodeImpl *next = n->nextSibling();
2463                 removeNode(n);
2464                 appendNode(n, parent);
2465                 n = next;
2466             }
2467         }
2468         
2469         // Move everything after the start node.
2470         NodeImpl *leftParent = ancestors.last();
2471
2472         if (!startIsBR) {
2473             if (!leftParent)
2474                 leftParent = topBlockquote;
2475             ElementImpl *b = document()->createHTMLElement("BR", exceptionCode);
2476             b->ref();
2477             clonedNodes.append(b);
2478             ASSERT(exceptionCode == 0);
2479             appendNode(b, leftParent);
2480         }
2481         
2482         leftParent = ancestors.last();
2483         while (leftParent && leftParent != topBlockquote) {
2484             parent = parent->parentNode();
2485             NodeImpl *n = leftParent->nextSibling();
2486             while (n) {
2487                 NodeImpl *next = n->nextSibling();
2488                 removeNode(n);
2489                 appendNode(n, parent);
2490                 n = next;
2491             }
2492             leftParent = leftParent->parentNode();
2493         }
2494     }
2495     
2496     // Put the selection right before the break.
2497     setEndingSelection(Position(m_breakNode, 0));
2498     rebalanceWhitespace();
2499 }
2500
2501 //------------------------------------------------------------------------------------------
2502 // InsertTextCommand
2503
2504 InsertTextCommand::InsertTextCommand(DocumentImpl *document) 
2505     : CompositeEditCommand(document), m_charactersAdded(0)
2506 {
2507 }
2508
2509 void InsertTextCommand::doApply()
2510 {
2511 }
2512
2513 void InsertTextCommand::deleteCharacter()
2514 {
2515     ASSERT(state() == Applied);
2516
2517     Selection selection = endingSelection();
2518
2519     if (!selection.start().node()->isTextNode())
2520         return;
2521
2522     int exceptionCode = 0;
2523     int offset = selection.start().offset() - 1;
2524     if (offset >= selection.start().node()->caretMinOffset()) {
2525         TextImpl *textNode = static_cast<TextImpl *>(selection.start().node());
2526         textNode->deleteData(offset, 1, exceptionCode);
2527         ASSERT(exceptionCode == 0);
2528         selection = Selection(Position(textNode, offset));
2529         setEndingSelection(selection);
2530         m_charactersAdded--;
2531     }
2532 }
2533
2534 Position InsertTextCommand::prepareForTextInsertion(bool adjustDownstream)
2535 {
2536     // Prepare for text input by looking at the current position.
2537     // It may be necessary to insert a text node to receive characters.
2538     Selection selection = endingSelection();
2539     ASSERT(selection.isCaret());
2540     
2541     Position pos = selection.start();
2542     if (adjustDownstream)
2543         pos = pos.downstream(StayInBlock);
2544     else
2545         pos = pos.upstream(StayInBlock);
2546     
2547     if (!pos.node()->isTextNode()) {
2548         NodeImpl *textNode = document()->createEditingTextNode("");
2549         NodeImpl *nodeToInsert = textNode;
2550
2551         // Handle the case where there is a typing style.
2552         // FIXME: Improve typing style.
2553         // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
2554         CSSMutableStyleDeclarationImpl *typingStyle = document()->part()->typingStyle();
2555         if (typingStyle && typingStyle->length() > 0)
2556             nodeToInsert = applyTypingStyle(textNode);
2557         
2558         // Now insert the node in the right place
2559         if (pos.node()->isEditableBlock()) {
2560             LOG(Editing, "prepareForTextInsertion case 1");
2561             appendNode(nodeToInsert, pos.node());
2562         }
2563         else if (pos.node()->caretMinOffset() == pos.offset()) {
2564             LOG(Editing, "prepareForTextInsertion case 2");
2565             insertNodeBefore(nodeToInsert, pos.node());
2566         }
2567         else if (pos.node()->caretMaxOffset() == pos.offset()) {
2568             LOG(Editing, "prepareForTextInsertion case 3");
2569             insertNodeAfter(nodeToInsert, pos.node());
2570         }
2571         else
2572             ASSERT_NOT_REACHED();
2573         
2574         pos = Position(textNode, 0);
2575     }
2576     else {
2577         // Handle the case where there is a typing style.
2578         // FIXME: Improve typing style.
2579         // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
2580         CSSMutableStyleDeclarationImpl *typingStyle = document()->part()->typingStyle();
2581         if (typingStyle && typingStyle->length() > 0) {
2582             if (pos.node()->isTextNode() && pos.offset() > pos.node()->caretMinOffset() && pos.offset() < pos.node()->caretMaxOffset()) {
2583                 // Need to split current text node in order to insert a span.
2584                 TextImpl *text = static_cast<TextImpl *>(pos.node());
2585                 SplitTextNodeCommand *impl = new SplitTextNodeCommand(document(), text, pos.offset());
2586                 EditCommandPtr cmd(impl);
2587                 applyCommandToComposite(cmd);
2588                 setEndingSelection(Position(impl->node(), 0));
2589             }
2590             
2591             TextImpl *editingTextNode = document()->createEditingTextNode("");
2592             NodeImpl *node = endingSelection().start().upstream(StayInBlock).node();
2593             if (node->isBlockFlow())
2594                 insertNodeAt(applyTypingStyle(editingTextNode), node, 0);
2595             else
2596                 insertNodeAfter(applyTypingStyle(editingTextNode), node);
2597             pos = Position(editingTextNode, 0);
2598         }
2599     }
2600     return pos;
2601 }
2602
2603 void InsertTextCommand::input(const DOMString &text, bool selectInsertedText)
2604 {
2605     Selection selection = endingSelection();
2606     bool adjustDownstream = isFirstVisiblePositionOnLine(VisiblePosition(selection.start().downstream(StayInBlock)));
2607
2608     // Delete the current selection, or collapse whitespace, as needed
2609     if (selection.isRange())
2610         deleteSelection();
2611     
2612     // Delete any insignificant text that could get in the way of whitespace turning
2613     // out correctly after the insertion.
2614     deleteInsignificantTextDownstream(endingSelection().end().trailingWhitespacePosition());
2615     
2616     // Make sure the document is set up to receive text
2617     Position pos = prepareForTextInsertion(adjustDownstream);
2618     
2619     TextImpl *textNode = static_cast<TextImpl *>(pos.node());
2620     long offset = pos.offset();
2621
2622     // Now that we are about to add content, check to see if a placeholder element
2623     // can be removed.
2624     removeBlockPlaceholderIfNeeded(textNode->enclosingBlockFlowElement());
2625     
2626     // These are temporary implementations for inserting adjoining spaces
2627     // into a document. We are working on a CSS-related whitespace solution
2628     // that will replace this some day. We hope.
2629     if (isTab(text)) {
2630         // Treat a tab like a number of spaces. This seems to be the HTML editing convention,
2631         // although the number of spaces varies (we choose four spaces). 
2632         // Note that there is no attempt to make this work like a real tab stop, it is merely 
2633         // a set number of spaces. This also seems to be the HTML editing convention.
2634         for (int i = 0; i < spacesPerTab; i++) {
2635             insertSpace(textNode, offset);
2636             rebalanceWhitespace();
2637             document()->updateLayout();
2638         }
2639         if (selectInsertedText)
2640             setEndingSelection(Selection(Position(textNode, offset), Position(textNode, offset + spacesPerTab)));
2641         else
2642             setEndingSelection(Position(textNode, offset + spacesPerTab));
2643         m_charactersAdded += spacesPerTab;
2644     }
2645     else if (isWS(text)) {
2646         insertSpace(textNode, offset);
2647         if (selectInsertedText)
2648             setEndingSelection(Selection(Position(textNode, offset), Position(textNode, offset + 1)));
2649         else
2650             setEndingSelection(Position(textNode, offset + 1));
2651         m_charactersAdded++;
2652         rebalanceWhitespace();
2653     }
2654     else {
2655         const DOMString &existingText = textNode->data();
2656         if (textNode->length() >= 2 && offset >= 2 && isNBSP(existingText[offset - 1]) && !isWS(existingText[offset - 2])) {
2657             // DOM looks like this:
2658             // character nbsp caret
2659             // As we are about to insert a non-whitespace character at the caret
2660             // convert the nbsp to a regular space.
2661             // EDIT FIXME: This needs to be improved some day to convert back only
2662             // those nbsp's added by the editor to make rendering come out right.
2663             replaceTextInNode(textNode, offset - 1, 1, " ");
2664         }
2665         insertTextIntoNode(textNode, offset, text);
2666         if (selectInsertedText)
2667             setEndingSelection(Selection(Position(textNode, offset), Position(textNode, offset + text.length())));
2668         else
2669             setEndingSelection(Position(textNode, offset + text.length()));
2670         m_charactersAdded += text.length();
2671     }
2672 }
2673
2674 void InsertTextCommand::insertSpace(TextImpl *textNode, unsigned long offset)
2675 {
2676     ASSERT(textNode);
2677
2678     DOMString text(textNode->data());
2679
2680     // count up all spaces and newlines in front of the caret
2681     // delete all collapsed ones
2682     // this will work out OK since the offset we have been passed has been upstream-ized 
2683     int count = 0;
2684     for (unsigned int i = offset; i < text.length(); i++) {
2685         if (isWS(text[i]))
2686             count++;
2687         else 
2688             break;
2689     }
2690     if (count > 0) {
2691         // By checking the character at the downstream position, we can
2692         // check if there is a rendered WS at the caret
2693         Position pos(textNode, offset);
2694         Position downstream = pos.downstream();
2695         if (downstream.offset() < (long)text.length() && isWS(text[downstream.offset()]))
2696             count--; // leave this WS in
2697         if (count > 0)
2698             deleteTextFromNode(textNode, offset, count);
2699     }
2700
2701     if (offset > 0 && offset <= text.length() - 1 && !isWS(text[offset]) && !isWS(text[offset - 1])) {
2702         // insert a "regular" space
2703         insertTextIntoNode(textNode, offset, " ");
2704         return;
2705     }
2706
2707     if (text.length() >= 2 && offset >= 2 && isNBSP(text[offset - 2]) && isNBSP(text[offset - 1])) {
2708         // DOM looks like this:
2709         // nbsp nbsp caret
2710         // insert a space between the two nbsps
2711         insertTextIntoNode(textNode, offset - 1, " ");
2712         return;
2713     }
2714
2715     // insert an nbsp
2716     insertTextIntoNode(textNode, offset, nonBreakingSpaceString());
2717 }
2718
2719 bool InsertTextCommand::isInsertTextCommand() const
2720 {
2721     return true;
2722 }
2723
2724 //------------------------------------------------------------------------------------------
2725 // JoinTextNodesCommand
2726
2727 JoinTextNodesCommand::JoinTextNodesCommand(DocumentImpl *document, TextImpl *text1, TextImpl *text2)
2728     : EditCommand(document), m_text1(text1), m_text2(text2)
2729 {
2730     ASSERT(m_text1);
2731     ASSERT(m_text2);
2732     ASSERT(m_text1->nextSibling() == m_text2);
2733     ASSERT(m_text1->length() > 0);
2734     ASSERT(m_text2->length() > 0);
2735
2736     m_text1->ref();
2737     m_text2->ref();
2738 }
2739
2740 JoinTextNodesCommand::~JoinTextNodesCommand()
2741 {
2742     ASSERT(m_text1);
2743     m_text1->deref();
2744     ASSERT(m_text2);
2745     m_text2->deref();
2746 }
2747
2748 void JoinTextNodesCommand::doApply()
2749 {
2750     ASSERT(m_text1);
2751     ASSERT(m_text2);
2752     ASSERT(m_text1->nextSibling() == m_text2);
2753
2754     int exceptionCode = 0;
2755     m_text2->insertData(0, m_text1->data(), exceptionCode);
2756     ASSERT(exceptionCode == 0);
2757
2758     m_text2->parentNode()->removeChild(m_text1, exceptionCode);
2759     ASSERT(exceptionCode == 0);
2760
2761     m_offset = m_text1->length();
2762 }
2763
2764 void JoinTextNodesCommand::doUnapply()
2765 {
2766     ASSERT(m_text2);
2767     ASSERT(m_offset > 0);
2768
2769     int exceptionCode = 0;
2770
2771     m_text2->deleteData(0, m_offset, exceptionCode);
2772     ASSERT(exceptionCode == 0);
2773
2774     m_text2->parentNode()->insertBefore(m_text1, m_text2, exceptionCode);
2775     ASSERT(exceptionCode == 0);
2776         
2777     ASSERT(m_text2->previousSibling()->isTextNode());
2778     ASSERT(m_text2->previousSibling() == m_text1);
2779 }
2780
2781 //------------------------------------------------------------------------------------------
2782 // MoveSelectionCommand
2783
2784 MoveSelectionCommand::MoveSelectionCommand(DocumentImpl *document, DocumentFragmentImpl *fragment, Position &position, bool smartMove) 
2785     : CompositeEditCommand(document), m_fragment(fragment), m_position(position), m_smartMove(smartMove)
2786 {
2787     ASSERT(m_fragment);
2788     m_fragment->ref();
2789 }
2790
2791 MoveSelectionCommand::~MoveSelectionCommand()
2792 {
2793     ASSERT(m_fragment);
2794     m_fragment->deref();
2795 }
2796
2797 void MoveSelectionCommand::doApply()
2798 {
2799     Selection selection = endingSelection();
2800     ASSERT(selection.isRange());
2801
2802     Position pos = m_position;
2803
2804     // Update the position otherwise it may become invalid after the selection is deleted.
2805     NodeImpl *positionNode = m_position.node();
2806     long positionOffset = m_position.offset();
2807     Position selectionEnd = selection.end();
2808     long selectionEndOffset = selectionEnd.offset();    
2809     if (selectionEnd.node() == positionNode && selectionEndOffset < positionOffset) {
2810         positionOffset -= selectionEndOffset;
2811         Position selectionStart = selection.start();
2812         if (selectionStart.node() == positionNode) {
2813             positionOffset += selectionStart.offset();
2814         }
2815         pos = Position(positionNode, positionOffset);
2816     }
2817
2818     deleteSelection(m_smartMove);
2819
2820     // If the node for the destination has been removed as a result of the deletion,
2821     // set the destination to the ending point after the deletion.
2822     // Fixes: <rdar://problem/3910425> REGRESSION (Mail): Crash in ReplaceSelectionCommand; 
2823     //        selection is empty, leading to null deref
2824     if (!pos.node()->inDocument())
2825         pos = endingSelection().start();
2826
2827     setEndingSelection(pos);
2828     EditCommandPtr cmd(new ReplaceSelectionCommand(document(), m_fragment, true, m_smartMove));
2829     applyCommandToComposite(cmd);
2830 }
2831
2832 EditAction MoveSelectionCommand::editingAction() const
2833 {
2834     return EditActionDrag;
2835 }
2836
2837 //------------------------------------------------------------------------------------------
2838 // RebalanceWhitespaceCommand
2839
2840 RebalanceWhitespaceCommand::RebalanceWhitespaceCommand(DocumentImpl *document, const Position &pos)
2841     : EditCommand(document), m_position(pos), m_upstreamOffset(InvalidOffset), m_downstreamOffset(InvalidOffset)
2842 {
2843 }
2844
2845 RebalanceWhitespaceCommand::~RebalanceWhitespaceCommand()
2846 {
2847 }
2848
2849 void RebalanceWhitespaceCommand::doApply()
2850 {
2851     static DOMString space(" ");
2852
2853     if (m_position.isNull() || !m_position.node()->isTextNode())
2854         return;
2855         
2856     TextImpl *textNode = static_cast<TextImpl *>(m_position.node());
2857     DOMString text = textNode->data();
2858     if (text.length() == 0)
2859         return;
2860     
2861     // find upstream offset
2862     long upstream = m_position.offset();
2863     while (upstream > 0 && isWS(text[upstream - 1]) || isNBSP(text[upstream - 1])) {
2864         upstream--;
2865         m_upstreamOffset = upstream;
2866     }
2867
2868     // find downstream offset
2869     long downstream = m_position.offset();
2870     while ((unsigned)downstream < text.length() && isWS(text[downstream]) || isNBSP(text[downstream])) {
2871         downstream++;
2872         m_downstreamOffset = downstream;
2873     }
2874
2875     if (m_upstreamOffset == InvalidOffset && m_downstreamOffset == InvalidOffset)
2876         return;
2877         
2878     m_upstreamOffset = upstream;
2879     m_downstreamOffset = downstream;
2880     long length = m_downstreamOffset - m_upstreamOffset;
2881     
2882     m_beforeString = text.substring(m_upstreamOffset, length);
2883     
2884     // The following loop figures out a "rebalanced" whitespace string for any length
2885     // string, and takes into account the special cases that need to handled for the
2886     // start and end of strings (i.e. first and last character must be an nbsp.
2887     long i = m_upstreamOffset;
2888     while (i < m_downstreamOffset) {
2889         long add = (m_downstreamOffset - i) % 3;
2890         switch (add) {
2891             case 0:
2892                 m_afterString += nonBreakingSpaceString();
2893                 m_afterString += space;
2894                 m_afterString += nonBreakingSpaceString();
2895                 add = 3;
2896                 break;
2897             case 1:
2898                 if (i == 0 || (unsigned)i + 1 == text.length()) // at start or end of string
2899                     m_afterString += nonBreakingSpaceString();
2900                 else
2901                     m_afterString += space;
2902                 break;
2903             case 2:
2904                 if ((unsigned)i + 2 == text.length()) {
2905                      // at end of string
2906                     m_afterString += nonBreakingSpaceString();
2907                     m_afterString += nonBreakingSpaceString();
2908                 }
2909                 else {
2910                     m_afterString += nonBreakingSpaceString();
2911                     m_afterString += space;
2912                 }
2913                 break;
2914         }
2915         i += add;
2916     }
2917     
2918     text.remove(m_upstreamOffset, length);
2919     text.insert(m_afterString, m_upstreamOffset);
2920 }
2921
2922 void RebalanceWhitespaceCommand::doUnapply()
2923 {
2924     if (m_upstreamOffset == InvalidOffset && m_downstreamOffset == InvalidOffset)
2925         return;
2926     
2927     ASSERT(m_position.node()->isTextNode());
2928     TextImpl *textNode = static_cast<TextImpl *>(m_position.node());
2929     DOMString text = textNode->data();
2930     text.remove(m_upstreamOffset, m_afterString.length());
2931     text.insert(m_beforeString, m_upstreamOffset);
2932 }
2933
2934 bool RebalanceWhitespaceCommand::preservesTypingStyle() const
2935 {
2936     return true;
2937 }
2938
2939 //------------------------------------------------------------------------------------------
2940 // RemoveCSSPropertyCommand
2941
2942 RemoveCSSPropertyCommand::RemoveCSSPropertyCommand(DocumentImpl *document, CSSStyleDeclarationImpl *decl, int property)
2943     : EditCommand(document), m_decl(decl->makeMutable()), m_property(property), m_important(false)
2944 {
2945     ASSERT(m_decl);
2946     m_decl->ref();
2947 }
2948
2949 RemoveCSSPropertyCommand::~RemoveCSSPropertyCommand()
2950 {
2951     ASSERT(m_decl);
2952     m_decl->deref();
2953 }
2954
2955 void RemoveCSSPropertyCommand::doApply()
2956 {
2957     ASSERT(m_decl);
2958
2959     m_oldValue = m_decl->getPropertyValue(m_property);
2960     ASSERT(!m_oldValue.isNull());
2961
2962     m_important = m_decl->getPropertyPriority(m_property);
2963     m_decl->removeProperty(m_property);
2964 }
2965
2966 void RemoveCSSPropertyCommand::doUnapply()
2967 {
2968     ASSERT(m_decl);
2969     ASSERT(!m_oldValue.isNull());
2970
2971     m_decl->setProperty(m_property, m_oldValue, m_important);
2972 }
2973
2974 //------------------------------------------------------------------------------------------
2975 // RemoveNodeAttributeCommand
2976
2977 RemoveNodeAttributeCommand::RemoveNodeAttributeCommand(DocumentImpl *document, ElementImpl *element, NodeImpl::Id attribute)
2978     : EditCommand(document), m_element(element), m_attribute(attribute)
2979 {
2980     ASSERT(m_element);
2981     m_element->ref();
2982 }
2983
2984 RemoveNodeAttributeCommand::~RemoveNodeAttributeCommand()
2985 {
2986     ASSERT(m_element);
2987     m_element->deref();
2988 }
2989
2990 void RemoveNodeAttributeCommand::doApply()
2991 {
2992     ASSERT(m_element);
2993
2994     m_oldValue = m_element->getAttribute(m_attribute);
2995     ASSERT(!m_oldValue.isNull());
2996
2997     int exceptionCode = 0;
2998     m_element->removeAttribute(m_attribute, exceptionCode);
2999     ASSERT(exceptionCode == 0);
3000 }
3001
3002 void RemoveNodeAttributeCommand::doUnapply()
3003 {
3004     ASSERT(m_element);
3005     ASSERT(!m_oldValue.isNull());
3006
3007     int exceptionCode = 0;
3008     m_element->setAttribute(m_attribute, m_oldValue.implementation(), exceptionCode);
3009     ASSERT(exceptionCode == 0);
3010 }
3011
3012 //------------------------------------------------------------------------------------------
3013 // RemoveNodeCommand
3014
3015 RemoveNodeCommand::RemoveNodeCommand(DocumentImpl *document, NodeImpl *removeChild)
3016     : EditCommand(document), m_parent(0), m_removeChild(removeChild), m_refChild(0)
3017 {
3018     ASSERT(m_removeChild);
3019     m_removeChild->ref();
3020
3021     m_parent = m_removeChild->parentNode();
3022     ASSERT(m_parent);
3023     m_parent->ref();
3024     
3025     m_refChild = m_removeChild->nextSibling();
3026     if (m_refChild)
3027         m_refChild->ref();
3028 }
3029
3030 RemoveNodeCommand::~RemoveNodeCommand()
3031 {
3032     ASSERT(m_parent);
3033     m_parent->deref();
3034
3035     ASSERT(m_removeChild);
3036     m_removeChild->deref();
3037
3038     if (m_refChild)
3039         m_refChild->deref();
3040 }
3041
3042 void RemoveNodeCommand::doApply()
3043 {
3044     ASSERT(m_parent);
3045     ASSERT(m_removeChild);
3046
3047     int exceptionCode = 0;
3048     m_parent->removeChild(m_removeChild, exceptionCode);
3049     ASSERT(exceptionCode == 0);
3050 }
3051
3052 void RemoveNodeCommand::doUnapply()
3053 {
3054     ASSERT(m_parent);
3055     ASSERT(m_removeChild);
3056
3057     int exceptionCode = 0;
3058     m_parent->insertBefore(m_removeChild, m_refChild, exceptionCode);
3059     ASSERT(exceptionCode == 0);
3060 }
3061
3062 //------------------------------------------------------------------------------------------
3063 // RemoveNodePreservingChildrenCommand
3064
3065 RemoveNodePreservingChildrenCommand::RemoveNodePreservingChildrenCommand(DocumentImpl *document, NodeImpl *node)
3066     : CompositeEditCommand(document), m_node(node)
3067 {
3068     ASSERT(m_node);
3069     m_node->ref();
3070 }
3071
3072 RemoveNodePreservingChildrenCommand::~RemoveNodePreservingChildrenCommand()
3073 {
3074     ASSERT(m_node);
3075     m_node->deref();
3076 }
3077
3078 void RemoveNodePreservingChildrenCommand::doApply()
3079 {
3080     while (NodeImpl* curr = node()->firstChild()) {
3081         removeNode(curr);
3082         insertNodeBefore(curr, node());
3083     }
3084     removeNode(node());
3085 }
3086
3087 //------------------------------------------------------------------------------------------
3088 // ReplaceSelectionCommand
3089
3090 ReplacementFragment::ReplacementFragment(DocumentFragmentImpl *fragment)
3091     : m_fragment(fragment), m_hasInterchangeNewline(false), m_hasMoreThanOneBlock(false)
3092 {
3093     if (!m_fragment) {
3094         m_type = EmptyFragment;
3095         return;
3096     }
3097
3098     m_fragment->ref();
3099
3100     NodeImpl *firstChild = m_fragment->firstChild();
3101     NodeImpl *lastChild = m_fragment->lastChild();
3102
3103     if (!firstChild) {
3104         m_type = EmptyFragment;
3105         return;
3106     }
3107
3108     if (firstChild == lastChild && firstChild->isTextNode()) {
3109         m_type = SingleTextNodeFragment;
3110         return;
3111     }
3112     
3113     m_type = TreeFragment;
3114
3115     NodeImpl *node = firstChild;
3116     int realBlockCount = 0;
3117     NodeImpl *nodeToDelete = 0;
3118     while (node) {
3119         NodeImpl *next = node->traverseNextNode();
3120         if (isInterchangeNewlineNode(node)) {
3121             m_hasInterchangeNewline = true;
3122             nodeToDelete = node;
3123         }
3124         else if (isInterchangeConvertedSpaceSpan(node)) {
3125             NodeImpl *n = 0;
3126             while ((n = node->firstChild())) {
3127                 n->ref();
3128                 removeNode(n);
3129                 insertNodeBefore(n, node);
3130                 n->deref();
3131             }
3132             removeNode(node);
3133             if (n)
3134                 next = n->traverseNextNode();
3135         }
3136         else if (isProbablyBlock(node))
3137             realBlockCount++;    
3138         node = next;
3139     }
3140
3141     if (nodeToDelete)
3142         removeNode(nodeToDelete);
3143
3144     int blockCount = realBlockCount;
3145     firstChild = m_fragment->firstChild();
3146     lastChild = m_fragment->lastChild();
3147     if (!isProbablyBlock(firstChild))
3148         blockCount++;
3149     if (!isProbablyBlock(lastChild) && realBlockCount > 0)
3150         blockCount++;
3151
3152      if (blockCount > 1)
3153         m_hasMoreThanOneBlock = true;
3154 }
3155
3156 ReplacementFragment::~ReplacementFragment()
3157 {
3158     if (m_fragment)
3159         m_fragment->deref();
3160 }
3161
3162 NodeImpl *ReplacementFragment::firstChild() const 
3163
3164     return m_fragment->firstChild(); 
3165 }
3166
3167 NodeImpl *ReplacementFragment::lastChild() const 
3168
3169     return  m_fragment->lastChild(); 
3170 }
3171
3172 NodeImpl *ReplacementFragment::mergeStartNode() const
3173 {
3174     NodeImpl *node = m_fragment->firstChild();
3175     while (node) {
3176         NodeImpl *next = node->traverseNextNode();
3177         if (!isProbablyBlock(node))
3178             return node;
3179         node = next;
3180      }
3181      return 0;
3182 }
3183
3184 NodeImpl *ReplacementFragment::mergeEndNode() const
3185 {
3186     NodeImpl *node = m_fragment->lastChild();
3187     while (node && node->lastChild())
3188         node = node->lastChild();
3189     
3190     if (isProbablyBlock(node))
3191         return 0;
3192         
3193     NodeImpl *startingBlock = enclosingBlock(node);
3194     ASSERT(startingBlock != node);
3195     while (node) {
3196         NodeImpl *prev = node->traversePreviousNode();
3197         if (prev == m_fragment || prev == startingBlock || enclosingBlock(prev) != startingBlock)
3198             return node;
3199         node = prev;
3200     }
3201     
3202     return 0;
3203 }
3204
3205 void ReplacementFragment::pruneEmptyNodes()
3206 {
3207     bool run = true;
3208     while (run) {
3209         run = false;
3210         NodeImpl *node = m_fragment->firstChild();
3211         while (node) {
3212             if ((node->isTextNode() && static_cast<TextImpl *>(node)->length() == 0) ||
3213                 (isProbablyBlock(node) && node->childNodeCount() == 0)) {
3214                 NodeImpl *next = node->traverseNextSibling();
3215                 removeNode(node);
3216                 node = next;
3217                 run = true;
3218             }
3219             else {
3220                 node = node->traverseNextNode();
3221             }
3222          }
3223     }
3224 }
3225
3226 bool ReplacementFragment::isInterchangeNewlineNode(const NodeImpl *node)
3227 {
3228     static DOMString interchangeNewlineClassString(AppleInterchangeNewline);
3229     return node && node->id() == ID_BR && static_cast<const ElementImpl *>(node)->getAttribute(ATTR_CLASS) == interchangeNewlineClassString;
3230 }
3231
3232 bool ReplacementFragment::isInterchangeConvertedSpaceSpan(const NodeImpl *node)
3233 {
3234     static DOMString convertedSpaceSpanClassString(AppleConvertedSpace);
3235     return node->isHTMLElement() && static_cast<const HTMLElementImpl *>(node)->getAttribute(ATTR_CLASS) == convertedSpaceSpanClassString;
3236 }
3237
3238 NodeImpl *ReplacementFragment::enclosingBlock(NodeImpl *node) const
3239 {
3240     while (node && !isProbablyBlock(node))
3241         node = node->parentNode();    
3242     return node ? node : m_fragment;
3243 }
3244
3245 void ReplacementFragment::removeNode(NodeImpl *node)
3246 {
3247     if (!node)
3248         return;
3249         
3250     NodeImpl *parent = node->parentNode();
3251     if (!parent)
3252         return;
3253         
3254     int exceptionCode = 0;
3255     parent->removeChild(node, exceptionCode);
3256     ASSERT(exceptionCode == 0);
3257 }
3258
3259 void ReplacementFragment::insertNodeBefore(NodeImpl *node, NodeImpl *refNode)
3260 {
3261     if (!node || !refNode)
3262         return;
3263         
3264     NodeImpl *parent = refNode->parentNode();
3265     if (!parent)
3266         return;
3267         
3268     int exceptionCode = 0;
3269     parent->insertBefore(node, refNode, exceptionCode);
3270     ASSERT(exceptionCode == 0);
3271  }
3272
3273
3274 bool isProbablyBlock(const NodeImpl *node)
3275 {
3276     if (!node)
3277         return false;
3278     
3279     switch (node->id()) {
3280         case ID_BLOCKQUOTE:
3281         case ID_DD:
3282         case ID_DIV:
3283         case ID_DL:
3284         case ID_DT:
3285         case ID_H1:
3286         case ID_H2:
3287         case ID_H3:
3288         case ID_H4:
3289         case ID_H5:
3290         case ID_H6:
3291         case ID_HR:
3292         case ID_LI:
3293         case ID_OL:
3294         case ID_P:
3295         case ID_PRE:
3296         case ID_TD:
3297         case ID_TH:
3298         case ID_UL:
3299             return true;
3300     }
3301     
3302     return false;
3303 }
3304
3305 ReplaceSelectionCommand::ReplaceSelectionCommand(DocumentImpl *document, DocumentFragmentImpl *fragment, bool selectReplacement, bool smartReplace) 
3306     : CompositeEditCommand(document), 
3307       m_fragment(fragment),
3308       m_selectReplacement(selectReplacement), 
3309       m_smartReplace(smartReplace)
3310 {
3311 }
3312
3313 ReplaceSelectionCommand::~ReplaceSelectionCommand()
3314 {
3315 }
3316
3317 void ReplaceSelectionCommand::doApply()
3318 {
3319     Selection selection = endingSelection();
3320     VisiblePosition visibleStart(selection.start());
3321     VisiblePosition visibleEnd(selection.end());
3322     bool startAtStartOfLine = isFirstVisiblePositionOnLine(visibleStart);
3323     bool startAtStartOfBlock = isFirstVisiblePositionInBlock(visibleStart);
3324     bool startAtEndOfBlock = isLastVisiblePositionInBlock(visibleStart);
3325     bool startAtBlockBoundary = startAtStartOfBlock || startAtEndOfBlock;
3326     NodeImpl *startBlock = selection.start().node()->enclosingBlockFlowElement();
3327     NodeImpl *endBlock = selection.end().node()->enclosingBlockFlowElement();
3328
3329     bool mergeStart = !(startAtStartOfLine && (m_fragment.hasInterchangeNewline() || m_fragment.hasMoreThanOneBlock()));
3330     bool mergeEnd = !m_fragment.hasInterchangeNewline() && m_fragment.hasMoreThanOneBlock();
3331     Position startPos = Position(selection.start().node()->enclosingBlockFlowElement(), 0);
3332     Position endPos; 
3333     EStayInBlock upstreamStayInBlock = StayInBlock;
3334
3335     // Delete the current selection, or collapse whitespace, as needed
3336     if (selection.isRange()) {
3337         deleteSelection(false, !(m_fragment.hasInterchangeNewline() || m_fragment.hasMoreThanOneBlock()));
3338     }
3339     else if (selection.isCaret() && mergeEnd && !startAtBlockBoundary) {
3340         // The start and the end need to wind up in separate blocks.
3341         // Insert a paragraph separator to make that happen.
3342         insertParagraphSeparator();
3343         upstreamStayInBlock = DoNotStayInBlock;
3344     }
3345     
3346     selection = endingSelection();
3347     if (startAtStartOfBlock && startBlock->inDocument())
3348         startPos = Position(startBlock, 0);
3349     else if (startAtEndOfBlock)
3350         startPos = selection.start().downstream(StayInBlock);
3351     else
3352         startPos = selection.start().upstream(upstreamStayInBlock);
3353     endPos = selection.end().downstream(); 
3354     
3355     // This command does not use any typing style that is set as a residual effect of
3356     // a delete.
3357     // FIXME: Improve typing style.
3358     // See this bug: <rdar://problem/3769899> Implementation of typing style needs improvement
3359     KHTMLPart *part = document()->part();
3360     part->clearTypingStyle();
3361     setTypingStyle(0);
3362
3363     if (!m_fragment.firstChild())
3364         return;
3365     
3366     // Now that we are about to add content, check to see if a placeholder element
3367     // can be removed.
3368     NodeImpl *block = startPos.node()->enclosingBlockFlowElement();
3369     if (removeBlockPlaceholderIfNeeded(block)) {
3370         Position pos = Position(block, 0);
3371         if (!endPos.node()->inDocument()) // endPos might have been in the placeholder just removed.
3372             endPos = pos;
3373         startPos = pos;
3374     }
3375     
3376     bool addLeadingSpace = false;
3377     bool addTrailingSpace = false;
3378     if (m_smartReplace) {
3379         addLeadingSpace = startPos.leadingWhitespacePosition().isNotNull();
3380         if (addLeadingSpace) {
3381             QChar previousChar = VisiblePosition(startPos).previous().character();
3382             if (!previousChar.isNull()) {
3383                 addLeadingSpace = !part->isCharacterSmartReplaceExempt(previousChar, true);
3384             }
3385         }
3386         addTrailingSpace = endPos.trailingWhitespacePosition().isNotNull();
3387         if (addTrailingSpace) {
3388             QChar thisChar = VisiblePosition(endPos).character();
3389             if (!thisChar.isNull()) {
3390                 addTrailingSpace = !part->isCharacterSmartReplaceExempt(thisChar, false);
3391             }
3392         }
3393     }
3394
3395     document()->updateLayout();
3396
3397     NodeImpl *refBlock = startPos.node()->enclosingBlockFlowElement();
3398     Position insertionPos = startPos;
3399     bool insertBlocksBefore = true;
3400
3401     NodeImpl *firstNodeInserted = 0;
3402     NodeImpl *lastNodeInserted = 0;
3403     bool lastNodeInsertedInMergeEnd = false;
3404
3405     // prune empty nodes from fragment
3406     m_fragment.pruneEmptyNodes();
3407
3408     // Merge content into the end block, if necessary.
3409     if (mergeEnd) {
3410         NodeImpl *node = m_fragment.mergeEndNode();
3411         if (node) {
3412             NodeImpl *refNode = node;
3413             NodeImpl *node = refNode ? refNode->nextSibling() : 0;
3414             insertNodeAt(refNode, endPos.node(), endPos.offset());
3415             firstNodeInserted = refNode;
3416             lastNodeInserted = refNode;
3417             while (node && !isProbablyBlock(node)) {
3418                 NodeImpl *next = node->nextSibling();
3419                 insertNodeAfter(node, refNode);
3420                 lastNodeInserted = node;
3421                 refNode = node;
3422                 node = next;
3423             }
3424             lastNodeInsertedInMergeEnd = true;
3425         }
3426     }
3427     
3428     // prune empty nodes from fragment
3429     m_fragment.pruneEmptyNodes();
3430
3431     // Merge content into the start block, if necessary.
3432     if (mergeStart) {
3433         NodeImpl *node = m_fragment.mergeStartNode();
3434         NodeImpl *insertionNode = 0;
3435         if (node) {
3436             NodeImpl *refNode = node;
3437             NodeImpl *node = refNode ? refNode->nextSibling() : 0;
3438             insertNodeAt(refNode, startPos.node(), startPos.offset());
3439             firstNodeInserted = refNode;
3440             if (!lastNodeInsertedInMergeEnd)
3441                 lastNodeInserted = refNode;
3442             insertionNode = refNode;
3443             while (node && !isProbablyBlock(node)) {
3444                 NodeImpl *next = node->nextSibling();
3445                 insertNodeAfter(node, refNode);
3446                 if (!lastNodeInsertedInMergeEnd)
3447                     lastNodeInserted = node;
3448                 insertionNode = node;
3449                 refNode = node;
3450                 node = next;
3451             }
3452         }
3453         if (insertionNode)
3454             insertionPos = Position(insertionNode, insertionNode->caretMaxOffset());
3455         insertBlocksBefore = false;
3456     }
3457
3458     // prune empty nodes from fragment
3459     m_fragment.pruneEmptyNodes();
3460     
3461     // Merge everything remaining.
3462     NodeImpl *node = m_fragment.firstChild();
3463     if (node) {
3464         NodeImpl *refNode = node;
3465         NodeImpl *node = refNode ? refNode->nextSibling() : 0;
3466         if (isProbablyBlock(refNode) && (insertBlocksBefore || startAtStartOfBlock) && !mergeStart) {
3467             if (refBlock->id() == ID_BODY)
3468                 insertNodeAt(refNode, refBlock, 0);
3469             else
3470                 insertNodeBefore(refNode, refBlock);
3471         }
3472         else if (isProbablyBlock(refNode) && startAtEndOfBlock && !mergeEnd) {
3473             if (refBlock->id() == ID_BODY)
3474                 appendNode(refNode, refBlock);
3475             else
3476                 insertNodeAfter(refNode, refBlock);
3477         }
3478         else {
3479             insertNodeAt(refNode, insertionPos.node(), insertionPos.offset());
3480         }
3481         if (!firstNodeInserted)
3482             firstNodeInserted = refNode;
3483         if (!lastNodeInsertedInMergeEnd)
3484             lastNodeInserted = refNode;
3485         while (node) {
3486             NodeImpl *next = node->nextSibling();
3487             insertNodeAfter(node, refNode);
3488             if (!lastNodeInsertedInMergeEnd)
3489                 lastNodeInserted = node;
3490             refNode = node;
3491             node = next;
3492         }
3493         document()->updateLayout();
3494         insertionPos = Position(lastNodeInserted, lastNodeInserted->caretMaxOffset());
3495     }
3496
3497     // Handle "smart replace" whitespace
3498     if (addTrailingSpace && lastNodeInserted) {
3499         if (lastNodeInserted->isTextNode()) {
3500             TextImpl *text = static_cast<TextImpl *>(lastNodeInserted);
3501             insertTextIntoNode(text, text->length(), nonBreakingSpaceString());
3502             insertionPos = Position(text, text->length());
3503         }
3504         else {
3505             NodeImpl *node = document()->createEditingTextNode(nonBreakingSpaceString());
3506             insertNodeAfter(node, lastNodeInserted);
3507             if (!firstNodeInserted)
3508                 firstNodeInserted = node;
3509             lastNodeInserted = node;
3510             insertionPos = Position(node, 1);
3511         }
3512     }
3513