fmrisc.ProgramExplorer.InOut

Class SourceAnnotation

java.lang.Object

fmrisc.ProgramExplorer.InOut.SourceAnnotation

public class SourceAnnotation
extends java.lang.Object

An annotation of the source code.

Constructor Summary

Constructors

Constructor and Description
SourceAnnotation(SourcePosition pos, java.lang.String text) Construct a source annotation.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getLine(int i) Get a line from the annotation.
int	getLines() Get the number of lines of the annotation.
SourcePosition	getPosition() Get the source position of the annotation.
SourcePosition	newPosition(int line, int column) Construct position in this source.

Methods inherited from class java.lang.Object

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

Constructor Detail

SourceAnnotation

public SourceAnnotation(SourcePosition pos,
                        java.lang.String text)

Construct a source annotation.

Parameters:

pos - the position of the annotation in a source.

text - the text of the annotation.

Method Detail

getPosition

public SourcePosition getPosition()

Get the source position of the annotation.

Returns:

the source position.

getLines

public int getLines()

Get the number of lines of the annotation.

Returns:

the number of lines.

getLine

public java.lang.String getLine(int i)

Get a line from the annotation.

Parameters:

i - the index of a line in the annotation.

Returns:

the content of the annotation.

newPosition

public SourcePosition newPosition(int line,
                                  int column)

Construct position in this source.

Parameters:

line - the line number.

column - the column number.

Returns:

the position.