file_comments: add comments_range to support deferred gathering

For processes.

1 files changed, 18 insertions, 1 deletions

diff --git a/src/file_comments.ads b/src/file_comments.ads
index 633d15d24..aa1f3806c 100644
--- a/src/file_comments.ads
+++ b/src/file_comments.ads
@@ -37,10 +37,22 @@ package File_Comments is
    --  Discard unassigned comments ?
    procedure Discard_Comments (File : Source_File_Entry);
 
-   --  Assign node N to the last comments scanned.
+   type Comments_Range_Type is private;
+
+   --  Save comments recently scanned and not yet gathered.
+   procedure Save_Comments (File : Source_File_Entry;
+                            Rng : out Comments_Range_Type);
+
+   --  Assign node N to the saved RNG comments.
    --  This procedure is called by the parser when a node that could be
    --  annotated with a comment is parsed.
    procedure Gather_Comments (File : Source_File_Entry;
+                              Rng : Comments_Range_Type;
+                              N : Uns32);
+
+   --  Assign node N to the last comments scanned.
+   --  Identical to Save_Comments followed by above Gather_Comments.
+   procedure Gather_Comments (File : Source_File_Entry;
                               N : Uns32);
 
    --  Reassign comments to node N.
@@ -78,6 +90,11 @@ package File_Comments is
                               Idx : Comment_Index)
                              return Comment_Index;
 private
+   type Comments_Range_Type is record
+      --  Range of saved comments.
+      First, Last : Comment_Index;
+   end record;
+
    type Comment_Record is record
       --  Comment range in the source.
       Start : Source_Ptr;