org.jsweet.transpiler

Class SourcePosition

java.lang.Object

org.jsweet.transpiler.SourcePosition

public final class SourcePosition
extends Object

A non-mutable position in a source file.

Author:

Renaud Pawlak

Constructor Summary

Constructors

Constructor and Description
SourcePosition(File file, com.sun.tools.javac.tree.JCTree sourceElement, int line, int column) A simple constructor with no element and a single position (start = end).
SourcePosition(File file, com.sun.tools.javac.tree.JCTree sourceElement, int startLine, int startColumn, int endLine, int endColumn) Creates a new source position from all indexes.
SourcePosition(File file, com.sun.tools.javac.tree.JCTree sourceElement, Position position) Creates a new source position from a given position (will start and end at the same position).
SourcePosition(File file, com.sun.tools.javac.tree.JCTree sourceElement, Position startPosition, Position endPosition) Creates a new source position from start and end positions.

Method Summary

Modifier and Type	Method and Description
int	getEndColumn() The end column in the source file.
int	getEndLine() The end line in the source file.
Position	getEndPosition() The end position in the source file.
File	getFile() The source file.
com.sun.tools.javac.tree.JCTree	getSourceElement() The source element (can be null).
int	getStartColumn() The start column in the source file.
int	getStartLine() The start line in the source file.
Position	getStartPosition() The start position in the source file.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SourcePosition

public SourcePosition(File file,
                      com.sun.tools.javac.tree.JCTree sourceElement,
                      int startLine,
                      int startColumn,
                      int endLine,
                      int endColumn)

Creates a new source position from all indexes.

Parameters:

file - the source file

sourceElement - the source element if any

startLine - the start line in the source file

startColumn - the start column in the source file

endLine - the end line in the source file

endColumn - the end columb in the source file

SourcePosition

public SourcePosition(File file,
                      com.sun.tools.javac.tree.JCTree sourceElement,
                      int line,
                      int column)

A simple constructor with no element and a single position (start = end).

Parameters:

file - the source file

sourceElement - the source element if any

line - the position's line

column - the position's column

SourcePosition

public SourcePosition(File file,
                      com.sun.tools.javac.tree.JCTree sourceElement,
                      Position startPosition,
                      Position endPosition)

Creates a new source position from start and end positions.

Parameters:

file - the source file

sourceElement - the source element if any

startPosition - the start position in the source file

endPosition - the end position in the source file

SourcePosition

public SourcePosition(File file,
                      com.sun.tools.javac.tree.JCTree sourceElement,
                      Position position)

Creates a new source position from a given position (will start and end at the same position).

Parameters:

file - the source file

sourceElement - the source element if any

position - the position this source position with start and end at

Method Detail

getFile

public final File getFile()

The source file.

getStartPosition

public final Position getStartPosition()

The start position in the source file.

getEndPosition

public final Position getEndPosition()

The end position in the source file.

getStartLine

public final int getStartLine()

The start line in the source file.

getStartColumn

public final int getStartColumn()

The start column in the source file.

getEndLine

public final int getEndLine()

The end line in the source file.

getEndColumn

public final int getEndColumn()

The end column in the source file.

getSourceElement

public final com.sun.tools.javac.tree.JCTree getSourceElement()

The source element (can be null).

toString

public final String toString()

Overrides:

toString in class Object