Package org.processmining.placebasedlpmdiscovery.prom.plugins.visualization.utils

Class TextFieldIntFilter

  • public class TextFieldIntFilter
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
      TextFieldIntFilter​(InputKeeper inputKeeper, java.lang.String currentValue, int minValue, int maxValue)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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)  
      void setMaxValue​(int maxValue)  
      void setMinValue​(int minValue)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • TextFieldIntFilter

        public TextFieldIntFilter​(InputKeeper inputKeeper,
                          java.lang.String currentValue,
                          int minValue,
                          int maxValue)

    • Method Detail

      • setMinValue

        public void setMinValue​(int minValue)

      • setMaxValue

        public void setMaxValue​(int maxValue)

      • 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

      • 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