1999-09-27 18:44:28 +00:00
|
|
|
|
// -*- C++ -*-
|
2003-08-23 00:17:00 +00:00
|
|
|
|
/**
|
|
|
|
|
* \file DepTable.h
|
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
|
* Licence details can be found in the file COPYING.
|
2002-03-21 17:27:08 +00:00
|
|
|
|
*
|
2003-08-23 00:17:00 +00:00
|
|
|
|
* \author Lars Gullik Bj<EFBFBD>nnes
|
|
|
|
|
* \author Jean-Marc Lasgouttes
|
2002-03-21 17:27:08 +00:00
|
|
|
|
*
|
2003-08-23 00:17:00 +00:00
|
|
|
|
* Full author contact details are available in file CREDITS.
|
1999-09-27 18:44:28 +00:00
|
|
|
|
*/
|
|
|
|
|
|
1999-10-02 16:21:10 +00:00
|
|
|
|
#ifndef DEP_TABLE_H
|
|
|
|
|
#define DEP_TABLE_H
|
1999-09-27 18:44:28 +00:00
|
|
|
|
|
1999-11-04 01:40:20 +00:00
|
|
|
|
#include <map>
|
2003-10-07 06:45:25 +00:00
|
|
|
|
#include <string>
|
1999-11-04 01:40:20 +00:00
|
|
|
|
|
1999-09-27 18:44:28 +00:00
|
|
|
|
///
|
|
|
|
|
class DepTable {
|
|
|
|
|
public:
|
|
|
|
|
/** This one is a little bit harder since we need the absolute
|
|
|
|
|
filename. Should we insert files with .sty .cls etc as
|
|
|
|
|
extension? */
|
2003-10-06 15:43:21 +00:00
|
|
|
|
void insert(std::string const & f, bool upd = false);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
///
|
|
|
|
|
void update();
|
|
|
|
|
|
|
|
|
|
///
|
2003-10-06 15:43:21 +00:00
|
|
|
|
void write(std::string const & f) const;
|
2003-03-07 20:17:40 +00:00
|
|
|
|
/// returns true if dep file was read successfully
|
2003-10-06 15:43:21 +00:00
|
|
|
|
bool read(std::string const & f);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
/// returns true if any of the files has changed
|
1999-11-26 06:57:35 +00:00
|
|
|
|
bool sumchange() const;
|
1999-11-04 01:40:20 +00:00
|
|
|
|
/// return true if fil has changed.
|
2003-10-06 15:43:21 +00:00
|
|
|
|
bool haschanged(std::string const & fil) const;
|
1999-11-04 01:40:20 +00:00
|
|
|
|
/// return true if a file with extension ext has changed.
|
2003-10-06 15:43:21 +00:00
|
|
|
|
bool extchanged(std::string const & ext) const;
|
1999-11-26 06:57:35 +00:00
|
|
|
|
///
|
2003-10-06 15:43:21 +00:00
|
|
|
|
bool exist(std::string const & fil) const;
|
2002-01-16 22:17:38 +00:00
|
|
|
|
/// returns true if any files with ext exist
|
2003-10-06 15:43:21 +00:00
|
|
|
|
bool ext_exist(std::string const & ext) const;
|
1999-11-26 06:57:35 +00:00
|
|
|
|
///
|
2003-10-06 15:43:21 +00:00
|
|
|
|
void remove_files_with_extension(std::string const &);
|
2002-01-16 22:17:38 +00:00
|
|
|
|
///
|
2003-10-06 15:43:21 +00:00
|
|
|
|
void remove_file(std::string const &);
|
1999-09-27 18:44:28 +00:00
|
|
|
|
private:
|
|
|
|
|
///
|
2005-01-19 15:03:31 +00:00
|
|
|
|
class dep_info {
|
|
|
|
|
public:
|
2002-01-16 22:17:38 +00:00
|
|
|
|
/// 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;
|
2001-11-27 02:56:55 +00:00
|
|
|
|
};
|
|
|
|
|
///
|
2003-10-06 15:43:21 +00:00
|
|
|
|
typedef std::map<std::string, dep_info> DepList;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
///
|
1999-11-04 01:40:20 +00:00
|
|
|
|
DepList deplist;
|
1999-09-27 18:44:28 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif
|