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