org.qedeq.kernel.xml.tracker
Class SourcePosition

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

public final class SourcePosition

extends Object

Describes a file position.

Version:

$Revision: 1.6 $

Constructor Summary

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

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

Method Summary

String	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.
String	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(String localAddress,
                      int line,
                      int column)

Constructs source position object.

Parameters:

localAddress - source address

line - Line number.

column - Column number.

SourcePosition

public SourcePosition(String address,
                      String 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 String getAddress()

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

Returns:

address of input source

getLocalAddress

public final String 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()