some small changes delting unneeded imports. two new exceptions in mir.storage. usage...
[mir.git] / source / mir / util / FileMonitor.java
1 /*
2  * Copyright (C) 2001, 2002  The Mir-coders group
3  *
4  * This file is part of Mir.
5  *
6  * Mir is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License as published by
8  * the Free Software Foundation; either version 2 of the License, or
9  * (at your option) any later version.
10  *
11  * Mir is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with Mir; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19  *
20  * In addition, as a special exception, The Mir-coders gives permission to link
21  * the code of this program with the com.oreilly.servlet library, any library
22  * licensed under the Apache Software License, The Sun (tm) Java Advanced
23  * Imaging library (JAI), The Sun JIMI library (or with modified versions of
24  * the above that use the same license as the above), and distribute linked
25  * combinations including the two.  You must obey the GNU General Public
26  * License in all respects for all of the code used other than the above
27  * mentioned libraries.  If you modify this file, you may extend this exception
28  * to your version of the file, but you are not obligated to do so.  If you do
29  * not wish to do so, delete this exception statement from your version.
30  */
31
32 package mir.util;
33
34 import java.io.File;
35 import java.util.HashMap;
36 import java.util.Iterator;
37 import java.util.Map;
38
39 public class FileMonitor {
40   private Map files;
41
42   public FileMonitor() {
43     files = new HashMap();
44   }
45
46   public void addFile(File aFile) {
47     files.put(aFile, new Long(aFile.lastModified()));
48   }
49
50   public void clear() {
51     files.clear();
52   }
53
54   public boolean hasChanged() {
55     Iterator i = files.entrySet().iterator();
56
57     while (i.hasNext()) {
58       Map.Entry entry = (Map.Entry) i.next();
59       File file = (File) entry.getKey();
60       Long lastModified = (Long) entry.getValue();
61
62       if (lastModified.longValue()!=file.lastModified())
63         return true;
64     }
65
66     return false;
67   }
68 }