org.qedeq.base.io
Class SourcePosition

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

All Implemented Interfaces:

java.io.Serializable

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

Describes a file position within a text file.

Author:

Michael Meyling

See Also:

Serialized Form

Field Summary

static SourcePosition

BEGIN Begin of file.

Constructor Summary

SourcePosition(int row, int column)
Constructs source position object.

Method Summary

boolean	equals(java.lang.Object obj)
int	getColumn() Get column number, starting with 1.
int	getRow() Get line number, starting with 1.
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

BEGIN

public static final SourcePosition BEGIN

Begin of file.

Constructor Detail

SourcePosition

public SourcePosition(int row,
                      int column)

Constructs source position object.

Parameters:

row - Line number, starting with 1.

column - Column number, starting with 1.

Method Detail

getRow

public final int getRow()

Get line number, starting with 1.

Returns:

Line number.

getColumn

public final int getColumn()

Get column number, starting with 1.

Returns:

column number

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

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object