blob: f4ce8ce38f8bf16eb100881c4f319e95b2b962ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
-- Error message handling for vhdl.
-- Copyright (C) 2002-2019 Tristan Gingold
--
-- This program 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 Software Foundation, either version 2 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <gnu.org/licenses>.
with Types; use Types;
with Errorout; use Errorout;
with Vhdl.Nodes; use Vhdl.Nodes;
with Vhdl.Tokens;
package Vhdl.Errors is
-- Register handlers so that errors can be handled.
procedure Initialize;
-- This kind can't be handled.
procedure Error_Kind (Msg: String; N : Iir);
procedure Error_Kind (Msg: String; Def : Iir_Predefined_Functions);
pragma No_Return (Error_Kind);
-- Conversions
function "+" (V : Iir) return Earg_Type;
function "+" (V : Vhdl.Tokens.Token_Type) return Earg_Type;
-- Convert location.
function "+" (L : Iir) return Location_Type;
function "+" (L : Iir) return Source_Coord_Type;
-- Disp a message during semantic analysis.
procedure Warning_Msg_Sem (Id : Msgid_Warnings;
Loc : Location_Type;
Msg: String;
Args : Earg_Arr := No_Eargs);
procedure Warning_Msg_Sem (Id : Msgid_Warnings;
Loc : Location_Type;
Msg: String;
Arg1 : Earg_Type);
procedure Error_Msg_Sem (Loc: Location_Type;
Msg: String;
Args : Earg_Arr := No_Eargs);
procedure Error_Msg_Sem
(Loc: Location_Type; Msg: String; Arg1 : Earg_Type);
-- Like Error_Msg_Sem, but a warning if -frelaxed or --std=93c.
procedure Error_Msg_Sem_Relaxed (Loc : Iir;
Id : Msgid_Warnings;
Msg : String;
Args : Earg_Arr := No_Eargs);
-- Disp a message during elaboration (or configuration).
procedure Error_Msg_Elab
(Msg: String; Args : Earg_Arr := No_Eargs);
procedure Error_Msg_Elab
(Msg: String; Arg1 : Earg_Type);
procedure Error_Msg_Elab
(Loc: Iir; Msg: String; Args : Earg_Arr := No_Eargs);
procedure Error_Msg_Elab
(Loc: Iir; Msg: String; Arg1 : Earg_Type);
-- Like Error_Msg_Elab, but a warning if -frelaxed or --std=93c.
procedure Error_Msg_Elab_Relaxed (Loc : Iir;
Id : Msgid_Warnings;
Msg : String;
Args : Earg_Arr := No_Eargs);
-- Disp a warning durig elaboration (or configuration).
procedure Warning_Msg_Elab (Id : Msgid_Warnings;
Loc : Iir;
Msg: String;
Arg1 : Earg_Type);
procedure Warning_Msg_Elab (Id : Msgid_Warnings;
Loc : Iir;
Msg: String;
Args : Earg_Arr := No_Eargs);
-- Disp a bug message.
procedure Error_Internal (Expr: Iir; Msg: String := "");
pragma No_Return (Error_Internal);
-- Disp a node.
-- Used for output of message.
function Disp_Node (Node: Iir) return String;
-- Disp a node location.
-- Used for output of message.
function Disp_Location (Node: Iir) return String;
-- Disp non-terminal name from KIND.
function Disp_Name (Kind : Iir_Kind) return String;
-- SUBPRG must be a subprogram declaration or an enumeration literal
-- declaration.
-- Returns:
-- "enumeration literal XX [ return TYPE ]"
-- "function XXX [ TYPE1, TYPE2 return TYPE ]"
-- "procedure XXX [ TYPE1, TYPE2 ]"
-- "implicit function XXX [ TYPE1, TYPE2 return TYPE ]"
-- "implicit procedure XXX [ TYPE1, TYPE2 ]"
function Disp_Subprg (Subprg : Iir) return String;
-- Print element POS of discrete type DTYPE.
function Disp_Discrete (Dtype : Iir; Pos : Int64) return String;
-- Disp the name of the type of NODE if known.
-- Disp "unknown" if it is not known.
-- Disp all possible types if it is an overload list.
function Disp_Type_Of (Node : Iir) return String;
-- Disp an error message when a pure function CALLER calls impure CALLEE.
procedure Error_Pure
(Origin : Report_Origin; Caller : Iir; Callee : Iir; Loc : Iir);
-- Report an error message as type of EXPR does not match A_TYPE.
-- Location is EXPR.
procedure Error_Not_Match (Expr: Iir; A_Type: Iir);
-- Disp interface mode MODE.
function Get_Mode_Name (Mode : Iir_Mode) return String;
end Vhdl.Errors;
|
