diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-09-16 08:07:36 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-09-16 08:18:50 +0200 |
| commit | 9ed21dea7e8c7c5a07d1438ec89ecc98ac7f399d (patch) | |
| tree | 4528ee0f3bf6fffdaf3f210fc1a9c6fb7ae82bbc /src/grt/grt-wave_opt.ads | |
| parent | 7303c1068a75001365f77f2569382cc093fa9ac2 (diff) | |
| download | ghdl-9ed21dea7e8c7c5a07d1438ec89ecc98ac7f399d.tar.gz ghdl-9ed21dea7e8c7c5a07d1438ec89ecc98ac7f399d.tar.bz2 ghdl-9ed21dea7e8c7c5a07d1438ec89ecc98ac7f399d.zip | |
grt: adjust grt-wave_opt error API.
Diffstat (limited to 'src/grt/grt-wave_opt.ads')
| -rw-r--r-- | src/grt/grt-wave_opt.ads | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/grt/grt-wave_opt.ads b/src/grt/grt-wave_opt.ads index 5d7ed2ee1..62a6179b1 100644 --- a/src/grt/grt-wave_opt.ads +++ b/src/grt/grt-wave_opt.ads @@ -70,15 +70,11 @@ private -- An error/warning message start with the context or the error/warning. -- This procedure print this context - procedure Print_Context - (Lineno, Column : Positive; Severity : Severity_Type); - procedure Print_Context (Element : Elem_Acc; Severity : Severity_Type); + procedure Diag_C_Context (Lineno, Column : Positive); + procedure Diag_C_Context (Element : Elem_Acc); -- Print an error/warning with it's context - procedure Error_Context (Msg : String; - Lineno, Column : Positive; - Severity : Severity_Type := Error); - procedure Error_Context - (Msg : String; Element : Elem_Acc; Severity : Severity_Type := Error); + procedure Error_Context (Msg : String; Lineno, Column : Positive); + procedure Error_Context (Msg : String; Element : Elem_Acc); end Grt.Wave_Opt; |