public class FilterDocument extends Object implements StyledDocument
StyledDocument methods are just defaulted to the plainest behavior.
| Modifier and Type | Field and Description |
|---|---|
protected Document |
original
the original document to delegate to
|
StreamDescriptionProperty, TitleProperty| Constructor and Description |
|---|
FilterDocument(Document original)
Create new document instance.
|
protected Document original
public FilterDocument(Document original)
original - delegated-to documentpublic void addDocumentListener(DocumentListener l)
addDocumentListener in interface Documentpublic void removeDocumentListener(DocumentListener l)
removeDocumentListener in interface Documentpublic void addUndoableEditListener(UndoableEditListener listener)
addUndoableEditListener in interface Documentpublic void removeUndoableEditListener(UndoableEditListener listener)
removeUndoableEditListener in interface Documentpublic Object getProperty(Object key)
getProperty in interface Documentpublic void putProperty(Object key, Object value)
putProperty in interface Documentpublic void remove(int offset,
int len)
throws BadLocationException
remove in interface DocumentBadLocationExceptionpublic void insertString(int offset,
String str,
AttributeSet a)
throws BadLocationException
insertString in interface DocumentBadLocationExceptionpublic String getText(int offset, int len) throws BadLocationException
getText in interface DocumentBadLocationExceptionpublic void getText(int offset,
int len,
Segment txt)
throws BadLocationException
getText in interface DocumentBadLocationExceptionpublic Position getStartPosition()
getStartPosition in interface Documentpublic Position getEndPosition()
getEndPosition in interface Documentpublic Position createPosition(int offset) throws BadLocationException
createPosition in interface DocumentBadLocationExceptionpublic Element[] getRootElements()
getRootElements in interface Documentpublic Element getDefaultRootElement()
getDefaultRootElement in interface Documentpublic Style addStyle(String nm, Style parent)
addStyle in interface StyledDocumentpublic void removeStyle(String nm)
removeStyle in interface StyledDocumentpublic Style getStyle(String nm)
getStyle in interface StyledDocumentpublic void setCharacterAttributes(int offset,
int length,
AttributeSet s,
boolean replace)
setCharacterAttributes in interface StyledDocumentpublic void setParagraphAttributes(int offset,
int length,
AttributeSet s,
boolean replace)
setParagraphAttributes in interface StyledDocumentpublic void setLogicalStyle(int pos,
Style s)
setLogicalStyle in interface StyledDocumentpublic Style getLogicalStyle(int p)
getLogicalStyle in interface StyledDocumentpublic Element getParagraphElement(int pos)
getParagraphElement in interface StyledDocumentpublic Element getCharacterElement(int pos)
getCharacterElement in interface StyledDocumentpublic Color getForeground(AttributeSet attr)
getForeground in interface StyledDocumentpublic Color getBackground(AttributeSet attr)
getBackground in interface StyledDocumentpublic Font getFont(AttributeSet attr)
getFont in interface StyledDocumentBuilt on August 24 2014. | Portions Copyright 1997-2014 Sun Microsystems, Inc. All rights reserved.