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 | |