Constructor Detail

• FileReaderSource

  public FileReaderSource​(java.io.File file,
                          CompilerConfiguration configuration)

  Creates the ReaderSource from a File descriptor.

  Parameters:

  file - script source file

  configuration - configuration for compiling source

Method Detail

• getFile

  public java.io.File getFile​()

• getReader

  public java.io.Reader getReader​()
                           throws java.io.IOException

  Returns a new Reader on the underlying source object.

  Returns:

  the reader to the resource

  Throws:

  java.io.IOException - if there was an error opening for stream

• getURI

  public java.net.URI getURI​()

  Returns a URI for the file of this source.

  Returns:

  URI for the file of this source.