?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
compiler: don't generate stubs for ambiguous direct interface methods
[official-gcc.git] / gcc / ada / stylesw.adb
blob87d6b7cbc058c062fb466a3d60879c2942473529
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S T Y L E S W --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 1992-2022, 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 with Hostparm; use Hostparm;
27 with Opt; use Opt;
28 with Output; use Output;
29
30 package body Stylesw is
31
32 -- The following constant defines the default style options for -gnaty
33
34 Default_Style : constant String :=
35 "3" & -- indentation level is 3
36 "a" & -- check attribute casing
37 "A" & -- check array attribute indexes
38 "b" & -- check no blanks at end of lines
39 "c" & -- check comment formats
40 "e" & -- check end/exit labels present
41 "f" & -- check no form/feeds vertical tabs in source
42 "h" & -- check no horizontal tabs in source
43 "i" & -- check if-then layout
44 "k" & -- check casing rules for keywords
45 "l" & -- check reference manual layout
46 "m" & -- check line length <= 79 characters
47 "n" & -- check casing of package Standard idents
48 "p" & -- check pragma casing
49 "r" & -- check casing for identifier references
50 "s" & -- check separate subprogram specs present
51 "t"; -- check token separation rules
52
53 -- The following constant defines the GNAT style options, showing them
54 -- as additions to the standard default style check options.
55
56 GNAT_Style : constant String := Default_Style &
57 "d" & -- check no DOS line terminators
58 "I" & -- check mode IN
59 "S" & -- check separate lines after THEN or ELSE
60 "u" & -- check no unnecessary blank lines
61 "x"; -- check extra parentheses around conditionals
62
63 -- Note: we intend GNAT_Style to also include the following, but we do
64 -- not yet have the whole tool suite clean with respect to this.
65
66 -- "B" & -- check boolean operators
67
68 -------------------------------
69 -- Reset_Style_Check_Options --
70 -------------------------------
71
72 procedure Reset_Style_Check_Options is
73 begin
74 Style_Check_Indentation := 0;
75 Style_Check_Array_Attribute_Index := False;
76 Style_Check_Attribute_Casing := False;
77 Style_Check_Blanks_At_End := False;
78 Style_Check_Blank_Lines := False;
79 Style_Check_Boolean_And_Or := False;
80 Style_Check_Comments := False;
81 Style_Check_DOS_Line_Terminator := False;
82 Style_Check_Mixed_Case_Decls := False;
83 Style_Check_End_Labels := False;
84 Style_Check_Form_Feeds := False;
85 Style_Check_Horizontal_Tabs := False;
86 Style_Check_If_Then_Layout := False;
87 Style_Check_Keyword_Casing := False;
88 Style_Check_Layout := False;
89 Style_Check_Max_Line_Length := False;
90 Style_Check_Max_Nesting_Level := False;
91 Style_Check_Missing_Overriding := False;
92 Style_Check_Mode_In := False;
93 Style_Check_Order_Subprograms := False;
94 Style_Check_Pragma_Casing := False;
95 Style_Check_References := False;
96 Style_Check_Separate_Stmt_Lines := False;
97 Style_Check_Specs := False;
98 Style_Check_Standard := False;
99 Style_Check_Tokens := False;
100 Style_Check_Xtra_Parens := False;
101 end Reset_Style_Check_Options;
102
103 ---------------------
104 -- RM_Column_Check --
105 ---------------------
106
107 function RM_Column_Check return Boolean is
108 begin
109 return Style_Check and Style_Check_Layout;
110 end RM_Column_Check;
111
112 ------------------------------
113 -- Save_Style_Check_Options --
114 ------------------------------
115
116 procedure Save_Style_Check_Options (Options : out Style_Check_Options) is
117 P : Natural := 0;
118
119 procedure Add (C : Character; S : Boolean);
120 -- Add given character C to string if switch S is true
121
122 procedure Add_Nat (N : Nat);
123 -- Add given natural number to string
124
125 ---------
126 -- Add --
127 ---------
128
129 procedure Add (C : Character; S : Boolean) is
130 begin
131 if S then
132 P := P + 1;
133 Options (P) := C;
134 end if;
135 end Add;
136
137 -------------
138 -- Add_Nat --
139 -------------
140
141 procedure Add_Nat (N : Nat) is
142 begin
143 if N > 9 then
144 Add_Nat (N / 10);
145 end if;
146
147 P := P + 1;
148 Options (P) := Character'Val (Character'Pos ('0') + N mod 10);
149 end Add_Nat;
150
151 -- Start of processing for Save_Style_Check_Options
152
153 begin
154 Add (Character'Val (Style_Check_Indentation + Character'Pos ('0')),
155 Style_Check_Indentation /= 0);
156
157 Add ('a', Style_Check_Attribute_Casing);
158 Add ('A', Style_Check_Array_Attribute_Index);
159 Add ('b', Style_Check_Blanks_At_End);
160 Add ('B', Style_Check_Boolean_And_Or);
161
162 if Style_Check_Comments then
163 if Style_Check_Comments_Spacing = 2 then
164 Add ('c', Style_Check_Comments);
165 else
166 pragma Assert (Style_Check_Comments_Spacing = 1);
167 Add ('C', Style_Check_Comments);
168 end if;
169 end if;
170
171 Add ('d', Style_Check_DOS_Line_Terminator);
172 Add ('D', Style_Check_Mixed_Case_Decls);
173 Add ('e', Style_Check_End_Labels);
174 Add ('f', Style_Check_Form_Feeds);
175 Add ('h', Style_Check_Horizontal_Tabs);
176 Add ('i', Style_Check_If_Then_Layout);
177 Add ('I', Style_Check_Mode_In);
178 Add ('k', Style_Check_Keyword_Casing);
179 Add ('l', Style_Check_Layout);
180 Add ('n', Style_Check_Standard);
181 Add ('o', Style_Check_Order_Subprograms);
182 Add ('O', Style_Check_Missing_Overriding);
183 Add ('p', Style_Check_Pragma_Casing);
184 Add ('r', Style_Check_References);
185 Add ('s', Style_Check_Specs);
186 Add ('S', Style_Check_Separate_Stmt_Lines);
187 Add ('t', Style_Check_Tokens);
188 Add ('u', Style_Check_Blank_Lines);
189 Add ('x', Style_Check_Xtra_Parens);
190
191 if Style_Check_Max_Line_Length then
192 P := P + 1;
193 Options (P) := 'M';
194 Add_Nat (Style_Max_Line_Length);
195 end if;
196
197 if Style_Check_Max_Nesting_Level then
198 P := P + 1;
199 Options (P) := 'L';
200 Add_Nat (Style_Max_Nesting_Level);
201 end if;
202
203 pragma Assert (P <= Options'Last);
204
205 while P < Options'Last loop
206 P := P + 1;
207 Options (P) := ' ';
208 end loop;
209 end Save_Style_Check_Options;
210
211 -------------------------------------
212 -- Set_Default_Style_Check_Options --
213 -------------------------------------
214
215 procedure Set_Default_Style_Check_Options is
216 begin
217 Reset_Style_Check_Options;
218 Set_Style_Check_Options (Default_Style);
219 end Set_Default_Style_Check_Options;
220
221 ----------------------------------
222 -- Set_GNAT_Style_Check_Options --
223 ----------------------------------
224
225 procedure Set_GNAT_Style_Check_Options is
226 begin
227 Reset_Style_Check_Options;
228 Set_Style_Check_Options (GNAT_Style);
229 end Set_GNAT_Style_Check_Options;
230
231 -----------------------------
232 -- Set_Style_Check_Options --
233 -----------------------------
234
235 -- Version used when no error checking is required
236
237 procedure Set_Style_Check_Options (Options : String) is
238 OK : Boolean;
239 EC : Natural;
240 pragma Warnings (Off, EC);
241 begin
242 Set_Style_Check_Options (Options, OK, EC);
243 pragma Assert (OK);
244 end Set_Style_Check_Options;
245
246 -- Normal version with error checking
247
248 procedure Set_Style_Check_Options
249 (Options : String;
250 OK : out Boolean;
251 Err_Col : out Natural)
252 is
253 C : Character;
254
255 On : Boolean := True;
256 -- Set to False if minus encountered
257 -- Set to True if plus encountered
258
259 Last_Option : Character := ' ';
260 -- Set to last character encountered
261
262 procedure Add_Img (N : Natural);
263 -- Concatenates image of N at end of Style_Msg_Buf
264
265 procedure Bad_Style_Switch (Msg : String);
266 -- Called if bad style switch found. Msg is set in Style_Msg_Buf and
267 -- Style_Msg_Len. OK is set False.
268
269 -------------
270 -- Add_Img --
271 -------------
272
273 procedure Add_Img (N : Natural) is
274 begin
275 if N >= 10 then
276 Add_Img (N / 10);
277 end if;
278
279 Style_Msg_Len := Style_Msg_Len + 1;
280 Style_Msg_Buf (Style_Msg_Len) :=
281 Character'Val (N mod 10 + Character'Pos ('0'));
282 end Add_Img;
283
284 ----------------------
285 -- Bad_Style_Switch --
286 ----------------------
287
288 procedure Bad_Style_Switch (Msg : String) is
289 begin
290 OK := False;
291 Style_Msg_Len := Msg'Length;
292 Style_Msg_Buf (1 .. Style_Msg_Len) := Msg;
293 end Bad_Style_Switch;
294
295 -- Start of processing for Set_Style_Check_Options
296
297 begin
298 Err_Col := Options'First;
299 while Err_Col <= Options'Last loop
300 C := Options (Err_Col);
301 Last_Option := C;
302 Err_Col := Err_Col + 1;
303
304 -- Turning switches on
305
306 if On then
307 case C is
308 when '+' =>
309 null;
310
311 when '-' =>
312 On := False;
313
314 when '0' .. '9' =>
315 Style_Check_Indentation :=
316 Character'Pos (C) - Character'Pos ('0');
317
318 when 'a' =>
319 Style_Check_Attribute_Casing := True;
320
321 when 'A' =>
322 Style_Check_Array_Attribute_Index := True;
323
324 when 'b' =>
325 Style_Check_Blanks_At_End := True;
326
327 when 'B' =>
328 Style_Check_Boolean_And_Or := True;
329
330 when 'c' =>
331 Style_Check_Comments := True;
332 Style_Check_Comments_Spacing := 2;
333
334 when 'C' =>
335 Style_Check_Comments := True;
336 Style_Check_Comments_Spacing := 1;
337
338 when 'd' =>
339 Style_Check_DOS_Line_Terminator := True;
340
341 when 'D' =>
342 Style_Check_Mixed_Case_Decls := True;
343
344 when 'e' =>
345 Style_Check_End_Labels := True;
346
347 when 'f' =>
348 Style_Check_Form_Feeds := True;
349
350 when 'g' =>
351 Set_GNAT_Style_Check_Options;
352
353 when 'h' =>
354 Style_Check_Horizontal_Tabs := True;
355
356 when 'i' =>
357 Style_Check_If_Then_Layout := True;
358
359 when 'I' =>
360 Style_Check_Mode_In := True;
361
362 when 'k' =>
363 Style_Check_Keyword_Casing := True;
364
365 when 'l' =>
366 Style_Check_Layout := True;
367
368 when 'L' =>
369 Style_Max_Nesting_Level := 0;
370
371 if Err_Col > Options'Last
372 or else Options (Err_Col) not in '0' .. '9'
373 then
374 Bad_Style_Switch ("invalid nesting level");
375 return;
376 end if;
377
378 loop
379 Style_Max_Nesting_Level :=
380 Style_Max_Nesting_Level * 10 +
381 Character'Pos (Options (Err_Col)) - Character'Pos ('0');
382
383 if Style_Max_Nesting_Level > 999 then
384 Bad_Style_Switch
385 ("max nesting level (999) exceeded in style check");
386 return;
387 end if;
388
389 Err_Col := Err_Col + 1;
390 exit when Err_Col > Options'Last
391 or else Options (Err_Col) not in '0' .. '9';
392 end loop;
393
394 Style_Check_Max_Nesting_Level := Style_Max_Nesting_Level /= 0;
395
396 when 'm' =>
397 Style_Check_Max_Line_Length := True;
398 Style_Max_Line_Length := 79;
399
400 when 'M' =>
401 Style_Max_Line_Length := 0;
402
403 if Err_Col > Options'Last
404 or else Options (Err_Col) not in '0' .. '9'
405 then
406 Bad_Style_Switch
407 ("invalid line length in style check");
408 return;
409 end if;
410
411 loop
412 Style_Max_Line_Length :=
413 Style_Max_Line_Length * 10 +
414 Character'Pos (Options (Err_Col)) - Character'Pos ('0');
415
416 if Style_Max_Line_Length > Int (Max_Line_Length) then
417 OK := False;
418 Style_Msg_Buf (1 .. 27) := "max line length allowed is ";
419 Style_Msg_Len := 27;
420 Add_Img (Natural (Max_Line_Length));
421 return;
422 end if;
423
424 Err_Col := Err_Col + 1;
425 exit when Err_Col > Options'Last
426 or else Options (Err_Col) not in '0' .. '9';
427 end loop;
428
429 Style_Check_Max_Line_Length := Style_Max_Line_Length /= 0;
430
431 when 'n' =>
432 Style_Check_Standard := True;
433
434 when 'N' =>
435 Reset_Style_Check_Options;
436
437 when 'o' =>
438 Style_Check_Order_Subprograms := True;
439
440 when 'O' =>
441 Style_Check_Missing_Overriding := True;
442
443 when 'p' =>
444 Style_Check_Pragma_Casing := True;
445
446 when 'r' =>
447 Style_Check_References := True;
448
449 when 's' =>
450 Style_Check_Specs := True;
451
452 when 'S' =>
453 Style_Check_Separate_Stmt_Lines := True;
454
455 when 't' =>
456 Style_Check_Tokens := True;
457
458 when 'u' =>
459 Style_Check_Blank_Lines := True;
460
461 when 'x' =>
462 Style_Check_Xtra_Parens := True;
463
464 when 'y' =>
465 Set_Default_Style_Check_Options;
466
467 when ' ' =>
468 null;
469
470 when others =>
471 if Ignore_Unrecognized_VWY_Switches then
472 Write_Line ("unrecognized switch -gnaty" & C & " ignored");
473 else
474 Err_Col := Err_Col - 1;
475 Bad_Style_Switch ("invalid style switch");
476 return;
477 end if;
478 end case;
479
480 -- Turning switches off
481
482 else
483 case C is
484 when '+' =>
485 On := True;
486
487 when '-' =>
488 null;
489
490 when '0' .. '9' =>
491 Style_Check_Indentation := 0;
492
493 when 'a' =>
494 Style_Check_Attribute_Casing := False;
495
496 when 'A' =>
497 Style_Check_Array_Attribute_Index := False;
498
499 when 'b' =>
500 Style_Check_Blanks_At_End := False;
501
502 when 'B' =>
503 Style_Check_Boolean_And_Or := False;
504
505 when 'c' | 'C' =>
506 Style_Check_Comments := False;
507
508 when 'd' =>
509 Style_Check_DOS_Line_Terminator := False;
510
511 when 'D' =>
512 Style_Check_Mixed_Case_Decls := False;
513
514 when 'e' =>
515 Style_Check_End_Labels := False;
516
517 when 'f' =>
518 Style_Check_Form_Feeds := False;
519
520 when 'g' =>
521 Reset_Style_Check_Options;
522
523 when 'h' =>
524 Style_Check_Horizontal_Tabs := False;
525
526 when 'i' =>
527 Style_Check_If_Then_Layout := False;
528
529 when 'I' =>
530 Style_Check_Mode_In := False;
531
532 when 'k' =>
533 Style_Check_Keyword_Casing := False;
534
535 when 'l' =>
536 Style_Check_Layout := False;
537
538 when 'L' =>
539 Style_Max_Nesting_Level := 0;
540
541 when 'm' =>
542 Style_Check_Max_Line_Length := False;
543
544 when 'M' =>
545 Style_Max_Line_Length := 0;
546 Style_Check_Max_Line_Length := False;
547
548 when 'n' =>
549 Style_Check_Standard := False;
550
551 when 'o' =>
552 Style_Check_Order_Subprograms := False;
553
554 when 'O' =>
555 Style_Check_Missing_Overriding := False;
556
557 when 'p' =>
558 Style_Check_Pragma_Casing := False;
559
560 when 'r' =>
561 Style_Check_References := False;
562
563 when 's' =>
564 Style_Check_Specs := False;
565
566 when 'S' =>
567 Style_Check_Separate_Stmt_Lines := False;
568
569 when 't' =>
570 Style_Check_Tokens := False;
571
572 when 'u' =>
573 Style_Check_Blank_Lines := False;
574
575 when 'x' =>
576 Style_Check_Xtra_Parens := False;
577
578 when ' ' =>
579 null;
580
581 when others =>
582 if Ignore_Unrecognized_VWY_Switches then
583 Write_Line ("unrecognized switch -gnaty-" & C & " ignored");
584 else
585 Err_Col := Err_Col - 1;
586 Bad_Style_Switch ("invalid style switch");
587 return;
588 end if;
589 end case;
590 end if;
591 end loop;
592
593 -- Turn on style checking if other than N at end of string
594
595 Style_Check := (Last_Option /= 'N');
596 OK := True;
597 end Set_Style_Check_Options;
598 end Stylesw;
Mirror of the offical gcc git repository hosted at gcc.gnu.org