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, token
public FileLexerSource(File file, String path) throws IOException
IOException
public FileLexerSource(File file) throws IOException
IOException
public FileLexerSource(String path) throws IOException
IOException