Package org.gjt.sp.jedit.io
Class VFSManager
- java.lang.Object
-
- org.gjt.sp.jedit.io.VFSManager
-
public class VFSManager extends java.lang.Object
jEdit's virtual filesystem allows it to transparently edit files stored elsewhere than the local filesystem, for example on an FTP site. See theVFS
class for implementation details.Note that most of the jEdit API is not thread-safe, so special care must be taken when making jEdit API calls. Also, it is not safe to call
SwingUtilities.invokeAndWait()
from a work request; it can cause a deadlock if the given runnable then later callswaitForRequests()
.
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
SERVICE
The service type.
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static boolean
canReadFile(java.lang.String path)
Returns true if the file existsstatic void
error(java.awt.Component comp, java.lang.String path, java.lang.String messageProp, java.lang.Object[] args)
Reports an I/O error with default urgency,Log.ERROR
static void
error(java.awt.Component comp, java.lang.String path, java.lang.String messageProp, java.lang.Object[] args, int urgency)
Reports an I/O error.static void
error(java.io.IOException e, java.lang.String path, java.awt.Component comp)
Handle an I/O error.static boolean
errorOccurred()
Returns if the last request caused an error.static VFS
getFileVFS()
Returns the local filesystem VFS.static int
getRequestCount()
Returns the number of pending I/O requests.static VFS
getUrlVFS()
Returns the URL VFS.static VFS
getVFSForPath(java.lang.String path)
Returns the VFS for the specified path.static VFS
getVFSForProtocol(java.lang.String protocol)
Returns the VFS for the specified protocol.static java.lang.String[]
getVFSs()
Returns a list of all registered filesystems.static void
init()
Do not call.static void
sendVFSUpdate(VFS vfs, java.lang.String path, boolean parent)
Sends a VFS update message.static void
start()
Do not call.static void
waitForRequests()
Returns when all pending requests are complete.
-
-
-
Field Detail
-
SERVICE
public static final java.lang.String SERVICE
The service type. SeeServiceManager
.- Since:
- jEdit 4.2pre1
- See Also:
- Constant Field Values
-
-
Method Detail
-
init
public static void init()
Do not call.
-
start
public static void start()
Do not call.
-
canReadFile
public static boolean canReadFile(java.lang.String path)
Returns true if the file exists- Parameters:
path
- the path of the file- Returns:
- true if the file exists and can be read
- Since:
- jEdit 5.6pre1
-
getFileVFS
public static VFS getFileVFS()
Returns the local filesystem VFS.- Since:
- jEdit 2.5pre1
-
getUrlVFS
public static VFS getUrlVFS()
Returns the URL VFS.- Since:
- jEdit 2.5pre1
-
getVFSForProtocol
@Nonnull public static VFS getVFSForProtocol(java.lang.String protocol)
Returns the VFS for the specified protocol.- Parameters:
protocol
- The protocol- Since:
- jEdit 2.5pre1
-
getVFSForPath
@Nonnull public static VFS getVFSForPath(java.lang.String path)
Returns the VFS for the specified path.- Parameters:
path
- The path- Since:
- jEdit 2.6pre4
-
getVFSs
public static java.lang.String[] getVFSs()
Returns a list of all registered filesystems.- Since:
- jEdit 4.2pre1
-
waitForRequests
public static void waitForRequests()
Returns when all pending requests are complete. Must be called in the Event Dispatch Thread- Since:
- jEdit 2.5pre1
-
errorOccurred
public static boolean errorOccurred()
Returns if the last request caused an error.
-
getRequestCount
public static int getRequestCount()
Returns the number of pending I/O requests.
-
error
public static void error(java.io.IOException e, java.lang.String path, java.awt.Component comp)
Handle an I/O error.- Since:
- jEdit 4.3pre3
-
error
public static void error(java.awt.Component comp, java.lang.String path, java.lang.String messageProp, java.lang.Object[] args)
Reports an I/O error with default urgency,Log.ERROR
- Parameters:
comp
- The componentpath
- The path name that caused the errormessageProp
- The error message property nameargs
- Positional parameters- Since:
- jEdit 4.0pre3
-
error
public static void error(java.awt.Component comp, java.lang.String path, java.lang.String messageProp, java.lang.Object[] args, int urgency)
Reports an I/O error.- Parameters:
comp
- The componentpath
- The path name that caused the errormessageProp
- The error message property nameargs
- Positional parametersurgency
- Logging urgency (level)- Since:
- jEdit 5.0pre1
-
sendVFSUpdate
public static void sendVFSUpdate(VFS vfs, java.lang.String path, boolean parent)
Sends a VFS update message.- Parameters:
vfs
- The VFSpath
- The path that changedparent
- True if an update should be sent for the path's parent too- Since:
- jEdit 2.6pre4
-
-