public static class FileProtector.ProtectedActiveFileSet extends FileProtector.ProtectedFileSet
FileProtector.protectActiveFiles(java.lang.String).
Protection may be removed dynamically to allow file deletion using
truncateHead(long), truncateTail(long) and
removeFile(Long). A copy of the currently protected files can
be obtained using getProtectedFiles().| Modifier and Type | Method and Description |
|---|---|
NavigableSet<Long> |
getProtectedFiles()
Returns a copy of the currently protected files, not including any
new files.
|
void |
removeFile(Long file)
Removes protection for a given file.
|
void |
truncateHead(long firstProtectedFile)
Removes protection for files LT firstProtectedFile.
|
void |
truncateTail(long lastProtectedFile)
Removes protection for files GT lastProtectedFile.
|
toStringpublic NavigableSet<Long> getProtectedFiles()
public void truncateTail(long lastProtectedFile)
public void truncateHead(long firstProtectedFile)
public void removeFile(Long file)
Copyright © 2024. All rights reserved.