public class W32FileMonitor extends FileMonitor
FileMonitor.FileEvent, FileMonitor.FileListener
FILE_ACCESSED, FILE_ANY, FILE_ATTRIBUTES_CHANGED, FILE_CREATED, FILE_DELETED, FILE_MODIFIED, FILE_NAME_CHANGED_NEW, FILE_NAME_CHANGED_OLD, FILE_RENAMED, FILE_SECURITY_CHANGED, FILE_SIZE_CHANGED
Constructor and Description |
---|
W32FileMonitor() |
Modifier and Type | Method and Description |
---|---|
void |
dispose() |
protected void |
unwatch(java.io.File file) |
protected void |
watch(java.io.File file,
int eventMask,
boolean recursive) |
addFileListener, addWatch, addWatch, addWatch, finalize, getInstance, notify, removeFileListener, removeWatch
protected void watch(java.io.File file, int eventMask, boolean recursive) throws java.io.IOException
watch
in class FileMonitor
java.io.IOException
protected void unwatch(java.io.File file)
unwatch
in class FileMonitor
public void dispose()
dispose
in class FileMonitor