gate.gui
Class DocumentEditor.Range
java.lang.Object
|
+--gate.gui.DocumentEditor.Range
- All Implemented Interfaces:
- Comparable
- Enclosing class:
- DocumentEditor
- class DocumentEditor.Range
- extends Object
- implements Comparable
Describes a range in the DocumentEditor.data
structure. A range is a bunch of
annotations of the same type belonging to the same annotation set that
are contiguous in the DocumentEditor.data
structure.
setName
String setName
type
String type
start
int start
end
int end
DocumentEditor.Range
public DocumentEditor.Range(String setName,
String type,
int start,
int end)
toString
public String toString()
- Overrides:
toString
in class Object
compareTo
public int compareTo(Object other)
- Specified by:
compareTo
in interface Comparable