org.qedeq.base.io
Class SourceArea

java.lang.Object
  org.qedeq.base.io.SourceArea

All Implemented Interfaces:

java.io.Serializable

public final class SourceArea
extends java.lang.Object
implements java.io.Serializable

Describes an area of an URL contents.

Author:

Michael Meyling

See Also:

Serialized Form

Constructor Summary

SourceArea(java.lang.String address)
Constructs file position object with dummy location at begin of file.

SourceArea(java.lang.String address, SourcePosition startPosition, SourcePosition endPosition)
Constructs file position object.

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	getAddress() Get address (or something to identify it) of input source.
SourcePosition	getEndPosition() Get end position.
java.lang.String	getShortDescription() Get short description of area.
SourcePosition	getStartPosition() Get start position.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SourceArea

public SourceArea(java.lang.String address,
                  SourcePosition startPosition,
                  SourcePosition endPosition)

Constructs file position object.

Parameters:

address - For identifying source. Must not be null.

startPosition - Start position. Must not be null.

endPosition - Start position. Must not be null.

SourceArea

public SourceArea(java.lang.String address)

Constructs file position object with dummy location at begin of file.

Parameters:

address - For identifying source. Must not be null.

Method Detail

getAddress

public final java.lang.String getAddress()

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

Returns:

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.

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public final boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getShortDescription

public final java.lang.String getShortDescription()

Get short description of area. Looks like "line1:column1 - line2:column2".

Returns:

Textual description of area without address.

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object