001/* DocumentFilter.java --
002   Copyright (C) 2003, 2004 Free Software Foundation, Inc.
003
004This file is part of GNU Classpath.
005
006GNU Classpath is free software; you can redistribute it and/or modify
007it under the terms of the GNU General Public License as published by
008the Free Software Foundation; either version 2, or (at your option)
009any later version.
010
011GNU Classpath is distributed in the hope that it will be useful, but
012WITHOUT ANY WARRANTY; without even the implied warranty of
013MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
014General Public License for more details.
015
016You should have received a copy of the GNU General Public License
017along with GNU Classpath; see the file COPYING.  If not, write to the
018Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
01902110-1301 USA.
020
021Linking this library statically or dynamically with other modules is
022making a combined work based on this library.  Thus, the terms and
023conditions of the GNU General Public License cover the whole
024combination.
025
026As a special exception, the copyright holders of this library give you
027permission to link this library with independent modules to produce an
028executable, regardless of the license terms of these independent
029modules, and to copy and distribute the resulting executable under
030terms of your choice, provided that you also meet, for each linked
031independent module, the terms and conditions of the license of that
032module.  An independent module is a module which is not derived from
033or based on this library.  If you modify this library, you may extend
034this exception to your version of the library, but you are not
035obligated to do so.  If you do not wish to do so, delete this
036exception statement from your version. */
037
038
039package javax.swing.text;
040
041public class DocumentFilter
042{
043  public abstract static class FilterBypass
044  {
045    public FilterBypass()
046    {
047      // Do nothing here.
048    }
049
050    public abstract Document getDocument();
051    
052    public abstract void insertString(int offset, String string,
053                                      AttributeSet attr)
054      throws BadLocationException;
055    
056    public abstract void remove(int offset, int length)
057      throws BadLocationException;
058    
059    public abstract void replace(int offset, int length, String string,
060                                 AttributeSet attrs)
061      throws BadLocationException;
062  }
063  
064  public void insertString(DocumentFilter.FilterBypass fb, int offset,
065                           String string, AttributeSet attr)
066    throws BadLocationException
067  {
068    fb.insertString(offset, string, attr);
069  }
070
071  public void remove(DocumentFilter.FilterBypass fb, int offset, int length)
072    throws BadLocationException
073  {
074    fb.remove(offset, length);
075  }
076
077  public void replace(DocumentFilter.FilterBypass fb, int offset, int length,
078                      String text, AttributeSet attr)
079    throws BadLocationException
080  {
081    fb.replace(offset, length, text, attr);
082  }
083}