| 1 | /* Declarations relating to class gcc_rich_location | 
| 2 |    Copyright (C) 2014-2025 Free Software Foundation, Inc. | 
| 3 |  | 
| 4 | This file is part of GCC. | 
| 5 |  | 
| 6 | GCC is free software; you can redistribute it and/or modify it under | 
| 7 | the terms of the GNU General Public License as published by the Free | 
| 8 | Software Foundation; either version 3, or (at your option) any later | 
| 9 | version. | 
| 10 |  | 
| 11 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY | 
| 12 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | 
| 13 | FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License | 
| 14 | for more details. | 
| 15 |  | 
| 16 | You should have received a copy of the GNU General Public License | 
| 17 | along with GCC; see the file COPYING3.  If not see | 
| 18 | <http://www.gnu.org/licenses/>.  */ | 
| 19 |  | 
| 20 | #ifndef GCC_RICH_LOCATION_H | 
| 21 | #define GCC_RICH_LOCATION_H | 
| 22 |  | 
| 23 | #include "rich-location.h" | 
| 24 |  | 
| 25 | class diagnostic_source_print_policy; | 
| 26 |  | 
| 27 | /* A gcc_rich_location is libcpp's rich_location with additional | 
| 28 |    helper methods for working with gcc's types.  The class is not | 
| 29 |    copyable or assignable because rich_location isn't. */ | 
| 30 |  | 
| 31 | class gcc_rich_location : public rich_location | 
| 32 | { | 
| 33 |  public: | 
| 34 |   /* Constructors.  */ | 
| 35 |  | 
| 36 |   /* Constructing from a location.  */ | 
| 37 |   explicit gcc_rich_location (location_t loc) | 
| 38 |     : rich_location (line_table, loc, nullptr, nullptr) | 
| 39 |   { | 
| 40 |   } | 
| 41 |  | 
| 42 |   /* Constructing from a location with a label and a highlight color.  */ | 
| 43 |   explicit gcc_rich_location (location_t loc, | 
| 44 |                               const range_label *label, | 
| 45 |                               const char *highlight_color) | 
| 46 |     : rich_location (line_table, loc, label, highlight_color) | 
| 47 |   { | 
| 48 |   } | 
| 49 |  | 
| 50 |   /* Methods for adding ranges via gcc entities.  */ | 
| 51 |   void | 
| 52 |   add_expr (tree expr, | 
| 53 |             range_label *label, | 
| 54 |             const char *highlight_color); | 
| 55 |  | 
| 56 |   void | 
| 57 |   maybe_add_expr (tree t, | 
| 58 |                   range_label *label, | 
| 59 |                   const char *highlight_color); | 
| 60 |  | 
| 61 |   void add_fixit_misspelled_id (location_t misspelled_token_loc, | 
| 62 |                                 tree hint_id); | 
| 63 |  | 
| 64 |   /* If LOC is within the spans of lines that will already be printed for | 
| 65 |      this gcc_rich_location, then add it as a secondary location | 
| 66 |      and return true. | 
| 67 |  | 
| 68 |      Otherwise return false. | 
| 69 |  | 
| 70 |      This allows for a diagnostic to compactly print secondary locations | 
| 71 |      in one diagnostic when these are near enough the primary locations for | 
| 72 |      diagnostics-show-locus.c to cope with them, and to fall back to | 
| 73 |      printing them via a note otherwise e.g.: | 
| 74 |  | 
| 75 |         gcc_rich_location richloc (primary_loc); | 
| 76 |         bool added secondary = richloc.add_location_if_nearby (*global_dc, | 
| 77 |                                                                secondary_loc); | 
| 78 |         error_at (&richloc, "main message"); | 
| 79 |         if (!added secondary) | 
| 80 |           inform (secondary_loc, "message for secondary"); | 
| 81 |  | 
| 82 |      Implemented in diagnostic-show-locus.cc.  */ | 
| 83 |  | 
| 84 |   bool add_location_if_nearby (const diagnostic_source_print_policy &policy, | 
| 85 |                                location_t loc, | 
| 86 |                                bool restrict_to_current_line_spans = true, | 
| 87 |                                const range_label *label = NULL); | 
| 88 |  | 
| 89 |   bool add_location_if_nearby (const diagnostic_context &dc, | 
| 90 |                                location_t loc, | 
| 91 |                                bool restrict_to_current_line_spans = true, | 
| 92 |                                const range_label *label = NULL); | 
| 93 |  | 
| 94 |   /* Add a fix-it hint suggesting the insertion of CONTENT before | 
| 95 |      INSERTION_POINT. | 
| 96 |  | 
| 97 |      Attempt to handle formatting: if INSERTION_POINT is the first thing on | 
| 98 |      its line, and INDENT is sufficiently sane, then add CONTENT on its own | 
| 99 |      line, using the indentation of INDENT. | 
| 100 |      Otherwise, add CONTENT directly before INSERTION_POINT. | 
| 101 |  | 
| 102 |      For example, adding "CONTENT;" with the closing brace as the insertion | 
| 103 |      point and using "INDENT;" for indentation: | 
| 104 |  | 
| 105 |        if () | 
| 106 |          { | 
| 107 |            INDENT; | 
| 108 |          } | 
| 109 |  | 
| 110 |      would lead to: | 
| 111 |  | 
| 112 |        if () | 
| 113 |          { | 
| 114 |            INDENT; | 
| 115 |            CONTENT; | 
| 116 |          } | 
| 117 |  | 
| 118 |      but adding it to: | 
| 119 |  | 
| 120 |        if () {INDENT;} | 
| 121 |  | 
| 122 |      would lead to: | 
| 123 |  | 
| 124 |        if () {INDENT;CONTENT;} | 
| 125 |   */ | 
| 126 |   void add_fixit_insert_formatted (const char *content, | 
| 127 |                                    location_t insertion_point, | 
| 128 |                                    location_t indent); | 
| 129 | }; | 
| 130 |  | 
| 131 | #endif /* GCC_RICH_LOCATION_H */ | 
| 132 |  |