org.qedeq.kernel.xml.parser
Class SourcePosition

java.lang.Object
  org.qedeq.kernel.xml.parser.SourcePosition

All Implemented Interfaces:

Serializable

public final class SourcePosition

extends Object

implements Serializable

Describes a file position.

Version:

$Revision: 1.7 $

See Also:

Serialized Form

Constructor Summary

SourcePosition(URL localAddress, int line, int column)
Constructs source position object.

SourcePosition(URL address, URL localAddress, int line, int column)
Constructs file position object.

Method Summary

URL	getAddress() Get address (or something to identify it) of input source.
int	getColumn() Get column number, starting with 1.
int	getLine() Get line number, starting with 1.
URL	getLocalAddress() Get local address (or something to identify it) of input source.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SourcePosition

public SourcePosition(URL localAddress,
                      int line,
                      int column)

Constructs source position object.

Parameters:

localAddress - source address

line - Line number.

column - Column number.

SourcePosition

public SourcePosition(URL address,
                      URL localAddress,
                      int line,
                      int column)

Constructs file position object.

Parameters:

address - for identifying source

localAddress - source address

line - Line number.

column - Column number.

Method Detail

getAddress

public final URL getAddress()

Get address (or something to identify it) of input source.

Returns:

address of input source

getLocalAddress

public final URL getLocalAddress()

Get local address (or something to identify it) of input source.

Returns:

local address of input source

getLine

public final int getLine()

Get line number, starting with 1.

Returns:

Line number.

getColumn

public final int getColumn()

Get column number, starting with 1.

Returns:

column number

toString

public final String toString()