|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object swingwtx.swing.text.AbstractDocument
Main implementation of document support.
Nested Class Summary | |
class |
AbstractDocument.AbstractElement
Sub-classes |
static interface |
AbstractDocument.AttributeContext
|
class |
AbstractDocument.BranchElement
|
static interface |
AbstractDocument.Content
Interfaces: |
class |
AbstractDocument.DefaultDocumentEvent
|
static class |
AbstractDocument.ElementEdit
|
class |
AbstractDocument.LeafElement
|
Field Summary | |
protected AbstractDocument.Content |
content
The document content |
protected java.util.Vector |
documentListeners
Document listeners |
protected java.util.Hashtable |
props
Properties |
protected java.util.Vector |
undoListeners
Undo listeners |
Fields inherited from interface swingwtx.swing.text.Document |
StreamDescriptionProperty, TitleProperty |
Constructor Summary | |
AbstractDocument()
|
Method Summary | |
void |
addDocumentListener(DocumentListener listener)
|
void |
addUndoableEditListener(UndoableEditListener listener)
|
Position |
createPosition(int offs)
|
protected void |
fireDocumentEvent(DocumentEvent e)
Fires document change events to listeners |
DocumentFilter |
getDocumentFilter()
|
Position |
getEndPosition()
|
DocumentFilter.FilterBypass |
getFilterBypass()
|
int |
getLength()
|
abstract Element |
getParagraphElement(int pos)
|
java.lang.Object |
getProperty(java.lang.Object key)
|
Element[] |
getRootElements()
FIXME: NOT IMPLEMENTED |
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)
FIXME: Need to work with UndoManager ? |
void |
putProperty(java.lang.Object key,
java.lang.Object value)
|
void |
remove(int offs,
int len)
FIXME: Need to work with UndoManager ? |
void |
removeDocumentListener(DocumentListener listener)
|
void |
removeUndoableEditListener(UndoableEditListener listener)
|
void |
render(java.lang.Runnable r)
FIXME: What the hell is this routine for? |
void |
setDocumentFilter(DocumentFilter documentFilter)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface swingwtx.swing.text.Document |
getDefaultRootElement |
Field Detail |
protected AbstractDocument.Content content
protected java.util.Vector documentListeners
protected java.util.Vector undoListeners
protected java.util.Hashtable props
Constructor Detail |
public AbstractDocument()
Method Detail |
public abstract Element getParagraphElement(int pos)
public int getLength()
getLength
in interface Document
public void addDocumentListener(DocumentListener listener)
addDocumentListener
in interface Document
public void removeDocumentListener(DocumentListener listener)
removeDocumentListener
in interface Document
public void addUndoableEditListener(UndoableEditListener listener)
addUndoableEditListener
in interface Document
public void removeUndoableEditListener(UndoableEditListener listener)
removeUndoableEditListener
in interface Document
public java.lang.Object getProperty(java.lang.Object key)
getProperty
in interface Document
public void putProperty(java.lang.Object key, java.lang.Object value)
putProperty
in interface Document
public void remove(int offs, int len) throws BadLocationException
remove
in interface Document
BadLocationException
public void insertString(int offset, java.lang.String str, AttributeSet a) throws BadLocationException
insertString
in interface Document
BadLocationException
public java.lang.String getText(int offset, int length) throws BadLocationException
getText
in interface Document
BadLocationException
public void getText(int offset, int length, Segment txt) throws BadLocationException
getText
in interface Document
BadLocationException
public Position getStartPosition()
getStartPosition
in interface Document
public Position getEndPosition()
getEndPosition
in interface Document
public Position createPosition(int offs) throws BadLocationException
createPosition
in interface Document
BadLocationException
public Element[] getRootElements()
getRootElements
in interface Document
public void render(java.lang.Runnable r)
render
in interface Document
public DocumentFilter getDocumentFilter()
public void setDocumentFilter(DocumentFilter documentFilter)
public DocumentFilter.FilterBypass getFilterBypass()
protected void fireDocumentEvent(DocumentEvent e)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |