aboutsummaryrefslogtreecommitdiff
path: root/libjava/classpath/javax/swing/text/PlainDocument.java
diff options
context:
space:
mode:
Diffstat (limited to 'libjava/classpath/javax/swing/text/PlainDocument.java')
-rw-r--r--libjava/classpath/javax/swing/text/PlainDocument.java292
1 files changed, 0 insertions, 292 deletions
diff --git a/libjava/classpath/javax/swing/text/PlainDocument.java b/libjava/classpath/javax/swing/text/PlainDocument.java
deleted file mode 100644
index 070c760..0000000
--- a/libjava/classpath/javax/swing/text/PlainDocument.java
+++ /dev/null
@@ -1,292 +0,0 @@
-/* PlainDocument.java --
- Copyright (C) 2002, 2004, 2006 Free Software Foundation, Inc.
-
-This file is part of GNU Classpath.
-
-GNU Classpath is free software; you can redistribute it and/or modify
-it under the terms of the GNU General Public License as published by
-the Free Software Foundation; either version 2, or (at your option)
-any later version.
-
-GNU Classpath is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-General Public License for more details.
-
-You should have received a copy of the GNU General Public License
-along with GNU Classpath; see the file COPYING. If not, write to the
-Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
-02110-1301 USA.
-
-Linking this library statically or dynamically with other modules is
-making a combined work based on this library. Thus, the terms and
-conditions of the GNU General Public License cover the whole
-combination.
-
-As a special exception, the copyright holders of this library give you
-permission to link this library with independent modules to produce an
-executable, regardless of the license terms of these independent
-modules, and to copy and distribute the resulting executable under
-terms of your choice, provided that you also meet, for each linked
-independent module, the terms and conditions of the license of that
-module. An independent module is a module which is not derived from
-or based on this library. If you modify this library, you may extend
-this exception to your version of the library, but you are not
-obligated to do so. If you do not wish to do so, delete this
-exception statement from your version. */
-
-
-package javax.swing.text;
-
-import java.util.ArrayList;
-
-/**
- * A simple document class which maps lines to {@link Element}s.
- *
- * @author Anthony Balkissoon (abalkiss@redhat.com)
- * @author Graydon Hoare (graydon@redhat.com)
- * @author Roman Kennke (roman@kennke.org)
- * @author Michael Koch (konqueror@gmx.de)
- * @author Robert Schuster (robertschuster@fsfe.org)
- */
-public class PlainDocument extends AbstractDocument
-{
- private static final long serialVersionUID = 4758290289196893664L;
-
- public static final String lineLimitAttribute = "lineLimit";
- public static final String tabSizeAttribute = "tabSize";
-
- /**
- * The default root element of this document. This is made type Element
- * because the RI seems to accept other types of elements as well from
- * createDefaultRoot() (when overridden by a subclass).
- */
- private Element rootElement;
-
- public PlainDocument()
- {
- this(new GapContent());
- }
-
- public PlainDocument(AbstractDocument.Content content)
- {
- super(content);
- rootElement = createDefaultRoot();
-
- // This property has been determined using a Mauve test.
- putProperty("tabSize", new Integer(8));
- }
-
- private void reindex()
- {
- Element[] lines;
- try
- {
- String str = content.getString(0, content.length());
-
- ArrayList elts = new ArrayList();
- int j = 0;
- for (int i = str.indexOf('\n', 0); i != -1; i = str.indexOf('\n', i + 1))
- {
- elts.add(createLeafElement(rootElement, SimpleAttributeSet.EMPTY, j, i + 1));
- j = i + 1;
- }
-
- if (j < content.length())
- elts.add(createLeafElement(rootElement, SimpleAttributeSet.EMPTY, j, content.length()));
-
- lines = new Element[elts.size()];
- for (int i = 0; i < elts.size(); ++i)
- lines[i] = (Element) elts.get(i);
- }
- catch (BadLocationException e)
- {
- lines = new Element[1];
- lines[0] = createLeafElement(rootElement, SimpleAttributeSet.EMPTY, 0, 1);
- }
-
- ((BranchElement) rootElement).replace(0, rootElement.getElementCount(), lines);
- }
-
- protected AbstractDocument.AbstractElement createDefaultRoot()
- {
- BranchElement root =
- (BranchElement) createBranchElement(null, null);
-
- Element[] array = new Element[1];
- array[0] = createLeafElement(root, null, 0, 1);
- root.replace(0, 0, array);
-
- return root;
- }
-
- protected void insertUpdate(DefaultDocumentEvent event,
- AttributeSet attributes)
- {
-
- String text = null;
- int offset = event.getOffset();
- int length = event.getLength();
- try
- {
- text = getText(offset, length);
- }
- catch (BadLocationException ex)
- {
- AssertionError err = new AssertionError();
- err.initCause(ex);
- throw err;
- }
-
- boolean hasLineBreak = text.indexOf('\n') != -1;
- boolean prevCharIsLineBreak = false;
- try
- {
- prevCharIsLineBreak =
- offset > 0 && getText(offset - 1, 1).charAt(0) == '\n';
- }
- catch (BadLocationException ex)
- {
- AssertionError err = new AssertionError();
- err.initCause(ex);
- throw err;
- }
- boolean lastCharIsLineBreak = text.charAt(text.length() - 1) == '\n';
- int lineIndex = -1;
- int lineStart = -1;
- int lineEnd = -1;
- Element[] removed = null;
- BranchElement root = (BranchElement) rootElement;
- boolean updateStructure = true;
-
- if (prevCharIsLineBreak && ! lastCharIsLineBreak)
- {
- // We must fix the structure a little if the previous char
- // is a linebreak and the last char isn't.
- lineIndex = root.getElementIndex(offset - 1);
- Element prevLine = root.getElement(lineIndex);
- Element nextLine = root.getElement(lineIndex + 1);
- lineStart = prevLine.getStartOffset();
- lineEnd = nextLine.getEndOffset();
- removed = new Element[]{ prevLine, nextLine };
- }
- else if (hasLineBreak)
- {
- lineIndex = root.getElementIndex(offset);
- Element line = root.getElement(lineIndex);
- lineStart = line.getStartOffset();
- lineEnd = line.getEndOffset();
- removed = new Element[]{ line };
- }
- else
- {
- updateStructure = false;
- }
-
- if (updateStructure)
- {
- // Break the lines between lineStart and lineEnd.
- ArrayList lines = new ArrayList();
- int len = lineEnd - lineStart;
- try
- {
- text = getText(lineStart, len);
- }
- catch (BadLocationException ex)
- {
- AssertionError err = new AssertionError();
- err.initCause(ex);
- throw err;
- }
- int prevLineBreak = 0;
- int lineBreak = text.indexOf('\n');
- do
- {
- lineBreak++;
- lines.add(createLeafElement(root, null, lineStart + prevLineBreak,
- lineStart + lineBreak));
- prevLineBreak = lineBreak;
- lineBreak = text.indexOf('\n', prevLineBreak);
- } while (prevLineBreak < len);
-
- // Update the element structure and prepare document event.
- Element[] added = (Element[]) lines.toArray(new Element[lines.size()]);
- event.addEdit(new ElementEdit(root, lineIndex, removed, added));
- root.replace(lineIndex, removed.length, added);
- }
- super.insertUpdate(event, attributes);
- }
-
- protected void removeUpdate(DefaultDocumentEvent event)
- {
- super.removeUpdate(event);
-
- // added and removed are Element arrays used to add an ElementEdit
- // to the DocumentEvent if there were entire lines added or removed
- // from the Document
- Element[] added = new Element[1];
- Element[] removed;
- int p0 = event.getOffset();
-
- // check if we must collapse some elements
- int i1 = rootElement.getElementIndex(p0);
- int i2 = rootElement.getElementIndex(p0 + event.getLength());
- if (i1 != i2)
- {
- // If there were lines removed then we have to add an ElementEdit
- // to the DocumentEvent so we set it up now by filling the Element
- // arrays "removed" and "added" appropriately
- removed = new Element [i2 - i1 + 1];
- for (int i = i1; i <= i2; i++)
- removed[i-i1] = rootElement.getElement(i);
-
- int start = rootElement.getElement(i1).getStartOffset();
- int end = rootElement.getElement(i2).getEndOffset();
- added[0] = createLeafElement(rootElement,
- SimpleAttributeSet.EMPTY,
- start, end);
-
- // Now create and add the ElementEdit
- ElementEdit e = new ElementEdit(rootElement, i1, removed, added);
- event.addEdit(e);
-
- // collapse elements if the removal spans more than 1 line
- ((BranchElement) rootElement).replace(i1, i2 - i1 + 1, added);
- }
- }
-
- public Element getDefaultRootElement()
- {
- return rootElement;
- }
-
- public Element getParagraphElement(int pos)
- {
- Element root = getDefaultRootElement();
- return root.getElement(root.getElementIndex(pos));
- }
-
- /**
- * Inserts a string into the document. If the document property
- * '<code>filterNewLines</code>' is set to <code>Boolean.TRUE</code>, then
- * all newlines in the inserted string are replaced by space characters,
- * otherwise the superclasses behaviour is executed.
- *
- * Inserting content causes a write lock to be acquired during this method
- * call.
- *
- * @param offs the offset at which to insert the string
- * @param str the string to be inserted
- * @param atts the text attributes of the string to be inserted
- *
- * @throws BadLocationException
- */
- public void insertString(int offs, String str, AttributeSet atts)
- throws BadLocationException
- {
- String string = str;
- if (str != null && Boolean.TRUE.equals(getProperty("filterNewlines")))
- string = str.replaceAll("\n", " ");
- super.insertString(offs, string, atts);
- }
-}
generated by cgit v1.1 at 2025-04-04 06:54:47 +0000