diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-12-30 10:29:16 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-12-30 10:29:16 +0100 |
commit | f1c30ad16e0914455ee2c84e80714f6b271021f2 (patch) | |
tree | 11ebb7a91faeed8c17fdaf84cd8cd14d334d8c6a /src/files_map.ads | |
parent | 56dde6c446367f85882d288d7606015ace7f80ed (diff) | |
download | ghdl-f1c30ad16e0914455ee2c84e80714f6b271021f2.tar.gz ghdl-f1c30ad16e0914455ee2c84e80714f6b271021f2.tar.bz2 ghdl-f1c30ad16e0914455ee2c84e80714f6b271021f2.zip |
Rework initialization and finalization.
libghdl can now be re-initialized.
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index ca7763b4f..2fcf53599 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -261,9 +261,12 @@ package Files_Map is function Image (Loc : Location_Type; Filename : Boolean := True) return String; - -- Free all memory and reinitialize. + -- Initialize. procedure Initialize; + -- Free all memory. + procedure Finalize; + private Lines_Table_Init : Natural := 64; |