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
error, getParent, iterator, setListener, skipline, warning
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
forEach, spliterator
public FileLexerSource(File file, String path) throws IOException
IOException
public FileLexerSource(File file) throws IOException
IOException
public FileLexerSource(String path) throws IOException
IOException