guiserver/java/MyDocumentFilter.java

   1 //
   2 //  MyDocumentFilter.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 7/7/07.
   6 //
   7 //
   8 //    Copyright (C) 2007 Lutz Mueller
   9 //
  10 //    This program is free software: you can redistribute it and/or modify
  11 //    it under the terms of the GNU General Public License as published by
  12 //    the Free Software Foundation, either version 3 of the License, or
  13 //    (at your option) any later version.
  14 //
  15 //    This program is distributed in the hope that it will be useful,
  16 //    but WITHOUT ANY WARRANTY; without even the implied warranty of
  17 //    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 //    GNU General Public License for more details.
  19 //
  20 //    You should have received a copy of the GNU General Public License
  21 //    along with this program.  If not, see <http://www.gnu.org/licenses/>.
  22 //
  23
  24
  25 import javax.swing.*;
  26 import javax.swing.text.*;
  27 import java.awt.Toolkit;
  28
  29 public class MyDocumentFilter extends DocumentFilter
  30         {
  31         int maxCharacters;
  32
  33         public MyDocumentFilter(int max)
  34                 {
  35                 maxCharacters = max;
  36                 }
  37
  38         public void insertString(FilterBypass fb, int offs, String str, AttributeSet a) throws BadLocationException
  39                 {
  40                 if ((fb.getDocument().getLength() + str.length()) <= maxCharacters)
  41                         super.insertString(fb, offs, str, a);
  42         else
  43                         Toolkit.getDefaultToolkit().beep();
  44                 }
  45
  46     public void replace(FilterBypass fb, int offs, int length, String str, AttributeSet a) throws BadLocationException
  47                 {
  48         if ((fb.getDocument().getLength() + str.length()
  49              - length) <= maxCharacters)
  50             super.replace(fb, offs, length, str, a);
  51         else
  52             Toolkit.getDefaultToolkit().beep();
  53                 }
  54         }
  55
  56
  57 // eof //