Package 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
-
-
Method Summary
All Methods Instance Methods Concrete Methods 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()
-
-
-
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
-
-