gate.event
Class DocumentEvent
java.lang.Object
|
+--java.util.EventObject
|
+--gate.event.GateEvent
|
+--gate.event.DocumentEvent
- All Implemented Interfaces:
- Serializable
- public class DocumentEvent
- extends GateEvent
This class models events fired by an Document
.
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
ANNOTATION_SET_ADDED
public static int ANNOTATION_SET_ADDED
- Event type used to mark the addition of an
AnnotationSet
ANNOTATION_SET_REMOVED
public static int ANNOTATION_SET_REMOVED
- Event type used to mark the removal of an
AnnotationSet
annotationSetName
private String annotationSetName
DocumentEvent
public DocumentEvent(Document source,
int type,
String setName)
- Constructor.
- Parameters:
source
- the document that has been changedtype
- the type of the eventsetName
- the name of the AnnotationSet
that has been
added or removed.
getAnnotationSetName
public String getAnnotationSetName()
- Gets the name of the
AnnotationSet
that has been added or
removed.