diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-03-15 06:17:30 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-03-15 06:17:30 +0100 |
commit | abfab06bb7620314f636bf5dd2854399e54062d0 (patch) | |
tree | ba826224f2d527539fa0705e7858816770060df7 /src/files_map.ads | |
parent | 173ec2e3096a6f7f5c9274d567c42511cf908386 (diff) | |
download | ghdl-abfab06bb7620314f636bf5dd2854399e54062d0.tar.gz ghdl-abfab06bb7620314f636bf5dd2854399e54062d0.tar.bz2 ghdl-abfab06bb7620314f636bf5dd2854399e54062d0.zip |
Add extract_expanded_line.
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index 55933ebc3..b3fa5b7fe 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -177,6 +177,12 @@ package Files_Map is Line : out Natural; Col : out Natural); + -- Return the line LINE from FILE (without end of line). The line is + -- expanded: tabs are replaced by spaces according to Tab_Stop. This + -- function is slow. + function Extract_Expanded_Line (File : Source_File_Entry; + Line : Natural) return String; + -- 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) |