diff options
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 8 |
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; |