|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Locator
Interface for an object that can identify the document and/or position where an error or other event has occurred. Copyright Richard Kaye 2007-8 for GLOSS, http://gloss.bham.ac.uk Usage permitted according to the GPL. No waranty.
Method Summary | |
---|---|
int |
col()
column number, starting at 0; returns -1 if this data is not available. |
java.lang.String |
doc()
document, file or URI name; returns null if this data is not available. |
int |
line()
line number, starting at 1; returns -1 if this data is not available. |
Method Detail |
---|
int line()
int col()
java.lang.String doc()
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |