Searched refs:sourceDB (Results 1 – 1 of 1) sorted by relevance
278 def __init__(self, sourceDB): argument280 self.sourceDB = sourceDB285 if dep in self.sourceDB: return dep293 for s in self.sourceDB:303 … if not matchName in self.sourceDB: raise RuntimeError('Invalid #include '+matchName+' in '+source)324 for source in self.sourceDB:342 sourceDB = pickle.load(dbFile) variable347 if sys.argv[3] in sourceDB:351 self.sourceDB.updateSource(sys.argv[3])353 if sys.argv[3] in sourceDB:[all …]