Class FileReaderSource

    • Constructor Detail

      • FileReaderSource

        public FileReaderSource​(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 File getFile()
      • getReader

        public Reader getReader()
                         throws IOException
        Returns a new Reader on the underlying source object.
        Returns:
        the reader to the resource
        Throws:
        IOException - if there was an error opening for stream
      • getURI

        public URI getURI()
        Returns a URI for the file of this source.
        Returns:
        URI for the file of this source.