diff options
| -rw-r--r-- | src/files_map.adb | 19 |
1 files changed, 14 insertions, 5 deletions
diff --git a/src/files_map.adb b/src/files_map.adb index 2b6fc7e56..3a8fa071c 100644 --- a/src/files_map.adb +++ b/src/files_map.adb @@ -1088,11 +1088,16 @@ package body Files_Map is end Extract_Expanded_Line; -- Debug procedures. - procedure Debug_Source_Lines (File: Source_File_Entry); - pragma Unreferenced (Debug_Source_Lines); - - procedure Debug_Source_File; - pragma Unreferenced (Debug_Source_File); + procedure Debug_Source_Loc (Loc : Location_Type) + is + File : Source_File_Entry; + Line_Pos : Source_Ptr; + Line : Natural; + Offset : Natural; + begin + Location_To_Coord (Loc, File, Line_Pos, Line, Offset); + Put_Line (Extract_Expanded_Line (File, Line_Pos)); + end Debug_Source_Loc; -- Disp sources lines of a file. procedure Debug_Source_Lines (File: Source_File_Entry) is @@ -1132,6 +1137,10 @@ package body Files_Map is end loop; end Debug_Source_File; + pragma Unreferenced (Debug_Source_Lines); + pragma Unreferenced (Debug_Source_File); + pragma Unreferenced (Debug_Source_Loc); + procedure Initialize is begin for I in Source_Files.First .. Source_Files.Last loop |