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