com.ibm.wala.sourcepos

Class Position

java.lang.Object

com.ibm.wala.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 and 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 Detail

getLine

public final int getLine()

Returns the line number.

Returns:

the line number

getColumn

public final int getColumn()

Returns the column number.

Returns:

the column number

isUndefined

public final boolean isUndefined()

Tests whether this position is undefined.

Returns:

true if this position is undefined

toString

public String toString()

Overrides:

toString in class Object