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