|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.util.EventObject
gate.event.GateEvent
gate.event.DocumentEvent
This class models events fired by an Document.
| Field Summary | |
static int |
ANNOTATION_SET_ADDED
Event type used to mark the addition of an AnnotationSet |
static int |
ANNOTATION_SET_REMOVED
Event type used to mark the removal of an AnnotationSet |
private String |
annotationSetName
|
static int |
CONTENT_EDITED
Event type used to mark the editing of the document content |
private Long |
editEnd
|
private Long |
editStart
|
| Fields inherited from class gate.event.GateEvent |
FEATURES_UPDATED, type |
| Fields inherited from class java.util.EventObject |
source |
| Constructor Summary | |
DocumentEvent(Document source,
int type,
Long editStart,
Long editEnd)
Constructor. |
|
DocumentEvent(Document source,
int type,
String setName)
Constructor. |
|
| Method Summary | |
String |
getAnnotationSetName()
Gets the name of the AnnotationSet that has been added or
removed. |
Long |
getEditEnd()
|
Long |
getEditStart()
|
| Methods inherited from class gate.event.GateEvent |
getType |
| Methods inherited from class java.util.EventObject |
getSource, toString |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
public static final int ANNOTATION_SET_ADDED
AnnotationSet
public static final int ANNOTATION_SET_REMOVED
AnnotationSet
public static final int CONTENT_EDITED
private String annotationSetName
private Long editStart
private Long editEnd
| Constructor Detail |
public DocumentEvent(Document source,
int type,
String setName)
source - the document that has been changedtype - the type of the eventsetName - the name of the AnnotationSet that has been
added or removed.
public DocumentEvent(Document source,
int type,
Long editStart,
Long editEnd)
source - the document that has been changedtype - the type of the eventeditStart - the offset where the edit operation startededitEnd - the offset where the edit operation ended| Method Detail |
public String getAnnotationSetName()
AnnotationSet that has been added or
removed.
public Long getEditEnd()
public Long getEditStart()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||