diff options
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; |