diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-11-28 20:13:50 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-11-28 20:13:50 +0100 |
| commit | 873fb32cbfe91241c186af0aaa6f029b30c37896 (patch) | |
| tree | 7e9d4fc37ba42793f3b9275c9b49ad813490bbda /src/files_map-editor.ads | |
| parent | 1b6ba4e94ce97cd1be347bfcb32508da535d7c64 (diff) | |
| download | ghdl-873fb32cbfe91241c186af0aaa6f029b30c37896.tar.gz ghdl-873fb32cbfe91241c186af0aaa6f029b30c37896.tar.bz2 ghdl-873fb32cbfe91241c186af0aaa6f029b30c37896.zip | |
files_map-editor: fixes - WIP.
Diffstat (limited to 'src/files_map-editor.ads')
| -rw-r--r-- | src/files_map-editor.ads | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/files_map-editor.ads b/src/files_map-editor.ads index e2e533110..5e2cb21e7 100644 --- a/src/files_map-editor.ads +++ b/src/files_map-editor.ads @@ -22,23 +22,29 @@ package Files_Map.Editor is Start_Off : Natural; End_Line : Positive; End_Off : Natural; - Text : String); + Text : File_Buffer); procedure Replace_Text_Ptr (File : Source_File_Entry; Start_Line : Positive; Start_Off : Natural; End_Line : Positive; End_Off : Natural; - Str : Thin_String_Ptr; - Str_Len : Natural); + Text_Ptr : File_Buffer_Ptr; + Text_Len : Source_Ptr); -- Set the position of the GAP in FILE. procedure Set_Gap (File : Source_File_Entry; First : Source_Ptr; Last : Source_Ptr); + -- Recompute lines number. + procedure Compute_Lines (File : Source_File_Entry); + + -- Check lines of FILE are correct. + procedure Check_Buffer_Lines (File : Source_File_Entry); + -- Check that content of FILE is STR[1 .. STR_LEN]. procedure Check_Buffer_Content (File : Source_File_Entry; - Str : Thin_String_Ptr; - Str_Len : Natural); + Str : File_Buffer_Ptr; + Str_Len : Source_Ptr); end Files_Map.Editor; |