Package ghidra.framework.store.local
Interface FileChangeListener
-
public interface FileChangeListener
Defines a file change listener interface.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
fileModified(java.io.File file)
Used to notify a listener that the specified file has been modified.void
fileRemoved(java.io.File file)
Used to notify a listener that the specified file has been removed.
-
-
-
Method Detail
-
fileModified
void fileModified(java.io.File file)
Used to notify a listener that the specified file has been modified. If the file watcher was created with a lock file, the lock will be set on behalf of the caller. This method should not attempt to alter the lock.- Parameters:
file
- the modified file.haveLock
- is true if a file lock has been granted (LockFile was supplied at time of construction).
-
fileRemoved
void fileRemoved(java.io.File file)
Used to notify a listener that the specified file has been removed. If the file watcher was created with a lock file, the lock will be set on behalf of the caller. This method should not attempt to alter the lock.- Parameters:
file
- the removed file.
-
-