equal
deleted
inserted
replaced
10 import java.io.{File => JFile} |
10 import java.io.{File => JFile} |
11 import java.nio.file.FileSystems |
11 import java.nio.file.FileSystems |
12 import java.nio.file.{WatchKey, WatchEvent, Path => JPath} |
12 import java.nio.file.{WatchKey, WatchEvent, Path => JPath} |
13 import java.nio.file.StandardWatchEventKinds.{ENTRY_CREATE, ENTRY_DELETE, ENTRY_MODIFY} |
13 import java.nio.file.StandardWatchEventKinds.{ENTRY_CREATE, ENTRY_DELETE, ENTRY_MODIFY} |
14 |
14 |
15 import scala.collection.JavaConversions |
15 import scala.collection.JavaConverters |
16 |
16 |
17 |
17 |
18 class File_Watcher private[File_Watcher] // dummy template |
18 class File_Watcher private[File_Watcher] // dummy template |
19 { |
19 { |
20 def register(dir: JFile) { } |
20 def register(dir: JFile) { } |
100 { |
100 { |
101 val (remove, changed) = |
101 val (remove, changed) = |
102 st.dirs.collectFirst({ case (dir, key1) if key == key1 => dir }) match { |
102 st.dirs.collectFirst({ case (dir, key1) if key == key1 => dir }) match { |
103 case Some(dir) => |
103 case Some(dir) => |
104 val events = |
104 val events = |
105 JavaConversions.collectionAsScalaIterable( |
105 JavaConverters.collectionAsScalaIterable( |
106 key.pollEvents.asInstanceOf[java.util.List[WatchEvent[JPath]]]) |
106 key.pollEvents.asInstanceOf[java.util.List[WatchEvent[JPath]]]) |
107 val remove = if (key.reset) None else Some(dir) |
107 val remove = if (key.reset) None else Some(dir) |
108 val changed = |
108 val changed = |
109 (Set.empty[JFile] /: events.iterator) { |
109 (Set.empty[JFile] /: events.iterator) { |
110 case (set, event) => set + dir.toPath.resolve(event.context).toFile |
110 case (set, event) => set + dir.toPath.resolve(event.context).toFile |