membership check

dbus-notify
Zlatin Balevsky 2022-08-20 15:32:27 +01:00
parent 494279ac56
commit 5ba04a39bf
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 4 additions and 0 deletions

View File

@ -52,6 +52,10 @@ class FileTree<T> {
fileToNode.get(file)?.value
}
boolean contains(File file) {
fileToNode.containsKey(file)
}
synchronized void traverse(FileTreeCallback<T> callback) {
doTraverse(root, callback);
}