diff options
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index d2f2a0a4d..17b1d033c 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -156,6 +156,11 @@ package Files_Map is function Location_File_To_Line (Location : Location_Type; File : Source_File_Entry) return Positive; + -- Get the offset in the line LINE of LOC. + function Location_File_Line_To_Offset + (Loc : Location_Type; File : Source_File_Entry; Line : Positive) + return Natural; + -- Get logical column (with HT expanded) from LOC, FILE and LINE. function Location_File_Line_To_Col (Loc : Location_Type; File : Source_File_Entry; Line : Positive) |