summaryrefslogtreecommitdiff
path: root/files_map.ads
diff options
context:
space:
mode:
Diffstat (limited to 'files_map.ads')
-rw-r--r--files_map.ads5
1 files changed, 5 insertions, 0 deletions
diff --git a/files_map.ads b/files_map.ads
index 999e23d..c360995 100644
--- a/files_map.ads
+++ b/files_map.ads
@@ -46,6 +46,11 @@ package Files_Map is
function Create_Virtual_Source_File (Name: Name_Id)
return Source_File_Entry;
+ -- Create a Source_File for a possible virtual file NAME using CONTENT
+ -- as content of the file. The file must not already exist.
+ function Create_Source_File_From_String (Name: Name_Id; Content : String)
+ return Source_File_Entry;
+
-- 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;