uk.ac.bham.gloss
Class DocumentLocator

java.lang.Object
  uk.ac.bham.gloss.DocumentLocator

All Implemented Interfaces:

Locator

public class DocumentLocator
extends java.lang.Object
implements 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.

Constructor Summary

DocumentLocator(java.lang.String d, int l, int c)

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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DocumentLocator

public DocumentLocator(java.lang.String d,
                       int l,
                       int c)

Method Detail

line

public int line()

line number, starting at 1; returns -1 if this data is not available.

Specified by:

line in interface Locator

col

public int col()

column number, starting at 0; returns -1 if this data is not available.

Specified by:

col in interface Locator

doc

public java.lang.String doc()

document, file or URI name; returns null if this data is not available.

Specified by:

doc in interface Locator

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object