DocumentListener.java
01 /*
02  *  Copyright (c) 1995-2012, The University of Sheffield. See the file
03  *  COPYRIGHT.txt in the software or at http://gate.ac.uk/gate/COPYRIGHT.txt
04  *
05  *  This file is part of GATE (see http://gate.ac.uk/), and is free
06  *  software, licenced under the GNU Library General Public License,
07  *  Version 2, June 1991 (in the distribution as file licence.html,
08  *  and also available at http://gate.ac.uk/gate/licence.html).
09  *
10  *  Valentin Tablan 08/03/2001
11  *
12  *  $Id: DocumentListener.java 15333 2012-02-07 13:18:33Z ian_roberts $
13  */
14 package gate.event;
15 
16 import java.util.EventListener;
17 
18 /**
19  * A listener for document events ({@link gate.event.DocumentEvent}).
20  */
21 public interface DocumentListener extends EventListener {
22   /**Called when a new {@link gate.AnnotationSet} has been added*/
23   public void annotationSetAdded(DocumentEvent e);
24 
25   /**Called when an {@link gate.AnnotationSet} has been removed*/
26   public void annotationSetRemoved(DocumentEvent e);
27 
28   /**Called when the content of the document has changed through an edit 
29    * operation.
30    */
31   public void contentEdited(DocumentEvent e);
32 }