From 77d6e8dba756da993707baa2deac4b235bb78992 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 7 May 2014 05:23:35 +0200 Subject: Files_Map: add Create_Source_File_From_String Std_Names: Add new predefined names. --- files_map.ads | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'files_map.ads') diff --git a/files_map.ads b/files_map.ads index 999e23d5d..c360995c3 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; -- cgit v1.2.3