net.jbeans.util.text: public final class: NumberDocument

net.jbeans.util.text
public final class: NumberDocument [javadoc | source]

java.lang.Object
   javax.swing.text.AbstractDocument
      javax.swing.text.PlainDocument
         net.jbeans.util.text.NumberDocument

All Implemented Interfaces:
Document, Serializable

A text document which will reject any characters that are not digits.

Also see:

PlainDocument

version: $ - Revision: 1.1.1.1 $

author: Masahiro - Takatsuka (masa@jbeans.net)

Fields inherited from javax.swing.text.PlainDocument:
tabSizeAttribute, lineLimitAttribute

Fields inherited from javax.swing.text.AbstractDocument:
listenerList, BAD_LOCATION, ParagraphElementName, ContentElementName, SectionElementName, BidiElementName, ElementNameAttribute, I18NProperty, MultiByteProperty, AsyncLoadPriority

Method from net.jbeans.util.text.NumberDocument Summary:
insertString

Methods from javax.swing.text.PlainDocument:
createDefaultRoot, getDefaultRootElement, getParagraphElement, insertString, insertUpdate, removeUpdate

Methods from javax.swing.text.AbstractDocument:
addDocumentListener, addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDefaultRootElement, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getParagraphElement, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, handleInsertString, handleRemove, insertString, insertUpdate, isLeftToRight, postRemoveUpdate, putProperty, readLock, readUnlock, remove, removeDocumentListener, removeUndoableEditListener, removeUpdate, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, updateBidi, writeLock, writeUnlock

Methods from javax.swing.text.AbstractDocument:

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

Methods from java.lang.Object:
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method from net.jbeans.util.text.NumberDocument Detail:
public final void insertString(int offs, String str, AttributeSet atts) throws BadLocationException { char ch = str.charAt(0); if (!Character.isDigit(ch) && ch != '." && ch != 'e" && ch != 'E" && ch != '-" && ch != '+") { return; } super.insertString(offs, str, atts); }

Method from net.jbeans.util.text.NumberDocument Detail:

 public final  void insertString(int offs,
    String str,
    AttributeSet atts) throws BadLocationException {
		char ch = str.charAt(0);
		if (!Character.isDigit(ch) &&
			ch != '." &&
			ch != 'e" && ch != 'E" &&
			ch != '-" && ch != '+")  {
			return;
		}
        super.insertString(offs, str, atts);
}