diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-12-14 19:14:03 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-12-14 19:14:03 +0100 |
| commit | 9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f (patch) | |
| tree | b08899b53f097a770bb0ee8a06fbff23ebef0f52 /src/files_map.ads | |
| parent | d679149045aaf9eab462b98f67d4064791e2ff40 (diff) | |
| download | ghdl-9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f.tar.gz ghdl-9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f.tar.bz2 ghdl-9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f.zip | |
files_map: renaming for consistency.
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 7 |
1 files changed, 3 insertions, 4 deletions
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. |