com.programix.gui.text
Class FilterDocument

java.lang.Object
  javax.swing.text.AbstractDocument
      javax.swing.text.PlainDocument
          com.programix.gui.text.FilterDocument

All Implemented Interfaces:

Serializable, Document

Deprecated. Use @{link FilterChainDocument} instead.

public class FilterDocument
extends PlainDocument

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument

AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement

Field Summary

Fields inherited from class javax.swing.text.PlainDocument

lineLimitAttribute, tabSizeAttribute

Fields inherited from class javax.swing.text.AbstractDocument

BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName

Fields inherited from interface javax.swing.text.Document

StreamDescriptionProperty, TitleProperty

Constructor Summary

FilterDocument(String validCharStr)
Deprecated. Creates a filter that only lets characters in the passed String remain.

Method Summary

static FilterDocument	createFromSorted(char[] sortedValidChar) Deprecated. Creates a filter from a pre-sorted char[].
static FilterDocument	createFromUnsorted(char[] unsortedValidChar) Deprecated. Creates a filter from a un-sorted char[].
void	insertString(int offset, String srcStr, AttributeSet attr) Deprecated.

Methods inherited from class javax.swing.text.PlainDocument

createDefaultRoot, getDefaultRootElement, getParagraphElement, insertUpdate, removeUpdate

Methods inherited from class javax.swing.text.AbstractDocument

addDocumentListener, addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, remove, removeDocumentListener, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock

Methods inherited from class java.lang.Object

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

Constructor Detail

FilterDocument

public FilterDocument(String validCharStr)

Deprecated.

Creates a filter that only lets characters in the passed String remain. There is no need for the String to present the characters in any particular order.

Parameters:

validCharStr - set of characters to keep.

Method Detail

createFromUnsorted

public static FilterDocument createFromUnsorted(char[] unsortedValidChar)

Deprecated.

Creates a filter from a un-sorted char[]. Note that the array passed will be cloned, so the passed array will not be altered.

Parameters:

unsortedValidChar - un-sorted characters

createFromSorted

public static FilterDocument createFromSorted(char[] sortedValidChar)

Deprecated.

Creates a filter from a pre-sorted char[]. Note that the array passed in is not copied or cloned, so be sure to not alter it after passing it as a parameter.

Parameters:

sortedValidChar - pre-sorted characters

insertString

public void insertString(int offset,
                         String srcStr,
                         AttributeSet attr)
                  throws BadLocationException

Deprecated.

Specified by:

insertString in interface Document

Overrides:

insertString in class PlainDocument

Throws:

BadLocationException