diff mbox series

[COMMITTED,16/35] ada: Adjust documentation of External_Initialization

Message ID 20241025091107.485741-16-poulhies@adacore.com
State Committed
Commit f4e8bdb86b7953ea7931b8e01725464b2c1be6ad
Headers
Series [COMMITTED,01/35] ada: Pass parameters of full access unconstrained array types by copy in calls |

Commit Message

Marc Poulhiès Oct. 25, 2024, 9:10 a.m. UTC 
  From: Ronan Desplanques <desplanques@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/doc/gnat_rm/gnat_language_extensions.rst |  6 +-----
 gcc/ada/gnat_rm.texi                             | 10 +---------
 gcc/ada/gnat_ugn.texi                            |  2 +-
 3 files changed, 3 insertions(+), 15 deletions(-)
diff mbox series

Patch

diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
index 4cb1560ae9c..088d289f35f 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 96b13e51c07..4bcdcf6781d 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 be1958da076..6e8e0b5dc36 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