diff options
Diffstat (limited to 'src/file_comments.ads')
| -rw-r--r-- | src/file_comments.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/file_comments.ads b/src/file_comments.ads index 8ed07566d..633d15d24 100644 --- a/src/file_comments.ads +++ b/src/file_comments.ads @@ -66,6 +66,12 @@ package File_Comments is Idx : Comment_Index; Start, Last : out Source_Ptr); + -- Simpler functions for python binding. + function Get_Comment_Start (File : Source_File_Entry; + Idx : Comment_Index) return Source_Ptr; + function Get_Comment_Last (File : Source_File_Entry; + Idx : Comment_Index) return Source_Ptr; + -- Return the next comment after IDX. -- Return No_Comment_Index if no related comment exists. function Get_Next_Comment (File : Source_File_Entry; |