| DocumentListener.java |
1 /*
2 * Copyright (c) 1998-2004, 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.5 2004/07/21 17:10:06 akshay 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 }