edu.rice.cs.util.text
Interface AbstractDocumentInterface

All Known Subinterfaces:

DJDocument, OpenDefinitionsDocument, SwingDocumentInterface

All Known Implementing Classes:

AbstractDJDocument, DefinitionsDocument, DummyOpenDefDoc, InteractionsDJDocument, SwingDocument

public interface AbstractDocumentInterface

Swing Document interface augmented by readers/writers locking operations

Method Summary

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

Method Detail

getLength

int getLength()

getText

String getText(int offset,
               int length)
               throws BadLocationException

Throws:

BadLocationException

getText

String getText()

insertString

void insertString(int offset,
                  String str,
                  AttributeSet a)
                  throws BadLocationException

Throws:

BadLocationException

remove

void remove(int offset,
            int length)
            throws BadLocationException

Throws:

BadLocationException

append

void append(String str,
            AttributeSet set)

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

createPosition

Position createPosition(int offs)
                        throws BadLocationException

Creates a "sticky" position within a document

Throws:

BadLocationException