swing/text/DefaultStyledDocument.java

1471             ElemChanges ec = path.peek();
1472             Element child = ec.parent.getElement(ec.index);
1473             ec.added.addElement(createLeafElement(ec.parent,
1476             ec.removed.addElement(child);
1663             ElemChanges ec = path.peek();
1664             Element child = ec.parent.getElement(ec.index);
1671                 int index0 = ec.index;
1673                 if (((offs + len) < ec.parent.getEndOffset()) && (len != 0)) {
1675                     index1 = ec.parent.getElementIndex(offs+len);
1678                         ec.removed.addElement(child);
1679                         e = createLeafElement(ec.parent, child.getAttributes(),
1681                         ec.added.addElement(e);
1682                         e = createLeafElement(ec.parent, child.getAttributes(),
1684                         ec.added.addElement(e);
1685                         e = createLeafElement(ec.parent, child.getAttributes(),
1687                         ec.added.addElement(e);
1690                         child = ec.parent.getElement(index1);
1701                 child = ec.parent.getElement(index0);
1702                 ec.removed.addElement(child);
1703                 e = createLeafElement(ec.parent, child.getAttributes(),
1705                 ec.added.addElement(e);
1706                 e = createLeafElement(ec.parent, child.getAttributes(),
1708                 ec.added.addElement(e);
1712                     child = ec.parent.getElement(i);
1713                     ec.removed.addElement(child);
1714                     ec.added.addElement(child);
1718                     child = ec.parent.getElement(index1);
1720                     ec.removed.addElement(child);
1721                     e = createLeafElement(ec.parent, child.getAttributes(),
1723                     ec.added.addElement(e);
1724                     e = createLeafElement(ec.parent, child.getAttributes(),
1726                     ec.added.addElement(e);
1739                 ElemChanges ec = changes.elementAt(i);
1740                 Element[] removed = new Element[ec.removed.size()];
1741                 ec.removed.copyInto(removed);
1742                 Element[] added = new Element[ec.added.size()];
1743                 ec.added.copyInto(added);
1744                 int index = ec.index;
1745                 ((BranchElement) ec.parent).replace(index, removed.length, added);
1746                 ElementEdit ee = new ElementEdit(ec.parent, index, removed, added);
1755                 ElemChanges ec = (ElemChanges) changes.elementAt(i);
1756                 System.err.print("edited: " + ec.parent + " at: " + ec.index +
1757                     " removed " + ec.removed.size());
1758                 if (ec.removed.size() > 0) {
1759                     int r0 = ((Element) ec.removed.firstElement()).getStartOffset();
1760                     int r1 = ((Element) ec.removed.lastElement()).getEndOffset();
1763                 System.err.print(" added " + ec.added.size());
1764                 if (ec.added.size() > 0) {
1765                     int p0 = ((Element) ec.added.firstElement()).getStartOffset();
1766                     int p1 = ((Element) ec.added.lastElement()).getEndOffset();
1804             ElemChanges ec = new ElemChanges(e, index, isFracture);
1805             path.push(ec);
1813             ElemChanges ec = path.peek();
1815             if ((ec.added.size() > 0) || (ec.removed.size() > 0)) {
1816                 changes.addElement(ec);
1818                 Element e = ec.parent;
1822                     ec = path.peek();
1823                     ec.added.removeElement(e);
1836             ElemChanges ec = path.peek();
1843                     Element parent = ec.parent.getElement(ec.index);
1848                         if((ec.index + 1) < ec.parent.getElementCount())
1849                             parent = ec.parent.getElement(ec.index + 1);
1866                     if(!ec.isFracture) {
1871                         push(ec.parent.getElement(0), 0, true);
1874                     Element belem = createBranchElement(ec.parent,
1876                     ec.added.addElement(belem);
1887                     Element leaf = createLeafElement(ec.parent, es.getAttributes(),
1889                     ec.added.addElement(leaf);
1897                     if(!ec.isFracture) {
1902                                 if(insertPath[counter] == ec) {
1904                                         first = ec.parent.getElement(ec.index);
1910                             first = ec.parent.getElement(ec.index + 1);
1911                         Element leaf = createLeafElement(ec.parent, first.
1913                         ec.added.addElement(leaf);
1914                         ec.removed.addElement(first);
1918                         Element first = ec.parent.getElement(0);
1919                         Element leaf = createLeafElement(ec.parent, first.
1921                         ec.added.addElement(leaf);
1922                         ec.removed.addElement(first);
1944                 ElemChanges ec = path.peek();
1953                         ec.removed.addElement(child0);
1956                         ec.removed.addElement(child0);
1968                             ec.removed.addElement(elem.getElement(i));
1971                         ec.added.addElement(e);
1993                             ec.index = rmIndex0;
1996                             ec.removed.addElement(elem.getElement(i));
2000                                 ec.removed.insertElementAt(child0, 0);
2001                                 ec.index = index0;
2006                                 ec.removed.addElement(child1);
2016                 if(elem.getElementCount() == (ec.removed.size() -
2017                                               ec.added.size())) {
2369             ElemChanges ec = path.peek();
2370             Element child = ec.parent.getElement(ec.index);
2374                 Element newChild = createLeafElement(ec.parent,
2379                 ec.added.addElement(newChild);
2381             ec.removed.addElement(child);
2394             ElemChanges ec = path.peek();
2395             Element child = ec.parent.getElement(ec.index);
2404                     Element newE = createLeafElement(ec.parent,
2407                     ec.added.addElement(newE);
2408                     ec.removed.addElement(child);
2426                     Element newE = createLeafElement(ec.parent,
2429                     ec.added.addElement(newE);
2432                     Element nextChild = ec.parent.getElement(ec.index + 1);
2434                         newE = createLeafElement(ec.parent, nextChild.
2437                         newE = createLeafElement(ec.parent, nextChild.
2439                     ec.added.addElement(newE);
2440                     ec.removed.addElement(child);
2441                     ec.removed.addElement(nextChild);
2450                     Element newE = createLeafElement(ec.parent,
2453                     ec.added.addElement(newE);
2455                 ec.removed.addElement(child);
2457                 Element newE = createLeafElement(ec.parent,
2460                 ec.added.addElement(newE);