diff options
Diffstat (limited to 'src/name_table.ads')
| -rw-r--r-- | src/name_table.ads | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/name_table.ads b/src/name_table.ads index 5a6219f5e..000b98b2a 100644 --- a/src/name_table.ads +++ b/src/name_table.ads @@ -1,5 +1,5 @@ -- Name table. --- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold +-- Copyright (C) 2002 - 2016 Tristan Gingold -- -- GHDL is free software; you can redistribute it and/or modify it under -- the terms of the GNU General Public License as published by the Free @@ -26,9 +26,6 @@ with Types; use Types; -- doubled. package Name_Table is - -- Initialize the package, ie create tables. - procedure Initialize; - -- Get an entry in the name table for a character. -- (entries for characters are already built). Characters are put in the -- name table, but are always different from identifiers. They simply @@ -100,6 +97,10 @@ package Name_Table is -- The length of the name string. Nam_Length: Natural range 0 .. Max_Nam_Length; + -- Free all resources. The package cannot be used anymore after calling + -- this procedure. + procedure Finalize; + -- Disp statistics. -- Used for debugging. procedure Disp_Stats; |