swingwtx.swing.text
Interface Document

All Known Subinterfaces:

StyledDocument

All Known Implementing Classes:

AbstractDocument

public interface Document

Field Summary

static java.lang.String	StreamDescriptionProperty
static java.lang.String	TitleProperty

Method Summary

void	addDocumentListener(DocumentListener listener)
void	addUndoableEditListener(UndoableEditListener listener)
Position	createPosition(int offs)
Element	getDefaultRootElement()
Position	getEndPosition()
int	getLength()
java.lang.Object	getProperty(java.lang.Object key)
Element[]	getRootElements()
Position	getStartPosition()
java.lang.String	getText(int offset, int length)
void	getText(int offset, int length, Segment txt)
void	insertString(int offset, java.lang.String str, AttributeSet a)
void	putProperty(java.lang.Object key, java.lang.Object value)
void	remove(int offs, int len)
void	removeDocumentListener(DocumentListener listener)
void	removeUndoableEditListener(UndoableEditListener listener)
void	render(java.lang.Runnable r)

Field Detail

StreamDescriptionProperty

public static final java.lang.String StreamDescriptionProperty

See Also:

Constant Field Values

TitleProperty

public static final java.lang.String TitleProperty

See Also:

Constant Field Values

Method Detail

getLength

public int getLength()

addDocumentListener

public void addDocumentListener(DocumentListener listener)

removeDocumentListener

public void removeDocumentListener(DocumentListener listener)

addUndoableEditListener

public void addUndoableEditListener(UndoableEditListener listener)

removeUndoableEditListener

public void removeUndoableEditListener(UndoableEditListener listener)

getProperty

public java.lang.Object getProperty(java.lang.Object key)

putProperty

public void putProperty(java.lang.Object key,
                        java.lang.Object value)

remove

public void remove(int offs,
                   int len)
            throws BadLocationException

Throws:

BadLocationException

insertString

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

Throws:

BadLocationException

getText

public java.lang.String getText(int offset,
                                int length)
                         throws BadLocationException

Throws:

BadLocationException

getText

public void getText(int offset,
                    int length,
                    Segment txt)
             throws BadLocationException

Throws:

BadLocationException

getStartPosition

public Position getStartPosition()

getEndPosition

public Position getEndPosition()

createPosition

public Position createPosition(int offs)
                        throws BadLocationException

Throws:

BadLocationException

getRootElements

public Element[] getRootElements()

getDefaultRootElement

public Element getDefaultRootElement()

render

public void render(java.lang.Runnable r)