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
ANNOTATION_SET_ADDED
public static final int ANNOTATION_SET_ADDED
- Event type used to mark the addition of an
AnnotationSet
- See Also:
- Constant Field Values
ANNOTATION_SET_REMOVED
public static final int ANNOTATION_SET_REMOVED
- Event type used to mark the removal of an
AnnotationSet
- See Also:
- Constant Field Values
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.