Searched defs:ResultsDirectory (Results 1 – 1 of 1) sorted by relevance
69 class ResultsDirectory(NamedTuple): class81 def __init__(self, results: ResultsDirectory,273 def load_results(results: ResultsDirectory, delete_empty: bool = True,526 def dump_scan_build_results_diff(dir_old: ResultsDirectory,527 dir_new: ResultsDirectory,