org.openide.text
Class FilterStyledDocument

java.lang.Object
  |
  +--org.openide.text.FilterDocument
        |
        +--org.openide.text.FilterStyledDocument

All Implemented Interfaces:

Document, StyledDocument

public class FilterStyledDocument

extends FilterDocument

Document that delegates all functionality to a given StyledDocument. Useful if a subclass wants to modify the behaviour of a document.

Note that unlike FilterDocument, no methods are faked here, since a real styled document is available.

Fields inherited from class org.openide.text.FilterDocument

original

Fields inherited from interface javax.swing.text.Document

StreamDescriptionProperty, TitleProperty

Constructor Summary

FilterStyledDocument(StyledDocument original)
Create new document instance.

Method Summary

Style	addStyle(String nm, Style parent)
Color	getBackground(AttributeSet attr)
Element	getCharacterElement(int pos)
Font	getFont(AttributeSet attr)
Color	getForeground(AttributeSet attr)
Style	getLogicalStyle(int p)
Element	getParagraphElement(int pos)
Style	getStyle(String nm)
void	removeStyle(String nm)
void	setCharacterAttributes(int offset, int length, AttributeSet s, boolean replace)
void	setLogicalStyle(int pos, Style s)
void	setParagraphAttributes(int offset, int length, AttributeSet s, boolean replace)

Methods inherited from class org.openide.text.FilterDocument

addDocumentListener, addUndoableEditListener, createPosition, getDefaultRootElement, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, insertString, putProperty, remove, removeDocumentListener, removeUndoableEditListener, render

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FilterStyledDocument

public FilterStyledDocument(StyledDocument original)

Create new document instance.

Parameters:

original - the delegated-to styled document

Method Detail

addStyle

public Style addStyle(String nm,
                      Style parent)

Overrides:

addStyle in class FilterDocument

removeStyle

public void removeStyle(String nm)

Overrides:

removeStyle in class FilterDocument

getStyle

public Style getStyle(String nm)

Overrides:

getStyle in class FilterDocument

setCharacterAttributes

public void setCharacterAttributes(int offset,
                                   int length,
                                   AttributeSet s,
                                   boolean replace)

Overrides:

setCharacterAttributes in class FilterDocument

setParagraphAttributes

public void setParagraphAttributes(int offset,
                                   int length,
                                   AttributeSet s,
                                   boolean replace)

Overrides:

setParagraphAttributes in class FilterDocument

setLogicalStyle

public void setLogicalStyle(int pos,
                            Style s)

Overrides:

setLogicalStyle in class FilterDocument

getLogicalStyle

public Style getLogicalStyle(int p)

Overrides:

getLogicalStyle in class FilterDocument

getParagraphElement

public Element getParagraphElement(int pos)

Overrides:

getParagraphElement in class FilterDocument

getCharacterElement

public Element getCharacterElement(int pos)

Overrides:

getCharacterElement in class FilterDocument

getForeground

public Color getForeground(AttributeSet attr)

Overrides:

getForeground in class FilterDocument

getBackground

public Color getBackground(AttributeSet attr)

Overrides:

getBackground in class FilterDocument

getFont

public Font getFont(AttributeSet attr)

Overrides:

getFont in class FilterDocument