Class FileSystemManager


  • public class FileSystemManager
    extends java.lang.Object
    Manages file systems, potentially across multiple evaluator instances.

    File systems are only closed when the last usage of it closes.

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.nio.file.FileSystem getFileSystem​(java.net.URI uri)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • FileSystemManager

        public FileSystemManager()
    • Method Detail

      • getFileSystem

        public static java.nio.file.FileSystem getFileSystem​(java.net.URI uri)
                                                      throws java.io.IOException
        Throws:
        java.io.IOException