ca.uwaterloo.cs.ql.interp
Class Location
java.lang.Object
ca.uwaterloo.cs.ql.interp.Location
public class Location
- extends java.lang.Object
|
Constructor Summary |
Location(java.io.File file,
int line)
|
Location(java.io.File file,
int line,
int col)
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Location
public Location(java.io.File file,
int line)
Location
public Location(java.io.File file,
int line,
int col)
toString
public java.lang.String toString()
- Overrides:
toString in class java.lang.Object
getFile
public java.io.File getFile()
getLine
public int getLine()
getColumn
public int getColumn()
shortForm
public Location shortForm()