Class Position

java.lang.Object

com.ibm.wala.shrike.sourcepos.Position

public final class Position
extends Object

Represents a source file position. Source file positions are integers in the format: line-number << LINESHIFT + column-number

Author:

Siegfried Weber, Juergen Graf <juergen.graf@gmail.com>

Method Summary

Modifier and Type	Method	Description
int	getColumn()	Returns the column number.
int	getLine()	Returns the line number.
boolean	isUndefined()	Tests whether this position is undefined.
String	toString()

Methods inherited from class java.lang.Object

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

Method Details

getLine

public int getLine()

Returns the line number.

Returns:

the line number

getColumn

public int getColumn()

Returns the column number.

Returns:

the column number

isUndefined

public boolean isUndefined()

Tests whether this position is undefined.

Returns:

true if this position is undefined

toString

public String toString()

Overrides:

toString in class Object