org.qedeq.kernel.common
Class SourceArea

java.lang.Object
  org.qedeq.kernel.common.SourceArea

All Implemented Interfaces:

Serializable

public final class SourceArea

extends Object

implements Serializable

Describes a file area.

Version:

$Revision: 1.1 $

See Also:

Serialized Form

Constructor Summary

SourceArea(URL localAddress, SourcePosition startPosition, SourcePosition endPosition)
Constructs source area object.

SourceArea(URL address, URL localAddress, SourcePosition startPosition, SourcePosition endPosition)
Constructs file position object.

Method Summary

URL	getAddress() Get address (or something to identify it) of input source.
SourcePosition	getEndPosition() Get end position.
URL	getLocalAddress() Get local address (or something to identify it) of input source.
SourcePosition	getStartPosition() Get start position.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SourceArea

public SourceArea(URL localAddress,
                  SourcePosition startPosition,
                  SourcePosition endPosition)

Constructs source area object.

Parameters:

localAddress - source address

startPosition - Start position.

endPosition - Start position.

SourceArea

public SourceArea(URL address,
                  URL localAddress,
                  SourcePosition startPosition,
                  SourcePosition endPosition)

Constructs file position object.

Parameters:

address - For identifying source.

localAddress - Source address.

startPosition - Start position.

endPosition - Start position.

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

getStartPosition

public final SourcePosition getStartPosition()

Get start position.

Returns:

Start position.

getEndPosition

public final SourcePosition getEndPosition()

Get end position.

Returns:

End position.

toString

public final String toString()