Position (API Reference for wala 1.3.9)

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()`

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