mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-11 05:33:33 +00:00
723ee136ba
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@6979 a592a061-630c-0410-9148-cb99ea01b6c8
69 lines
1.7 KiB
C++
69 lines
1.7 KiB
C++
// -*- C++ -*-
|
|
/* This file is part of
|
|
* ======================================================
|
|
*
|
|
* LyX, The Document Processor
|
|
* Copyright 1995 Matthias Ettrich
|
|
* Copyright 1995-2001 The LyX Team.
|
|
*
|
|
* This file is Copyright 1996-2001
|
|
* Lars Gullik Bjønnes
|
|
* Ben Stanley
|
|
*
|
|
* ======================================================
|
|
*/
|
|
|
|
#ifndef DEP_TABLE_H
|
|
#define DEP_TABLE_H
|
|
|
|
#include "LString.h"
|
|
#include <map>
|
|
|
|
///
|
|
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? */
|
|
void insert(string const & f, bool upd = false);
|
|
///
|
|
void update();
|
|
|
|
///
|
|
void write(string const & f) const;
|
|
/// returns true if dep file was read successfully
|
|
bool read(string const & f);
|
|
/// returns true if any of the files has changed
|
|
bool sumchange() const;
|
|
/// return true if fil has changed.
|
|
bool haschanged(string const & fil) const;
|
|
/// return true if a file with extension ext has changed.
|
|
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:
|
|
///
|
|
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
|