public class FileLocation
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
column
The column number.
|
protected java.io.File |
file
The file name.
|
protected int |
line
The line number.
|
Constructor and Description |
---|
FileLocation(java.io.File file)
Creates a new file location without an exact line or column
reference.
|
FileLocation(java.io.File file,
int line,
int column)
Creates a new file location.
|
Modifier and Type | Method and Description |
---|---|
int |
getColumnNumber()
Returns the column number.
|
java.io.File |
getFile()
Returns the file name.
|
int |
getLineNumber()
Returns the line number.
|
java.lang.String |
readLine()
Reads the specified line from the file.
|
protected java.io.File file
protected int line
protected int column
public FileLocation(java.io.File file)
file
- the file namepublic FileLocation(java.io.File file, int line, int column)
file
- the file nameline
- the line numbercolumn
- the column numberpublic java.io.File getFile()
public int getLineNumber()
public int getColumnNumber()
public java.lang.String readLine()