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.util.*;
  35 import java.io.*;
  36
  37 public class FileMonitor {
  38   private Map files;
  39
  40   public FileMonitor() {
  41     files = new HashMap();
  42   }
  43
  44   public void addFile(File aFile) {
  45     files.put(aFile, new Long(aFile.lastModified()));
  46   }
  47
  48   public void clear() {
  49     files.clear();
  50   }
  51
  52   public boolean hasChanged() {
  53     Iterator i = files.entrySet().iterator();
  54
  55     while (i.hasNext()) {
  56       Map.Entry entry = (Map.Entry) i.next();
  57       File file = (File) entry.getKey();
  58       Long lastModified = (Long) entry.getValue();
  59
  60       if (lastModified.longValue()!=file.lastModified())
  61         return true;
  62     }
  63
  64     return false;
  65   }
  66 }