diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-11-23 19:33:55 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-11-23 19:33:55 +0100 |
| commit | 021f946659b84a9803ae9148cc1315059f5dfc15 (patch) | |
| tree | 86424ff98028e5755e5b384dbb10f33097fe2489 /src/files_map-editor.ads | |
| parent | 1830a66709ad88f74832c6e92fc68f8e75d00089 (diff) | |
| download | ghdl-021f946659b84a9803ae9148cc1315059f5dfc15.tar.gz ghdl-021f946659b84a9803ae9148cc1315059f5dfc15.tar.bz2 ghdl-021f946659b84a9803ae9148cc1315059f5dfc15.zip | |
Add files_map-editor for libghdl.
Diffstat (limited to 'src/files_map-editor.ads')
| -rw-r--r-- | src/files_map-editor.ads | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/files_map-editor.ads b/src/files_map-editor.ads new file mode 100644 index 000000000..b5e9deb0f --- /dev/null +++ b/src/files_map-editor.ads @@ -0,0 +1,21 @@ +package Files_Map.Editor is + procedure Replace_Text (File : Source_File_Entry; + Start_Line : Positive; + Start_Off : Natural; + End_Line : Positive; + End_Off : Natural; + Text : String); + + 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); + + -- Set the position of the GAP in FILE. + procedure Set_Gap (File : Source_File_Entry; + First : Source_Ptr; + Last : Source_Ptr); +end Files_Map.Editor; |