diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:43 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-11-06 19:26:43 +0100 |
commit | 96bbb16c6ac6960baeabcf8b085ea9b4a3fed803 (patch) | |
tree | 903bc6aafe878b6009bd0bac2d20697df0511f81 /src/files_map-editor.ads | |
parent | a9c2b17053a324a92e86dd0e3bc65d34bae08db3 (diff) | |
download | ghdl-96bbb16c6ac6960baeabcf8b085ea9b4a3fed803.tar.gz ghdl-96bbb16c6ac6960baeabcf8b085ea9b4a3fed803.tar.bz2 ghdl-96bbb16c6ac6960baeabcf8b085ea9b4a3fed803.zip |
files_map-editor: add Copy_Source_File.
Diffstat (limited to 'src/files_map-editor.ads')
-rw-r--r-- | src/files_map-editor.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/files_map-editor.ads b/src/files_map-editor.ads index d45e83c45..4ae740f90 100644 --- a/src/files_map-editor.ads +++ b/src/files_map-editor.ads @@ -40,6 +40,11 @@ package Files_Map.Editor is Text_Ptr : File_Buffer_Ptr; Text_Len : Source_Ptr); + -- Copy content of SRC to DEST. The size of DEST must be large enough. + -- Clear lines table of DEST. + procedure Copy_Source_File (Dest : Source_File_Entry; + Src : Source_File_Entry); + -- Recompute lines number. procedure Compute_Lines (File : Source_File_Entry); |