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-2019, 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 29with Namet; use Namet; 30with Types; use Types; 31 32package 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 132end Binderr; 133