Searched refs:SourceDB (Results 1 – 2 of 2) sorted by relevance
38 class SourceDB (dict, logger.Logger): class68 if not SourceDB.isLoading:69 SourceDB.isLoading = 171 SourceDB.isLoading = 0177 checksum = SourceDB.getChecksum(source)178 self[source] = (checksum, SourceDB.getModificationTime(source), time.time(), dependencies)
4 from sourceDatabase import SourceDB