Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/usage.adb @ 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 -- U S A G E -- | 5 -- U S A G E -- |
6 -- -- | 6 -- -- |
7 -- B o d y -- | 7 -- B o d y -- |
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- -- |
300 -- Line for -gnath switch | 300 -- Line for -gnath switch |
301 | 301 |
302 Write_Switch_Char ("h"); | 302 Write_Switch_Char ("h"); |
303 Write_Line ("Output this usage (help) information"); | 303 Write_Line ("Output this usage (help) information"); |
304 | 304 |
305 -- Line for -gnatH switch | |
306 | |
307 Write_Switch_Char ("H"); | |
308 Write_Line ("Legacy elaboration checking mode enabled"); | |
309 | |
305 -- Line for -gnati switch | 310 -- Line for -gnati switch |
306 | 311 |
307 Write_Switch_Char ("i?"); | 312 Write_Switch_Char ("i?"); |
308 Write_Line ("Identifier char set (?=1/2/3/4/5/8/9/p/f/n/w)"); | 313 Write_Line ("Identifier char set (?=1/2/3/4/5/8/9/p/f/n/w)"); |
309 | 314 |
314 | 319 |
315 -- Line for -gnatj switch | 320 -- Line for -gnatj switch |
316 | 321 |
317 Write_Switch_Char ("jnn"); | 322 Write_Switch_Char ("jnn"); |
318 Write_Line ("Format error and warning messages to fit nn character lines"); | 323 Write_Line ("Format error and warning messages to fit nn character lines"); |
324 | |
325 -- Line for -gnatJ switch | |
326 | |
327 Write_Switch_Char ("J"); | |
328 Write_Line ("Relaxed elaboration checking mode enabled"); | |
319 | 329 |
320 -- Line for -gnatk switch | 330 -- Line for -gnatk switch |
321 | 331 |
322 Write_Switch_Char ("k"); | 332 Write_Switch_Char ("k"); |
323 Write_Line ("Limit file names to nn characters (k = krunch)"); | 333 Write_Line ("Limit file names to nn characters (k = krunch)"); |
340 Write_Line ("Limit number of detected errors/warnings to nn (1-999999)"); | 350 Write_Line ("Limit number of detected errors/warnings to nn (1-999999)"); |
341 | 351 |
342 -- Line for -gnatn switch | 352 -- Line for -gnatn switch |
343 | 353 |
344 Write_Switch_Char ("n[?]"); | 354 Write_Switch_Char ("n[?]"); |
345 Write_Line ("Enable pragma Inline (both within and across units, ?=1/2)"); | 355 Write_Line ("Enable pragma Inline across units (?=1/2 for moderate/full)"); |
346 | 356 |
347 -- Line for -gnato switch | 357 -- Line for -gnato switch |
348 | 358 |
349 Write_Switch_Char ("o0"); | 359 Write_Switch_Char ("o0"); |
350 Write_Line ("Disable overflow checking"); | 360 Write_Line ("Disable overflow checking"); |
391 -- Lines for -gnatR switch | 401 -- Lines for -gnatR switch |
392 | 402 |
393 Write_Switch_Char ("R?"); | 403 Write_Switch_Char ("R?"); |
394 Write_Line | 404 Write_Line |
395 ("List rep info (?=0/1/2/3/e/m for none/types/all/symbolic/ext/mech)"); | 405 ("List rep info (?=0/1/2/3/e/m for none/types/all/symbolic/ext/mech)"); |
406 Write_Switch_Char ("R?j"); | |
407 Write_Line ("List rep info in the JSON data interchange format"); | |
396 Write_Switch_Char ("R?s"); | 408 Write_Switch_Char ("R?s"); |
397 Write_Line ("List rep info to file.rep instead of standard output"); | 409 Write_Line ("List rep info to file.rep instead of standard output"); |
398 | 410 |
399 -- Line for -gnats switch | 411 -- Line for -gnats switch |
400 | 412 |
447 Write_Line (" F turn off checking for floating-point"); | 459 Write_Line (" F turn off checking for floating-point"); |
448 Write_Line (" i turn on checking for in params"); | 460 Write_Line (" i turn on checking for in params"); |
449 Write_Line (" I turn off checking for in params"); | 461 Write_Line (" I turn off checking for in params"); |
450 Write_Line (" m turn on checking for in out params"); | 462 Write_Line (" m turn on checking for in out params"); |
451 Write_Line (" M turn off checking for in out params"); | 463 Write_Line (" M turn off checking for in out params"); |
464 Write_Line (" n turn off all validity checks (including RM)"); | |
452 Write_Line (" o turn on checking for operators/attributes"); | 465 Write_Line (" o turn on checking for operators/attributes"); |
453 Write_Line (" O turn off checking for operators/attributes"); | 466 Write_Line (" O turn off checking for operators/attributes"); |
454 Write_Line (" p turn on checking for parameters"); | 467 Write_Line (" p turn on checking for parameters"); |
455 Write_Line (" P turn off checking for parameters"); | 468 Write_Line (" P turn off checking for parameters"); |
456 Write_Line (" r turn on checking for returns"); | 469 Write_Line (" r turn on checking for returns"); |
457 Write_Line (" R turn off checking for returns"); | 470 Write_Line (" R turn off checking for returns"); |
458 Write_Line (" s turn on checking for subscripts"); | 471 Write_Line (" s turn on checking for subscripts"); |
459 Write_Line (" S turn off checking for subscripts"); | 472 Write_Line (" S turn off checking for subscripts"); |
460 Write_Line (" t turn on checking for tests"); | 473 Write_Line (" t turn on checking for tests"); |
461 Write_Line (" T turn off checking for tests"); | 474 Write_Line (" T turn off checking for tests"); |
462 Write_Line (" n turn off all validity checks (including RM)"); | |
463 | 475 |
464 -- Lines for -gnatw switch | 476 -- Lines for -gnatw switch |
465 | 477 |
466 Write_Switch_Char ("wxx"); | 478 Write_Switch_Char ("wxx"); |
467 Write_Line ("Enable selected warning modes, xx = list of parameters:"); | 479 Write_Line ("Enable selected warning modes, xx = list of parameters:"); |