diff options
Diffstat (limited to 'javax/swing/text/Document.java')
-rw-r--r-- | javax/swing/text/Document.java | 25 |
1 files changed, 21 insertions, 4 deletions
diff --git a/javax/swing/text/Document.java b/javax/swing/text/Document.java index 351b0aa60..6ecb7ca21 100644 --- a/javax/swing/text/Document.java +++ b/javax/swing/text/Document.java @@ -1,4 +1,4 @@ -/* Document.java -- +/* Document.java -- Copyright (C) 2002, 2004 Free Software Foundation, Inc. This file is part of GNU Classpath. @@ -40,27 +40,44 @@ package javax.swing.text; import javax.swing.event.DocumentListener; import javax.swing.event.UndoableEditListener; + public interface Document -{ +{ String StreamDescriptionProperty = "stream"; - String TitleProperty = "text"; void addDocumentListener(DocumentListener listener); + void addUndoableEditListener(UndoableEditListener listener); + Position createPosition(int offs); + Element getDefaultRootElement(); + Position getEndPosition(); + int getLength(); + Object getProperty(Object key); + Element[] getRootElements(); + Position getStartPosition(); + String getText(int offset, int length); + void getText(int offset, int length, Segment txt); - void insertString(int offset, String str, AttributeSet a); + + void insertString(int offset, String str, AttributeSet a) + throws BadLocationException; + void putProperty(Object key, Object value); + void remove(int offs, int len); + void removeDocumentListener(DocumentListener listener); + void removeUndoableEditListener(UndoableEditListener listener); + void render(Runnable r); } |