ca.uwaterloo.cs.ql.interp
Class Location

java.lang.Object
  extended by 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)
           
 
Method Summary
 int getColumn()
           
 java.io.File getFile()
           
 int getLine()
           
 Location shortForm()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Location

public Location(java.io.File file,
                int line)

Location

public Location(java.io.File file,
                int line,
                int col)
Method Detail

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