fmrisc.ProgramExplorer.InOut

Class SourcePositionClass

java.lang.Object

fmrisc.ProgramExplorer.InOut.SourcePositionClass

All Implemented Interfaces:

SourcePosition

public final class SourcePositionClass
extends java.lang.Object
implements SourcePosition

A position in a source file.

Constructor Summary

Constructors

Constructor and Description
SourcePositionClass(Source source, int line, int column) Construct a source position.

Method Summary

Modifier and Type	Method and Description
int	getColumn() Get the column number of the position.
Identifier	getIdentifier() Get identifier registered with denoted position.
int	getLength() Get number of characters from current position to end of line.
int	getLine() Get the line number of the position.
int	getOffset() Get offset of denoted position
Source	getSource() Get the source file.
java.lang.String	getSourceLine() Get source line corresponding to position.
void	setIdentifier(Identifier ident) Register identifier with denoted position.
java.lang.String	toString() Get printable text representation of position.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SourcePositionClass

public SourcePositionClass(Source source,
                           int line,
                           int column)

Construct a source position.

Parameters:

source - the source file.

line - the line number.

column - the column number.

Method Detail

getSource

public Source getSource()

Get the source file.

Specified by:

getSource in interface SourcePosition

Returns:

the source file.

getLine

public int getLine()

Get the line number of the position.

Specified by:

getLine in interface SourcePosition

Returns:

the line number.

getColumn

public int getColumn()

Get the column number of the position.

Specified by:

getColumn in interface SourcePosition

Returns:

the column number.

getOffset

public int getOffset()

Get offset of denoted position

Specified by:

getOffset in interface SourcePosition

Returns:

the number of characters up to (excluding) the position denoted by the line and column index.

getLength

public int getLength()

Get number of characters from current position to end of line.

Specified by:

getLength in interface SourcePosition

Returns:

the number of characters.

toString

public java.lang.String toString()

Get printable text representation of position.

Specified by:

toString in interface SourcePosition

Overrides:

toString in class java.lang.Object

Returns:

the text representation.

getSourceLine

public java.lang.String getSourceLine()

Get source line corresponding to position.

Specified by:

getSourceLine in interface SourcePosition

Returns:

the source line of the position

setIdentifier

public void setIdentifier(Identifier ident)

Register identifier with denoted position.

Specified by:

setIdentifier in interface SourcePosition

Parameters:

ident - the identifier to be registered.

getIdentifier

public Identifier getIdentifier()

Get identifier registered with denoted position.

Specified by:

getIdentifier in interface SourcePosition

Returns:

the registered identifier (may be null).