public class FileReaderSource extends AbstractReaderSource
configuration
Constructor and Description |
---|
FileReaderSource(java.io.File file,
CompilerConfiguration configuration)
Creates the ReaderSource from a File descriptor.
|
Modifier and Type | Method and Description |
---|---|
java.io.File |
getFile() |
java.io.Reader |
getReader()
Returns a new Reader on the underlying source object.
|
java.net.URI |
getURI()
Returns a URI for the file of this source.
|
canReopenSource, cleanup, getLine
public FileReaderSource(java.io.File file, CompilerConfiguration configuration)
file
- script source fileconfiguration
- configuration for compiling sourcepublic java.io.File getFile()
public java.io.Reader getReader() throws java.io.IOException
java.io.IOException
- if there was an error opening for streampublic java.net.URI getURI()