diff options
| author | Tristan Gingold <tgingold@free.fr> | 2015-05-09 22:01:45 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2015-05-09 22:01:45 +0200 |
| commit | 69bbb91b44a1677fd1a0e5accce91f756b06727a (patch) | |
| tree | b363e3110c984841c09f8d17bc901f0dda8f25f6 /src/files_map.ads | |
| parent | 2ef5d28d91f0ec650f2c1fdd10581847375b2bae (diff) | |
| download | ghdl-69bbb91b44a1677fd1a0e5accce91f756b06727a.tar.gz ghdl-69bbb91b44a1677fd1a0e5accce91f756b06727a.tar.bz2 ghdl-69bbb91b44a1677fd1a0e5accce91f756b06727a.zip | |
Rename Get_Location_Str to Image.
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index cc317fdfb..8ad5a040c 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -137,9 +137,10 @@ package Files_Map is Line : out Natural; Col : out Natural); - -- Get LINE and COL from LOCATION. - --procedure Get_Source_File_Line_And_Column - -- (Location: Location_Type; Line, Col: out Natural; Name : out Name_Id); + -- Return the image of LOC using the "FILENAME:LINE:COL" format or + -- "LINE:COL" format if FILENAME is false; + function Image (Loc : Location_Type; Filename : Boolean := True) + return String; -- Free all memory and reinitialize. procedure Initialize; |