edu.rice.cs.util.text
Interface AbstractDocumentInterface

All Known Subinterfaces:

DJDocument, OpenDefinitionsDocument, SwingDocumentInterface

All Known Implementing Classes:

AbstractDJDocument, AbstractGlobalModel.ConcreteOpenDefDoc, DefaultGlobalModel.ConcreteOpenDefDoc, DefinitionsDocument, DummyOpenDefDoc, ErrorPanel.ErrorDocument, InteractionsDJDocument, SwingDocument, TestDocGetter.TestOpenDoc

public interface AbstractDocumentInterface

Swing Document interface augmented by readers/writers locking operations

Method Summary

void	append(java.lang.String str, javax.swing.text.AttributeSet set) Appends given string with specified attributes to end of this document.
javax.swing.text.Position	createPosition(int offs) Creates a "sticky" position within a document
int	getLength()
java.lang.String	getText()
java.lang.String	getText(int offset, int length)
void	insertString(int offset, java.lang.String str, javax.swing.text.AttributeSet a)
void	remove(int offset, int length)

Method Detail

getLength

int getLength()

getText

java.lang.String getText(int offset,
                         int length)
                         throws javax.swing.text.BadLocationException

Throws:

javax.swing.text.BadLocationException

getText

java.lang.String getText()

insertString

void insertString(int offset,
                  java.lang.String str,
                  javax.swing.text.AttributeSet a)
                  throws javax.swing.text.BadLocationException

Throws:

javax.swing.text.BadLocationException

remove

void remove(int offset,
            int length)
            throws javax.swing.text.BadLocationException

Throws:

javax.swing.text.BadLocationException

append

void append(java.lang.String str,
            javax.swing.text.AttributeSet set)

Appends given string with specified attributes to end of this document.

createPosition

javax.swing.text.Position createPosition(int offs)
                                         throws javax.swing.text.BadLocationException

Creates a "sticky" position within a document

Throws:

javax.swing.text.BadLocationException