gate.gui.docview

Class TextualDocumentView.GateDocumentListener

java.lang.Object

gate.gui.docview.TextualDocumentView.GateDocumentListener

All Implemented Interfaces:

DocumentListener, EventListener

Enclosing class:

TextualDocumentView

protected class TextualDocumentView.GateDocumentListener
extends Object
implements DocumentListener

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	GateDocumentListener()

Method Summary

Modifier and Type	Method and Description
void	annotationSetAdded(DocumentEvent e) Called when a new AnnotationSet has been added
void	annotationSetRemoved(DocumentEvent e) Called when an AnnotationSet has been removed
void	contentEdited(DocumentEvent e) Called when the content of the document has changed through an edit operation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GateDocumentListener

protected GateDocumentListener()

Method Detail

annotationSetAdded

public void annotationSetAdded(DocumentEvent e)

Description copied from interface: DocumentListener

Called when a new AnnotationSet has been added

Specified by:

annotationSetAdded in interface DocumentListener

annotationSetRemoved

public void annotationSetRemoved(DocumentEvent e)

Description copied from interface: DocumentListener

Called when an AnnotationSet has been removed

Specified by:

annotationSetRemoved in interface DocumentListener

contentEdited

public void contentEdited(DocumentEvent e)

Description copied from interface: DocumentListener

Called when the content of the document has changed through an edit operation.

Specified by:

contentEdited in interface DocumentListener