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
-