- /*
- * @(#)DocumentListener.java 1.11 00/02/02
- *
- * Copyright 1997-2000 Sun Microsystems, Inc. All Rights Reserved.
- *
- * This software is the proprietary information of Sun Microsystems, Inc.
- * Use is subject to license terms.
- *
- */
- package javax.swing.event;
-
- import java.util.EventListener;
-
- /**
- * Interface for an observer to register to receive notifications
- * of changes to a text document.
- * <p>
- * The default implementation of
- * the Document interface (AbstractDocument) supports asynchronous
- * mutations. If this feature is used (i.e. mutations are made
- * from a thread other than the Swing event thread), the listeners
- * will be notified via the mutating thread. <em>This means that
- * if asynchronous updates are made, the implementation of this
- * interface must be threadsafe</em>!
- * <p>
- * The DocumentEvent notification is based upon the JavaBeans
- * event model. There is no guarantee about the order of delivery
- * to listeners, and all listeners must be notified prior to making
- * further mutations to the Document. <em>This means implementations
- * of the DocumentListener may not mutate the source of the event
- * (i.e. the associated Document)</em>.
- *
- * @author Timothy Prinzing
- * @version 1.11 02/02/00
- * @see javax.swing.text.Document
- * @see javax.swing.text.StyledDocument
- * @see DocumentEvent
- */
- public interface DocumentListener extends EventListener {
-
- /**
- * Gives notification that there was an insert into the document. The
- * range given by the DocumentEvent bounds the freshly inserted region.
- *
- * @param e the document event
- */
- public void insertUpdate(DocumentEvent e);
-
- /**
- * Gives notification that a portion of the document has been
- * removed. The range is given in terms of what the view last
- * saw (that is, before updating sticky positions).
- *
- * @param e the document event
- */
- public void removeUpdate(DocumentEvent e);
-
- /**
- * Gives notification that an attribute or set of attributes changed.
- *
- * @param e the document event
- */
- public void changedUpdate(DocumentEvent e);
- }