blob: 16aae777280d508651ec0d838aca223576621be7 (
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
|
with PSL.Nodes;
with Types; use Types;
with Errorout; use Errorout;
with Files_Map;
package PSL.Errors is
function Image (Loc : Location_Type; Filename : Boolean := True)
return String renames Files_Map.Image;
procedure Error_Kind (Msg : String; N : PSL_Node) renames
Errorout.Error_Kind;
procedure Error_Msg_Parse (Msg: String)
renames Errorout.Error_Msg_Parse_1;
procedure Error_Msg_Parse
(Loc : Location_Type; Msg: String; Args : Earg_Arr := No_Eargs)
renames Errorout.Error_Msg_Parse;
procedure Error_Msg_Sem (Msg: String; Loc: PSL_Node)
renames Errorout.Error_Msg_Sem_1;
function "+" (N : PSL_Node) return Location_Type
renames PSL.Nodes.Get_Location;
end PSL.Errors;
|