diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-10-31 06:21:50 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-11-01 21:36:54 +0100 |
| commit | bbe42c9fa216335dd56424014bda666a5d6717de (patch) | |
| tree | cb19303410706351a059f2e65f73d7a4f2d28b85 /src/name_table.ads | |
| parent | b869a4acb52358fe8ca5decaac826af056bfdfca (diff) | |
| download | ghdl-bbe42c9fa216335dd56424014bda666a5d6717de.tar.gz ghdl-bbe42c9fa216335dd56424014bda666a5d6717de.tar.bz2 ghdl-bbe42c9fa216335dd56424014bda666a5d6717de.zip | |
name_table: auto-initialize.
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; |