public class FileLocation extends Object implements Location, Serializable
Constructor and Description |
---|
FileLocation()
Creates a new FileLocation
|
FileLocation(int line,
int column)
Creates a new FileLocation.
|
FileLocation(String filename)
Creates a new FileLocation
|
FileLocation(String filename,
int line,
int column)
Creates a new FileLocation.
|
Modifier and Type | Method and Description |
---|---|
int |
getColumnNumber()
Returns the column number for this FileLocation.
|
String |
getFilename()
Returns the name of the file to which this FileLocation refers.
|
int |
getLineNumber()
Returns the line number for this FileLocation.
|
void |
setColumnNumber(int column)
Sets the column number for this FileLocation.
|
void |
setFilename(String filename)
Sets the name of the file to which this FileLocation refers.
|
void |
setLineNumber(int line)
Sets the line number for this FileLocation.
|
String |
toString()
Returns the String representation of this FileLocation.
|
public FileLocation()
public FileLocation(String filename)
filename
- the name of the filepublic FileLocation(int line, int column)
line
- the line numbercolumn
- the column number within the specified linepublic FileLocation(String filename, int line, int column)
filename
- the name of the fileline
- the line numbercolumn
- the column number within the specified linepublic int getColumnNumber()
public String getFilename()
public int getLineNumber()
public void setColumnNumber(int column)
column
- the column number for this FileLocationpublic void setFilename(String filename)
filename
- the name of the file to which this FileLocation referspublic void setLineNumber(int line)
line
- the line number for this FileLocationCopyright © 2018. All rights reserved.