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