diff options
| author | Tristan Gingold <tgingold@free.fr> | 2015-05-13 06:56:24 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2015-05-13 06:56:24 +0200 |
| commit | 6e168c5503339772dab0768e93a301318d705bcf (patch) | |
| tree | 43e33c2fc03aeb0c61ffe7f520d3a50d74b7ed8a /src/vhdl/disp_tree.adb | |
| parent | 961d55b955d0a1526ebb7a5ddca8acee50b8ab1a (diff) | |
| download | ghdl-6e168c5503339772dab0768e93a301318d705bcf.tar.gz ghdl-6e168c5503339772dab0768e93a301318d705bcf.tar.bz2 ghdl-6e168c5503339772dab0768e93a301318d705bcf.zip | |
Change library format: now store file checksum instead of file time stamp.
For ticket 48.
Diffstat (limited to 'src/vhdl/disp_tree.adb')
| -rw-r--r-- | src/vhdl/disp_tree.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/vhdl/disp_tree.adb b/src/vhdl/disp_tree.adb index 62fc3c4bf..34f31fe6d 100644 --- a/src/vhdl/disp_tree.adb +++ b/src/vhdl/disp_tree.adb @@ -289,6 +289,9 @@ package body Disp_Tree is function Image_Time_Stamp_Id (Id : Time_Stamp_Id) return String renames Files_Map.Get_Time_Stamp_String; + function Image_File_Checksum_Id (Id : File_Checksum_Id) return String + renames Files_Map.Get_File_Checksum_String; + function Image_Iir_Predefined_Functions (F : Iir_Predefined_Functions) return String is begin @@ -467,6 +470,9 @@ package body Disp_Tree is when Type_Time_Stamp_Id => Put_Line (Image_Time_Stamp_Id (Get_Time_Stamp_Id (N, F))); + when Type_File_Checksum_Id => + Put_Line (Image_File_Checksum_Id + (Get_File_Checksum_Id (N, F))); when Type_Token_Type => Put_Line (Image_Token_Type (Get_Token_Type (N, F))); when Type_Name_Id => |