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, getLinepublic 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()