diff options
author | Jonas Baggett <jonasb@tranquille.ch> | 2016-08-05 14:28:25 +0200 |
---|---|---|
committer | Jonas Baggett <jonasb@tranquille.ch> | 2016-11-02 13:25:04 +0100 |
commit | df259b99050928cd72874377d7797c0de797935b (patch) | |
tree | e28835c3357a82ba1896130445d16f4999a480d7 /src/grt/grt-wave_opt-file.ads | |
parent | b869a4acb52358fe8ca5decaac826af056bfdfca (diff) | |
download | ghdl-df259b99050928cd72874377d7797c0de797935b.tar.gz ghdl-df259b99050928cd72874377d7797c0de797935b.tar.bz2 ghdl-df259b99050928cd72874377d7797c0de797935b.zip |
Support added for * and **. Please note that wildcards inside names like /top/sub*/... are not supported yet, only synthax like /top/*/... works for now. Support for wildcards inside names will be added on version 1.2, at the same time as simple regexp support.
Current version set to 1.1
Diffstat (limited to 'src/grt/grt-wave_opt-file.ads')
-rw-r--r-- | src/grt/grt-wave_opt-file.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/grt/grt-wave_opt-file.ads b/src/grt/grt-wave_opt-file.ads index fafc8eb0e..7cdb8217a 100644 --- a/src/grt/grt-wave_opt-file.ads +++ b/src/grt/grt-wave_opt-file.ads @@ -51,10 +51,10 @@ package Grt.Wave_Opt.File is -- Called when the option file is read or when the option file is created -- while reading the design hierarchy. procedure Update_Tree (Cursor : in out Elem_Acc; - Updated : out Boolean; - Elem_Name : String; + Last_Updated : in out Boolean; + Elem_Expr : String; Level : Natural; - Path_Context : Path_Context_Acc := null); + Lineno : Natural := 0); -- Destructor procedure Finalize; @@ -70,7 +70,7 @@ private Minor : Integer; end record; Version : Version_Type := (others => -1); - Current_Version : constant Version_Type := (Major => 1, Minor => 0); + Current_Version : constant Version_Type := (Major => 1, Minor => 1); type Sep_Array is array (Tree_Index_Type) of Character; |