Package org.processmining.plugins.algorithms

Class NumericTextFieldFilter

java.lang.Object

javax.swing.text.DocumentFilter

org.processmining.plugins.algorithms.NumericTextFieldFilter

public class NumericTextFieldFilter
extends javax.swing.text.DocumentFilter

Nested Class Summary

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

javax.swing.text.DocumentFilter.FilterBypass

Constructor Summary

Constructors

Constructor	Description
NumericTextFieldFilter()

Method Summary

Modifier and Type	Method	Description
void	insertString(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, java.lang.String string, javax.swing.text.AttributeSet attr)
void	remove(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length)
void	replace(javax.swing.text.DocumentFilter.FilterBypass fb, int offset, int length, java.lang.String text, javax.swing.text.AttributeSet attrs)

Methods inherited from class java.lang.Object

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

Constructor Detail

NumericTextFieldFilter

public NumericTextFieldFilter()

Method Detail

insertString

public void insertString(javax.swing.text.DocumentFilter.FilterBypass fb,
                         int offset,
                         java.lang.String string,
                         javax.swing.text.AttributeSet attr)
                  throws javax.swing.text.BadLocationException

Overrides:

insertString in class javax.swing.text.DocumentFilter

Throws:

javax.swing.text.BadLocationException

replace

public void replace(javax.swing.text.DocumentFilter.FilterBypass fb,
                    int offset,
                    int length,
                    java.lang.String text,
                    javax.swing.text.AttributeSet attrs)
             throws javax.swing.text.BadLocationException

Overrides:

replace in class javax.swing.text.DocumentFilter

Throws:

javax.swing.text.BadLocationException

remove

public void remove(javax.swing.text.DocumentFilter.FilterBypass fb,
                   int offset,
                   int length)
            throws javax.swing.text.BadLocationException

Overrides:

remove in class javax.swing.text.DocumentFilter

Throws:

javax.swing.text.BadLocationException