Package pygccxml :: Package parser :: Module directory_cache :: Class filename_repository_t

ClassType filename_repository_t

source code

File name repository.

This class stores file names and can check whether a file has been modified or not since a previous call. A file name is stored by calling acquire_filename() which returns an ID and a signature of the file. The signature can later be used to check if the file was modified by calling is_file_modified(). If the file name is no longer required release_filename() should be called so that the entry can be removed from the repository.

Instance Methods
 
__init__(self, md5_sigs)
Constructor.
source code
 
acquire_filename(self, name)
Acquire a file name and return its id and its signature.
source code
 
release_filename(self, id_)
Release a file name.
source code
 
is_file_modified(self, id_, signature)
Check if the file referred to by id_ has been modified.
source code
 
update_id_counter(self)
Update the id_ counter so that it doesn't grow forever.
source code