X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FDepTable.h;h=79bc2ca0133ce3385f4315d4440364a894ad51a3;hb=b2f4586c984226bcc945d93891f3d0736d6ffb43;hp=784c04a8a254a5ba3df0fda6b8a4cef548bbe69a;hpb=252db967fb3f7d23b3a84e42ca35037de5f1c5be;p=lyx.git

diff --git a/src/DepTable.h b/src/DepTable.h
index 784c04a8a2..79bc2ca013 100644
--- a/src/DepTable.h
+++ b/src/DepTable.h
@@ -3,10 +3,12 @@
  * ====================================================== 
  * 
  *           LyX, The Document Processor
- *	     Copyright (C) 1995 Matthias Ettrich
+ *	     Copyright 1995 Matthias Ettrich
+ *           Copyright 1995-2001 The LyX Team.
  *        
- *           This file is Copyright (C) 1996-1998
+ *           This file is Copyright 1996-2001
  *           Lars Gullik Bjønnes
+ *           Ben Stanley
  *
  * ====================================================== 
  */
@@ -16,8 +18,6 @@
 
 #include "LString.h"
 #include <map>
-using std::map;
-using std::pair;
 
 #ifdef __GNUG__
 #pragma interface
@@ -30,9 +30,7 @@ public:
 	  filename. Should we insert files with .sty .cls etc as
 	  extension? */
 	void insert(string const & f,
-		    bool upd = false,
-		    unsigned long one = 0,
-		    unsigned long two = 0);
+		    bool upd = false);
 	///
 	void update();
 
@@ -48,13 +46,29 @@ public:
 	bool extchanged(string const & ext) const;
 	///
 	bool exist(string const & fil) const;
+	/// returns true if any files with ext exist
+	bool ext_exist(string const & ext) const;
 	///
 	void remove_files_with_extension(string const &);
+	///
+	void remove_file(string const &);
 private:
 	///
-	typedef map<string, pair<unsigned long, unsigned long> > DepList;
+	struct dep_info {
+		/// Previously calculated CRC value
+		unsigned long crc_prev;
+		/// Current CRC value - only re-computed if mtime has changed.
+		unsigned long crc_cur;
+		/// mtime from last time current CRC was calculated.
+		long mtime_cur;
+		///
+		bool changed() const;
+	};
+	///
+	typedef std::map<string, dep_info> DepList;
 	///
 	DepList deplist;
 };
 
 #endif
+