|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectgate.gui.DocumentEditor.Range
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.
| Field Summary | |
(package private) int |
end
|
(package private) String |
setName
|
(package private) int |
start
|
(package private) String |
type
|
| Constructor Summary | |
DocumentEditor.Range(String setName,
String type,
int start,
int end)
|
|
| Method Summary | |
int |
compareTo(Object other)
|
String |
toString()
|
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
String setName
String type
int start
int end
| Constructor Detail |
public DocumentEditor.Range(String setName,
String type,
int start,
int end)
| Method Detail |
public String toString()
public int compareTo(Object other)
compareTo in interface Comparable
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||