| Modifier and Type | Field and Description |
|---|---|
| private final File | |
| private final Charset |
| Access | Constructor and Description |
|---|---|
| public | FileReaderSource(File
script source file file, CompilerConfiguration configuration for compiling source configuration)Creates the ReaderSource from a File descriptor. |
| Modifier and Type | Method and Description |
|---|---|
| public File | |
| public Reader | getReader()
Implements org. |
| public URI | Returns: URI for the file of this source.Implements org. |
| file | back to summary |
|---|---|
| private final File file | |
| UTF8 | back to summary |
|---|---|
| private final Charset UTF8 | |
| FileReaderSource | back to summary |
|---|---|
| public FileReaderSource(File file, CompilerConfiguration configuration) Creates the ReaderSource from a File descriptor.
| |
| getFile | back to summary |
|---|---|
| public File getFile() | |
| getReader | back to summary |
|---|---|
| public Reader getReader() throws IOException Implements org. Returns a new Reader on the underlying source object.
| |
| getURI | back to summary |
|---|---|
| public URI getURI() Implements org. Returns a URI for the file of this source.
| |