diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-12-14 19:14:03 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-12-14 19:14:03 +0100 |
| commit | 9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f (patch) | |
| tree | b08899b53f097a770bb0ee8a06fbff23ebef0f52 /src/files_map-editor.adb | |
| parent | d679149045aaf9eab462b98f67d4064791e2ff40 (diff) | |
| download | ghdl-9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f.tar.gz ghdl-9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f.tar.bz2 ghdl-9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f.zip | |
files_map: renaming for consistency.
Diffstat (limited to 'src/files_map-editor.adb')
| -rw-r--r-- | src/files_map-editor.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/files_map-editor.adb b/src/files_map-editor.adb index f8ed6b10b..06b5d3385 100644 --- a/src/files_map-editor.adb +++ b/src/files_map-editor.adb @@ -165,7 +165,7 @@ package body Files_Map.Editor is end if; New_Start := F.File_Length + 2; else - New_Start := Line_To_Position (File, Line + 1); + New_Start := File_Line_To_Position (File, Line + 1); if New_Start = F.Gap_Last + 1 then -- No move (the gap is already at end of LINE). return; @@ -265,9 +265,9 @@ package body Files_Map.Editor is -- The gap has moved, so every offset may have changed... declare Start_Pos : constant Source_Ptr := - Line_To_Position (File, Start_Line) + Source_Ptr (Start_Off); + File_Line_To_Position (File, Start_Line) + Source_Ptr (Start_Off); End_Pos : constant Source_Ptr := - Line_To_Position (File, End_Line) + Source_Ptr (End_Off); + File_Line_To_Position (File, End_Line) + Source_Ptr (End_Off); Text_Len : constant Source_Ptr := Text'Length; Gap_Size : constant Source_Ptr := F.Gap_Last - F.Gap_Start + 1; Range_Size : Source_Ptr; |