From: Ronan Desplanques <desplanques@adacore.com>
Date: Mon, 23 Sep 2024 08:36:29 +0000 (+0200)
Subject: ada: Adjust documentation of External_Initialization
X-Git-Tag: basepoints/gcc-16~4912
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f4e8bdb86b7953ea7931b8e01725464b2c1be6ad;p=thirdparty%2Fgcc.git

ada: Adjust documentation of External_Initialization

The parameters Maximum_Size and If_Empty were mentioned during the
request for comments phase but are not implemented, at least for now.
This patch changes the GNAT reference manual accordingly. It also makes
a minor punctuation change.

gcc/ada/ChangeLog:

	* doc/gnat_rm/gnat_language_extensions.rst: Adjust documentation.
	* gnat_rm.texi: Regenerate.
	* gnat_ugn.texi: Regenerate.
---

diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
index 4cb1560ae9c8..088d289f35fe 100644
--- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
+++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
@@ -1570,11 +1570,7 @@ Example:
 
 ``External_Initialization`` aspect accepts the following parameters:
 
-- mandatory ``Path``: the path the compiler uses to access the binary resource;
-- optional ``Maximum_Size``: the maximum number of bytes the compiler reads from
-  the resource;
-- optional ``If_Empty``: an expression used in place of read data in case
-  the resource is empty;
+- mandatory ``Path``: the path the compiler uses to access the binary resource.
 
 ``Path`` is resolved according to the same rules the compiler uses for loading the source files.
 
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 96b13e51c078..4bcdcf6781d4 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -30786,15 +30786,7 @@ end P;
 @itemize -
 
 @item 
-mandatory @code{Path}: the path the compiler uses to access the binary resource;
-
-@item 
-optional @code{Maximum_Size}: the maximum number of bytes the compiler reads from
-the resource;
-
-@item 
-optional @code{If_Empty}: an expression used in place of read data in case
-the resource is empty;
+mandatory @code{Path}: the path the compiler uses to access the binary resource.
 @end itemize
 
 @code{Path} is resolved according to the same rules the compiler uses for loading the source files.
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index be1958da076f..6e8e0b5dc364 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29695,8 +29695,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{d1}@w{                              }
 @anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
+@anchor{d1}@w{                              }
 
 @c %**end of body
 @bye