1   /*
2    *  Copyright (c) 1998-2005, The University of Sheffield.
3    *
4    *  This file is part of GATE (see http://gate.ac.uk/), and is free
5    *  software, licenced under the GNU Library General Public License,
6    *  Version 2, June 1991 (in the distribution as file licence.html,
7    *  and also available at http://gate.ac.uk/gate/licence.html).
8    *
9    *  Valentin Tablan 08/03/2001
10   *
11   *  $Id: DocumentListener.java,v 1.6 2005/01/11 13:51:34 ian Exp $
12   */
13  package gate.event;
14  
15  import java.util.EventListener;
16  
17  /**
18   * A listener for document events ({@link gate.event.DocumentEvent}).
19   */
20  public interface DocumentListener extends EventListener {
21    /**Called when a new {@link gate.AnnotationSet} has been added*/
22    public void annotationSetAdded(DocumentEvent e);
23  
24    /**Called when an {@link gate.AnnotationSet} has been removed*/
25    public void annotationSetRemoved(DocumentEvent e);
26  
27    /**Called when the content of the document has changed through an edit 
28     * operation.
29     */
30    public void contentEdited(DocumentEvent e);
31  }