files_map: add support for one gap.

1 files changed, 8 insertions, 0 deletions

diff --git a/src/files_map.ads b/src/files_map.ads
index 411195b4a..4f6ed2933 100644
--- a/src/files_map.ads
+++ b/src/files_map.ads
@@ -90,6 +90,10 @@ package Files_Map is
    function Location_Instance_To_Location
      (Loc : Location_Type) return Location_Type;
 
+   --  If POS points to the start of the gap of FILE, it will be updated
+   --  to the next character after the gap.
+   procedure Skip_Gap (File : Source_File_Entry; Pos : in out Source_Ptr);
+
    --  Return a buffer (access to the contents of the file) for a file entry.
    function Get_File_Source (File : Source_File_Entry) return File_Buffer_Acc;
 
@@ -281,6 +285,10 @@ private
             Cache_Line : Positive;
             Cache_Pos : Source_Ptr;
 
+            --  Gap
+            Gap_Start : Source_Ptr;
+            Gap_Last : Source_Ptr;
+
          when Source_File_String =>
             --  There is only one line.
             null;