private abstract static class DocumentUtil.PassthroughDocument
extends java.lang.Object
implements javax.swing.text.Document
| Modifier and Type | Field and Description |
|---|---|
private javax.swing.text.Document |
delegate_ |
| Constructor and Description |
|---|
PassthroughDocument(javax.swing.text.Document delegate)
Create an instance
|
| Modifier and Type | Method and Description |
|---|---|
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 PassthroughDocument(javax.swing.text.Document delegate)
delegate - The document to wrap.public int getLength()
getLength in interface javax.swing.text.Documentpublic void addDocumentListener(javax.swing.event.DocumentListener listener)
addDocumentListener in interface javax.swing.text.Documentpublic void removeDocumentListener(javax.swing.event.DocumentListener listener)
removeDocumentListener in interface javax.swing.text.Documentpublic void addUndoableEditListener(javax.swing.event.UndoableEditListener listener)
addUndoableEditListener in interface javax.swing.text.Documentpublic void removeUndoableEditListener(javax.swing.event.UndoableEditListener listener)
removeUndoableEditListener in interface javax.swing.text.Documentpublic java.lang.Object getProperty(java.lang.Object key)
getProperty in interface javax.swing.text.Documentpublic void putProperty(java.lang.Object key,
java.lang.Object value)
putProperty in interface javax.swing.text.Documentpublic void remove(int offs,
int len)
throws javax.swing.text.BadLocationException
remove in interface javax.swing.text.Documentjavax.swing.text.BadLocationExceptionpublic void insertString(int offset,
java.lang.String str,
javax.swing.text.AttributeSet a)
throws javax.swing.text.BadLocationException
insertString in interface javax.swing.text.Documentjavax.swing.text.BadLocationExceptionpublic java.lang.String getText(int offset,
int length)
throws javax.swing.text.BadLocationException
getText in interface javax.swing.text.Documentjavax.swing.text.BadLocationExceptionpublic void getText(int offset,
int length,
javax.swing.text.Segment txt)
throws javax.swing.text.BadLocationException
getText in interface javax.swing.text.Documentjavax.swing.text.BadLocationExceptionpublic javax.swing.text.Position getStartPosition()
getStartPosition in interface javax.swing.text.Documentpublic javax.swing.text.Position getEndPosition()
getEndPosition in interface javax.swing.text.Documentpublic javax.swing.text.Position createPosition(int offs)
throws javax.swing.text.BadLocationException
createPosition in interface javax.swing.text.Documentjavax.swing.text.BadLocationExceptionpublic javax.swing.text.Element[] getRootElements()
getRootElements in interface javax.swing.text.Documentpublic javax.swing.text.Element getDefaultRootElement()
getDefaultRootElement in interface javax.swing.text.Documentpublic void render(java.lang.Runnable r)
render in interface javax.swing.text.Document