comparison gcc/ada/errout.ads @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
4 -- -- 4 -- --
5 -- E R R O U T -- 5 -- E R R O U T --
6 -- -- 6 -- --
7 -- S p e c -- 7 -- S p e c --
8 -- -- 8 -- --
9 -- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- 9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. --
10 -- -- 10 -- --
11 -- GNAT is free software; you can redistribute it and/or modify it under -- 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- -- 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- -- 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- -- 14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
66 -- the purposes of implementing the pattern matching in pragmas Warnings 66 -- the purposes of implementing the pattern matching in pragmas Warnings
67 -- (Off,..) and Warning_As_Pragma(...) but do not result in adding the 67 -- (Off,..) and Warning_As_Pragma(...) but do not result in adding the
68 -- error message tag. The -gnatw.d switch sets this flag True, -gnatw.D 68 -- error message tag. The -gnatw.d switch sets this flag True, -gnatw.D
69 -- sets this flag False. 69 -- sets this flag False.
70 70
71 Current_Node : Node_Id := Empty;
72 -- Used by Error_Msg as a default Node_Id.
73 -- Relevant only when Opt.Include_Subprogram_In_Messages is set.
74
71 ----------------------------------- 75 -----------------------------------
72 -- Suppression of Error Messages -- 76 -- Suppression of Error Messages --
73 ----------------------------------- 77 -----------------------------------
74 78
75 -- In an effort to reduce the impact of redundant error messages, the 79 -- In an effort to reduce the impact of redundant error messages, the
212 -- Certain messages read better with from than at. 216 -- Certain messages read better with from than at.
213 217
214 -- Insertion character } (Right brace: insert type reference) 218 -- Insertion character } (Right brace: insert type reference)
215 -- The character } is replaced by a string describing the type 219 -- The character } is replaced by a string describing the type
216 -- referenced by the entity whose Id is stored in Error_Msg_Node_1. 220 -- referenced by the entity whose Id is stored in Error_Msg_Node_1.
217 -- the string gives the name or description of the type, and also 221 -- The string gives the name or description of the type, and also
218 -- where appropriate the location of its declaration. Special cases 222 -- where appropriate the location of its declaration. Special cases
219 -- like "some integer type" are handled appropriately. Only one } is 223 -- like "some integer type" are handled appropriately. Only one } is
220 -- allowed in a message, since there is not enough room for two (the 224 -- allowed in a message, since there is not enough room for two (the
221 -- insertion can be quite long, including a file name). In addition, if 225 -- insertion can be quite long, including a file name). In addition, if
222 -- the special global variable Error_Msg_Qual_Level is non-zero, then 226 -- the special global variable Error_Msg_Qual_Level is non-zero, then
299 -- not necessary to go through any computational effort to include it. 303 -- not necessary to go through any computational effort to include it.
300 -- 304 --
301 -- Note: this usage is obsolete, use ?? ?*? ?$? ?x? ?X? to specify 305 -- Note: this usage is obsolete, use ?? ?*? ?$? ?x? ?X? to specify
302 -- the string to be added when Warn_Doc_Switch is set to True. If this 306 -- the string to be added when Warn_Doc_Switch is set to True. If this
303 -- switch is True, then for simple ? messages it has no effect. This 307 -- switch is True, then for simple ? messages it has no effect. This
304 -- simple form is to ease transition and will be removed later. 308 -- simple form is to ease transition and may be removed later except
309 -- for GNATprove-specific messages (info and warnings) which are not
310 -- subject to the same GNAT warning switches.
305 311
306 -- Insertion character ?? (Two question marks: default warning) 312 -- Insertion character ?? (Two question marks: default warning)
307 -- Like ?, but if the flag Warn_Doc_Switch is True, adds the string 313 -- Like ?, but if the flag Warn_Doc_Switch is True, adds the string
308 -- "[enabled by default]" at the end of the warning message. For 314 -- "[enabled by default]" at the end of the warning message. For
309 -- continuations, use this in each continuation message. 315 -- continuations, use this in each continuation message.