From 9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 14 Dec 2018 19:14:03 +0100 Subject: files_map: renaming for consistency. --- src/files_map.ads | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'src/files_map.ads') diff --git a/src/files_map.ads b/src/files_map.ads index 17b1d033c..db6a3969a 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -177,13 +177,12 @@ package Files_Map is return Location_Type; -- Convert a FILE into a location. - function Source_File_To_Location (File : Source_File_Entry) - return Location_Type; + function File_To_Location (File : Source_File_Entry) return Location_Type; -- Convert a FILE+LINE into a position. -- Return Source_Ptr_Bad in case of error (LINE out of bounds). - function Line_To_Position (File : Source_File_Entry; Line : Positive) - return Source_Ptr; + function File_Line_To_Position (File : Source_File_Entry; Line : Positive) + return Source_Ptr; -- Translate LOCATION into coordinate (physical position). -- FILE identifies the filename. -- cgit v1.2.3