ディレクトリを監視するためにJDK 7のWatchServiceを使用しています。
このENTRY_DELETE
イベントは、エントリが削除されたことを示しています。次のようなことを行って、そのエントリの名前を取得できます。
WatchEvent<Path> ev = cast(event);
Path name = ev.context();
Path child = dir.resolve(name);
削除されたエントリがファイルかフォルダかを知りたいです。当然、試してみchild.isDirectory()
ましたが、要素がもう存在しないため、もちろんうまくいきませんでした。
ヒューリスティックを使わずに、削除された要素がファイルかディレクトリかを判断する方法はありますか?