Code style

ispras · Oct 20, 2023 · 3069de8 · 3069de8
1 parent 40cc16c
commit 3069de8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/scripts/components/exporter.py b/scripts/components/exporter.py
@@ -278,7 +278,7 @@ def export(self, report_launches: str, report_resources: str, report_components:
             proofs = {}
 
             # Process several error traces in parallel.
-            source_files = dict()
+            source_files = {}
             with open(report_launches, encoding='utf8', errors='ignore') as file_obj, \
                     open(report_resources, encoding='utf8', errors='ignore') as res_obj:
                 resources_data = res_obj.readlines()[1:]

diff --git a/scripts/coverage/lcov.py b/scripts/coverage/lcov.py
@@ -218,7 +218,8 @@ def __init__(self, logger, coverage_file, clade_dir, source_dirs, search_dirs, m
                 os.remove('coverage.json')
             raise
 
-    def get_src_files_map(self, new_name: str, results: dict):
+    @staticmethod
+    def _get_src_files_map(new_name: str, results: dict):
         if not results:
             with open(new_name, encoding='utf8') as fd_cil:
                 line_num = 1
@@ -331,7 +332,7 @@ def __normalize_path(real_file_name: str) -> (bool, str):
                     ignore_file, normalized_file_name = __normalize_path(extracted_file_name)
                     if normalized_file_name:  # ~ CIL file
                         if not self._is_read_line_directives:
-                            self.get_src_files_map(extracted_file_name, src_files_map)
+                            self._get_src_files_map(extracted_file_name, src_files_map)
                             for _, info in src_files_map.items():
                                 new_file_name_id, _ = info
                                 _, new_file_name_id_norm = __normalize_path(new_file_name_id)