public class W32FileMonitor extends FileMonitor
FileMonitor.FileEvent, FileMonitor.FileListenerFILE_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, removeWatchprotected void watch(java.io.File file,
int eventMask,
boolean recursive)
throws java.io.IOException
watch in class FileMonitorjava.io.IOExceptionprotected void unwatch(java.io.File file)
unwatch in class FileMonitorpublic void dispose()
dispose in class FileMonitor