it.unibz.gui
Class Jintfilter

java.lang.Object
  extended by javax.swing.text.AbstractDocument
      extended by javax.swing.text.PlainDocument
          extended by it.unibz.gui.Jintfilter
All Implemented Interfaces:
java.io.Serializable, javax.swing.text.Document

public class Jintfilter
extends javax.swing.text.PlainDocument

A representation for creating personalized filter on user inputs. In this class we represent what we intend for an acceptable user input as parameter for the algorithms.

See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument
javax.swing.text.AbstractDocument.AbstractElement, javax.swing.text.AbstractDocument.AttributeContext, javax.swing.text.AbstractDocument.BranchElement, javax.swing.text.AbstractDocument.Content, javax.swing.text.AbstractDocument.DefaultDocumentEvent, javax.swing.text.AbstractDocument.ElementEdit, javax.swing.text.AbstractDocument.LeafElement
 
Field Summary
protected  java.lang.String acceptedChars
          We accept just numeric values for input
protected  boolean negativeAccepted
          We don't accept negative numbers
private static long serialVersionUID
          Needed for new versions of Java
 
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
Jintfilter()
           
 
Method Summary
 void insertString(int offset, java.lang.String string, javax.swing.text.AttributeSet attributeSet)
          Method invoked when the user inputs a string in the Input Text.
 
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
 

Field Detail

serialVersionUID

private static final long serialVersionUID
Needed for new versions of Java

See Also:
Constant Field Values

acceptedChars

protected java.lang.String acceptedChars
We accept just numeric values for input


negativeAccepted

protected boolean negativeAccepted
We don't accept negative numbers

Constructor Detail

Jintfilter

public Jintfilter()
Method Detail

insertString

public void insertString(int offset,
                         java.lang.String string,
                         javax.swing.text.AttributeSet attributeSet)
                  throws javax.swing.text.BadLocationException
Method invoked when the user inputs a string in the Input Text. It checks for empty strings, then it loops the whole input characters checking for bad values. If noone are found, calls the same method of the super class and let the Swing system handle the rest.

Specified by:
insertString in interface javax.swing.text.Document
Overrides:
insertString in class javax.swing.text.PlainDocument
Throws:
javax.swing.text.BadLocationException