fmrisc.ProgramExplorer.InOut

Class StringSourcePosition

java.lang.Object

fmrisc.ProgramExplorer.InOut.StringSourcePosition

All Implemented Interfaces:

SourcePosition

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

A position within a text represented by a string.

Constructor Summary

Constructors

Constructor and Description
StringSourcePosition(java.lang.String string, int line, int column) Construct a string 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

StringSourcePosition

public StringSourcePosition(java.lang.String string,
                            int line,
                            int column)

Construct a string source position.

Parameters:

string - the string

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:

null, i.e. there is no 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).