public class FileLexerSource extends LexerSource
Source which lexes a file.
The input is buffered.Source| Constructor and Description |
|---|
FileLexerSource(File file) |
FileLexerSource(File file,
String path)
Creates a new Source for lexing the given File.
|
FileLexerSource(String path) |
| Modifier and Type | Method and Description |
|---|---|
File |
getFile() |
String |
getName()
Returns the human-readable name of the current Source.
|
String |
getPath()
This is not necessarily the same as getFile().getPath() in case we are in a chroot.
|
String |
toString() |
close, getColumn, getLine, tokenpublic FileLexerSource(File file, String path) throws IOException
IOExceptionpublic FileLexerSource(File file) throws IOException
IOExceptionpublic FileLexerSource(String path) throws IOException
IOException