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