diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-11-23 19:32:33 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-11-23 19:32:33 +0100 |
commit | ff31a2e65dd43811570f550dfe25437e7f70023a (patch) | |
tree | 3ddfbf8861a841975efe8e9a22bcab442210bbdb /src/files_map.ads | |
parent | 6b3ec4018544c67a086ee2d70321b3b225f6a178 (diff) | |
download | ghdl-ff31a2e65dd43811570f550dfe25437e7f70023a.tar.gz ghdl-ff31a2e65dd43811570f550dfe25437e7f70023a.tar.bz2 ghdl-ff31a2e65dd43811570f550dfe25437e7f70023a.zip |
files_map: add support for one gap.
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; |