Interface SourceFileProvider

    • Method Detail

      • open

        void open()
           throws java.io.IOException
        Throws:
        java.io.IOException
      • close

        void close()
            throws java.io.IOException
        Throws:
        java.io.IOException
      • getSourceFile

        SourceFileInfo getSourceFile​(java.lang.String fullPath)
                              throws java.io.IOException
        Throws:
        java.io.IOException