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()
compareTo
public int compareTo(Object other)
- Specified by:
compareTo
in interface Comparable