net.shredzone.jshred.swing

Class JIntegerField.IntegerFilter

java.lang.Object

javax.swing.text.DocumentFilter

net.shredzone.jshred.swing.JIntegerField.IntegerFilter

Enclosing class:

JIntegerField

public static class JIntegerField.IntegerFilter
extends DocumentFilter

A DocumentFilter that only allows digits.

Nested Class Summary

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

DocumentFilter.FilterBypass

Constructor Summary

Constructors

Constructor and Description
IntegerFilter()

Method Summary

Modifier and Type	Method and Description
void	insertString(DocumentFilter.FilterBypass fb, int offset, String string, AttributeSet attr) String to be inserted into the Document.
void	replace(DocumentFilter.FilterBypass fb, int offset, int length, String string, AttributeSet attrs) String to be replaced with parts of the Document.

Methods inherited from class javax.swing.text.DocumentFilter

remove

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerFilter

public IntegerFilter()

Method Detail

insertString

public void insertString(DocumentFilter.FilterBypass fb,
                         int offset,
                         String string,
                         AttributeSet attr)
                  throws BadLocationException

String to be inserted into the Document. If it does not contain digits only, the insertion will be refused and a beep will sound. Everything matching Character.isDigit() will be accepted as a valid digit.

Overrides:

insertString in class DocumentFilter

Parameters:

fb - FilterBypass

offset - Insert offset

string - String to be inserted

attr - Attribute

Throws:

BadLocationException - Bad position

replace

public void replace(DocumentFilter.FilterBypass fb,
                    int offset,
                    int length,
                    String string,
                    AttributeSet attrs)
             throws BadLocationException

String to be replaced with parts of the Document. If it does not contain digits only, the insertion will be refused and a beep will sound. Everything matching Character.isDigit(char) will be accepted as a valid digit.

Overrides:

replace in class DocumentFilter

Parameters:

fb - FilterBypass

offset - Replacement offset

length - Length to be replaced

string - String to be replaced

attrs - Attribute

Throws:

BadLocationException - Bad position