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