From 98ebcae86173fe15b568324b37cab4695674749c Mon Sep 17 00:00:00 2001 From: Bob Duff Date: Tue, 9 Oct 2018 15:05:14 +0000 Subject: [PATCH] [Ada] Various User Manual updates for GNATpp 2018-10-09 Bob Duff gcc/ada/ * doc/gnat_ugn/gnat_utility_programs.rst: Correct spelling of --eol switch. Document the language-version switches. Update description for --no-exception. From-SVN: r264964 --- gcc/ada/ChangeLog | 6 +++ .../doc/gnat_ugn/gnat_utility_programs.rst | 37 +++++++++++++++---- 2 files changed, 35 insertions(+), 8 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d6535fde41f..624d4bf3c0b 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-10-09 Bob Duff + + * doc/gnat_ugn/gnat_utility_programs.rst: Correct spelling of + --eol switch. Document the language-version switches. Update + description for --no-exception. + 2018-10-09 Vasiliy Fofanov * libgnat/s-os_lib.ads (Normalize_Pathname): Fix incorrect diff --git a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst index b6f50b3cc01..f43bacfd5e1 100644 --- a/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst +++ b/gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst @@ -3418,9 +3418,9 @@ Alternatively, you may run the script using the following command line: already exists, it is overwritten. - .. index:: --end-of-line (gnatpp) + .. index:: --eol (gnatpp) - :switch:`--end-of-line={xxx}` + :switch:`--eol={xxx}` Specifies the line-ending style of the reformatted output file. The ``xxx`` string specified with the switch may be: @@ -3442,7 +3442,7 @@ Alternatively, you may run the script using the following command line: Options ``--output-file`` and ``--output-force`` are allowed only if the call to gnatpp contains only one file to reformat. - Option ``--end-of-line`` and ``--wide-character-encoding`` cannot be used together + Option ``--eol`` and ``--wide-character-encoding`` cannot be used together with the ``--pipe`` option. @@ -3572,6 +3572,30 @@ Alternatively, you may run the script using the following command line: all the immediate units of the argument project. + .. index:: --gnat83 (gnatpp) + + :switch:`--gnat83` + Ada 83 mode + + + .. index:: --gnat95 (gnatpp) + + :switch:`--gnat95` + Ada 95 mode + + + .. index:: --gnat2005 (gnatpp) + + :switch:`--gnat2005` + Ada 2005 mode + + + .. index:: --gnat2012 (gnatpp) + + :switch:`--gnat2012` + Ada 2012 mode + + .. _Formatting_Rules: Formatting Rules @@ -4018,9 +4042,6 @@ Alternatively, you may run the script using the following command line: .. index:: --eol (gnatpp) - :switch:`--eol={xxx}` - :switch:`--end-of-line={xxx}` - .. index:: -W (gnatpp) :switch:`-W{e}` @@ -4277,8 +4298,8 @@ Alternatively, you may run the script using the following command line: .. index:: --no-exception (gnatstub) :switch:`--no-exception` - Avoid raising PROGRAM_ERROR in the generated bodies of program unit stubs. - This is not always possible for function stubs. + Avoid raising Program_Error in the generated bodies of program unit stubs, + except in the case of functions, where we have no value to return. .. index:: --no-local-header (gnatstub)