|
111
|
1 ------------------------------------------------------------------------------
|
|
|
2 -- --
|
|
|
3 -- GNAT COMPILER COMPONENTS --
|
|
|
4 -- --
|
|
|
5 -- B I N D E R R --
|
|
|
6 -- --
|
|
|
7 -- S p e c --
|
|
|
8 -- --
|
|
|
9 -- Copyright (C) 1992-2016, Free Software Foundation, Inc. --
|
|
|
10 -- --
|
|
|
11 -- GNAT is free software; you can redistribute it and/or modify it under --
|
|
|
12 -- terms of the GNU General Public License as published by the Free Soft- --
|
|
|
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
|
|
|
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
|
|
|
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
|
|
|
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
|
|
|
17 -- for more details. You should have received a copy of the GNU General --
|
|
|
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
|
|
|
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
|
|
|
20 -- --
|
|
|
21 -- GNAT was originally developed by the GNAT team at New York University. --
|
|
|
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
|
|
|
23 -- --
|
|
|
24 ------------------------------------------------------------------------------
|
|
|
25
|
|
|
26 -- This package contains the routines to output error messages for the binder
|
|
|
27 -- and also the routines for handling fatal error conditions in the binder.
|
|
|
28
|
|
|
29 with Namet; use Namet;
|
|
|
30 with Types; use Types;
|
|
|
31
|
|
|
32 package Binderr is
|
|
|
33
|
|
|
34 Errors_Detected : Nat;
|
|
|
35 -- Number of errors detected so far
|
|
|
36
|
|
|
37 Warnings_Detected : Nat;
|
|
|
38 -- Number of warnings detected
|
|
|
39
|
|
|
40 Info_Prefix_Suppress : Boolean := False;
|
|
|
41 -- If set to True, the normal "info: " header before messages generated
|
|
|
42 -- by Error_Msg_Info will be omitted.
|
|
|
43
|
|
|
44 ---------------------------------------------------------
|
|
|
45 -- Error Message Text and Message Insertion Characters --
|
|
|
46 ---------------------------------------------------------
|
|
|
47
|
|
|
48 -- Error message text strings are composed of letters, digits and the
|
|
|
49 -- special characters space, comma, period, colon and semicolon,
|
|
|
50 -- apostrophe and parentheses. Special insertion characters can also
|
|
|
51 -- appear which cause the error message circuit to modify the given
|
|
|
52 -- string as follows:
|
|
|
53
|
|
|
54 -- Insertion character { (Left brace: insert file name from Names table)
|
|
|
55 -- The character { is replaced by the text for the file name specified
|
|
|
56 -- by the File_Name_Type value stored in Error_Msg_File_1. The name is
|
|
|
57 -- always enclosed in quotes. A second { may appear in a single message
|
|
|
58 -- in which case it is similarly replaced by the name which is
|
|
|
59 -- specified by the File_Name_Type value stored in Error_Msg_File_2.
|
|
|
60
|
|
|
61 -- Insertion character $ (Dollar: insert unit name from Names table)
|
|
|
62 -- The character $ is replaced by the text for the unit name specified
|
|
|
63 -- by the Name_Id value stored in Error_Msg_Unit_1. The name is always
|
|
|
64 -- enclosed in quotes. A second $ may appear in a single message in
|
|
|
65 -- which case it is similarly replaced by the name which is specified
|
|
|
66 -- by the Name_Id value stored in Error_Msg_Unit_2.
|
|
|
67
|
|
|
68 -- Insertion character # (Pound: insert non-negative number in decimal)
|
|
|
69 -- The character # is replaced by the contents of Error_Msg_Nat_1
|
|
|
70 -- converted into an unsigned decimal string. A second # may appear
|
|
|
71 -- in a single message, in which case it is similarly replaced by
|
|
|
72 -- the value stored in Error_Msg_Nat_2.
|
|
|
73
|
|
|
74 -- Insertion character ? (Question mark: warning message)
|
|
|
75 -- The character ?, which must be the first character in the message
|
|
|
76 -- string, signals a warning message instead of an error message.
|
|
|
77
|
|
|
78 -----------------------------------------------------
|
|
|
79 -- Global Values Used for Error Message Insertions --
|
|
|
80 -----------------------------------------------------
|
|
|
81
|
|
|
82 -- The following global variables are essentially additional parameters
|
|
|
83 -- passed to the error message routine for insertion sequences described
|
|
|
84 -- above. The reason these are passed globally is that the insertion
|
|
|
85 -- mechanism is essentially an untyped one in which the appropriate
|
|
|
86 -- variables are set depending on the specific insertion characters used.
|
|
|
87
|
|
|
88 Error_Msg_Name_1 : Name_Id;
|
|
|
89 -- Name_Id value for % insertion characters in message
|
|
|
90
|
|
|
91 Error_Msg_File_1 : File_Name_Type;
|
|
|
92 Error_Msg_File_2 : File_Name_Type;
|
|
|
93 -- Name_Id values for { insertion characters in message
|
|
|
94
|
|
|
95 Error_Msg_Unit_1 : Unit_Name_Type;
|
|
|
96 Error_Msg_Unit_2 : Unit_Name_Type;
|
|
|
97 -- Name_Id values for $ insertion characters in message
|
|
|
98
|
|
|
99 Error_Msg_Nat_1 : Nat;
|
|
|
100 Error_Msg_Nat_2 : Nat;
|
|
|
101 -- Integer values for # insertion characters in message
|
|
|
102
|
|
|
103 ------------------------------
|
|
|
104 -- Error Output Subprograms --
|
|
|
105 ------------------------------
|
|
|
106
|
|
|
107 procedure Error_Msg (Msg : String);
|
|
|
108 -- Output specified error message to standard error or standard output
|
|
|
109 -- as governed by the brief and verbose switches, and update error
|
|
|
110 -- counts appropriately
|
|
|
111
|
|
|
112 procedure Error_Msg_Info (Msg : String);
|
|
|
113 -- Output information line. Indentical in effect to Error_Msg, except
|
|
|
114 -- that the prefix is info: instead of error: and the error count is
|
|
|
115 -- not incremented. The prefix may be suppressed by setting the global
|
|
|
116 -- variable Info_Prefix_Suppress to True.
|
|
|
117
|
|
|
118 procedure Error_Msg_Output (Msg : String; Info : Boolean);
|
|
|
119 -- Output given message, with insertions, to current message output file.
|
|
|
120 -- The second argument is True for an info message, false for a normal
|
|
|
121 -- warning or error message. Normally this is not called directly, but
|
|
|
122 -- rather only by Error_Msg or Error_Msg_Info. It is called directly
|
|
|
123 -- when the caller must control whether the output goes to stderr or
|
|
|
124 -- stdout (Error_Msg_Output always goes to the current output file).
|
|
|
125
|
|
|
126 procedure Finalize_Binderr;
|
|
|
127 -- Finalize error output for one file
|
|
|
128
|
|
|
129 procedure Initialize_Binderr;
|
|
|
130 -- Initialize error output for one file
|
|
|
131
|
|
|
132 end Binderr;
|
