Module jEdit

Class FileRootsVFS

java.lang.Object
org.gjt.sp.jedit.io.VFS
org.gjt.sp.jedit.io.FileRootsVFS

public class FileRootsVFS extends VFS
A VFS that lists local root filesystems.
Version:
$Id: FileRootsVFS.java 25330 2020-05-09 14:21:52Z kpouer $
Author:
Slava Pestov
  • Field Details

  • Constructor Details

    • FileRootsVFS

      public FileRootsVFS()
  • Method Details

    • getParentOfPath

      @Nonnull public String getParentOfPath(String path)
      Description copied from class: VFS
      Returns the parent of the specified path. This must be overridden to return a non-null value for browsing of this filesystem to work.
      Overrides:
      getParentOfPath in class VFS
      Parameters:
      path - The path
    • _listFiles

      public VFSFile[] _listFiles(Object session, String url, Component comp)
      Description copied from class: VFS
      Lists the specified directory.
      Overrides:
      _listFiles in class VFS
      Parameters:
      session - The session
      url - The directory. Note that this must be a full URL, including the host name, path name, and so on. The username and password (if needed by the VFS) is obtained from the session instance.
      comp - The component that will parent error dialog boxes
    • _getFile

      public VFSFile _getFile(Object session, String path, Component comp)
      Description copied from class: VFS
      Returns the specified directory entry.
      Overrides:
      _getFile in class VFS
      Parameters:
      session - The session get it with VFS.createVFSSession(String, Component)
      path - The path
      comp - The component that will parent error dialog boxes
      Returns:
      The specified directory entry, or null if it doesn't exist.