Searched refs:SourceFile (Results 1 – 7 of 7) sorted by relevance
17 #-keepattributes SourceFile,LineNumberTable21 #-renamesourcefileattribute SourceFile
21 #-keepattributes SourceFile,LineNumberTable25 #-renamesourcefileattribute SourceFile
477 class SourceFile(object): class506 self.path_to_source_files: Dict[str, SourceFile] = {} # map from file path to SourceFile.508 def get_source_file(self, file_path: str) -> SourceFile:511 source_file = SourceFile(len(self.path_to_source_files), file_path)
1465 class SourceFile { class1504 file = sourceFiles[fileId] = new SourceFile(fileId);