diff options
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index af062fc39..573d92483 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -55,6 +55,10 @@ package Files_Map is -- Each file in memory has two terminal EOT. EOT : constant Character := Character'Val (4); + -- From the extension of FILENAME, extract the language. + -- Return Language_Unknown is not known. + function Find_Language (Filename : String) return Language_Type; + -- Create an empty Source_File for a virtual file name. Used for implicit, -- command-line and std.standard library. function Create_Virtual_Source_File (Name : Name_Id) |