fix: potential Value Error in PEGraphX.contains_line

discopop-project · Jun 17, 2024 · 2af03d2 · 2af03d2
1 parent a867791
commit 2af03d2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/discopop_explorer/PEGraphX.py b/discopop_explorer/PEGraphX.py
@@ -212,7 +212,9 @@ def end_position(self) -> LineID:
         return LineID(f"{self.file_id}:{self.end_line}")
 
     def contains_line(self, other_line) -> bool:
-        if other_line == "GlobalVar":
+        if other_line == "GlobalVar" or other_line == "LineNotFound":
+            return False
+        if not ":" in other_line:
             return False
         other_file_id = int(other_line.split(":")[0])
         other_line_num = int(other_line.split(":")[1])