diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-12-06 18:16:59 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-12-06 18:16:59 +0100 |
| commit | 0ab45a7186882093a2f619f165ff66e4a22fac76 (patch) | |
| tree | 30ac912c280e798245d07fb6e43f3dec43430c96 /src/file_comments.ads | |
| parent | 93cb47c448978def5fc72674fae13a2622190695 (diff) | |
| download | ghdl-0ab45a7186882093a2f619f165ff66e4a22fac76.tar.gz ghdl-0ab45a7186882093a2f619f165ff66e4a22fac76.tar.bz2 ghdl-0ab45a7186882093a2f619f165ff66e4a22fac76.zip | |
file_comments: add Initialize and Finalize
Diffstat (limited to 'src/file_comments.ads')
| -rw-r--r-- | src/file_comments.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/file_comments.ads b/src/file_comments.ads index 0869ed31b..8bb4d117d 100644 --- a/src/file_comments.ads +++ b/src/file_comments.ads @@ -91,6 +91,10 @@ package File_Comments is function Get_Next_Comment (File : Source_File_Entry; Idx : Comment_Index) return Comment_Index; + + -- For the whole package. + procedure Initialize; + procedure Finalize; private type Comments_Range is record -- Range of saved comments. |